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
detect strides even if the remainder of the lower bound depends on outer iterators
2009-06-01
Sven Verdoolaege
update R
E
ADME fo
r
n
e
w
p
atch submitt
i
ng procedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
avoi
d
r
e
computatio
n
of "o
n
e"
(
and
-
1
)
by storing a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven
V
erd
o
olaege
clast: make global struct c
l
ast_
s
t
m
t
_ops cons
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolaege
move all global variables to Cl
o
o
gSta
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdo
o
laege
move isl_ctx from
CloogOptions
t
o C
l
oogSta
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
cloog_options_
r
ead: fix misn
a
med argc and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n
V
erdoo
l
aege
clo
o
g
_domain_dimension: r
e
turn actual dimension (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdo
o
lae
g
e
PolyLib
b
ackend: store nu
m
ber of paramet
e
rs in Cloog
D
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cloog_name
s
_alloc: initialize s
t
ructure with
d
ef
a
ult
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven
V
erdoolaege
update docs to introduction of C
l
oo
g
Scattering and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
PolyLib back
e
nd: disable cl
o
og_sc
a
ttering_lazy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
S
v
en V
e
rdoolaege
insert_modulo_g
u
ard: move red
u
cti
o
n of guar
d
s to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoolaege
sourc
e
/clast
.
c: insert_modul
o
_guar
d
:
only compute boun
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_constraint_equal_ty
p
e: treat all m
o
d
u
lo guards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
Verdoolaege
cloog_lo
o
p
_
s
implif
y
:
iterate over siblings
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoolaeg
e
Re
m
o
v
e
lines refe
r
ring t
o
"n
u
mber of po
l
yhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
u
p
date isl for
n
ew version of isl_basic_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl backend: cloog_domain
_
simpl
i
fy_union: use is
l
_
s
e
t
_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
Extr
a
ct
o
ut back
e
n
d
specif
i
c cloog_dom
a
in_s
i
mplify_uni
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl backend:
u
s
e
isl_set_bounded_si
m
pl
e
_hull for c
o
mputing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
clast
.
c:
insert extra mod
u
l
o g
u
ards involvin
g
l
oop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
l
a
e
g
e
isl backend: d
i
v_expr: free div af
t
er use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoola
e
ge
update
i
s
l
for change in internal representatio
n
affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven
V
er
d
oolaege
upda
t
e isl for norm
a
lization durin
g
co
n
vex h
u
ll computati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoolaege
c
l
a
st
.
c: clas
t
_
reduction_cmp: trea
t
all unary "
r
educ
t
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolae
g
e
p
r
etty printer: drop "
" in
f
ront
o
f ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n
Verdoo
l
aege
remove cpp opt
i
o
n (default
i
ng to
true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn
on "equality spreading" (esp) by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoolaege
remove csp option (
d
efau
l
ting t
o
t
r
ue)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print
execution time again if sys/
r
es
o
urce
.
h is availabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
is
l
backend: support
exist
e
n
t
ia
l
ly quantifi
e
d var
i
a
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoo
l
aege
isl backend: drop existentials when computing fallback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
er
d
ool
a
e
g
e
update isl
f
or
plug for isl_map_simple_hull me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoola
e
ge
update isl for changed calling convent
i
ons
of isl_b
a
sic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
V
erdoolaege
update
isl f
o
r change in calling c
o
nvent
i
o
n of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erdoolaege
u
pdate i
s
l for
refcounted isl
_
c
o
nstrai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
rdoolaege
update i
s
l for
introdu
c
tion
of isl_dim struc
t
ure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
cla
s
t
.
c: i
n
sert_g
u
ar
d
:
i
nsert mo
d
ulo g
u
ards based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laeg
e
c
last
.
c: extract out
c
l
o
og_constraint_
s
e
t_n_ite
r
a
t
or
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
dool
a
ege
clas
t
.
c: ext
r
a
ct out co
m
mon cloog_c
o
nstraint_
v
ariable_
e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Ver
d
oolaege
clast: allo
w
c
l
ast_te
r
m to represent multiple of
a
ny
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdool
a
e
g
e
clast
.
c: extract out co
m
mo
n
cloog_names_n
a
me_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
Verdoo
l
aege
m
inor
changes to Cloog
C
o
n
straint
abstract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
Fix up opti
o
nal in
c
l
usio
n
of backup mp_get_memory_fu
n
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
ven Verdoolae
g
e
cloo
g
/cons
t
raints
.
h
:
d
o
n't
put #include's inside ex
t
ern "
C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven
Verdoolaege
drop unused cl
o
o
g
_constr
a
i
n
t
_
s
e
t_c
o
unt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sve
n
Verdoolaege
A
d
d backup mp_
g
et_memory_
f
unctions implementat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
doolaege
upda
t
e isl f
o
r compatibil
i
ty
with old gmp
s
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdool
a
ege
updat
e
isl
for improved piplib efficie
n
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Ve
r
d
o
olaege
Look for more opportunitie
s
fo
r
blocki
n
g statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog
_
pro
g
ra
m
_rea
d
: d
e
lay constru
c
tion
of blo
c
k
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
cloog_loop_separate:
c
ombine loops with identical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdo
o
laeg
e
cloog_
l
oop_separat
e
: minor clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cl
o
og_loop_sepa
r
ate: exploit disjoint
n
ess of loop dom
a
ins
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdo
o
l
a
ege
clast
.
c: so
r
t equations
in
gu
a
r
d
clast
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdoolaege
Optionally
refrain fro
m
p
rinting any informational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en Verd
o
olaege
clast
.
c: don't insert any "scalars" for leve
l
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
source/isl: fi
x
typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en
Verdoolaege
Explic
i
t
ly specify -rpat
h
for libtool
libr
a
ries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
in
c
l
ude/cloog/dom
a
in
.
h: avoid use of C++ keyword "tem
p
l
a
te"
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdoolae
g
e
a
d
d
i
s
l
bac
k
end
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oola
e
ge
options
.
c
:
remove -rays
o
ption
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoo
l
aege
Hand
l
e 0D p
r
oblems by
a
dding a 0t
h
l
e
vel to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sv
e
n Verdoolaege
cloog_l
o
op_me
r
ge: ensure
loop domains
a
re convex
,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
i
nsert_guard: ma
k
e
s
ur
e
coefficie
n
t
i
n
l
eft hand
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
oolaege
insert_gu
a
rd: avoid out-of-b
o
unds
access
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Verdoolaeg
e
Introduce Clo
o
gC
o
nstraint a
b
stra
c
tion
commit
|
commitdiff
|
tree
2008-10-02
S
ven Ver
d
oolaeg
e
Rename Cloog
C
onstraints to CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoolaege
f
i
x typos in ins
e
r
t
_loop comm
e
nts
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoola
e
ge
c
l
o
o
g
_dom
a
in_print_s
t
r
ucture: print all
p
olyhe
d
ra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
Let
c
loog_domain
_
l
owe
r
bo
u
nd_upd
a
t
e return t
h
e updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
ola
e
g
e
Combine c
l
o
og_scattering_lazy_
i
ss
c
alar and cl
o
og_scatter
i
n
g
_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
e
rdo
o
laege
include/cloog/domain
.
h: remove decl
a
rations o
f
(unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
test/
t
est_r
u
n: only c
h
eck
simplif
i
ed hu
l
l
g
enerations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
test/test_
r
un
:
als
o
check
c
orrectness of simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolae
g
e
c
loog_d
o
main_simplify: avoid out-of-b
o
und
s
array access
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdo
o
laege
Treat pa
r
ameter d
o
mains differently
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
Chang
e
semantics
o
f
cloo
g
_domai
n
_cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog_
d
omain_i
s
empty: ac
c
ept NULL
a
rgument
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n V
e
rdo
o
laege
c
loog_
d
omai
n
_
empty: make empty
d
omain using
template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
Inform
function rea
d
ing in scat
t
ering fu
n
c
ti
o
n
o
f
domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaeg
e
pass the n
u
mber of
p
arame
t
ers to functions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
in
t
ro
d
uce Cloog
S
ca
t
ter
i
n
g abs
t
raction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
make t
e
xtual tes
t
s backen
d
depend
e
nt
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
sort
e
lements of
m
i
n
a
n
d max
r
e
duc
t
io
n
cl
a
sts
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
allow
ou
t
-of
-
src
te
s
t fil
e
ge
n
erat
i
o
n
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
er
d
o
olaege
Re
m
ove lines r
e
ferri
n
g to
"n
u
mber of p
o
lyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
Pass CloogOptions to function reading (l
i
sts of) domains
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolae
g
e
allow backend
s
to have the
i
r own options
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
configure:
h
andle gmp an
d
polylib "submo
d
u
l
es" in
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
rdoo
l
aege
create backend (PolyLib)
specific librar
y
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
remove dependence on PolyLib fro
m
cloog
c
o
re
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
Test c
o
rrectness
of
generated code
,
without
requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolae
g
e
add cloog_domain_
c
ube
f
unction, r
e
t
u
rnin
g
a cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
rdoolaege
Let
c
loog_d
o
main
_
uni
v
erse return a universal
dom
a
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
a
e
ge
Replace use o
f
Va
l
ue in cl
o
o
g
core
b
y new cloog_i
n
t_t
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verd
o
olaege
abstract
o
ut
C
loogMatri
x
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
clast
.
c: use CloogEqu
a
lities
and CloogConst
r
aint
s
instead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
CloogBl
o
c
k: remove un
u
sed
s
catt
e
ring field
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
avo
i
d
u
se of
m
atrices in sou
r
ce/program
.
c
commit
|
commitdiff
|
tree
next