repo.or.cz
/
cloog.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update docs to introduction of CloogScattering and CloogScatteringList
2009-05-10
S
v
e
n Verdoolaege
upda
t
e
docs
t
o int
r
oduction of Clo
o
gScattering and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
Po
l
y
L
i
b backend
:
disable c
l
oog_scattering_laz
y
_bloc
k
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
n
sert_modul
o
_
guard: move r
e
duction of guards to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n Verdoolaege
source/cla
s
t
.
c: inser
t
_modulo_
g
uard: on
l
y
c
omp
u
t
e
bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cl
o
og_constraint_equal_t
y
pe: t
r
eat al
l
modulo gu
a
rds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdool
a
ege
cl
o
og
_
loop_simplify
:
it
e
ra
t
e
o
ver siblings instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven V
e
rdoolaege
R
emove
l
ines ref
e
rring to "nu
m
ber of
p
olyhedra"
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
upda
t
e isl for n
e
w ve
r
sion of is
l
_basic_m
a
p
_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl backend: cloo
g
_
doma
i
n
_
s
i
mplify_unio
n
: use isl_s
e
t
_
c
oalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
Extract out backend specific cloog
_
domain_simplif
y
_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl backend:
use
i
s
l
_set_b
o
unded_si
m
p
le_hull for
computing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oo
l
aege
clast
.
c: insert extra modulo guards involving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
o
o
la
e
ge
isl
b
ackend: div_expr: free div af
t
er use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Ve
r
d
oolaege
update isl for chang
e
in internal re
p
re
s
e
n
tation affec
t
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
ege
update isl
f
or normaliz
a
t
i
on during
co
n
vex hull comput
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdoolaege
clast
.
c:
c
last
_
reduction_cmp: tr
e
at
a
ll
unary "reductions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoola
e
ge
pre
t
ty
p
rinter: drop "
"
i
n
front
o
f ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaeg
e
r
e
m
o
ve cpp
o
pt
i
o
n (
d
efaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
Verdool
a
ege
turn on "
e
qualit
y
sp
r
eading" (esp) by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n
Verdoolaege
rem
o
ve csp option (defaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaeg
e
print
e
xecution tim
e
again if sys/resource
.
h
is avail
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl ba
c
kend:
s
uppor
t
exist
e
n
tially quantified variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
isl backend: drop existential
s
when computing
fallback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
update isl for plug
f
or isl_map_simpl
e
_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
update isl for
changed calling conventi
o
ns of isl_basic_s
e
t_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaege
update isl for
change in calli
n
g
c
onvention o
f
some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doola
e
ge
update isl
f
or
r
efcou
n
t
e
d isl_constra
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
e
g
e
update
i
sl for in
t
roduction of
i
sl_dim str
u
ct
u
re
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
ege
c
las
t
.
c:
i
nsert_guard: insert mod
u
lo
g
u
ards based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
Verdoolaege
clast
.
c
: extract
o
ut cloog
_
constraint
_
s
e
t_n_ite
r
ators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c
:
extract
o
ut commo
n
cloog_cons
t
rain
t
_var
i
able_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oo
l
ae
g
e
c
la
s
t:
a
llow clast_term to represent mult
i
p
le of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaeg
e
c
last
.
c:
e
xt
r
a
ct out c
o
mmon cloo
g
_names_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
mi
n
or chang
e
s to CloogConstraint abstractio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
Fix
up optional i
n
clusion o
f
backup mp_get_memory_fun
c
ti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
ven Verdoolaeg
e
cloog/constraints
.
h: don't
p
ut #inc
l
u
de
'
s
inside exte
r
n "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Ver
d
o
o
l
ae
g
e
drop
u
nused cloog_constraint_
s
et_c
o
unt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
S
ven Verdoolaege
Add bac
k
up m
p
_get_memory_functions i
m
plementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
up
d
a
t
e isl for c
o
mpatibility wi
t
h o
l
d gm
p
s
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaeg
e
update isl for imp
r
oved
pi
p
li
b
efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
V
e
rdoolaege
Look for more oppo
r
tunities for bl
o
cking
s
t
a
tements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdool
a
ege
clo
o
g_
p
rogram
_
read: delay c
o
nstruction of blo
c
k
l
ist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoo
l
aege
cloog_loop_
s
eparat
e
: combine lo
o
ps with
i
denti
c
a
l
d
omai
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Ve
r
doola
e
ge
c
l
o
o
g_loop_separate: mino
r
clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
c
l
o
og_loop_separat
e
: exploit disjo
i
ntness o
f
loop dom
a
in
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
d
oolaege
clas
t
.
c: sort equat
i
ons
i
n
guard clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
O
p
tion
a
lly r
e
frain f
r
om printing any
i
n
f
ormational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdo
o
laege
c
l
ast
.
c
:
d
on't
insert any "scal
a
r
s
" for l
e
vel
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n
V
e
r
dool
a
ege
source
/
is
l
: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verdoolaege
E
xpli
c
i
t
l
y spe
c
i
fy -
r
path for libtool libra
r
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdool
a
ege
includ
e
/cloog/domain
.
h: avoid
use of C++ keyword
"template"
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdo
o
laege
add isl backend
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verd
o
ol
a
ege
options
.
c: remove -r
a
ys
option
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rdoolaege
Ha
n
dle 0D probl
e
ms
b
y adding a
0
th leve
l
to
t
he
main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
e
rdoolaege
clo
o
g
_
loo
p
_me
r
g
e: ensu
r
e loop
d
omains are convex
,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
ve
n
Verdoolaege
insert
_
guard: ma
k
e sure coef
f
ici
e
n
t
in left
hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert_g
u
ard:
a
void out-of-bo
u
n
ds access
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolae
g
e
Int
r
o
d
uce CloogC
o
nstrain
t
abstraction
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoolaege
Rename CloogC
o
nst
r
aints to CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
o
o
laege
fix typos in ins
e
rt_loop comment
s
commit
|
commitdiff
|
tree
2008-09-28
Sven
Verdoolaege
cloog_dom
a
in_print_structu
r
e: print all
polyhedra i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
rdoolaege
Let cloo
g
_domain_lowe
r
bound_update retur
n
t
h
e updat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erd
o
olaege
Com
b
i
n
e cloog_sca
t
te
r
ing_lazy_isscal
a
r and cloog_
s
catte
r
ing_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdool
a
ege
include
/
cloog/
d
omain
.
h:
r
emove de
c
lara
t
i
ons of
(
u
nu
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdool
a
ege
test/t
e
st_run: only check s
i
m
plified hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
a
ege
t
e
st/test_run
:
also
check correctness of
s
i
mplif
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
cloog
_
domain_simpl
i
fy:
a
vo
i
d out-of-
b
ou
n
ds a
r
ra
y
access
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
erdoola
e
ge
Treat
parameter do
m
ains di
f
ferently
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
C
h
ange seman
t
i
c
s o
f
cloog_domain_cut_f
i
rst
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
rdoolaege
cloog
_
domain_ise
m
pty: accept
N
ULL argume
n
t
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verd
o
olaege
cloog_doma
i
n_empty: make empty dom
a
in using
t
emplate
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Inform function
rea
d
ing in s
c
atter
i
ng function of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
pass the nu
m
ber o
f
par
a
meters
t
o functions
r
ea
d
ing
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
introduce
C
loogScatt
e
rin
g
abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
make textual tests backend dependen
t
commit
|
commitdiff
|
tree
2008-09-23
Sven
Ver
d
oolaege
sort elements of min and max
r
e
d
uction c
l
a
s
t
s
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
d
o
o
laege
allow
o
ut-of-src
t
e
st
fi
l
e generation
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Remove
l
ines
r
eferring to "number
o
f
po
l
y
hedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
Verdoolaege
P
a
s
s Cl
o
ogOptions
t
o function r
e
ading
(l
i
sts of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
allow ba
c
kends to have thei
r
own
options
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
configure: h
a
n
d
le gmp and
p
olylib "submod
u
les" in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Ve
r
do
o
l
a
ege
create b
a
ckend (Poly
L
ib)
specific library
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verd
o
ola
e
ge
remove
depende
n
ce on P
o
lyLi
b
from cloog core
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
Test co
r
rec
t
n
e
ss of genera
t
ed code, witho
u
t requ
i
rin
g
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolae
g
e
add cloog_
d
omai
n
_cube
func
t
io
n
,
r
e
turni
n
g a
cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Let cloo
g
_domain_universe
return a u
n
iversal
domai
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
Rep
l
ace use of Value in clo
o
g core
b
y new cloog_int_t
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verd
o
ol
a
e
ge
abstract
out CloogMatrix
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
r
doo
l
a
e
ge
cl
a
st
.
c: use CloogEquali
t
ies and C
l
o
ogConstraints in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
CloogBlock: remove unu
s
ed scatteri
n
g
field
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
do
o
laeg
e
avoi
d
use of
m
atrices in sou
r
ce
/
p
r
o
g
ram
.
c
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
V
e
r
doo
l
aege
comp
l
ete CloogDomain
a
b
stract
i
on
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
d
oolaege
domain
.
c
:
remo
v
e some unu
s
ed functions
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
er
d
oolaege
m
o
ve cloog_val
u
e_{up,down} out of
domai
n
.
c
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
p
e
rform sp
e
c
ia
l
options tests in
a
loop
commit
|
commitdiff
|
tree
2008-09-15
Sv
e
n Verd
o
o
laege
tes
t
s
: pr
i
nt unified diff between expected
and obtaine
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
Add -callable o
p
t
ion for gen
e
r
a
ting code
to be used
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven V
e
rdoolae
g
e
make default CFLAGS
overridable
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdo
o
laege
cloo
g
_
n
ames_r
e
ad_strings
:
f
ix check for suffic
i
ent
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sve
n
Verdoola
e
ge
Remov
e
es
c
edk te
s
t
commit
|
commitdiff
|
tree
next