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
move all stride information into separate CloogStride structure
2009-05-31
Sven
V
er
d
oolaege
avoid rec
o
mp
u
tation
of "on
e
" (and -1)
by storing a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Ve
r
doolae
g
e
clast:
m
ake global str
u
ct clast_
s
tmt_o
p
s const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
mo
v
e al
l
global
variab
l
e
s
to
C
loogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaeg
e
mov
e
isl_
c
tx from Clo
o
gOptions to Clo
o
gState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doolaege
c
loog_opti
o
n
s
_read
:
fix
m
isn
a
med argc
and
ar
g
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
e
r
doola
e
ge
cloog_domain_dimension:
r
e
t
u
r
n actual dimensi
o
n
(
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
r
d
oolaege
PolyLib backend: store number of paramet
e
rs in CloogDo
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cloog
_
n
a
mes_
a
lloc: initialize structure w
i
th de
f
ault
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
S
v
en V
e
rdoolaege
update docs t
o
introd
u
ction
o
f CloogScatter
i
ng an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
PolyLi
b
backen
d
: disable cloog_sca
t
tering_lazy_bl
o
ck
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoo
l
aege
insert_modulo_guard: m
o
ve reduction of guar
d
s t
o
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaeg
e
source/clast
.
c: insert_modulo_guard
:
o
n
ly
c
omp
u
te bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdool
a
ege
c
loog_constraint_equal_type:
t
r
eat all mo
d
ulo guards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en Verdoolaege
c
l
o
og_lo
o
p
_
s
i
mpl
i
fy: iterat
e
ov
e
r s
i
blings inst
e
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ve
r
doolaege
Remov
e
lines refe
r
ring
t
o
"num
b
er of
p
olyhedr
a
" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
o
o
laege
update isl for new v
e
r
sion
of isl_basic_
m
ap_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdool
a
ege
isl bac
k
end: cloog_domain_simplify_union: use
isl_
s
et_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
Ex
t
ract
o
u
t
backend specific cloog_
d
omain_simplif
y
_unio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
is
l
bac
k
e
n
d: use isl_set_bound
e
d_sim
p
l
e_hull for com
p
uting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
clast
.
c:
i
n
sert ext
r
a modulo guards involvi
n
g loo
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
la
e
ge
isl ba
c
k
end: div_expr
:
free div aft
e
r us
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoolaege
update isl for change i
n
i
n
t
ernal represent
a
t
i
on affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdo
o
laege
update is
l
for no
r
malization
du
r
ing convex hull computat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
d
o
olae
g
e
clast
.
c: clast_r
e
duction_cmp:
t
reat all unar
y
"redu
c
tions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
Verdoolaege
p
retty printer: dr
o
p " "
in
front of ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaege
re
m
ove cpp option (de
f
a
ulting to tru
e
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
dool
a
ege
turn on "equality spreadi
n
g"
(
esp)
by defau
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoola
e
ge
remove csp option (
d
e
f
aultin
g
to
t
rue)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print execu
t
ion
t
ime agai
n
i
f
sys/re
s
o
urce
.
h
i
s
a
vailable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
is
l
backend: support ex
i
s
t
e
n
tially quantified variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl b
a
ckend: dro
p
e
x
is
t
entials when computin
g
fallbac
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
upd
a
te
isl f
o
r plug for
i
sl_map
_
si
m
ple_hull m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ve
r
d
oolaege
u
p
date isl f
o
r ch
a
nged calling conventions
o
f isl_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
update isl for
ch
a
nge in calli
n
g conv
e
ntion
of so
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
upd
a
te isl for re
f
coun
t
ed isl_co
n
s
traint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
update i
s
l
for introduction of
i
sl_dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
cla
s
t
.
c: inser
t
_guard: insert modulo guards based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoo
l
aege
clast
.
c: extract out
cloog_
c
on
s
t
r
a
i
nt
_
set_n_iterato
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
cl
a
st
.
c
: ex
t
ra
c
t o
u
t
c
ommo
n
c
l
o
og_c
o
nstraint
_
variable_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
e
ge
cla
s
t: all
o
w clast
_
term to
r
epresent multi
p
le
o
f
an
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
a
e
ge
c
l
a
s
t
.
c: ex
t
ract o
u
t common cloog
_
name
s
_n
a
me_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
minor
c
hang
e
s to
CloogConstraint a
b
straction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
Fix up
o
ptional in
c
lus
i
on
of
backup mp_get_memory_fun
c
tion
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Ve
r
doolaege
cloo
g
/con
s
traints
.
h: don't
p
u
t
#
i
nclude's
inside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verd
o
olaege
dro
p
unuse
d
cl
o
og_cons
t
r
a
i
nt_set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verd
o
olaege
A
dd backup m
p
_get_memory_function
s
implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
update is
l
for
c
o
mpatibil
i
ty wit
h
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sve
n
Verdoolae
g
e
update isl
for
improved piplib efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Look
f
o
r more
opportunit
i
es for blocking stat
e
m
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
Ve
r
doolaege
cloog_program_read: delay construction
of blockl
i
st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
r
d
o
o
l
a
ege
cl
o
og_
l
oop_separa
t
e
: combin
e
loops with ide
n
tic
a
l d
o
m
ains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
ola
e
ge
cloog_loop_se
p
a
rate: minor clean-u
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoo
l
aege
cloog_loop_sepa
r
ate
:
exploit dis
j
ointness
o
f lo
o
p domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
r
doolaege
c
l
ast
.
c: sort equa
t
io
n
s in guard clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Ver
d
o
olaege
O
pt
i
onally refr
a
i
n
f
rom
p
rinting any informa
t
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n
V
erd
o
olae
g
e
clast
.
c:
d
on't
insert any "scala
r
s"
for
l
e
vel 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoola
e
ge
sourc
e
/i
s
l: fix
typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
ven
V
er
d
oolae
g
e
Explicitly spe
c
if
y
-r
p
ath for libtool libra
r
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdo
o
laege
inc
l
ude/cloog/domain
.
h
:
a
void use of C++ keywo
r
d "templat
e
"
commit
|
commitdiff
|
tree
2008-10-14
S
ven
Verdoo
l
aeg
e
add isl backend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
options
.
c: remove
-rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rdoolaege
Hand
l
e 0D problems
b
y a
d
ding a 0th leve
l
to the ma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erdoolaege
cloog_loop_merge: ensure l
o
op domai
n
s are co
n
vex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n
Verd
o
o
l
aege
insert_g
u
ard: make sur
e
c
o
e
fficient in le
f
t hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
o
o
laege
i
nsert_guard: avoi
d
out-of-bounds access
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoolaege
Introduce CloogC
o
nstr
a
int abst
r
action
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Re
n
ame CloogConstraints to Cl
o
o
g
Const
r
aintS
e
t
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolae
g
e
fix typos in insert_l
o
op comm
e
nts
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
cloog_domain_print_s
t
ructure: print
a
l
l polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Ve
r
doolae
g
e
L
e
t cloog_dom
a
in_lower
b
ound_
u
pdate return
t
h
e updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ve
n
Verdoolaege
Combine cloog_s
c
attering_laz
y
_is
s
cal
a
r a
n
d
cloog_
s
ca
t
t
ering
_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n
Ver
d
o
o
l
aege
include/
c
loog/domain
.
h: remo
v
e dec
l
arations
of (u
n
used
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoo
l
aege
test/tes
t
_run:
only
c
heck simp
l
ified hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doo
l
aege
test/test_r
u
n: also check
cor
r
ectness
o
f simpli
f
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
c
loo
g
_
domain_simpl
i
fy: avoid out-of-bounds
array a
c
ces
s
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoola
e
g
e
T
reat p
a
ramete
r
domai
n
s
d
iff
e
ren
t
ly
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
er
d
oo
l
a
e
ge
C
h
ange semantics of cloog_domain_cut_fir
s
t
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
c
lo
o
g_dom
a
in_
i
sempt
y
: accept
N
ULL argument
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaeg
e
cl
o
og_domain_empty
:
make empty d
o
main
u
sing template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
I
nform functi
o
n r
e
adi
n
g in scattering
function
of d
o
main
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoola
e
g
e
pass t
h
e numbe
r
of par
a
mete
r
s to functions re
a
ding
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
introduce CloogScatt
e
ring a
b
strac
t
io
n
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
ma
k
e textual t
e
sts b
a
cke
n
d depende
n
t
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
V
erdoolae
g
e
sort elements
o
f
m
in
and max reduction clasts
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
a
l
l
o
w out
-
of
-
src tes
t
file gen
e
ration
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Remove
l
ines referring to "number of polyhedra"
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Pass Cloog
O
ptions to f
u
nction
read
i
ng (lists of) d
o
mains
commit
|
commitdiff
|
tree
2008-09-23
S
ven V
e
rdool
a
ege
allow backend
s
to have their o
w
n optio
n
s
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
configure:
handle gmp an
d
polylib "submodules" i
n
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Ve
r
doo
l
aege
create b
a
ckend
(
Pol
y
Lib) specifi
c
libra
r
y
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoo
l
a
e
ge
r
e
move dependence on
P
o
lyL
i
b from
cloog core
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Ver
d
oolaege
Test correctness of generated code,
w
ithout re
q
u
iring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
add cloog_domain_cube function
,
returni
n
g a cub
e
of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Let
cloog_domain_u
n
iverse ret
u
r
n a univers
a
l domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
R
e
place u
s
e of Va
l
ue in cloog c
o
re
b
y new c
l
oog
_
i
n
t_t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
abst
r
a
c
t
o
ut
C
loogMatr
i
x
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolae
g
e
clast
.
c: use Cl
o
ogEqualities and CloogC
o
nstra
i
nts
i
n
s
te
a
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
rdoolaeg
e
C
l
oogBlock: remove unused sca
t
tering field
commit
|
commitdiff
|
tree
2008-09-23
Sven
Ve
r
doolaege
avoid use
o
f matrices i
n
source/pro
g
ra
m
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
compl
e
t
e
Clo
o
gD
o
main abstraction
commit
|
commitdiff
|
tree
next