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
clast: include copies of CloogStatements instead of pointers into CloogProgram
2009-06-09
Sven Verdoolae
g
e
clas
t
: in
c
lude copi
e
s
of
C
l
oogStatements inste
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven
Verdoolaeg
e
cloog_sta
t
ement_c
o
py: add mi
s
sing copy of stat
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdoolaege
doc: fix some spe
l
ling
m
istakes
commit
|
commitdiff
|
tree
2009-06-05
S
v
en Verdoolae
g
e
re
n
ame
pprint to
c
last_pprint to avoid namespace pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven V
e
r
doola
e
g
e
make
C
l
o
o
g
D
omain and
C
loogScatteri
n
g completely
opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Ve
r
doolaeg
e
clo
o
g_names_all
o
c: fix typ
o
in comm
e
nt
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaeg
e
cla
s
t: e
x
tract enum cla
s
t
_
ex
p
r
_type from
o
ut
o
f
clast
_
expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaege
upd
a
t
e
README for n
e
w pa
t
ch s
u
bmitting
procedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoo
l
aege
avo
i
d
r
ecomputatio
n
of "one" (and -1
)
b
y
s
tor
i
n
g a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdool
a
e
g
e
clast: make
g
lobal st
r
uct
clast_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoo
l
aege
move
all global va
r
ia
b
le
s
to CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoolaege
move
i
sl_ctx fr
o
m Clo
o
gO
p
tions t
o
CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Ver
d
oolaege
c
l
oog_options_read: fix mis
n
am
e
d argc and arg
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
g
e
cloog_domain_dimensio
n
:
r
et
u
rn ac
t
ual dimension (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verd
o
olaeg
e
PolyLib ba
c
k
e
nd: st
o
re numbe
r
of
p
ara
m
eters in Cloog
D
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoo
l
aege
cloog_name
s
_
alloc: initialize struc
t
u
r
e with
default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Ba
s
toul
Change license f
r
om
GPL 2
.
0 to LGP
L
2
.
1+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sve
n
Verdoola
e
ge
update
d
ocs to introduction
o
f Cloo
g
Scattering
a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
Po
l
yLib backend:
d
i
sable clo
o
g
_scatte
r
ing
_
lazy_b
l
ock
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoo
l
ae
g
e
c
l
ast: drop loops with fractional
l
owe
r
a
nd upp
e
r bounds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
configu
r
e
.
i
n
: set AC_CONFIG
_
MACRO_DIR
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
oolaege
insert_mo
d
ulo_guard: mo
v
e r
e
du
c
tion of guard
s
to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
source/c
l
ast
.
c: insert_modulo_gu
a
r
d
:
o
nly co
m
pute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
Verdoolaege
cloog_co
n
straint_equal_
t
ype: treat
a
ll modulo gua
r
ds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
Verdoolaege
cloog_loop_simplify:
i
te
r
ate
o
v
e
r siblings
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ve
r
doolae
g
e
Remove
l
ines referring to "
n
umber of polyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoolaege
update
isl for n
e
w version
o
f isl_b
a
sic_map
_
gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl backend: cloog_domain_simp
l
ify_uni
o
n: use i
s
l_set_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
d
o
olaege
Extract out
backend specific cloo
g
_do
m
ain_simpl
i
f
y_uni
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl backend: use isl_
s
et_bounded_simple
_
hull f
o
r computing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
clast
.
c: inser
t
extra m
o
dul
o
gua
r
ds involvi
n
g l
o
o
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
isl b
a
ckend: div_
e
xpr: fr
e
e
div after use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolae
g
e
update
isl f
o
r
change in internal
r
e
prese
n
tatio
n
affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aege
upda
t
e isl for norm
a
lizatio
n
during
co
n
v
e
x
h
u
ll compu
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
cl
a
st
.
c: clast_reductio
n
_cmp: treat all unary "reductio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoolae
g
e
pretty printer
:
drop " "
in fr
o
nt
o
f ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
remove cpp option (defaulting t
o
true
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn on "equality sp
r
ead
i
ng" (esp
)
b
y d
e
fault
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaege
remo
v
e csp option
(
defaulting
t
o true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print execution time agai
n
i
f
sy
s
/reso
u
rce
.
h is available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdool
a
ege
isl b
a
ckend
:
support exi
s
tentially quantified variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdool
a
eg
e
is
l
backend: dro
p
exis
t
e
n
tials
when comp
u
ting fallback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
up
d
ate i
s
l
f
or plu
g
for isl_map_simple
_
hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update
isl fo
r
ch
a
n
g
ed calling conv
e
ntions o
f
isl_b
a
sic_s
e
t_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
pdate isl for change in
c
alling conve
n
tion of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven V
e
rdo
o
lae
g
e
up
d
a
t
e isl for refcounted i
s
l_constrain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
g
e
update i
s
l for
i
ntroduction of isl_
d
i
m stru
c
t
ure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
a
ege
clast
.
c: insert_guar
d
:
insert modu
l
o guards b
a
sed on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
cl
a
st
.
c: ext
r
act out cloog_c
o
nstraint_set_
n
_iterators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
clast
.
c: extr
a
c
t
out common
cloog_
c
ons
t
raint_v
a
r
i
able_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en V
e
rdoola
e
ge
c
l
as
t
: allow clast
_
ter
m
to represent multip
l
e of
a
n
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Ve
r
doo
l
aeg
e
cl
a
st
.
c: extrac
t
out comm
o
n clo
o
g_
n
ame
s
_name_a
t
_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verd
o
olaege
minor
cha
n
ges
to Clo
o
gCon
s
traint abst
r
action
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
Fix up option
a
l
i
n
c
l
usion
o
f bac
k
up
mp_
g
et_me
m
ory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
en
V
e
rdoolaege
cloog/constr
a
ints
.
h: don
'
t
put
#
includ
e
's inside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaeg
e
dro
p
unused c
l
oog_constraint_set_co
u
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven Ver
d
oolaege
Add back
u
p mp_get_me
m
o
r
y_fu
n
ctio
n
s im
p
leme
n
tation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ver
d
o
o
laeg
e
upda
t
e
i
sl for compatibility w
i
th old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sv
e
n Ver
d
oolaege
update isl for improved piplib
efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdool
a
ege
Look for more opportunities for blocking stateme
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
cloog_program_read: dela
y
construct
i
on of blocklist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n Verdoolaege
cloog_loop_separa
t
e: c
o
mbine lo
o
ps with identical d
o
mains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
clo
o
g
_
loop_separ
a
te: minor clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdoolaege
cloog_loop_s
e
parate:
exploit disjoin
t
ness of loop
doma
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
clast
.
c:
so
r
t equations in guard
c
lasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
Op
t
ionall
y
refrai
n
fr
o
m printing any info
r
mational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolae
g
e
clast
.
c: don't insert
any "scalars" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ve
r
d
oolaege
so
u
rce/isl: fix typos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en Verdoolaege
Exp
l
icitly specify
-rpath fo
r
libtoo
l
libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Ver
d
o
o
laege
inclu
d
e/cloog
/
d
o
m
ain
.
h:
a
voi
d
use of C++
k
eyword "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
doolaeg
e
add
i
sl
b
ac
k
end
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
opt
i
ons
.
c
: remo
v
e
-
rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven Ver
d
oo
l
a
ege
Hand
l
e 0D problems
b
y adding a 0t
h
leve
l
to
t
h
e
m
a
in
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
ven Verdoolaege
cloog_lo
o
p_me
r
ge:
ensure loop
dom
a
i
n
s
are
c
onvex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Verdoolaege
i
nsert_gu
a
rd: ma
k
e su
r
e coefficient in
l
e
ft hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verd
o
ol
a
ege
inser
t
_guard: avoid out-of-bounds access
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Verdoolaege
Introduc
e
Cl
o
ogConstraint abs
t
raction
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoolaege
Rename Cl
o
ogCons
t
ra
i
nts
to Cloog
C
onstraintSe
t
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
fi
x
typos
i
n insert_loop comments
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Ve
r
doolaege
cloog_domain_prin
t
_
s
tru
c
ture: print all poly
h
edr
a
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verdoolaege
Let cloog_domain
_
lowerbound_update return the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaege
Combine cl
o
og_s
c
attering_lazy_isscalar a
n
d cloog_sca
t
ter
i
ng_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n
Verd
o
olaege
include/cloog
/
domain
.
h
:
re
m
ove de
c
larations of (unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
test/test_r
u
n
:
only check sim
p
li
f
ie
d
hu
l
l g
e
ne
r
atio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
test/te
s
t_run: also check correc
t
ness
o
f
s
impli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
cloog
_
d
o
main_simplif
y
:
avoid out-of-
b
o
und
s
array access
commit
|
commitdiff
|
tree
2008-09-23
Sven
Ver
d
ool
a
ege
Treat p
a
rameter d
o
mai
n
s
differently
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Chang
e
semantics of clo
o
g_domain_cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
rdool
a
ege
cloog_domain_isempty: ac
c
ept NUL
L
argument
commit
|
commitdiff
|
tree
2008-09-23
S
ve
n
V
e
rdoolae
g
e
cloog_domain_em
p
ty: mak
e
empty doma
i
n using t
e
mp
l
ate
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
ol
a
ege
Inform function reading in scat
t
ering function o
f
dom
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
pass the num
b
e
r
of param
e
t
ers
t
o
f
unction
s
readin
g
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rd
o
o
l
a
e
ge
introduce C
l
o
ogScattering
a
bstracti
o
n
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
make textu
a
l
t
ests b
a
ckend depende
n
t
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
sort el
e
ments of min and max reduction clas
t
s
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoola
e
g
e
a
l
l
ow out-of-src tes
t
f
ile gen
e
ration
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
Remo
v
e lines referr
i
ng
to
"
n
umber o
f
polyh
e
dra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
Pas
s
C
l
oo
g
Options to functio
n
rea
d
ing (lists
o
f)
d
omains
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdo
o
la
e
ge
allow b
a
ck
e
nds to have
th
e
i
r ow
n
options
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
conf
i
g
ure
:
handle gmp a
n
d polylib "submo
d
u
les" in a
.
.
.
commit
|
commitdiff
|
tree
next