repo.or.cz
/
cloog
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
doc: fix typos
2009-09-24
Tobias Grosser
Rena
m
e
cloog_matrix metho
d
s
t
o cloog_
p
olyli
b
_
matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
T
o
bias
Grosser
Rename CloogMatrix to M
a
trix in po
l
ylib backen
d
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Tob
i
as G
r
osser
Mo
v
e matrix
.
*
to constra
i
ntset
.
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
T
o
b
ias
Gros
s
er
Fix com
p
il
e
r warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
S
ven
Verdoolaege
s
o
urce/c
l
as
t
.
c: insert_loop: drop redundant argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
l
aege
cloog_loop_stride: p
r
o
p
erly han
d
le domain
s
w
i
t
h fixed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
S
ven
V
e
rdoolaege
updat
e
isl for fix in isl_ba
s
ic_
s
et_dim
_
residu
e
_cl
a
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
PolyLib backend: cloog_domain_s
t
ride: handle singl
e
t
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
o
o
lae
g
e
test/Makefile
.
am: add all
kno
w
n goo
d
vers
i
ons
for test_run
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
update isl for
gbr
based
sampling
commit
|
commitdiff
|
tree
2009-06-13
Sven
Verd
o
olaeg
e
u
p
da
t
e isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
Sven
V
erdoolaege
i
s
l backe
n
d: fix return o
f
cl
o
og_
d
omain_con
v
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdo
o
laege
M
a
k
efile
.
am: explicitl
y
set DIST
_
SU
B
DIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verd
o
olaege
update installatio
n
instructio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoolae
g
e
c
o
nf
i
gure
.
in: build
i
sl backend by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Verd
o
olaege
configure
.
in:
a
llow not building pol
y
lib backend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sve
n
V
erdoolaege
d
oc: document clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdo
o
lae
g
e
clas
t
: include
copies o
f
CloogStatements
i
nstead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ver
d
oo
l
a
ege
cl
o
og_statement_
c
opy: add missing copy of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
d
oc: fix some spelling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sve
n
V
e
rdoo
l
aege
r
e
name p
p
rin
t
to clast_pp
r
int to avoi
d
namespace pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoolaege
make Cloo
g
Domain
a
nd CloogScattering co
m
pletely opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoolaege
clo
o
g_names_
a
lloc: fix
typo i
n
comme
n
t
commit
|
commitdiff
|
tree
2009-06-01
Sven
V
erdoolaege
clast:
e
x
tract
enum clast_expr_type
f
ro
m
o
u
t of clast_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoo
l
aege
up
d
a
te README for new patch subm
i
tting procedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
avoid recomputation of "one" (and -1) by storing a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolae
g
e
clast:
make
glob
a
l str
u
ct
clast_s
t
mt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
mo
v
e all global variables to C
l
oogSta
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdoolaeg
e
move isl_c
t
x from C
l
o
ogOptions
t
o Cl
o
ogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oolaeg
e
cloog_options_
r
ea
d
: f
i
x m
i
snamed argc and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verd
o
olaege
cloog
_
domain_dim
e
n
s
io
n
:
return actual di
m
ensi
o
n (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ve
n
Verdo
o
l
a
ege
PolyLib
backend: sto
r
e number
o
f para
m
et
e
rs in Cloog
D
omai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
do
o
l
ae
g
e
cloog_names_alloc: init
i
alize struc
t
ure wi
t
h
d
e
fa
u
lt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
C
é
dric
Ba
s
toul
C
h
ange license
f
rom
G
PL 2
.
0 to LGP
L
2
.
1
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
S
v
e
n
Ve
r
doolaege
update
docs to intr
o
d
uc
t
io
n
of C
l
oogScattering and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
PolyLib backend
:
di
s
able clo
o
g_scatt
e
ri
n
g_l
a
zy
_
block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
c
l
ast: d
r
op lo
o
ps with fracti
o
nal lowe
r
an
d
upper bou
n
d
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdool
a
e
ge
co
n
f
igure
.
in: set AC_
C
ONFIG_MACRO_DIR
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
dool
a
ege
insert_m
o
dulo_guard: m
o
ve reduction of guards to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
v
e
n Verdoolaege
source
/
clast
.
c: insert_
m
odul
o
_
g
uard: only com
p
ute
b
o
u
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
Verdoolaege
cloog_
c
onstr
a
int_equa
l
_type: treat a
l
l mo
d
ulo
g
u
ards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_loop_simplify: ite
r
ate
o
ver siblings instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ver
d
ool
a
ege
Remove lines referring to
"n
u
mbe
r
of
p
ol
y
h
e
dr
a
"
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
aege
update isl fo
r
new version of isl_basic_map_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
is
l
backend:
c
loog_domain_simplif
y
_un
i
on: use isl_set_co
a
lesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
Extra
c
t ou
t
backend sp
e
cific clo
o
g_domai
n
_si
m
p
lify_unio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
isl
backend: use is
l
_set_bounded_simple_hull for computing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
d
o
o
lae
g
e
clast
.
c: insert ex
t
ra mo
d
ulo
g
uards i
n
vol
v
ing loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
sl backend: div_expr: free div after use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolaege
update
i
s
l
for
c
hang
e
in i
n
ternal
r
e
presentation affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
upd
a
te isl for
n
o
rma
l
ization during convex hul
l
computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c:
c
l
a
st_r
e
d
u
ction_cmp: treat all unary "reductio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven V
e
rdoolae
g
e
pretty prin
t
er: drop " " in front of
"
;"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove cp
p
opt
i
on (defaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Verd
o
olaege
t
u
r
n
on "equal
i
ty s
p
reading"
(esp) by
de
f
ault
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n Verd
o
olaege
re
m
o
v
e csp opt
i
on (defaulting
to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
S
ven V
e
rdoolaege
print executio
n
time agai
n
if sys/resource
.
h is available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl backend: sup
p
ort
e
xis
t
entially
q
u
antifi
e
d
v
ariables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
isl
back
e
nd: drop
e
x
isten
t
i
als when com
p
uting f
a
llback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for plug for isl_map_si
m
ple_hull mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
e
rdoolaege
u
pdate
i
sl for ch
a
nged calling conventions of is
l
_b
a
sic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
u
pd
a
te isl f
o
r
c
hange in ca
l
ling convent
i
on
o
f
some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
update isl for refcounted isl_constrai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdo
o
laege
updat
e
is
l
for introductio
n
of isl_dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
clast
.
c: insert_g
u
ard: in
s
ert modulo guards
based
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Ve
r
doolaege
clas
t
.
c: ext
r
ac
t
out cloog_co
n
strai
n
t
_s
e
t
_
n_i
t
erators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
g
e
c
l
a
st
.
c: extr
a
ct out
common cloog_constraint_variable_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
clast:
allow clast_term to repre
s
en
t
m
u
l
tip
l
e of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
c
l
ast
.
c: ex
t
ract out common cloog_names
_
name_at_l
e
vel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
Verdoo
l
aege
minor
c
h
anges t
o
CloogCo
n
straint abstractio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
Fix up
op
t
ional inc
l
usion of bac
k
u
p
m
p_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
e
n Verdoolaege
cloog
/
constr
a
ints
.
h
:
don't put #incl
u
de's insi
d
e
extern "C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verd
o
olaege
d
r
op u
n
used cloog_constra
i
nt_set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
doola
e
g
e
Ad
d
backup
m
p
_get_memory_functions i
m
plementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdo
o
l
a
ege
update isl for compatibilit
y
with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolae
g
e
update i
s
l
fo
r
improved piplib efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n V
e
rdoolaege
Look
for more opp
o
rtunities fo
r
blocki
n
g statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
Ve
r
do
o
la
e
g
e
clo
o
g_program_read: de
l
ay
c
onstruction of block
l
ist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoolaege
cloog_l
o
op_separa
t
e: comb
i
n
e
lo
o
ps with identical domai
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
ven Verdoolaege
c
loog_loop_separate: minor clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop_
s
ep
a
ra
t
e:
explo
i
t
disjointness of loop d
o
mains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
d
o
olaege
clast
.
c: so
r
t equations i
n
g
u
ard clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Ver
d
o
olaege
Optionally refr
a
in f
r
om printing
a
ny
informational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdool
a
e
g
e
clast
.
c: don't inse
r
t any "scalars" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
v
e
n
Verdoolaege
source/isl: f
i
x
typo
s
in
com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolae
g
e
Explicitly specif
y
-
r
path for
l
i
btool librari
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolae
g
e
include/cloog/domain
.
h: avoid
use of C+
+
keyword "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add isl backend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verd
o
olae
g
e
options
.
c: rem
o
ve -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
Hand
l
e
0D
problems by ad
d
ing a 0th level to th
e
main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sve
n
Verdoolaege
cloog_loop_merge:
e
n
s
ure loop
d
omains are convex,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoolaeg
e
ins
e
rt_guard:
make sure c
o
e
f
fic
i
ent i
n
l
eft hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert_guard: avoid
ou
t
-of-boun
d
s
a
ccess
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Ver
d
oolaege
I
n
troduce Clo
o
gConstraint
abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
oolae
g
e
Rename CloogCons
t
raints
to Cloog
C
onstrai
n
tSet
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoolaege
fix t
y
pos in insert_loop comment
s
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
c
l
oog_domain_pr
i
nt_struct
u
re: print
a
ll polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n
Ve
r
doo
l
aege
Let cl
o
og_domain_lo
w
e
rbound_update return the
updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdo
o
laege
Combin
e
cloo
g
_scatterin
g
_lazy_isscalar and cloog_scatterin
g
_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
ola
e
ge
includ
e
/cloo
g
/domain
.
h: remove declarations of (u
n
u
sed
.
.
.
commit
|
commitdiff
|
tree
next