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_names_alloc: fix typo in comment
2009-06-03
Sven Verd
o
o
laeg
e
cloog_names_alloc:
f
i
x typo in co
m
m
ent
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdo
o
laege
c
last
:
ext
r
act enum clast_expr_ty
p
e from out of c
l
as
t
_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven
V
e
r
doolaege
upd
a
te
README
for new pat
c
h submitting proce
d
ur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoo
l
aeg
e
avoid r
e
c
o
mputa
t
ion of "one"
(and -
1
)
b
y sto
r
i
ng a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oolaege
cl
a
st: make global st
r
uct clast_s
t
mt
_
o
ps
c
onst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verd
o
olae
g
e
move all gl
o
ba
l
varia
b
l
es to Cloo
g
Sta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
e
n V
e
rdoolaege
m
o
ve isl_c
t
x
from CloogOptions to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doolaege
cloog_options_read
:
fix misnamed
a
rgc a
n
d
a
rgv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdool
a
e
g
e
clo
o
g_do
m
ain
_
dimension: ret
u
rn actu
a
l dimen
s
ion
(i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
PolyL
i
b backend
:
store number of parameters in CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdo
o
l
aeg
e
cloog_names_all
o
c: ini
t
iali
z
e s
t
ructure wi
t
h
default
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verd
o
ol
a
eg
e
up
d
ate
doc
s
to introd
u
c
tion of CloogScattering an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolae
g
e
PolyLib backe
n
d: disable cloog_
s
catt
e
r
ing_lazy_block
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
c
l
ast
:
drop loops with
fractiona
l
lower a
n
d upp
e
r bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
configure
.
in
:
se
t
A
C
_CONFIG_M
A
CRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
inser
t
_modulo_gu
a
rd: mov
e
reduct
i
on of guards to th
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoo
l
aege
source/clast
.
c: insert
_
modulo_gua
r
d
:
only
c
omp
u
te bo
u
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_cons
t
r
a
i
nt_equ
a
l
_
type: t
r
eat all modulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
c
l
o
og_loop_simplify: iterate
over siblings instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
Re
m
o
ve lines r
e
f
erring to "number of
p
olyhedra" i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
update isl for new
v
ersion of
isl_basic_map_
g
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoo
l
aege
i
sl bac
k
e
n
d: clo
o
g
_
d
o
main_simplify_
u
nion: u
s
e isl_set
_
coa
l
esc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
E
xtract out backend specific cloog_domain_simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl backend:
u
se isl_set_bounde
d
_simple_hull for computing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
clast
.
c: insert extra m
o
dulo g
u
ar
d
s involving lo
o
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
b
ac
k
end: div_expr: free div af
t
er use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Ve
r
doola
e
ge
update i
s
l fo
r
c
h
ang
e
in i
n
te
r
n
a
l represe
n
tation affecting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoolaege
update isl f
o
r normalization
d
uring convex hull computati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Ve
r
doolaege
cla
s
t
.
c
:
cla
s
t_reducti
o
n_
c
mp: t
r
eat a
l
l unary "redu
c
ti
o
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoolaege
pretty
p
rinte
r
: d
r
op " " in front o
f
";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove cpp option (defaulting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoolaege
turn o
n
"equality s
p
r
e
ading" (esp) by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verd
o
olaege
remove csp option (
d
efaulti
n
g to
true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
r
d
o
olaege
print execution time again if sys/reso
u
rce
.
h is a
v
ailable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Verdoolaege
only
print execution time
i
f sys/resource
.
h is avai
l
able
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
isl back
e
nd: su
p
port existent
i
ally quan
t
ifie
d
variabl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdo
o
laege
isl backend: drop existentials
when computin
g
fallb
a
ck
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven V
e
rdoolaege
upd
a
te isl
f
or plug for isl
_
map
_
simp
l
e_hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
upda
t
e
i
sl for changed
calling conve
n
tions o
f
is
l
_ba
s
ic_se
t
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
update
i
s
l for c
h
ange
in calling conve
n
tio
n
of so
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
p
d
ate isl
f
or ref
c
ounte
d
isl_
c
onstraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en V
e
rdoolaege
update isl for introducti
o
n of is
l
_d
i
m structu
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoo
l
aeg
e
clas
t
.
c: insert_guard: insert
m
o
d
ulo gu
a
rds
b
ased on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoo
l
a
e
g
e
clast
.
c: ext
r
act out cloog_constraint_set_n_it
e
rators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
c
last
.
c:
e
xtr
a
ct out common
c
loog_cons
t
raint_
v
a
riable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
clast: all
o
w
clast_term to r
e
pr
e
sent
m
u
ltiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
l
a
ege
c
l
ast
.
c:
e
xtra
c
t ou
t
common cloo
g
_nam
e
s_n
a
me_at_leve
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
minor changes to CloogConstrai
n
t abst
r
actio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
Fix up opt
i
onal
in
c
lusion of backup mp_get_memory
_
functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoo
l
a
ege
cloog/constr
a
ints
.
h:
d
on't p
u
t #in
c
l
ude's in
s
ide extern
"C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdo
o
laege
drop unused clo
o
g_
c
onstraint_se
t
_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sve
n
Verdoolaege
Add backup
mp_get_memory_functions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
v
e
n V
e
rdoola
e
g
e
update isl fo
r
compa
t
ib
i
li
t
y with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven V
e
rdoolaege
u
pda
t
e is
l
for
i
m
p
roved piplib effi
c
iency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Loo
k
fo
r
m
o
r
e
o
pport
u
nities
for blo
c
ki
n
g statem
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oola
e
ge
cloog_program_r
e
ad:
delay construct
i
on of blocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdool
a
ege
cloog_loop_separate: comb
i
ne loops with identical
d
o
m
ains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoola
e
ge
cloog_
l
oop_s
e
parate
:
minor
c
le
a
n-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloo
g
_loop
_
separate: exploit disjointness of loop doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoo
l
aege
clast
.
c: sort equations in guard
c
la
s
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
ola
e
ge
O
p
ti
o
nally refrai
n
from printing any informational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
cla
s
t
.
c: don't i
n
sert
any "scalars" for l
e
vel 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
erdo
o
la
e
ge
s
o
urce/isl:
f
ix t
y
p
o
s in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
erdoolaege
Expli
c
i
tly
spe
c
ify -rp
a
th for libto
o
l libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoo
l
ae
g
e
include/cloog/domain
.
h: av
o
id u
s
e of C++
k
eyword
"
t
emplate"
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoo
l
aege
add
isl backen
d
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoo
l
aege
o
pti
o
ns
.
c: remo
v
e -rays
o
ption
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rdoolaege
Ha
n
d
l
e 0D problems by adding a 0th level to the m
a
in
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
clo
o
g_loop_merge: e
n
s
ure loop doma
i
ns a
r
e con
v
ex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
do
o
laege
insert_guard: ma
k
e
s
u
re coefficient in left hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
doola
e
ge
ins
e
rt_g
u
ard: avoid out-of
-
bounds ac
c
ess
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Intr
o
d
u
c
e C
l
o
ogConstraint abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
r
d
oolaege
Rename Cloog
C
on
s
t
rai
n
ts to
C
loogCon
s
train
t
Set
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolae
g
e
fix typ
o
s in
inse
r
t_loop comments
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
r
d
oolaeg
e
cloog_domain
_
pri
n
t
_
s
tru
c
ture: print all polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
L
e
t cl
o
og_domain
_
lowerbound_update retu
r
n
the upd
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verdoolaege
Combine
c
lo
o
g_scatter
i
ng_lazy_isscalar and cloog_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
o
laege
inclu
d
e/cloo
g
/domain
.
h
: remove decl
a
ra
t
ion
s
of
(
unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Ve
r
doolaeg
e
te
s
t/test_run: only check simplified h
u
ll
g
en
e
rations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en V
e
rdoolaege
tes
t
/test_run: also c
h
eck c
o
rre
c
tne
s
s o
f
simpl
i
fi
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
Ver
d
oolaege
c
loog
_
do
m
ain_simpl
i
fy: avoid out-of-bounds
a
rray access
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
Ve
r
doolaege
Treat parameter dom
a
i
n
s differentl
y
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Change semantics of cloog_domain_cut
_
first
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
ool
a
ege
cloog_domain_isempty: accept
NULL ar
g
ume
n
t
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
o
olaege
cloog_domain_e
m
p
t
y
: make
e
mpty domain
using template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
I
n
form
functio
n
reading in s
c
at
t
ering f
u
ncti
o
n of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
Ver
d
oolae
g
e
pass
the
numbe
r
of parameters t
o
f
u
nctions read
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
int
r
od
u
ce CloogScattering abs
t
raction
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
Verdoolaege
m
ak
e
textual tes
t
s
backend d
e
pende
n
t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
sort elements of min and
m
ax
r
educ
t
ion
c
lasts
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
all
o
w out-of
-
src
test file generation
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
R
e
move lines
referring to "number
of polyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoo
l
aege
P
a
s
s CloogOptions to fun
c
tion
r
eading (lists of
)
doma
i
ns
commit
|
commitdiff
|
tree
2008-09-23
S
ven Ver
d
o
olaege
allow ba
c
kends to have their own options
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
configure: hand
l
e
g
mp and polylib "submod
u
l
e
s" in
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolae
g
e
create backend (PolyLi
b
)
s
pe
c
ifi
c
library
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doola
e
ge
r
emove dep
e
n
d
e
nce on PolyLib from cl
o
og
core
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Test cor
r
ectness of generate
d
code, without requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
a
d
d cloog_d
o
mai
n
_
cube fu
n
ction, returning a
cube
of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rd
o
olaege
L
e
t cloog_d
o
main_un
i
vers
e
retur
n
a u
n
iversal domain
.
.
.
commit
|
commitdiff
|
tree
next