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 isl
2009-06-13
Sven Verdoo
l
aege
update
i
sl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdo
o
laege
isl b
a
ckend: fix retur
n
of
c
loog_
d
omain_convex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
la
e
ge
Makefile
.
am:
e
xplicitly set DIS
T
_
S
UBDIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laege
u
p
date
i
n
s
tallation i
n
str
u
ctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdool
a
ege
c
o
nfigure
.
i
n
: build isl backend
b
y default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdool
a
ege
configu
r
e
.
in: a
l
low not bui
l
ding
p
o
l
ylib backend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Verdoolaege
doc: document clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven
Verdoolaege
clast: in
c
lude
copies of CloogStatements instead
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdo
o
la
e
ge
cloog_statement_co
p
y: add miss
i
n
g
c
o
py
of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdoolaege
doc: fix some spelling mistakes
commit
|
commitdiff
|
tree
2009-06-05
S
ven Verdoolaege
r
ename p
p
rint to clast_pprint to
a
void namespa
c
e p
o
llution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven
V
e
rdoolaege
make Cloog
D
o
m
ain and CloogScat
t
e
r
ing completely opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdo
o
l
a
ege
c
l
oo
g
_names_al
l
o
c
:
fix
typ
o
in comment
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaeg
e
clast:
e
x
t
r
act
enu
m
cl
a
st_expr_typ
e
fro
m
out of cl
a
st_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
S
v
e
n Ve
r
dool
a
e
g
e
update READ
M
E for
n
ew patch su
b
mittin
g
procedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdool
a
ege
avoid recomputation of
"one" (an
d
-1) by sto
r
ing a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoo
l
aege
clast: m
a
ke g
l
o
bal struc
t
c
l
a
st_st
m
t_ops con
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoolaege
move all global v
a
riables to CloogSt
a
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
d
o
olaege
move is
l
_ctx from Cl
o
ogOptions to
C
loogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoolaege
cloog_opti
o
n
s_read: fix misnamed argc
a
nd argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
cloog_domai
n
_dimension: re
t
urn
a
ctual
d
imension (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
P
o
lyLi
b
b
a
cke
n
d: stor
e
number of parameters
i
n Cl
o
ogD
o
m
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdool
a
e
g
e
cloog
_
names
_
al
l
oc: initi
a
l
i
ze struc
t
ure with defaul
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
C
é
dric Basto
u
l
Ch
a
nge licens
e
from
GPL 2
.
0
to
LGPL 2
.
1+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdoolaeg
e
upd
a
te docs to introduction of CloogScattering a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
P
o
ly
L
ib backe
n
d: disable cloog_scatte
r
i
ng_l
a
zy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
r
doo
l
aeg
e
c
l
ast
:
dr
o
p loops
w
ith
f
r
actional
lower and upper bounds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Ve
r
doola
e
ge
conf
i
g
ure
.
in: set AC_CONFIG_MACRO
_
D
I
R
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
insert_modulo_guard: move reduc
t
ion of
guards to
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
Verdo
o
laege
source
/
clast
.
c: insert_m
o
d
ul
o
_gu
a
rd:
onl
y
compute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoolaege
cloog_const
r
aint_e
q
ual_t
y
pe
:
treat a
l
l mod
u
lo guards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
olaege
c
l
oog
_
loop
_
simplify: it
e
rate ov
e
r sibling
s
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
Ver
d
oolaege
Remove lines referring to "number of
p
olyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
d
oolaege
upd
a
te isl
for new version of isl_basic_map_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
aege
isl backend: cloog_domai
n
_
simplify
_
union: u
s
e isl_
s
et_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
E
xtract out
b
ackend
s
pecific cloog_dom
a
in_
s
implify_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl b
a
ckend: us
e
isl_set_bounded_simple
_
hu
l
l for computing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
clast
.
c: insert ext
r
a modulo guards inv
o
l
ving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
sl backen
d
: div_expr: free
d
i
v
after use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoola
e
ge
u
p
d
ate isl f
o
r
change in inter
n
a
l
r
e
p
resentation affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaege
update isl f
o
r
no
r
mal
i
z
at
i
on during convex hull comp
u
ta
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven
Verdoolaege
clast
.
c: clast_reduction_cm
p
:
treat al
l
un
a
r
y "reduction
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verd
o
olaege
pr
e
tty printer: drop " " in
front of ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
o
o
lae
g
e
remove
c
pp o
p
t
i
on (def
a
ulting
t
o true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn
on "equal
i
ty
s
prea
d
i
ng" (esp) by defaul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aege
rem
o
ve csp opt
i
o
n (defaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print execution time again
if sys
/
resource
.
h is avai
l
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl
backend: support
existe
n
tially qua
n
tified
va
r
i
a
bles
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
isl backend: drop
exist
e
ntials wh
e
n co
m
p
u
tin
g
fa
l
lba
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoola
e
ge
update isl fo
r
plug for isl_map_simple_hull me
m
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
update isl for
c
h
a
n
ged
c
alling conv
e
ntions of isl
_
basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Ver
d
oolaege
update isl
f
or change in cal
l
ing conventio
n
of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven V
e
rdoolaege
update isl for r
e
fcounted isl_const
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
la
e
g
e
update isl for introduc
t
ion of
i
sl_dim structur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c
: i
n
sert_
g
uard: insert mod
u
lo guar
d
s based
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: extract out cloog_constraint_set_n_it
e
rators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
do
o
laeg
e
clast
.
c:
ext
r
act o
u
t
c
ommon cloog_constraint_variable_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
V
e
r
dool
a
ege
c
last: al
l
ow
clast_term to represent multiple of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
cla
s
t
.
c: extract
o
ut c
o
mmon cloog_names_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
minor changes t
o
Cl
o
og
C
o
n
stra
i
nt
a
b
straction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n Ve
r
doolaege
Fix up optional inclusion of backup mp_
g
e
t
_
m
emory
_
functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
e
n
Verdoola
e
g
e
cl
o
og/
c
onstraints
.
h:
d
on
'
t put
#include's
i
nside ext
e
rn "
C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven
V
e
rdoola
e
ge
dr
o
p unused cloog_constraint_set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verd
o
olaege
Add
b
a
c
kup mp_get_m
e
mory_fu
n
ctions im
p
leme
n
tation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verd
o
olaeg
e
update isl for compatibility with old gm
p
s
commit
|
commitdiff
|
tree
2008-11-11
S
v
en Verdoolaege
update
i
sl for improv
e
d piplib eff
i
cienc
y
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoo
l
a
eg
e
Loo
k
for more opportunities for
block
i
ng stat
e
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_prog
r
a
m
_
r
ead: delay construct
i
on
of
bloc
k
li
s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolae
g
e
cloog_loo
p
_s
e
p
a
rate: comb
i
n
e
loops wit
h
identical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oolaege
cloog_loop_separate: minor
c
l
ea
n
-up
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoola
e
ge
c
l
o
og_
l
o
o
p
_se
p
arate: explo
i
t disjointness of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolae
g
e
c
l
a
st
.
c: sort
eq
u
a
t
ions in
g
u
a
r
d
cl
a
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
ven V
e
r
doolaege
Opti
o
nally refrain from
printing
a
ny i
n
formationa
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
ool
a
ege
clast
.
c: don't inse
r
t any "scalars" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdo
o
l
a
ege
s
o
urce/i
s
l: fix typ
o
s
i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
Expl
i
citly specify -rpath for lib
t
ool
l
ibrarie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verd
o
ol
a
ege
include/cloog/domain
.
h:
a
v
oid use of C+
+
keywo
r
d "templ
a
te"
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Ve
r
doolaeg
e
a
dd
isl back
e
nd
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoolaege
options
.
c: remov
e
-rays
o
pti
o
n
commit
|
commitdiff
|
tree
2008-10-03
S
v
en
Ver
d
oolaege
Handle 0D probl
e
ms by adding a
0
th leve
l
to the
m
ain
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
v
e
n
Verdoolaege
cloog_loop_merge: e
n
sure loop domains are c
o
n
v
ex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdo
o
lae
g
e
insert_g
u
ard: make sure coefficient in le
f
t
hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert_guard: avoid out-of-bounds acces
s
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verd
o
olaeg
e
Introduce C
l
oogCons
t
raint abstr
a
ction
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Rename CloogConstraints t
o
CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven Verd
o
olaege
fix
typo
s
i
n insert_loop comments
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Ve
r
doo
l
aege
clo
o
g_domain_pri
n
t_structure: p
r
int
all polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdoolaege
Let cloog_domain_lowerbound_update r
e
t
u
rn the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolae
g
e
Combine cloog_scattering_
l
azy_isscalar a
n
d cloog_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ver
d
o
olaege
inc
l
ude/cloog/domain
.
h: remove
d
eclarations of (unus
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Verd
o
olaege
tes
t
/test_run: only check
simplified hull gen
e
ration
s
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
test/test_ru
n
: also
che
c
k correc
t
ness of
s
implifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Ver
d
oolaege
cloog
_
do
m
ain_simplify:
a
void out-of-bounds array access
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
Trea
t
parameter domains d
i
ffere
n
tly
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
Chan
g
e semantics of cloog_domain_
c
ut_first
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
V
erdoo
l
a
e
ge
cloog_domain_ise
m
p
t
y: accept NULL argument
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolae
g
e
cloog_domai
n
_empty
:
mak
e
emp
t
y domain usi
n
g temp
l
ate
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ve
n
Verdoolaege
Info
r
m funct
i
on readi
n
g in
scattering function
o
f doma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
pass the number of par
a
mete
r
s to
f
unctions r
e
ading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
introduc
e
CloogSca
t
t
ering
abstra
c
tion
commit
|
commitdiff
|
tree
next