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
cloog_loop_generate: optimize the loop domains after separation
2009-06-01
Sv
e
n Ve
r
doolaege
clast
:
e
xtract enum
c
last_
e
xpr
_
type from out of clast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaege
update README
f
or new
patch submitting
p
rocedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
avoid recompu
t
ation
of "one
"
(and
-1) by s
t
oring a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
e
n V
e
rdoolaege
clast
:
make global
struct clast_s
t
mt_ops const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaeg
e
m
o
ve all
global variables to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
dool
a
eg
e
move isl_ctx from CloogOptions t
o
Cloo
g
State
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
c
loog_o
p
tions
_
rea
d
: fix misnam
e
d argc and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n
V
erdool
a
ege
c
loog_domain_di
m
ension:
ret
u
rn act
u
al dimension (
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
d
oolaege
PolyLib backend: store numb
e
r of pa
r
ameters in CloogDo
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Ver
d
oolaeg
e
cloog_n
a
mes
_
allo
c
:
initiali
z
e
structure wi
t
h defa
u
lt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Bas
t
oul
Chang
e
license from GPL 2
.
0 to L
G
PL 2
.
1+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
S
ve
n
V
e
r
dool
a
ege
update d
o
c
s
to introduction of
Clo
o
gSc
a
ttering and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
PolyLib backend: disable cloog
_
scattering_lazy_bloc
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
cla
s
t: drop loo
p
s
w
i
th
fractional lower and upper b
o
unds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
ve
n
Verdoolae
g
e
conf
i
gure
.
in: set A
C
_CONFIG_MACRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
in
s
ert_modul
o
_guard: move reduction of g
u
ards
t
o the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n
Verdoolaeg
e
sourc
e
/
c
l
as
t
.
c
: insert_
m
odulo_guard: only compute bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en Verdoo
l
a
eg
e
clo
o
g_c
o
nstraint_equal_type: treat
a
ll modulo guard
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_lo
o
p_s
i
mplify: iterate over
sibli
n
gs instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ver
d
oolaege
Re
m
ove lines
r
efe
r
ring
t
o "number of
polyhedra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
update isl for new version of isl_
b
asic_
m
ap_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doola
e
ge
i
s
l
backend
:
clo
o
g_
d
omain_simplify_union: use isl_s
e
t_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
Extr
a
ct out backend specific cloog_domain_simplify_unio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl b
a
ckend:
u
se isl_set
_
bounded_simp
l
e_hull for comput
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
o
olaege
c
l
ast
.
c: insert
extra modulo guards i
n
volving loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
i
s
l backend: div_expr
:
free div a
f
te
r
use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
update isl for change in
inter
n
al r
e
presentation af
f
ec
t
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
upda
t
e i
s
l
for
normaliza
t
io
n
during convex hull computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolaege
clast
.
c: clast_reduction_cmp:
treat all un
a
r
y "reduc
t
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Ve
r
doolaege
pretty prin
t
er: drop "
"
in front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
r
e
mo
v
e cpp op
t
io
n
(defaulting
to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoolaege
turn on "e
q
uality spreadin
g
" (e
s
p) by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolae
g
e
r
e
move csp op
t
ion (defaultin
g
to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doola
e
ge
print
execution time again
i
f sys/res
o
ur
c
e
.
h
is av
a
i
l
abl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sv
e
n Verdoolae
g
e
only print execution tim
e
if sys/resource
.
h is available
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl
b
ac
k
end
:
support exi
s
tentially quantif
i
ed variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaege
isl backend:
d
r
op existentials
w
hen computing fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
up
d
ate
i
s
l for plug for isl_map_simple_hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdo
o
laege
u
pdate isl fo
r
changed calling con
v
ent
i
ons of isl_
b
asi
c
_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
er
d
oolaege
updat
e
i
sl for change in calling con
v
ention o
f
so
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
updat
e
isl for refcounted isl_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
a
e
ge
update isl for introduct
i
on
o
f
isl_dim
stru
c
tur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ve
r
d
o
olaege
cl
a
st
.
c: inser
t
_guard: insert modulo guards based on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
clast
.
c: extrac
t
o
u
t cloo
g
_co
n
straint_set
_
n
_
iterat
o
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
r
doolaege
clast
.
c: extract out common
clo
o
g_constr
a
i
n
t
_variable_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
clast: allow
c
las
t
_term
t
o
represent multipl
e
of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
clast
.
c: extract out
c
ommon clo
o
g_names_name_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
minor chan
g
e
s to CloogConstraint abs
t
racti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
Fix up
optional inclusion of backup mp_get
_
mem
o
ry_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sv
e
n Verdoo
l
aege
cloog/constraints
.
h:
d
on't put
#
i
n
clude's inside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolae
g
e
drop un
u
se
d
cloog_constraint_set_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n Verdoolaeg
e
Add b
a
ckup m
p
_get
_
m
e
mory_functions implem
e
n
tation
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
doolaege
updat
e
isl
f
or compatibili
t
y with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven
V
er
d
oolaeg
e
up
d
ate
i
sl for
i
mproved pi
p
lib e
f
fi
c
ie
n
cy
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Ve
r
do
o
laege
Look for mo
r
e opportunities for blocking statement
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n
Ve
r
doolaege
cloog_program_read: d
e
lay construction
o
f
blocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erd
o
olaeg
e
cloog
_
loop_separate: combine lo
o
ps wi
t
h i
d
entical
d
om
a
ins
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoo
l
aege
c
l
oog_loo
p
_
s
eparate
:
minor clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloo
g
_loop_s
e
par
a
te: ex
p
l
o
it disjointness of loop domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
ven Ver
d
o
olaege
clast
.
c
: sort
e
quations in gu
a
rd
clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
O
ptionally refrain from printing any
informational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
ven Verdool
a
ege
clast
.
c: don't insert any "scalars" for l
e
ve
l
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verd
o
o
laege
source/is
l
: fix typos in
c
omments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verd
o
ola
e
g
e
Expli
c
itly sp
e
cify -rpath f
o
r libtool
librar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
lae
g
e
include/cloog/d
o
main
.
h
:
avoid use of C++ key
w
o
r
d "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
laege
add isl backend
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oo
l
aege
opti
o
ns
.
c: remove -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoola
e
ge
Handle 0D problems by adding a 0t
h
l
evel to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erdoolaege
cloog_loo
p
_
m
erge: ensure loop
d
omains ar
e
convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaeg
e
i
n
s
e
r
t_guard: make sur
e
coe
f
ficient in
left hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert_
g
uard: avoid out-of-bounds ac
c
ess
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
oolaege
Introduce CloogC
o
nstraint abstracti
o
n
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdoolaege
R
e
name CloogConstraints to CloogCo
n
s
t
ra
i
nt
S
et
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaeg
e
fix typos in inser
t
_
loo
p
comments
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Ve
r
doolaege
cloog_
d
o
m
ain_prin
t
_
struct
u
re: pr
i
n
t a
l
l polyhedra
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
la
e
ge
Let c
l
oog_
d
om
a
in_lo
w
erbound_update return the
updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
e
r
doolaeg
e
Comb
i
n
e cloog
_
scatteri
n
g_lazy_isscalar and cl
o
o
g
_sca
t
tering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n
Verdoolaege
in
c
l
ude/cl
o
og/doma
i
n
.
h: remove decla
r
at
i
ons o
f
(un
u
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoola
e
ge
t
e
st/test_run: only
c
heck simplifi
e
d hull gen
e
rations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
test/test_run: also che
c
k corr
e
ctness of
s
i
mp
l
ified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
cloog_doma
i
n_sim
p
li
f
y
:
a
void out-of-bounds array
a
ccess
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
la
e
ge
Treat p
a
rameter
domai
n
s dif
f
e
rently
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
Cha
n
ge sem
a
n
tics of
cloog_domai
n
_cut_
f
irst
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdo
o
laege
cloog_domain_isemp
t
y: ac
c
ept NULL
a
rgument
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
cloog_domai
n
_empty: mak
e
e
mpty
domain using tem
p
l
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verd
o
olaege
Inform
f
unction
reading in s
c
a
t
teri
n
g function o
f
d
o
main
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ve
r
doolaege
pass the n
u
m
b
er of pa
r
ameters to funct
i
on
s
re
a
di
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verd
o
olae
g
e
introduce Clo
o
gScattering abstractio
n
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
make t
e
xtual test
s
backend de
p
e
n
dent
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoola
e
ge
sort elements of min and
max reduction cla
s
ts
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
allow out-of-src
t
e
st file ge
n
er
a
t
ion
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Remo
v
e li
n
es referring to "n
u
mber of poly
h
ed
r
a" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
P
a
ss
CloogOptions to
function rea
d
ing (
l
i
sts of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
V
erdoolaege
a
l
low backends t
o
have thei
r
own options
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
erd
o
olaege
configure: ha
n
dle gmp and
poly
l
i
b
"submodules" in
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
c
r
eate b
a
cken
d
(PolyLib) s
p
e
c
ific library
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
lae
g
e
r
emo
v
e depe
n
den
c
e
on P
o
lyLib f
r
o
m
c
loog core
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
Test c
o
rrectnes
s
o
f
generated code, without requi
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
add cloog_domain_cu
b
e function,
r
eturning a cube o
f
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdo
o
lae
g
e
Let cloog_domain_universe retur
n
a uni
v
ersal domai
n
.
.
.
commit
|
commitdiff
|
tree
next