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 Verdoolae
g
e
update isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
isl backend: fi
x
return of
cloog_d
o
main_convex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdoo
l
aege
Makefile
.
am
:
explicitly set DIST_SUBDIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdool
a
ege
upd
a
te i
n
st
a
l
lation instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n V
e
r
do
o
laege
c
o
nfigure
.
in: build
isl backend by
d
efa
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
a
e
ge
configure
.
in: al
l
o
w
no
t
building polylib bac
k
end
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdoo
l
aege
doc:
d
ocument
c
last
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Verdoolaege
clast:
i
n
clude copies of CloogS
t
atements instead o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
cloog_statement_cop
y
: add missi
n
g copy of
state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rd
o
olae
g
e
doc
:
fix s
o
me s
p
elling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sve
n
Ver
d
oolaege
re
n
ame
p
p
r
int
t
o clast_pprint
t
o a
v
oid nam
e
space pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoolaege
make CloogD
o
main
a
nd CloogS
c
at
t
ering completely opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
S
v
en
V
erdoolaege
clo
o
g_nam
e
s_allo
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-06-01
Sven
V
erdoolaege
c
l
ast: extract enum clas
t
_
e
xpr
_
type from out of clast_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaege
update README for n
e
w p
a
tch
sub
m
i
t
ting procedur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Ver
d
oolae
g
e
avoid recomputation
of "one" (and -1) by storing a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
ge
clast
:
make global s
t
r
uct clast
_
stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doolaege
move
a
ll g
l
obal variables to CloogSta
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
e
r
doolaege
move is
l
_
c
tx
f
r
o
m C
l
oogOptions
to CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oolaege
cloog_options_read: f
i
x misname
d
a
r
gc and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
V
e
rd
o
o
l
ae
g
e
cloog_domain_dimension: return ac
t
ual
dimensio
n
(i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n
Verdool
a
ege
PolyLib
b
ackend
:
store
n
umber
of parame
t
ers in CloogDomain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
ge
cloog_names
_
all
o
c:
initiali
z
e struct
u
r
e
w
i
t
h
default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
S
ven Verdool
a
ege
upda
t
e d
o
cs
to i
n
troduction o
f
C
l
o
o
gScatter
i
ng and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doola
e
ge
Pol
y
Lib backen
d
: disable cloog_scatt
e
r
i
ng_lazy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
insert_modulo_guard: mo
v
e reduc
t
ion o
f
guards to
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en Verdoolaeg
e
source/clast
.
c: insert_mod
u
lo_guard: onl
y
compute bo
u
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_
c
ons
t
raint_equal_ty
p
e: treat all
m
odulo g
u
ards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven V
e
r
doolaege
cloog
_
loop_s
i
mpl
i
f
y: i
t
erat
e
over
s
i
blings
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoo
l
aege
R
e
mo
v
e
lines ref
e
rr
i
ng to "number of po
l
y
hedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
update isl for new v
e
rsi
o
n of isl_ba
s
ic_map_
g
is
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
isl b
a
ckend: cloog_doma
i
n_simplify_union:
use
i
sl_set_
c
oa
l
esce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
E
xtr
a
ct ou
t
backen
d
spec
i
fic cl
o
o
g_domain_sim
p
lify_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl
b
acke
n
d: use
i
sl_
s
et_bo
u
nded_simple_hu
l
l for comput
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
cl
a
st
.
c:
i
n
s
ert extra
modulo gua
r
ds involv
i
ng loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl backend: div_expr: free
d
iv after use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Ve
r
doolaege
update isl for change
in
i
nternal represe
n
tati
o
n
a
ffecti
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Verdoolaege
update isl for normaliza
t
ion during con
v
ex hull computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
o
olaeg
e
clast
.
c: clast_
r
eduction_cmp: tr
e
at
a
ll unary "re
d
uctio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n Verdo
o
laege
pretty pri
n
ter
:
d
r
o
p " " in front of ";
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdoola
e
g
e
rem
o
ve cpp option (defaultin
g
t
o true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
t
u
rn on "equality spreading" (e
s
p)
b
y default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove
c
sp option (defaulting to
true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
l
a
ege
print execu
t
ion time again if sys/reso
u
rc
e
.
h is
ava
i
lable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl
b
ack
e
nd:
s
u
ppor
t
existentially quantifi
e
d variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
erdoolaege
isl backen
d
: drop ex
i
stenti
a
ls when
c
omputing fallback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
update
isl for p
l
ug for isl
_
map_simpl
e
_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
upd
a
te isl for changed calling conventions of is
l
_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
upd
a
te isl for ch
a
nge in calling c
o
nvention of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
updat
e
isl for refcounted isl_con
s
tr
a
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for
introduction of isl_dim
s
tructur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erd
o
olaege
clast
.
c: inse
r
t
_guar
d
:
i
nsert modulo guards
b
a
s
e
d on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoo
l
a
e
ge
clast
.
c: extract
out cloog_constra
i
nt_set_n_it
e
rators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
c
l
a
s
t
.
c: extract o
u
t common
c
l
oo
g
_constraint_variabl
e
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoo
l
aege
clast:
allow clast_term
t
o re
p
resent mu
l
tip
l
e
o
f
a
ny
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
clast
.
c: extract out common cloog_name
s
_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
m
inor changes to CloogConstrain
t
a
bstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaeg
e
Fix up
o
p
t
iona
l
i
nc
l
u
s
ion
o
f backup mp_get_memo
r
y_functi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoo
l
aege
cloog/constraints
.
h: do
n
't put #include's i
n
s
id
e
extern "C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
drop unused clo
o
g_constraint_set_co
u
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verd
o
olaege
Add backup
m
p_get_memory_fu
n
ctions implementation
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
ven V
e
rdoo
l
a
eg
e
update isl for compatibility with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolae
g
e
update isl for impr
o
ved piplib effici
e
n
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
Look
for
m
ore op
p
o
rtun
i
ti
e
s
f
or bl
o
c
k
ing st
a
tements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoolaege
cloog_program
_
r
ead: delay constru
c
tion of blockli
s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n
Verdo
o
laege
cloo
g
_loo
p
_
separate: combi
n
e loops with id
e
ntical
dom
a
i
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
Verdoolaege
cloog
_
l
oop_separate:
m
inor clean-
u
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_lo
o
p_separate: exploit disjointn
e
ss of loop doma
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoolaege
cl
a
st
.
c: sort equations in gua
r
d
c
lasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoola
e
ge
O
p
ti
o
nally
refrai
n
from pr
i
n
tin
g
any infor
m
a
t
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
o
o
la
e
g
e
clast
.
c: don't i
n
se
r
t
any "
s
calars" for level
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
s
o
u
r
ce/isl: fix
t
yp
o
s in c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ve
r
doolaege
Explicitl
y
spec
i
fy -rpath for libto
o
l l
i
braries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoolaege
i
n
c
l
ude/c
l
oog/d
o
mai
n
.
h: avoi
d
use of C
+
+
k
e
yword
"
te
m
plate"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add isl
backend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdool
a
e
g
e
options
.
c:
re
m
ove
-
ra
y
s
op
t
ion
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
Handle 0D pr
o
blems by a
d
ding
a
0th level to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
v
en V
e
rdoolaege
cloog_loop_merge: ensure loop
domains are
convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Ve
r
doolaege
insert_gua
r
d: make sure coef
f
icient
in left ha
n
d side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
Ve
r
doolaege
insert_guard
:
avoid out-
o
f
-
boun
d
s
a
ccess
commit
|
commitdiff
|
tree
2008-10-02
Sven Verd
o
olaege
In
t
roduce Cloo
g
Co
n
straint
ab
s
traction
commit
|
commitdiff
|
tree
2008-10-02
S
v
e
n Ver
d
oolaege
Rename C
l
oo
g
Const
r
ai
n
ts to Cl
o
o
g
ConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolae
g
e
fix typos in in
s
ert_loop co
m
ments
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoo
l
aege
c
loog_do
m
ain_print_structur
e
:
p
rint all polyhedra i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
L
e
t clo
o
g_domain_lowerbound_updat
e
return the up
d
at
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdo
o
laeg
e
Combine cloog_scattering_lazy_isscalar and cloog_scatt
e
ring_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
i
nclude/cloog/do
m
ain
.
h: remove d
e
cla
r
ations of (unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
test/test_run: on
l
y chec
k
simplified hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdool
a
ege
t
e
st/test_run: also check correctness of simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
cl
o
og_domain
_
sim
p
l
i
fy: avoid out-o
f
-
bounds array a
c
cess
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
Tre
a
t
parameter do
m
ains differently
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
ae
g
e
Change semantics of cloog_domain_cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
o
olae
g
e
clo
o
g_
d
omain_isempt
y
:
ac
c
ept NU
L
L
a
r
gument
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoola
e
ge
c
l
oog_
d
o
m
ain_emp
t
y
: make empty domain usin
g
template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoo
l
aege
Inform function reading in scatte
r
i
n
g f
u
nction o
f
do
m
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
pass the number o
f
parameters to f
u
nctions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
introduce CloogScattering abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
make
t
extu
a
l
te
s
ts backend dependent
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdool
a
ege
s
or
t
elements
o
f min and max reduction
clasts
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
allow
out-of-src test
f
i
le generation
commit
|
commitdiff
|
tree
next
