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
Remove lines referring to "number of polyhedra" in context from more tests
2009-03-22
Sve
n
Verdoo
l
ae
g
e
R
e
move lines ref
e
rring to "nu
m
ber of polyhedra"
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
u
pdate isl for new version of i
s
l_basic_map_g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolae
g
e
i
sl backend: cloog_domain_sim
p
lify_uni
o
n
:
use isl_set_
c
oalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolaege
Extract out backend
s
p
e
cific cloog_domain_simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaege
isl bac
k
e
n
d: use isl_set_bounded_simpl
e
_
h
ull for c
o
mputing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oola
e
ge
cl
a
s
t
.
c:
i
nsert extr
a
mo
d
ulo guards involving loo
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
l
aege
isl bac
k
end: di
v
_ex
p
r: free div
after use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
u
pda
t
e isl for change i
n
internal re
p
resentation a
f
f
e
cting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
upda
t
e
is
l
f
o
r n
o
rmalizati
o
n
during convex hull comp
u
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c:
c
la
s
t_reduction_cmp: treat
a
ll
u
nary
"
red
u
ctions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
pretty printer: drop
"
" in front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n V
e
rdo
o
l
a
ege
re
m
o
v
e cp
p
op
t
i
o
n (de
f
a
u
lting to true
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn on "equality spr
e
ading" (esp)
by
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
rem
o
ve
c
sp option
(defa
u
lting
t
o tr
u
e)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoola
e
ge
print execution
t
im
e
again i
f
sys/resource
.
h is av
a
ila
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Verdoolaege
onl
y
print e
x
ecution ti
m
e if sys/resou
r
ce
.
h is available
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaeg
e
i
s
l b
a
c
kend: support
e
x
is
t
entially quanti
f
ied variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
i
sl
b
ack
e
nd: d
r
op existe
n
t
ials
when comp
u
ti
n
g fall
b
ack
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolae
g
e
update isl for
plug for is
l
_map_simple_hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update i
s
l for ch
a
nged ca
l
l
i
ng convention
s
of isl_basi
c
_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
o
olaege
update i
s
l for cha
n
ge in calling convention of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
updat
e
i
s
l for
re
f
counted
isl_constrain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
update
isl for introduction
o
f isl_d
i
m struct
u
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: inser
t
_
guar
d
: insert modulo
g
u
a
rd
s
based on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdo
o
l
aege
c
l
a
st
.
c: extract out cloog_
c
on
s
tr
a
int_set_n_iterato
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
c
las
t
.
c: extract o
u
t common cloog_constraint_var
i
able_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
c
l
a
st
:
a
llo
w
clast_term to represent multiple of a
n
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
c
last
.
c
: ext
r
act
out common cloog_name
s
_
name_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
l
a
ege
minor cha
n
ges
to
C
loogC
o
n
s
traint abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolae
g
e
Fix
u
p
optional inclusion o
f
backup mp_get
_
m
emory_fu
n
ction
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
e
n Verdoolae
g
e
c
l
o
o
g/constraints
.
h: d
o
n't
p
ut #in
c
lude's ins
i
de exter
n
"C"
commit
|
commitdiff
|
tree
2008-12-23
Sven
Ver
d
oolaege
d
rop unused
c
loog_constraint_set_coun
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n Verdo
o
laege
Add back
u
p
m
p_ge
t
_memor
y
_functions impleme
n
t
a
tion for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
doolaege
upda
t
e isl f
o
r compatibility wit
h
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Ver
d
o
olaege
update isl for
i
m
p
r
oved pipl
i
b efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdo
o
laege
L
o
o
k for m
o
re o
p
portunit
i
es for blocking statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
ven
V
e
rdoolaege
clo
o
g
_
p
r
ogram_read: delay constr
u
ction of
b
l
o
cklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
o
olaege
cloog
_
l
o
op_sep
a
rate: comb
i
ne l
o
o
ps
with identical
d
o
mains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoola
e
ge
c
l
oog_loop_sepa
r
ate: min
o
r
c
lean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
ven
V
erd
o
ol
a
ege
clo
o
g_loop_s
e
parate: explo
i
t disjointness of loop domain
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
V
e
rdoolaege
clast
.
c: sort equations in guard clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoolaege
Optionally refrai
n
from printing any informat
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en V
e
rdool
a
ege
c
last
.
c: don't insert
any
"
scalars
"
for level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verd
o
olaege
source/isl:
fix ty
p
os in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
Explicitly
specify -rpath
f
or libtool libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
includ
e
/cl
o
og
/
domain
.
h
:
avoid use of C++ ke
y
word "template"
commit
|
commitdiff
|
tree
2008-10-14
S
v
en
Verdoolaege
add isl
b
ackend
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
do
o
laege
options
.
c: remove -r
a
ys option
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdool
a
ege
Handle 0D problems by
a
dding a
0
th lev
e
l to the m
a
in
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rdoolae
g
e
cloog
_
loop_merge: ensure loop domains are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert_guard: make sure coeff
i
cient
in
l
e
f
t
hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
erdoolaege
insert_guar
d
: avoid out-of-bounds
a
ccess
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Int
r
oduce CloogConstraint
a
bs
t
ra
c
ti
o
n
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
d
o
ola
e
ge
Rename CloogConstraints to CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdool
a
ege
fix typo
s
i
n
ins
e
rt_loo
p
c
omments
commit
|
commitdiff
|
tree
2008-09-28
Sven
Verd
o
olaege
cloog_domain_print_s
t
ructure: print all polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n Verdoolaege
Let
c
loog_doma
i
n_lowerboun
d
_update
r
e
turn the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verd
o
olaege
Com
b
ine cloog_scattering_lazy_i
s
scalar
a
nd
c
loog_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verdool
a
e
g
e
inclu
d
e/cl
o
og/domain
.
h:
remove declarations of (unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdoolaege
test/te
s
t_run:
onl
y
check
s
implified hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
test/test_run: also check correctness of simplif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoo
l
aege
c
loog_do
m
a
i
n_simplify:
avo
i
d out-of-bounds array access
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
Treat parameter
d
o
mains differentl
y
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
a
ege
C
h
ange semantics of cloog_
d
omain_cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
cloog_d
o
ma
i
n
_is
e
mpty: accept
N
U
L
L argument
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
lae
g
e
cloog_doma
i
n
_
emp
t
y: make empty domain using template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
Inform function rea
d
ing in scat
t
ering function of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
V
erdoolaege
pass the number
o
f parameters t
o
functions readi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
d
o
olae
g
e
in
t
roduce C
l
oogScatt
e
ri
n
g a
b
straction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
make textual tests backend depende
n
t
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
sort el
e
me
n
ts of m
i
n
and max reduction clas
t
s
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
allow out-of-src test fi
l
e gene
r
ation
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
R
emove
lines ref
e
rrin
g
to "number of polyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
Pass Clo
o
gO
p
tions to fun
c
tion reading (
l
ists of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
er
d
oolaege
a
llow backends to hav
e
the
i
r
o
wn op
t
i
o
ns
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
rd
o
o
laeg
e
conf
i
gure: hand
l
e g
m
p a
n
d
p
olylib
"
submod
u
les" in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Ve
r
dool
a
ege
creat
e
bac
k
end (
P
olyLib) spe
c
if
i
c library
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
r
e
mov
e
depe
n
dence o
n
PolyLib f
r
om c
l
o
o
g core
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
Verdool
a
ege
Test correctn
e
s
s
of generated code, wit
h
ou
t
requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
add clo
o
g_do
m
ain_cu
b
e fun
c
t
ion, return
i
ng a cub
e
of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rd
o
ol
a
ege
L
et cloog_d
o
main_universe return a universal domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n Verdoo
l
aege
R
e
place use of Value in c
l
o
og core by new cloo
g
_int_t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
abstra
c
t
o
ut Clo
o
g
M
atrix
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verd
o
o
laeg
e
cla
s
t
.
c
: use C
l
oogEqualities and Cloog
C
on
s
traints instea
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
Cloo
g
Block: re
m
ove unused
s
cattering field
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoo
l
aege
a
v
o
id us
e
of m
a
tr
i
ces
in source/program
.
c
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdo
o
laege
complete CloogDomain abstra
c
tion
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoo
l
aege
domain
.
c: remove some unused func
t
i
o
n
s
commit
|
commitdiff
|
tree
2008-09-16
Sve
n
Verd
o
olaege
move
c
loog
_
val
u
e_{up,down}
o
u
t
o
f domain
.
c
commit
|
commitdiff
|
tree
2008-09-15
S
v
e
n Ve
r
dool
a
ege
p
erfor
m
s
pecial
o
ptions tests in a loop
commit
|
commitdiff
|
tree
2008-09-15
S
v
en Verdoolaege
tests: print unified
diff
b
etween expected an
d
obtained
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Ver
d
oolae
g
e
Ad
d
-
c
all
a
ble opti
o
n for
g
enerating
c
o
de
t
o
be
used
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoo
l
aege
make default CFL
A
GS
overridable
commit
|
commitdiff
|
tree
2008-09-15
Sven Verd
o
olaege
cloog_names_read_str
i
ngs: fix c
h
eck for sufficient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
Remove escedk tes
t
commit
|
commitdiff
|
tree
2008-09-15
Sve
n
Verdo
o
lae
g
e
Fi
x
u
p
vivien and vi
v
ien2 tests
commit
|
commitdiff
|
tree
2008-09-11
S
ven Ve
r
doolaege
Fix cloog_domain_
l
a
z
y
_disjo
i
n
t
commit
|
commitdiff
|
tree
2008-09-06
Sven
Verdoolaege
fi
x
m
e
mory
l
eak
in clast
c
o
nst
r
u
c
tion
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
doola
e
ge
add e
x
amples subdirectory to the distributi
o
n
commit
|
commitdiff
|
tree
2008-08-31
Sve
n
Verd
o
o
l
aege
Man
u
al
l
y
genera
t
e pd
f
f
ile u
s
ing texi2dvi
commit
|
commitdiff
|
tree
next