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
Sven Ve
r
doola
e
ge
Remove l
i
nes referring to "number of pol
y
hedr
a
" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
update isl for new ve
r
sion of isl_basic_map_
g
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaeg
e
isl
ba
c
kend: cloog_domain_s
i
mplify_union: use isl_set_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
E
xt
r
act out
backend
s
pecific cloog_
d
omain_simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl backend: use isl_set_bounded_simple_
h
ull for
c
omp
u
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
clast
.
c: insert ex
t
ra modulo guard
s
involving lo
o
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoola
e
ge
isl backend: div
_
expr: free div afte
r
use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Ver
d
oolaege
u
p
date isl
f
or chan
g
e i
n
internal represen
t
atio
n
affec
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
upd
a
te isl for n
o
rm
a
lizat
i
on d
u
ring convex hull co
m
putation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n
V
erdoolae
g
e
cla
s
t
.
c: clast_redu
c
tion_cmp: treat all
unary "re
d
uc
t
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
pretty printer: drop
"
" in fr
o
n
t
of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n Ve
r
doolaege
r
e
move cpp op
t
ion (defaul
t
ing to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n
Verdoolaege
tu
r
n on "equality spreading" (esp) by defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdo
o
laege
remove csp option (defaul
t
in
g
to t
r
ue)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
ool
a
ege
pr
i
nt
e
xecution
t
ime aga
i
n
if sys/resource
.
h
is availab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven
Verdoolaege
only print exec
u
tion time if sys/resource
.
h is avai
l
a
b
le
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl
b
a
ckend: sup
p
ort e
x
ist
e
n
ti
a
lly quantifi
e
d
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
isl
b
ackend
:
dro
p
existentials when comput
i
ng fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
update isl for plug for isl_map_sim
p
le_hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laeg
e
up
d
ate is
l
for change
d
calling
c
onventions of
i
sl_basi
c
_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update i
s
l for
c
hange
in calling convention of
s
ome
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
upda
t
e isl for refcou
n
ted
isl_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
upd
a
te
isl for introduct
i
on of isl_dim s
t
ructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: insert_guard: insert modulo
gu
a
r
ds
b
ased on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
clast
.
c: extract ou
t
cloog_constr
a
int_set_
n
_i
t
e
rators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ve
r
doo
l
aege
clast
.
c: ex
t
ract
o
ut co
m
mon cloog_co
n
s
t
raint_v
a
riable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clas
t
: allo
w
cla
s
t_term to represent multiple
o
f
any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
a
e
ge
c
la
s
t
.
c: ex
t
r
act out co
m
m
o
n cloog_name
s
_name_
a
t_lev
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
V
erdoolaege
m
inor changes to CloogConstrai
n
t abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
g
e
Fix
u
p optiona
l
i
nclus
i
o
n of
b
ackup mp_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
en Verdoolaege
cloog/constraints
.
h: don't put #include
'
s
i
nside extern
"
C"
commit
|
commitdiff
|
tree
2008-12-23
S
v
en
V
erdoolaege
drop unu
s
ed cloog_constraint_set_
c
ount
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
Add bac
k
up mp_get_m
e
mory_f
u
nctions im
p
leme
n
tation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoola
e
g
e
u
pda
t
e isl for c
o
mp
a
tibility with old g
m
ps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update
isl for impr
o
ved piplib efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
ola
e
ge
Look for mo
r
e
oppor
t
u
nities for blocking sta
t
em
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_
p
rogra
m
_read: delay
construction of blocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoolaeg
e
c
l
oog_loop_separate:
c
ombi
n
e loops with identi
c
al domain
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
ven
V
erdoolae
g
e
cloog_loop_separa
t
e: minor
cl
e
an-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
cloo
g
_lo
o
p
_
sepa
r
ate: exploit di
s
jo
i
ntness of
l
oop domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cl
a
st
.
c: sort equ
a
tions in guar
d
c
l
asts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdool
a
ege
Op
t
ionally r
e
frain fr
o
m print
i
ng
a
ny informa
t
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
cl
a
st
.
c:
d
o
n
't inser
t
any "s
c
alars
"
for level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven V
e
r
d
oolaege
source/isl:
fix typ
o
s i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoola
e
g
e
Explicitly
specify
-
rp
a
th for lib
t
ool libra
r
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdo
o
laege
i
nc
l
u
d
e
/
cloog/domain
.
h:
avoid use
of C++
keyword "te
m
plate"
commit
|
commitdiff
|
tree
2008-10-14
Sven
Ver
d
oolaege
add
i
sl backe
n
d
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdoo
l
aege
o
pti
o
ns
.
c: remove -r
a
ys o
p
tion
commit
|
commitdiff
|
tree
2008-10-03
S
v
en
Verdoolaege
H
and
l
e 0D prob
l
e
m
s by addi
n
g a 0th
l
evel
t
o the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
v
en Verdoolaege
cloog
_
loop
_
merge: ensure loop do
m
ains are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
ve
n
Verdoolaege
insert_guard: make s
u
re coeff
i
cient in l
e
ft hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verd
o
o
laege
insert_guard: avoid out-of
-
b
o
unds a
c
cess
commit
|
commitdiff
|
tree
2008-10-02
S
v
e
n
V
e
rdoolaege
Introduce
CloogConstra
i
nt a
b
stra
c
tion
commit
|
commitdiff
|
tree
2008-10-02
S
ven
V
e
r
doo
l
a
ege
R
e
name Clo
o
gConstraints to
CloogC
o
nstraintSe
t
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
fix typos in insert_loo
p
comme
n
ts
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaege
cloog_domain_p
r
int_struct
u
re: prin
t
a
ll poly
h
ed
r
a in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
Ver
d
o
o
laege
Le
t
c
l
oog
_
d
omain_lowerbou
n
d_update
return the updat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ve
r
doolaege
Combin
e
cloog_sc
a
ttering_lazy_i
s
s
calar and
c
l
oog_sca
t
tering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
Verdo
o
l
aeg
e
include/cloog/domain
.
h: rem
o
ve declar
a
tions of (unu
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
e
rdo
o
l
a
ege
t
e
st/tes
t
_run: onl
y
check simplified hull gen
e
r
ations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
r
doolaege
test/test_run: also check correctness of
s
i
m
plif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
c
l
oog_dom
a
i
n
_
s
impli
f
y
:
a
void
o
u
t-of
-
bounds array access
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
la
e
ge
Treat parameter domains
d
i
f
f
e
rently
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
Change semantics o
f
cloog_doma
i
n
_
cut_first
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
c
l
oog_domai
n
_isem
p
t
y
: accept N
U
LL
a
rgument
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdo
o
l
a
ege
clo
o
g
_d
o
m
a
i
n_empty: make empty doma
i
n
using template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
I
n
form functi
o
n
r
e
adin
g
in
s
cattering function o
f
d
omain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
erdoolaeg
e
pass the number
of parameters
t
o
fun
c
tion
s
reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en V
e
rdoolaege
i
n
tr
o
duce CloogScatt
e
ring
abs
t
r
action
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
r
doo
l
aege
mak
e
textual tests
b
ackend
d
ependent
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
sort e
l
ements of min
a
n
d max reduc
t
ion clasts
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
a
l
l
ow o
u
t-of-s
r
c test
f
i
le generati
o
n
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
Ve
r
doolaege
R
e
move
l
ines referring
t
o
"number o
f
p
o
lyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
Pass CloogOpt
i
ons
to function
r
eading (
l
i
st
s
of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoo
l
a
e
g
e
allow backends to have their own options
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
configure: handl
e
gmp and polylib "s
u
bmodule
s
" i
n
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
create
b
ackend (PolyLib) specific libr
a
ry
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
r
emove
depend
e
n
c
e on P
o
lyLib
f
rom cl
o
o
g
c
o
re
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Test correctness of genera
t
ed
c
ode
,
without requ
i
ring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
add cloog_domain_cube
fun
c
t
ion, re
t
urnin
g
a
c
u
b
e of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaeg
e
L
e
t
c
loog_domain_universe r
e
turn a uni
v
e
r
s
a
l
domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Replace use
o
f
Value in cloog core by new
c
loog_int_t
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verd
o
olaege
abstra
c
t out
Cloo
g
Matrix
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdo
o
laege
clas
t
.
c
:
use
C
loogEqualities
and C
l
oogCon
s
traints instead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
C
loogB
l
ock: remove
unused scattering f
i
eld
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
av
o
id u
s
e
of ma
t
rice
s
i
n
source/p
r
o
gram
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
c
o
mplet
e
C
loogDomain abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
r
d
oolaege
domain
.
c: remove
s
o
me unu
s
e
d
functions
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdoolaege
m
ove cloog_val
u
e
_{
u
p,down}
o
ut of do
m
ain
.
c
commit
|
commitdiff
|
tree
2008-09-15
Sven
V
erd
o
olaege
p
erform
special
op
t
ions tests in
a
l
o
o
p
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdool
a
ege
tests: print unified diff b
e
twee
n
e
x
p
e
c
ted and obt
a
in
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sve
n
V
erdoo
l
aege
Add -callable option for generating code
to be used
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoo
l
aege
m
a
ke default CFLAGS
o
v
e
r
r
idab
l
e
commit
|
commitdiff
|
tree
2008-09-15
S
v
en Verdo
o
laege
cloog_n
a
mes_read_strings:
f
i
x
check fo
r
sufficient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven
Verdoolaege
Remove escedk test
commit
|
commitdiff
|
tree
2008-09-15
Sve
n
Verd
o
olaege
Fix up viv
i
en an
d
vivien2
t
ests
commit
|
commitdiff
|
tree
2008-09-11
Sv
e
n
V
erdoolaege
Fix
cloog_d
o
main_lazy_di
s
joint
commit
|
commitdiff
|
tree
2008-09-06
Sven Verd
o
ola
e
ge
fix memory leak
i
n
clast construction
commit
|
commitdiff
|
tree
2008-09-02
S
ven Verdoolaege
add examples s
u
bdirectory to the distribution
commit
|
commitdiff
|
tree
2008-08-31
Sven
V
erdoolaeg
e
Manually gener
a
te
pdf file using t
e
xi2dvi
commit
|
commitdiff
|
tree
next