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
V
erdoolaege
u
p
d
a
te isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
isl backend: fix return
of cloog_domain_conve
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Ver
d
oolaege
Ma
k
e
f
ile
.
am: expl
i
citl
y
set
D
IST_SUBDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
pdate installation instruc
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoolaege
configure
.
in
:
build is
l
backend by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Ve
r
doolaege
configure
.
i
n: allow not building polyl
i
b
b
ackend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verd
o
o
l
ae
g
e
doc: do
c
ument c
l
asts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
c
last: include
c
opies of CloogState
m
ents in
s
tea
d
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n
V
er
d
oolaege
c
l
oog_statement_copy: add
missing copy of sta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verdoo
l
aege
d
oc: fix some
s
pelling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoo
l
aege
rename pprint to clast_pp
r
in
t
to av
o
i
d
n
amespace p
o
l
l
uti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ve
r
d
ool
a
ege
make
C
lo
o
gDomain and CloogSca
t
teri
n
g completely opaque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ve
r
d
o
olaege
cloog_names
_
a
l
loc: fix
typo i
n
comment
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n Verdoolaege
clas
t
: ex
t
ra
c
t e
n
um clast_exp
r
_type f
r
om
o
ut
o
f clast_
e
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Ve
r
d
o
olaege
u
p
date READM
E
for new patch subm
i
tt
i
ng proc
e
dure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doolaege
avo
i
d
r
e
computation of "one" (and -
1
)
by storing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaeg
e
clast
:
make
global
s
tru
c
t clast_stmt_ops
const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdool
a
ege
move al
l
global
va
r
i
ables to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdo
o
lae
g
e
move isl_
c
t
x from Clo
o
gOpti
o
ns to
CloogSta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoolaege
cl
o
og_o
p
tions_
r
ead: fix misn
a
med
argc and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolae
g
e
cloog_domain_di
m
ensi
o
n: ret
u
rn actual
d
imension (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
r
doolaege
PolyLib
b
ackend: store
numbe
r
of pa
r
ameters in Cloog
D
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
do
o
la
e
ge
cloog_
n
ames_
a
lloc: initialize
s
tru
c
tu
r
e with defau
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdoolaege
update
docs to i
n
troduction o
f
Clo
o
g
Scattering
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
Pol
y
L
ib backend: disable c
l
oog_sca
t
t
e
ring
_
l
azy_b
l
o
c
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
clast: drop
l
o
o
ps
with fractional lo
w
er and up
p
er bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolae
g
e
configure
.
in
:
set A
C
_CONFIG_
M
ACRO_D
I
R
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
n
sert_modulo_guard: move reduction of gu
a
rds to the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdool
a
ege
so
u
rce/clast
.
c:
i
nsert_
m
odulo
_
guard: only c
o
mpute bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoo
l
aege
cl
o
og
_
constraint_equal_typ
e
: treat all
modul
o
guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog
_
loop_simpli
f
y: i
t
e
r
ate ov
e
r siblings instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
Re
m
ove lines referring to "number of polyhedra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
update isl fo
r
new versi
o
n of isl_ba
s
ic_map_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verd
o
olaege
isl
bac
k
en
d
:
cloog_domai
n
_simplify
_
unio
n
: use is
l
_set
_
coa
l
es
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
laege
E
x
tract out backend specif
i
c cloog_domain_si
m
plify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
b
a
ck
e
nd: use i
s
l_
s
et_b
o
unded_simp
l
e_h
u
ll for computing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
cla
s
t
.
c
: insert extra modulo gua
r
ds i
n
vo
l
v
i
ng loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
backen
d
:
d
iv_expr: free div after use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Verdoolae
g
e
upda
t
e
isl f
o
r change in i
n
ternal represe
n
tation
a
f
f
ecting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
eg
e
update isl for normalization
during
c
onvex
h
ull computatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n
V
erdool
a
ege
clast
.
c: clast_
r
eduction_c
m
p: treat all un
a
r
y
"reductio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n Verdoolae
g
e
pre
t
ty
pri
n
ter: drop
" " in
f
ront of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n
V
e
r
doolaege
remove cpp
o
p
tion (d
e
f
aulting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erd
o
ola
e
ge
t
urn on "equality spread
i
ng" (esp) by
defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
a
e
g
e
remove csp o
p
t
i
on (de
f
aulting to tru
e
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
print execution time
a
gai
n
if sys/resou
r
ce
.
h is av
a
ilable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
S
ven
Verdoolaege
onl
y
print exe
c
u
t
ion tim
e
if sy
s
/resource
.
h is a
v
ailab
l
e
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl
backend: support exis
t
entially quantifie
d
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
isl back
e
nd: dr
o
p
e
xiste
n
tials whe
n
co
m
pu
t
ing f
a
llback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
update isl
f
o
r plug for isl_ma
p
_simple_hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaege
u
pdate
i
sl
f
or cha
n
ged cal
l
ing conv
e
ntion
s
o
f
isl
_
b
asi
c
_set
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl
for c
h
ange in
c
alli
n
g convent
i
on o
f
som
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaege
update isl for
r
efcounted
isl_constrain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for introduc
t
ion of isl_dim structur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clas
t
.
c: i
n
sert_gua
r
d
: insert
m
o
d
u
lo guards b
a
sed on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
o
l
a
ege
clast
.
c: extr
a
ct out cloo
g
_constraint_set_n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolae
g
e
clast
.
c:
e
x
t
ract out comm
o
n cloog_constraint_v
a
riable_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoo
l
aege
clast: allow
c
last_term to represent mu
l
tiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
Verdoolaege
clast
.
c: ex
t
r
a
ct ou
t
c
o
m
m
on clo
o
g_nam
e
s_nam
e
_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
e
rdoolaege
mi
n
or changes to Cloog
C
onst
r
aint abst
r
ac
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
Fix up optional
i
nclusi
o
n
o
f backup mp_get_memory_func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven
Verdoolae
g
e
cloog/constra
i
nts
.
h: don't put #in
c
lude'
s
inside
extern
"C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Ver
d
oolaeg
e
d
rop unused cloog_constraint_set_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
A
d
d backup mp_get_memory_functions imp
l
ementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven
V
erd
o
o
laeg
e
upda
t
e isl f
o
r compati
b
ility with old gmp
s
commit
|
commitdiff
|
tree
2008-11-11
Sv
e
n
Verdool
a
ege
updat
e
i
sl for improved pi
p
lib efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Look fo
r
more opportunities for blocking st
a
tem
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_progra
m
_read: delay constructi
o
n o
f
b
l
ocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoo
l
aege
cloog_loop_s
e
parate:
com
b
ine l
o
ops with id
e
ntical domai
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
Verdoolaege
cloog_
l
oop_separate: minor c
l
e
a
n-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoolaege
cloog_loop_separate: exploit disj
o
intness of loop d
o
mains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n Ve
r
dool
a
e
ge
clast
.
c: sort equations in guard
clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
O
p
t
ionally refrain from printi
n
g a
n
y informational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoo
l
a
e
g
e
cl
a
s
t
.
c
:
don't ins
e
rt any "scalars" for level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ve
r
doolae
g
e
s
o
urce/isl: fix typos in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
erdoolaege
Explicitly specify
-
rpath for li
b
tool libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
i
n
clu
d
e/cloog/
d
omain
.
h:
a
v
oi
d
use of
C++
keyword
"
tem
p
l
ate"
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoolaege
add isl backe
n
d
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
o
ptions
.
c:
remove -rays
o
ption
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolae
g
e
Handle 0D prob
l
ems by a
d
d
ing a
0
t
h
level to the
main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdo
o
laege
cloog_loo
p
_
m
e
rge: ensur
e
loop d
o
mai
n
s are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
rdoolaege
insert_guard:
m
ake
s
ure coeffici
e
nt
i
n
left
h
and side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n V
e
rdoolaege
insert_guard:
avoid out-of-bounds
access
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Introduce CloogConst
r
ain
t
abstraction
commit
|
commitdiff
|
tree
2008-10-02
S
v
en
V
er
d
oolaege
Re
n
ame CloogConstraints to Clo
o
gCo
n
straintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
rdoolaege
fix typos in inse
r
t_l
o
op comments
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
laege
cloog_domain_prin
t
_structure: print all
p
olyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
Let cloog_domain_lowerbound_upd
a
te return the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ve
r
dool
a
ege
Combine cloog_scattering_la
z
y_isscalar a
n
d cloog_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verd
o
olaege
include/cloog/
d
omain
.
h: remove declarations of (unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Verdoolaege
test/test_run: only
c
heck
s
i
mplifi
e
d h
u
ll generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdool
a
eg
e
t
est/test_ru
n
:
a
lso ch
e
ck
correctnes
s
of
s
implif
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
o
l
a
ege
cloog_domain_simplify: avoid out-of-bounds
array access
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdool
a
ege
Treat paramet
e
r dom
a
ins differe
n
t
ly
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
C
ha
n
g
e
s
em
a
nti
c
s of clo
o
g_domain_
c
ut_first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog_domai
n
_isempty: accept NU
L
L argum
e
n
t
commit
|
commitdiff
|
tree
2008-09-23
S
ven
Verdool
a
ege
cloog_domain_empty
:
make empty dom
a
in using template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Inform function
reading in s
c
a
tterin
g
f
u
nction of do
m
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
pass
t
h
e
num
b
er
o
f paramete
r
s to functions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
o
laege
introduce CloogScattering
a
b
stractio
n
commit
|
commitdiff
|
tree
next