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 to version 0.01
2009-09-06
Sven Verdoolaege
u
p
dat
e
isl to
ve
r
sion 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
don't assume
com
p
il
e
r is
gcc when turning on warnings
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolae
g
e
c
loog_
p
ro
g
ram
_
pprint: remove
d
ubious escape
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
co
n
figure
.
in
:
don't assu
m
e
compiler is gcc whe
n
setting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oolaege
cloo
g
_loop_stride:
prop
e
rly handle domains with
fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aeg
e
up
d
ate isl for fix in isl_bas
i
c_set_dim_residue_c
l
ass
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
P
o
lyLib backend: cloog_domain_stride: handle singleton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaeg
e
test/Makefi
l
e
.
am
:
a
dd all known
go
o
d
ve
r
sions for test_run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verd
o
olaege
u
p
date isl for g
b
r
b
as
e
d sampli
n
g
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n Ve
r
d
oolaege
upda
t
e is
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdool
a
eg
e
isl backend:
f
i
x
r
et
u
rn of cloo
g
_d
o
main_convex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ve
n
Verdool
a
e
g
e
Makefile
.
am: ex
p
lic
i
t
l
y set DIST_SUBDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
u
pdate installation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
v
e
n Verdoola
e
g
e
configure
.
in: build isl b
a
ckend
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoola
e
ge
conf
i
g
u
re
.
in: allow not
b
uilding poly
l
ib backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdoolaege
d
o
c: document clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoo
l
aege
clas
t
: include
cop
i
es of Cloo
g
S
t
atements in
s
te
a
d of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n
Ve
r
doola
e
ge
cl
o
og
_
statement
_
co
p
y
: add mis
s
ing copy of
state
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verd
o
ol
a
ege
doc
:
fix so
m
e spelling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verd
o
o
l
aege
rename pprint to clast_pprint to avoi
d
n
amesp
a
c
e pollution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Ver
d
oolaege
m
ake Clo
o
gDomain a
n
d CloogScattering comp
l
et
e
ly
o
paque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven
V
erd
o
olaege
cloog_names_alloc: fix typo in co
m
men
t
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n
V
erdoolaege
c
l
a
s
t
:
extract e
n
um
clast
_
e
x
pr_type from o
u
t of clast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven V
e
rdoolaege
upda
t
e R
E
ADME for new patch s
u
b
m
i
t
ting procedur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
a
voi
d
recomputation of
"
o
ne" (and
-1) by storing
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Ve
r
doolaege
c
l
ast: make global str
u
c
t clast_stmt_ops const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
move all glob
a
l
v
ariables
t
o CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
move i
s
l
_
ctx from
C
loogOptions to C
l
oogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
cloog
_
options_read: fix misnamed
a
rgc a
n
d argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
ol
a
ege
cloog_domain_dimension: retu
r
n
actual dimension (
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolae
g
e
PolyLib backend:
s
tore number o
f
parameters
i
n
CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven
V
erdoolaege
cloog_names_alloc: initialize structure with default
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verd
o
olaege
upd
a
te
d
ocs
t
o introdu
c
tion of CloogScat
t
er
i
ng and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
PolyLi
b
backend: d
i
sabl
e
cloog_s
c
attering_la
z
y_
b
lock
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
clast: drop loops with
f
r
actional l
o
wer and upp
e
r
bo
u
nds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
ven Ve
r
dool
a
ege
c
o
n
fi
g
ur
e
.
i
n
: set
A
C_CONFI
G
_MACRO_
D
IR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
oolae
g
e
insert_modul
o
_guard: move reduction o
f
guards to
t
he
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n Verdo
o
laege
source/c
l
ast
.
c: insert_modulo_guard: only
com
p
ute bou
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ver
d
oolaege
cloo
g
_constraint_equal_t
y
p
e
: treat a
l
l mod
u
lo gua
r
ds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_loo
p
_simplify: i
t
erate over siblings inst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n Verdo
o
laeg
e
Remove lines refer
r
ing t
o
"number of p
o
lyhedra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
update isl for
n
ew version of isl
_
basic
_
map_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
isl backend: c
l
o
o
g
_domain_
s
impl
i
fy_unio
n
: use isl_
s
e
t_coalesc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
o
o
l
aege
Ext
r
act ou
t
b
ac
k
end s
p
ecific c
l
oog_domain_sim
p
lify_un
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
isl backend: u
s
e isl_set_b
o
unde
d
_
simple_
h
ull f
o
r com
p
ut
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
g
e
clast
.
c: insert extra
m
odulo guar
d
s involving loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
isl backend:
d
iv_expr: free div after us
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
u
pdat
e
isl for change
i
n
in
t
ernal
rep
r
es
e
ntat
i
on affec
t
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaege
update isl for norma
l
ization
d
u
ring convex hull c
o
mputation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdo
o
la
e
ge
clast
.
c
:
clast_reductio
n
_
cmp: t
r
eat all unary "reduction
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aege
pret
t
y printer: drop " " in front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolae
g
e
r
e
mov
e
cpp op
t
ion (defaulting to tru
e
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
e
r
doolaege
turn
o
n "
e
quality spreading" (esp) by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n V
e
r
d
o
o
laege
remove csp opti
o
n
(
defaulti
n
g to true
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print exe
c
u
tion time again if sys/res
o
ur
c
e
.
h is available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven V
e
rdo
o
laege
onl
y
print exe
c
ution time if sys/res
o
urce
.
h
is avail
a
ble
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
isl b
a
ckend: s
u
pport existentially
quantified variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Ve
r
doolaege
i
s
l b
a
ckend
:
drop
existe
n
tials when
c
omputing f
a
l
l
back
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n V
e
r
doo
l
aege
update isl
for plu
g
f
o
r isl_m
a
p_si
m
ple_hull
memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
r
d
o
olaege
update isl for
c
hanged
c
alling conventio
n
s of isl_basic_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ve
n
Verdoolaeg
e
update isl for change
in call
i
ng convention of so
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
upda
t
e isl for
r
efcoun
t
ed isl_
c
o
nstra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoo
l
aege
update
i
sl
f
or introduction of
i
sl_dim
struct
u
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
o
laege
clast
.
c: insert_guard: insert modul
o
g
u
ards b
a
sed on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdool
a
ege
clast
.
c:
e
xtract out
cloog_constraint_s
e
t
_
n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
clast
.
c: ex
t
ract out c
o
mmon cl
o
og_constraint_variable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ver
d
ool
a
ege
clast:
a
llow cla
s
t
_
term to r
e
present
m
u
l
tip
l
e of
a
ny
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
clast
.
c: extract ou
t
common cloog_names_na
m
e
_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
minor chang
e
s to CloogConstr
a
int abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
do
o
laeg
e
Fix up
o
ptional
i
nclusion of
b
ackup
m
p
_
get_memory
_
functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
en Verdoolaege
clo
o
g/constraints
.
h: don't pu
t
#includ
e
's in
s
id
e
extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sv
e
n Ver
d
oolaeg
e
dr
o
p
unu
s
ed cloog
_
con
s
traint_se
t
_c
o
unt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoola
e
g
e
Add backup mp_get_memory
_
functions impleme
n
ta
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ver
d
oolaeg
e
update isl for compatibility w
i
t
h
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Ver
d
oolaege
update isl for improved
piplib efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Look
f
o
r
m
o
r
e o
p
portunities for blocking
statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdoolaege
c
l
oog_program_r
e
ad: de
l
ay construct
i
on of
b
l
o
c
k
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doo
l
aege
clo
o
g_
l
oop
_
sep
a
r
ate: co
m
bin
e
loops with
i
den
t
ic
a
l domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoola
e
ge
cl
o
og_loop_separate: minor cl
e
an-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop_separate: e
x
pl
o
it disj
o
intness of loop domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
clast
.
c
:
sort
e
quat
i
ons in guard clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verd
o
ol
a
ege
O
p
tion
a
lly re
f
rain from pr
i
ntin
g
any inf
o
rmational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
cla
s
t
.
c
:
don't
i
n
s
e
r
t
any "scalars" for l
e
vel
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
source/
i
sl: fix ty
p
os
i
n comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n Verd
o
olaege
E
x
plicit
l
y
s
p
ecify
-rpath for
l
ibt
o
o
l
libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoola
e
ge
i
n
c
lude
/
cloog/domain
.
h: avoid use o
f
C
++ k
e
y
word "tem
p
late"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add isl b
a
c
kend
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdoolaege
options
.
c: remove -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdool
a
ege
Ha
n
dle 0D p
r
oblems by
a
ddi
n
g
a
0
t
h level
to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
ven
Ver
d
o
o
l
aege
c
l
oo
g
_
loop_merge:
ensure loo
p
domain
s
are
c
onvex,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdool
a
eg
e
insert_gua
r
d: make sure coef
f
i
c
ient in
l
e
ft
h
and side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
ven
Verdo
o
la
e
ge
insert_gu
a
rd: avoid o
u
t-of-bounds
access
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
doolaege
Introduc
e
CloogConstraint abs
t
r
action
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoolaege
R
ename Cloo
g
Constraints to CloogCo
n
s
traintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
fix typo
s
in
i
nsert_loop commen
t
s
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
cloog_domain_print
_
s
t
ructur
e
: print all pol
y
h
edra
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
Le
t
cloog
_
do
m
ain_l
o
werbound_update ret
u
rn the upd
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
o
l
a
e
ge
Combine cloog_scatteri
n
g_lazy_iss
c
alar a
n
d cloog_scatter
i
ng_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
inc
l
ude/cloog/domain
.
h
:
remove declarations of
(unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
Verdoolaege
test/te
s
t_run: only che
c
k simplified hull ge
n
e
r
a
t
ions
.
.
.
commit
|
commitdiff
|
tree
next