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
update isl for renaming of isl_map_remove
2009-06-09
Sven Verdoo
l
aege
doc: fix s
o
me spell
i
ng mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdo
o
laege
rena
m
e pprint to clast_ppr
i
n
t
to
avo
i
d
namespace
pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoola
e
ge
make Cloo
g
Domain
and
Cloog
S
catte
r
ing complete
l
y opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Verdoo
l
a
e
g
e
cl
o
og_names_all
o
c
:
fix typo
in co
m
m
e
n
t
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n
Verdoolaege
cla
s
t:
e
xtract enum clast_expr_
t
ype from out of clast_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaege
upda
t
e README for new patch submitti
n
g pr
o
cedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
er
d
oolaeg
e
avo
i
d recompu
t
ation
of "one" (and -1) by storin
g
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoolaege
cla
s
t: make global s
t
ruct clast_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
move al
l
globa
l
vari
a
ble
s
to CloogSta
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
move i
s
l
_ctx from CloogOption
s
to Cloo
g
St
a
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cloog_option
s
_re
a
d: fix
m
i
sn
a
m
ed argc
a
n
d
ar
g
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdo
o
l
a
ege
cl
o
og_doma
i
n_dimension: r
e
t
urn a
c
tual dimension (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
PolyLib ba
c
kend:
st
o
r
e
number of pa
r
amete
r
s in CloogDomain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
V
e
rdoola
e
ge
cloog_
n
ames_alloc: initia
l
i
z
e
s
t
ructure
w
ith default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven Ver
d
oo
l
a
ege
upd
a
te
docs to
i
ntro
d
uction of CloogScatter
i
ng
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en
Ve
r
d
oolaege
Poly
L
ib backen
d
:
d
i
s
able cl
o
og_scatter
i
ng_lazy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
in
s
ert_modulo_gu
a
rd
:
m
o
v
e reduc
t
ion of guards to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolae
g
e
s
o
u
rce/clast
.
c: insert_modul
o
_guard: onl
y
compute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n Verdoola
e
ge
c
l
oog_const
r
aint_
e
qual_type: treat all modulo guards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Ve
r
dool
a
ege
clo
o
g_loop_simp
l
ify: iterat
e
o
v
er si
b
lings i
n
st
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ve
r
do
o
l
a
ege
R
emove
l
ines referring to
"nu
m
ber of polyhed
r
a" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
up
d
ate
i
sl for new version
o
f i
s
l
_
basic_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
s
l backend: cloog_domain_sim
p
lify_uni
o
n: use isl_
s
et_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
E
xtract out backend specific cloog
_
domain_sim
p
li
f
y_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl backend: use isl_set_bounded_simple
_
hull f
o
r comput
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
a
e
g
e
c
l
ast
.
c: insert extra mo
d
u
lo guards involvi
n
g
loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl backend:
div_expr: free
div
a
fter us
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
r
d
o
o
laege
update isl fo
r
ch
a
nge in
internal represen
t
ation affect
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
Verd
o
ol
a
e
g
e
update isl for normalization during
convex hull computat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaeg
e
clast
.
c: clas
t
_reduction_cmp: t
r
eat all
u
nary
"
reductions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoo
l
aege
p
r
e
t
ty printer: d
r
op " " in front of "
;
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
remove cpp
o
ption
(defaul
t
ing
to
true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n
V
e
rdool
a
e
ge
turn on "equality spreadin
g
" (esp) by defaul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdo
o
laege
r
e
move csp
o
p
tion
(de
f
aulting to true
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaege
print executio
n
time again
i
f sys/resource
.
h
is av
a
ilab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdo
o
laeg
e
isl
bac
k
e
nd: suppor
t
existential
l
y quantif
i
ed vari
a
bles
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
isl
b
ackend: drop
e
xistentials wh
e
n
computing fallback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for plug for isl_map_simple_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erd
o
olae
g
e
update i
s
l for changed cal
l
i
n
g conventions of isl_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
update is
l
for cha
n
ge
in
c
alling convention of
so
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update i
s
l for re
f
counted isl_con
s
traint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
V
erdoolaege
u
pdate isl
f
or intro
d
uc
t
ion of isl_dim structur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaeg
e
clast
.
c: insert_gu
a
r
d:
i
nsert mod
u
lo
g
u
a
r
d
s based o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
c
last
.
c: ex
t
ract out cloog_constr
a
int_set_n_iterators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n
Verdoolaege
clast
.
c: e
x
tr
a
ct
out commo
n
cloog_co
n
stra
i
n
t
_variable_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doo
l
aege
c
last
:
allow
clast_term to
r
epresen
t
m
u
l
t
iple
of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
c
l
as
t
.
c: e
x
tra
c
t out common cloo
g
_na
m
es_name
_
at
_
level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
V
erdoolaege
minor changes to Clo
o
gC
o
nstraint abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ve
n
Verdoolaege
Fix up opt
i
onal inclusio
n
of back
u
p mp_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sve
n
Verdoola
e
ge
cloog/c
o
nstraint
s
.
h: don't
p
ut
#in
c
lude'
s
inside
e
xtern "C"
commit
|
commitdiff
|
tree
2008-12-23
S
v
e
n
Verdoo
l
ae
g
e
dro
p
unused clo
o
g_constraint_set_co
u
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
S
v
en
V
e
r
doolaege
Add backup mp_get_memory_fun
c
t
i
ons
i
mplementat
i
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
up
d
ate isl for compatibility with
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Ve
r
d
oolaeg
e
u
p
da
t
e isl for improved piplib
e
f
ficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoola
e
g
e
L
o
o
k
fo
r
m
ore opportunities for blocking state
m
en
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Ver
d
oolaeg
e
c
l
o
o
g
_pr
o
gram_read: d
e
l
a
y construction
o
f
b
l
ocklist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oo
l
aege
clo
o
g_loop_separate
:
combine lo
o
ps wit
h
identical domain
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
cloog_loop_separate: minor clea
n
-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
c
lo
o
g_lo
o
p_separate: exploit di
s
jointn
e
ss of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdool
a
ege
clast
.
c:
s
ort equati
o
ns in g
u
ard clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaeg
e
Option
a
ll
y
ref
r
ain from
printing any
i
nformational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
oolaege
clas
t
.
c: don't i
n
sert any
"
s
c
alars" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
so
u
r
ce/isl: fix
typos
i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
Ve
r
doolaege
Exp
l
icitly
specify -rpath
for libto
o
l libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
doolaege
in
c
lude/cloo
g
/
d
omain
.
h: avoid u
s
e
o
f C++ k
e
yword "templat
e
"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add i
s
l
b
ackend
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n
Verdoolaege
opt
i
ons
.
c: remove -rays
o
ption
commit
|
commitdiff
|
tree
2008-10-03
Sven Ver
d
oolaege
Handle 0D pr
o
blem
s
by adding a 0
t
h level
t
o
t
he main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sv
e
n
Verdoolae
g
e
cl
o
og_loop_merge: ensur
e
l
o
op domains are
conv
e
x
,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert_guard: ma
k
e sure coeffi
c
ient in
l
eft h
a
nd side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaeg
e
insert_gua
r
d:
a
v
o
id out-of-bou
n
ds acce
s
s
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
rdoolaege
Introduce Cloo
g
Cons
t
raint abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Rename Cloog
C
onstraints to Cloo
g
ConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoolaege
fix
t
y
p
os
i
n
inse
r
t
_
l
oop comments
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
o
laege
clo
o
g_domain
_
p
rint_struct
u
re:
p
r
int
al
l
polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Verdoolaeg
e
L
e
t
c
lo
o
g_domain_lowerbound_update return the upd
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Ver
d
oolae
g
e
Combine clo
o
g_scattering_lazy_isscalar a
n
d clo
o
g_scatt
e
ring_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ve
r
doolaege
inc
l
ude
/
cloog/domain
.
h
:
r
e
move
d
eclaratio
n
s of (un
u
sed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
Verdoolaege
test/t
e
st_ru
n
: on
l
y check simplified hu
l
l gene
r
a
tions
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
te
s
t/test_run
:
also che
c
k correc
t
ness
o
f si
m
plified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n Verdoolaege
c
loog
_
d
o
ma
i
n_simplify: a
v
oid out-of-bo
u
nds
a
r
r
a
y access
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Treat
p
arameter domai
n
s dif
f
ere
n
t
ly
commit
|
commitdiff
|
tree
2008-09-23
S
ve
n
Verdoo
l
aege
C
hange sema
n
tics of cloog_d
o
main_cut_
f
irst
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
c
l
oog_do
m
a
in_i
s
empty
:
a
ccept NULL
argument
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
cloog_domain_empty: make
empty d
o
main us
i
ng
t
emplate
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Inform function r
e
ading in sca
t
t
ering funct
i
on of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdool
a
ege
pass the
n
u
mber of pa
r
amete
r
s
to fun
c
tion
s
reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdool
a
ege
introdu
c
e CloogScatt
e
ring abstrac
t
io
n
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
m
ake textual tests backend dependent
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n V
e
rdool
a
ege
sort
e
lements of min and max redu
c
ti
o
n clasts
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
o
laege
allow out-of-src test file
g
eneration
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
e
g
e
Remove lines ref
e
rring to
"
number of
p
olyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdo
o
l
aege
Pass CloogOptions to
f
unctio
n
reading (l
i
sts of) doma
i
n
s
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
allow backends to have their own options
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
conf
i
gure:
handl
e
gmp and polyl
i
b "submodules" in
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
rdoola
e
ge
create backen
d
(
P
o
l
yLib) specific l
i
brary
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
remove
dependence on PolyLib
f
r
om c
l
oog
c
o
re
commit
|
commitdiff
|
tree
2008-09-23
S
v
en V
e
rdoolaege
Tes
t
corre
c
tnes
s
o
f gen
e
rated code, without
requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaeg
e
a
dd cl
o
o
g_domain
_
cube function,
r
eturning
a
cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
L
et cloog_domain_universe ret
u
r
n
a u
n
iversal domain
.
.
.
commit
|
commitdiff
|
tree
next