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
cloog_program_read: separate reading from input from construction of CloogProgram
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: include
copi
e
s
o
f
Cl
o
ogStatement
s
inste
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
c
l
oog_statement_copy: add m
i
ssi
n
g copy of s
t
a
t
e
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
Sve
n
Verdool
a
ege
re
n
a
me pprint to clast_pprint to a
v
o
id nam
e
space pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sve
n
Verdoolaege
make Cloo
g
Domain and
C
l
o
o
g
Scattering completely opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Ve
r
doola
e
ge
c
l
oog_names_a
l
loc:
f
ix ty
p
o i
n
comment
commit
|
commitdiff
|
tree
2009-06-01
S
v
en
V
erdoolaege
c
last: extract enum cla
s
t
_
ex
p
r
_
type from
o
ut of clas
t
_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven
Verdoolaege
u
pdate README
for new patch sub
m
itting procedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en V
e
r
doolaege
avoid
r
ec
o
mputa
t
ion
o
f "
o
ne"
(and -1) by stor
i
ng a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oo
l
aege
cl
a
s
t: make global
str
u
ct cla
s
t_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaeg
e
move all
gl
o
b
al
var
i
ables t
o
CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
r
doolaege
move
i
sl_ctx from
C
loogOpti
o
ns
t
o CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoola
e
ge
cloog_options_read: fix m
i
snamed
a
rgc and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
clo
o
g
_
d
omain_dimensi
o
n: re
t
u
rn actual
d
i
me
n
s
ion
(
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
d
oolaege
Pol
y
Lib b
a
ckend: s
t
ore number of parameter
s
in
CloogDomain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoolaege
cloog_names_
a
lloc: initialize
s
tr
u
cture with defau
l
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Ba
s
t
oul
C
h
ange l
i
cense
from
GPL 2
.
0 to
L
GPL
2
.
1
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdoolaege
upda
t
e docs to i
n
troduct
i
on of
C
loo
g
Scatteri
n
g
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoo
l
aege
PolyL
i
b backen
d
:
d
isable
c
l
o
o
g
_
s
catteri
n
g_lazy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaeg
e
c
l
a
st
:
drop loops
with fractiona
l
lower a
n
d
upper bou
n
ds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
S
ven Ve
r
doolaeg
e
co
n
figure
.
in
:
set
AC_CONFIG
_
MAC
R
O
_
DIR
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verd
o
o
l
aege
insert_
m
odulo_g
u
ard:
m
ove
redu
c
tion of
g
u
a
rds
to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
olaege
sou
r
ce/clast
.
c:
i
nser
t
_
modulo_gu
a
rd: only
compute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoo
l
ae
g
e
cloog_const
r
aint_e
q
ual_type: trea
t
all
modulo guard
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoola
e
g
e
c
loog_
l
oop_s
i
mplify: iterate over siblings in
s
tea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
Remove
l
ines referr
i
ng to "number
of po
l
yhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
update isl for new version of isl_basic_m
a
p_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
isl backend
:
cl
o
og_domain_simplify_unio
n
: use isl_
s
e
t
_coalesc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
Extract
out backend specific
c
l
o
og_do
m
ain_simplify_unio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl backend: use
i
sl
_
set_bounded_simple_hull for comp
u
t
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
cla
s
t
.
c:
i
nsert ext
r
a modulo
guards involving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaeg
e
isl
b
ac
k
end: d
i
v_exp
r
: free
div
a
fter
u
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
u
p
date isl for change in i
n
te
r
nal r
e
presentati
o
n
a
ffecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
up
d
ate isl for normalizati
o
n
during co
n
vex
h
ull computa
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
c
l
ast
.
c: clast_r
e
duction_cmp: tre
a
t all u
n
a
ry "reductions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
pretty p
r
inter
:
d
rop "
"
in fr
o
nt of ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oola
e
g
e
re
m
ove cpp
o
ption (defaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ve
n
Verd
o
olaege
turn on
"
eq
u
ality spreading" (
e
sp) by d
e
fau
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
dool
a
ege
remove csp
o
ption
(
defaulting to t
r
ue)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdo
o
laege
pr
i
n
t
execut
i
on time again
i
f s
y
s/resource
.
h
is available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
Verdoolae
g
e
isl backend:
s
uppo
r
t existentially quantified variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
e
rdoolaege
isl back
e
nd:
drop existentials when co
m
puting fallback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for plug for isl_map_s
i
mple_hul
l
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
up
d
ate isl for changed
c
alling
c
onvent
i
ons of i
s
l_b
a
si
c
_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
upda
t
e isl
f
or change in calling convention of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
g
e
update
i
sl for refcounted isl_c
o
nstraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
pdate isl
fo
r
i
n
t
roducti
o
n of isl_dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Ve
r
doolaege
c
l
ast
.
c: i
n
sert_guard: insert m
o
dulo guards
b
ased on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clas
t
.
c: e
x
tra
c
t out c
l
oog_constraint_
s
et_n_iterators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
cla
s
t
.
c:
e
x
tract out co
m
mon cloog_constraint_varia
b
l
e
_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast: allow
clast_term to
r
e
prese
n
t
m
ulti
p
le of
any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verd
o
olaeg
e
cla
s
t
.
c: extract out co
m
mon clo
o
g_names_name_at_leve
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoola
e
g
e
minor chan
g
es to CloogConstra
i
nt
abst
r
ac
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ve
n
Verdoolaege
Fi
x
up option
a
l i
n
clusion of ba
c
k
u
p
m
p_get_memory_function
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaege
cloog/co
n
straint
s
.
h: don't put #include's inside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven
V
e
rdool
a
e
g
e
drop unused cloog_constraint_set_c
o
un
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven
Verdoolaege
Ad
d
backup mp
_
get_mem
o
ry_functions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven
Ver
d
oolaege
update isl for compat
i
b
il
i
ty
with old
g
mps
commit
|
commitdiff
|
tree
2008-11-11
Sven
Verdoolaege
u
pdate isl for
i
mprov
e
d pi
p
lib efficien
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdool
a
ege
Lo
o
k
for
m
ore opportunities for blocking sta
t
ements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
ven
V
erdoolaege
cloo
g
_prog
r
am_read:
delay construction
o
f
bl
o
cklist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rd
o
olaeg
e
cloog_loop_separa
t
e: com
b
i
n
e lo
o
ps wit
h
identical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
Verdoolaege
cloog_loop_separate: mi
n
or
c
l
ean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
rdoolae
g
e
c
l
oog_lo
o
p_separate
:
exp
l
oit di
s
jo
i
ntn
e
ss
o
f loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
clast
.
c
:
sort equations in guard
cl
a
st
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoola
e
ge
Op
t
ionally ref
r
ain
f
rom pri
n
t
i
n
g
any informationa
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n Ve
r
d
o
olae
g
e
cla
s
t
.
c: don't insert any "scal
a
rs" for
level
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoola
e
g
e
source/isl: fix typos in com
m
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaeg
e
Explicitly specify -rpath for libto
o
l libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaeg
e
include/cloog/domain
.
h
:
avoid
use of
C
++ keywor
d
"templ
a
te"
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdo
o
laege
add i
s
l backend
commit
|
commitdiff
|
tree
2008-10-14
S
ven
V
erdoolaege
options
.
c: remo
v
e -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven Ve
r
dool
a
ege
Han
d
le 0D problems by addi
n
g a
0
t
h
l
e
vel
t
o the mai
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erd
o
olaege
cl
o
og_l
o
op_merg
e
: ensure loop
domains
are conve
x
,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
ins
e
rt_guard: make sure
coeffici
e
n
t
in
left hand
s
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
i
nsert_gu
a
rd:
avoid
out-of-bounds access
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoolaege
Introduce Clo
o
g
C
onst
r
a
i
nt
abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoo
l
aege
Rena
m
e Cloo
g
Const
r
aints to Cloo
g
Cons
t
raintSe
t
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
V
erdoolae
g
e
fix typo
s
in insert_loop com
m
en
t
s
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verdoola
e
ge
c
l
oog_domain_pr
i
n
t
_struct
u
re:
p
rint
a
l
l polyhedra
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n
Verdoolaege
L
et cloog_
d
omain_lowerbou
n
d
_
update
retur
n
the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaege
Combine cloog_scattering
_
lazy_isscala
r
and
c
loog_sca
t
t
e
ri
n
g_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
ol
a
e
ge
include/cloog
/
do
m
ain
.
h:
r
em
o
ve
d
ecl
a
r
a
tions of (unu
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
te
s
t/t
e
st
_
r
u
n: only c
h
e
c
k simplified hull g
e
ner
a
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
Verdoola
e
ge
test/
t
est_run
:
also chec
k
correctness
o
f
simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
Verdoolaege
c
loog_domain_simplify: a
v
o
id out-of-bounds array access
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
T
reat
p
a
r
ameter
d
o
m
ains d
i
fferently
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
Ch
a
n
ge semantics
o
f cloog_domain_cut_f
i
rst
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oola
e
ge
cloog_
d
o
main_isempty:
a
ccept NULL argument
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
c
lo
o
g_do
m
ai
n
_
e
mpty: ma
k
e empty do
m
ain using templa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
Inform f
u
nc
t
ion reading in scatt
e
ring f
u
nct
i
on of
d
o
main
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
pas
s
the number of parameters t
o
fu
n
ctions r
e
ad
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
in
t
r
o
du
c
e CloogSca
t
ter
i
ng abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
make textual te
s
ts b
a
c
k
en
d
depe
n
den
t
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaeg
e
sort e
l
eme
n
ts of mi
n
and max red
u
c
t
i
on
c
l
a
sts
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
allow out-of-src test file gen
e
ration
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
Verdoolaege
Remove line
s
referring to "
n
umber of po
l
yhedra" i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
Verdoo
l
aege
Pass Cloog
O
ptions to function reading (lis
t
s o
f
) domai
n
s
commit
|
commitdiff
|
tree
2008-09-23
Sven
Ver
d
oolaege
allow backends to have
t
heir own o
p
tions
commit
|
commitdiff
|
tree
next