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 Verdoo
l
aege
Rem
o
ve lin
e
s refer
r
ing t
o
"
n
umber
o
f
polyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
update
i
sl fo
r
new
v
ersio
n
of isl_basic_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l backend: cl
o
og_dom
a
in_simpl
i
fy_union: use isl_set_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
Extract
out backend specific
c
l
oog_domain_simp
l
ify_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
isl backend:
u
se isl_set_boun
d
e
d_si
m
pl
e
_
h
ull f
o
r comput
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
c
la
s
t
.
c
:
insert extra modulo
guards involving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
is
l
backend: div_expr:
fre
e
d
iv
afte
r
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
e
r
doolae
g
e
upd
a
te isl
for cha
n
g
e in
internal
rep
r
esenta
t
ion affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
ege
update
isl
f
or normalization d
u
ring convex h
u
ll computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
cl
a
st
.
c
:
cl
a
st_red
u
c
t
io
n
_cmp:
treat all unary
"
reductions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rd
o
o
l
aeg
e
pret
t
y printer: drop " " in fron
t
of ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdoolae
g
e
re
m
ove
cpp option (
d
efaulting to
true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaeg
e
turn on
"
equality
spreadin
g
" (esp) by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
r
e
m
o
ve csp
option (defaultin
g
to true
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
prin
t
execution time
again if sys/
r
e
source
.
h is available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
isl backend: su
p
port exi
s
tentially quanti
f
ied
v
ariables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
i
s
l bac
k
end:
d
rop
existentia
l
s when c
o
mputing fallba
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
ege
up
d
ate is
l
for plug fo
r
isl_
m
ap_simple_hull mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
update isl
f
or ch
a
nged calling con
v
entions of
i
sl_basic_s
e
t
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoola
e
ge
update
isl fo
r
c
hange in calling convention
o
f some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdo
o
la
e
g
e
update
is
l
for r
e
fcount
e
d isl_const
r
ain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for
i
ntroduction of i
s
l_dim struct
u
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
clast
.
c: insert_
g
uard: insert modulo guards based
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaeg
e
clast
.
c:
ex
t
ract out cloog_constraint_se
t
_
n
_itera
t
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
Verdoolaege
clas
t
.
c: extr
a
c
t
out comm
o
n c
l
oog_con
s
traint_variable_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
clast: allow clas
t
_t
e
rm to r
e
pres
e
nt mul
t
i
ple of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
clast
.
c: ex
t
ract
out common c
l
oog_
n
am
e
s_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n
Ve
r
doo
l
aege
minor
c
h
anges to Clo
o
gConstraint a
b
strac
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n V
e
rdo
o
l
aege
Fix up optional inclus
i
on of b
a
ckup
mp_get_m
e
m
o
ry_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoo
l
a
ege
cloog/constrai
n
ts
.
h
:
don't put #include's inside exter
n
"C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Ver
d
oolaege
drop unus
e
d cloog_
c
onstraint_set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven V
e
rdool
a
e
g
e
A
d
d
backup mp_get_memor
y
_functions imple
m
entat
i
on fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n Verdoolaege
updat
e
isl fo
r
compatibilit
y
with
o
ld gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaeg
e
upd
a
te isl for impro
v
e
d
piplib effi
c
iency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Look fo
r
mor
e
o
p
por
t
unities for blocki
n
g state
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
l
aege
cloog_pr
o
gram_r
e
ad: delay
c
onstruction of block
l
ist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Ve
r
doolaege
cl
o
o
g_loop_sep
a
rate: combine
l
o
o
p
s with identical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop_separa
t
e: minor
c
lea
n
-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n
Verdoola
e
ge
cloog_loop
_
s
e
parate: ex
p
l
oit
di
s
jo
i
ntn
e
ss of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oola
e
ge
clas
t
.
c: s
o
rt
e
quations
i
n guard clas
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Optionall
y
refrai
n
fr
o
m
p
rinting any informational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
c
las
t
.
c:
d
o
n't ins
e
r
t any "scalars" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
ven Verdoolae
g
e
source/isl: fix
t
y
p
os in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en Verdo
o
laege
Explicitly specify
-rpath for libtool libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verd
o
olaege
include
/
c
loog/domain
.
h: avo
i
d u
s
e of C++
k
e
y
word "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add
i
sl
b
ac
k
end
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoolaege
options
.
c
:
remove -r
a
y
s
option
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rd
o
olaege
Hand
l
e
0
D proble
m
s by
a
ddi
n
g
a
0
th
l
evel to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
ven Verdoolaege
cloog_loop_merge:
e
nsure loop domains
are c
o
nve
x
, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en V
e
rdoolaege
insert_guard: make su
r
e
coeff
i
cient in l
e
ft hand
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdool
a
e
g
e
insert_
g
uard: avoid out-
o
f
-
b
o
unds a
c
cess
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
erdoolae
g
e
I
n
troduce CloogConstraint abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Verdoolaege
R
e
name Cloo
g
Con
s
traints to Clo
o
gConstraintSe
t
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
erdoolaege
fix typos in insert_loop comment
s
commit
|
commitdiff
|
tree
2008-09-28
Sven Ve
r
d
o
olaeg
e
cloog_
d
omain_p
r
int_structure: p
r
int all polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Verdoolaege
Let cloog_domain
_
lowerbound_update return the
u
pdated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdoolaege
C
om
b
i
n
e cl
o
og_scattering_laz
y
_i
s
scalar and
c
lo
o
g_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
rdoolaege
inclu
d
e/c
l
oog
/
domain
.
h
: remo
v
e declar
a
ti
o
ns of (
u
nused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Ve
r
dool
a
e
g
e
test/test_run:
only check simplified hull generatio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
test/test_run
:
a
lso check correctn
e
s
s
of simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
cloog_domain
_
simplify:
avoid
o
u
t-of-boun
d
s array acc
e
s
s
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
T
r
e
at parameter do
m
ains di
f
ferently
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdo
o
laege
C
h
a
nge
s
emant
i
cs
o
f
c
loo
g
_domain_cut
_
first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
cloog
_
domain_i
s
empty: ac
c
ept
N
U
LL arg
u
ment
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoola
e
ge
cloog_domai
n
_empty: ma
k
e empty domain using
t
emplate
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Infor
m
fu
n
c
t
i
on reading in scattering functi
o
n of doma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
pas
s
the number of parameters
t
o
f
u
nctions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
introduce CloogScattering abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
make
t
extua
l
te
s
ts
backend depende
n
t
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
Ver
d
oola
e
ge
sort elem
e
nts of
min
a
nd max reduc
t
ion clasts
commit
|
commitdiff
|
tree
2008-09-23
S
ven
Verdoolaege
a
llow out-of-src
t
e
st
f
il
e
generation
commit
|
commitdiff
|
tree
2008-09-23
S
ven
Verdo
o
la
e
ge
Remove line
s
referri
n
g to "numbe
r
of
p
olyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoo
l
aege
Pass CloogOptio
n
s
t
o function reading (li
s
ts of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaeg
e
allow
b
ackends to have their own options
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
Verdoolaege
config
u
r
e
: handle
g
mp and pol
y
lib "submodules" in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven
Verdo
o
laege
create backend
(
PolyLib) specific
libra
r
y
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoo
l
aege
re
m
o
ve de
p
end
e
n
c
e on P
o
lyLib from cloog core
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Tes
t
correctn
e
ss of generated code, witho
u
t requi
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
add
c
loog_domain_cu
b
e
function, returning a cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
Let cloog_doma
i
n_univers
e
return a universal domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
Repla
c
e use
of Va
l
ue
i
n cloog
co
r
e
by new cloog
_
int_t
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rd
o
olaege
abstract out Cloog
M
atri
x
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdo
o
laege
clas
t
.
c: use
C
loogEqualiti
e
s a
n
d CloogC
o
n
s
traints instead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n Verdoolaege
CloogBlock: re
m
o
v
e unused
s
ca
t
terin
g
field
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
avoid use of mat
r
ices in so
u
rce/progra
m
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
complete CloogDomain abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoo
l
aege
domain
.
c
: remov
e
s
ome unused functions
commit
|
commitdiff
|
tree
2008-09-16
S
v
e
n Verdoo
l
aege
m
ove cloo
g
_va
l
ue_
{
up,
d
own
}
ou
t
of domain
.
c
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
perform special op
t
ions tes
t
s in a l
o
op
commit
|
commitdiff
|
tree
2008-09-15
S
ven
Verdo
o
laege
tests: print unified di
f
f between expec
t
e
d
a
n
d
o
bt
a
in
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
A
d
d
-
callable optio
n
for gen
e
ratin
g
code
t
o be used
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven
V
erdoolaege
make
d
e
f
ault CFLAGS overridable
commit
|
commitdiff
|
tree
2008-09-15
Sven
Verdool
a
ege
clo
o
g_names_read_strings: f
i
x
check for
sufficient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
S
ven
Ve
r
doolaege
R
e
move
escedk test
commit
|
commitdiff
|
tree
2008-09-15
Sven V
e
r
do
o
laege
Fix
up vivien and vivien2
t
ests
commit
|
commitdiff
|
tree
2008-09-11
Sv
e
n
V
e
r
doolaege
Fix c
l
oog_domain_l
a
zy_disjoint
commit
|
commitdiff
|
tree
2008-09-06
Sven Verdo
o
l
a
e
ge
fix memory lea
k
in clast constructi
o
n
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erd
o
olaege
ad
d
examples subdirectory
to
t
he distribution
commit
|
commitdiff
|
tree
2008-08-31
Sven V
e
r
d
oolaege
Manually
ge
n
erate
p
df file using texi2dv
i
commit
|
commitdiff
|
tree
2008-08-06
Sve
n
Verdoolaege
source/clas
t
.
c
: detect pa
i
rs
o
f inequalit
i
e
s
t
hat
uniquely
.
.
.
commit
|
commitdiff
|
tree
next