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
avoid use of isl_ctx internals
2009-03-22
Sven Ver
d
o
o
laege
cl
o
og_loop_
s
implify: itera
t
e over si
b
lings instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
e
n
V
e
rdoolaege
Remove
l
ines referr
i
n
g
to "numbe
r
of polyhedra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
upd
a
te isl for n
e
w
version of i
s
l
_
basic
_
map_gis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl
b
ackend:
c
l
o
og_dom
a
in_si
m
plify_uni
o
n: use isl_set_coale
s
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
Extrac
t
out backend sp
e
c
i
fi
c
cloog_doma
i
n
_
simpl
i
fy_
u
nion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
aege
isl ba
c
ke
n
d: use
i
s
l_set_bounded_sim
p
l
e
_
h
u
l
l for computing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdo
o
laege
clast
.
c:
i
ns
e
rt e
x
tra mo
d
u
lo
g
uards involving loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
d
oolaege
isl
b
ackend: div
_
expr: free d
i
v after
us
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
update isl for change in interna
l
r
e
p
r
e
sentation affecting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolae
g
e
update isl
f
o
r
normalization during convex hull computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en V
e
rdo
o
lae
g
e
clast
.
c: c
l
ast_reduction_cmp: treat all unary "r
e
duc
t
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdo
o
laege
prett
y
printer: drop
"
" in fron
t
of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove cpp option (
d
efault
i
n
g to
true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn
o
n
"e
q
uality spr
e
adin
g
" (esp
)
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
re
m
ove c
s
p op
t
ion (defaulti
n
g to tru
e
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
er
d
oo
l
aege
print exec
u
tion time agai
n
if
s
ys/reso
u
rce
.
h is a
v
ailab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Verdoolaege
only print execution time if sys/resource
.
h is ava
i
l
a
ble
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verd
o
o
l
a
e
ge
isl backend: su
p
port exist
e
ntially quantified variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
r
do
o
laege
is
l
backend: d
r
op ex
i
stent
i
a
l
s
when c
o
mputin
g
f
al
l
bac
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoola
e
ge
update i
s
l for plu
g
for is
l
_
map_simpl
e
_hull mem
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
ae
g
e
u
p
dat
e
isl f
o
r changed calling conv
e
ntions of isl_basic
_
set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
upda
t
e isl
for change in calling conventio
n
o
f some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolae
g
e
update isl for refc
o
unted isl_con
s
trai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
update isl for
i
ntr
o
duction of isl_d
i
m
struc
t
ur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
e
r
d
oolaege
cl
a
st
.
c: insert_gua
r
d: insert modulo
g
u
ards
b
ased o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c
:
e
xt
r
act out clo
o
g_c
o
nstrain
t
_set_
n
_iterato
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
clast
.
c: extract out common cl
o
og_con
s
traint_variab
l
e_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
clast: allow clast_term to
r
eprese
n
t multipl
e
of an
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
clast
.
c: ext
r
act out commo
n
cloog_nam
e
s
_
name_a
t
_
level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
minor
c
hanges
t
o CloogConstrai
n
t abstract
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
Fix
u
p optional inclusio
n
of backup mp_get_m
e
mory_f
u
ncti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaege
c
loog/c
o
nstraints
.
h:
d
on't pu
t
#
i
nclude's inside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
drop
unu
s
ed cloog_co
n
str
a
int_se
t
_c
o
u
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven
Ve
r
doolaege
Add backup
m
p_ge
t
_memory_fu
n
c
t
ions
implem
e
n
tation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
v
e
n Verdoo
l
aege
u
pdate isl for compatibility w
i
th old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
upd
a
te
i
s
l
for
i
m
p
r
o
v
ed piplib e
f
ficien
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Look f
o
r mo
r
e
opportunities for blocking s
t
ateme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
er
d
o
olaege
cloog_pro
g
ram
_
read: delay constructi
o
n of blo
c
klist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
r
doolaege
cloog
_
loop_separate: combine loops
w
i
th iden
t
ical domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaeg
e
cloog_loo
p
_se
p
arate: minor clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n Verdoolaege
cloog
_
loop_se
p
ara
t
e: exploit disjoint
n
ess of lo
o
p domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdoolaege
cl
a
st
.
c:
s
ort equat
i
o
ns in guard
cla
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Ver
d
oolaege
Optionall
y
refra
i
n from
p
rinti
n
g any informationa
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n Verdo
o
laege
clast
.
c: do
n
't insert any "scalars" for l
e
vel
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdo
o
laege
source/isl: f
i
x
ty
p
o
s in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
ven Verdoola
e
ge
E
xplicit
l
y specify -rp
a
th fo
r
libtool
l
ibraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdoolaeg
e
i
n
c
l
u
de/cloog/domain
.
h: avoid
use of C++ key
w
ord "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoola
e
ge
a
d
d i
s
l backen
d
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
e
r
d
o
olaege
options
.
c: remove -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoola
e
ge
Handle 0D problems
b
y
adding a 0t
h
level to t
h
e ma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verd
o
ola
e
ge
cloog_loop_me
r
ge: ensure loop domains
are conve
x
, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
e
rd
o
olaege
i
n
sert_guard:
m
ake s
u
re
coe
f
ficient in le
f
t hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdool
a
ege
insert_guard: a
v
oid out-of-bounds access
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Int
r
oduce CloogCo
n
straint abst
r
a
ctio
n
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoo
l
aege
Rename CloogConstraints to C
l
oog
C
onstraintS
e
t
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
f
ix typos in i
n
sert_l
o
op comments
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n V
e
rdool
a
e
g
e
cloog_domain_pri
n
t_structure:
pr
i
nt
a
ll poly
h
e
d
ra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdo
o
laege
Let c
l
oog_do
m
a
i
n_lo
w
erbound_upd
a
t
e
return the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdool
a
ege
Combin
e
c
loog_s
c
atte
r
ing_lazy_
i
s
s
calar a
n
d cl
o
og
_
scatt
e
ring_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ve
r
doo
l
a
ege
inc
l
ude/cloog/domai
n
.
h: remove declaratio
n
s of (un
u
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
l
a
e
ge
test
/
t
est_
r
un: onl
y
c
h
eck simp
l
ified hull
g
e
neration
s
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verd
o
olaege
test
/
test_run:
also check correctness of simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoola
e
ge
cl
o
og_domain_simpl
i
fy: avoid out-of-b
o
unds array access
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n Verdoolaege
Treat parameter
domains dif
f
er
e
n
t
ly
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
V
e
r
doolaege
C
hange s
e
mantics
of c
l
o
og_domain_cut
_
f
irst
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
cloog_do
m
ain_isempty: accept
N
UL
L
argument
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
clo
o
g_dom
a
in_emp
t
y:
mak
e
empty do
m
ai
n
using
templa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
rdoolaege
I
n
form fun
c
tion reading in sca
t
te
r
ing function of d
o
ma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
rdoo
l
aege
pass
the number of parameters to
functions re
a
ding
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
intro
d
uce CloogSc
a
tte
r
in
g
abstract
i
on
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
make te
x
tual tests backend dependen
t
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oo
l
aege
s
ort elements
o
f min and
m
ax
reduction clasts
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdool
a
ege
a
llow o
u
t-of-src test file gen
e
ration
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoo
l
aeg
e
Remove lines referring t
o
"number of p
o
lyhe
d
ra"
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Pass
C
l
o
og
O
p
tions to fun
c
t
ion read
i
ng (lists of)
d
om
a
in
s
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erd
o
o
l
aeg
e
allow b
a
ckends to h
a
ve th
e
ir
own opti
o
ns
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
V
erdoolaege
configure: ha
n
dle
g
mp and
polylib "submodules" in
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoola
e
ge
crea
t
e backe
n
d
(PolyLib)
s
pecifi
c
library
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
remove depe
n
dence on Po
l
yLib from cloog core
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoola
e
g
e
T
e
st correc
t
ness of
gen
e
r
a
ted cod
e
, without
requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
add cloo
g
_domain_c
u
be
f
unction, ret
u
rning a cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
l
aege
Let cloog_
d
omain_
u
nive
r
se return a univer
s
al d
o
main
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
R
e
p
lac
e
use of Value in
c
loog core b
y
new cloog
_
int_t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
abs
t
rac
t
ou
t
CloogMatrix
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
r
d
oola
e
ge
clast
.
c: use
C
loogEquali
t
ies and CloogConstrain
t
s
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ver
d
oolaege
CloogBloc
k
:
r
emov
e
u
n
use
d
scatteri
n
g
fi
e
ld
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
av
o
id use of matrices in s
o
urce/
p
rogram
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ve
r
dool
a
ege
c
o
mplet
e
Cloog
D
om
a
in abst
r
a
ction
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
r
doolaege
d
omai
n
.
c: remove some unused functions
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
m
o
ve cloog_value_{up,down} out of
d
omain
.
c
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
perf
o
rm special
o
ption
s
tests
in a loop
commit
|
commitdiff
|
tree
2008-09-15
Sve
n
Verdo
o
laege
tests
:
pr
i
n
t
unified diff
b
e
tw
e
en e
x
p
e
ct
e
d
and o
b
tained
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
S
v
e
n Verd
o
olaege
Add -c
a
llable
option for
g
e
nerating
cod
e
to be
us
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
mak
e
defaul
t
CFLAGS ove
r
ri
d
abl
e
commit
|
commitdiff
|
tree
2008-09-15
S
ven Verdoolaege
c
l
oog_names_read_
s
tr
i
ngs: fix check for sufficient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
S
v
en Verd
o
olaege
R
e
move escedk test
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
F
i
x
up vivi
e
n an
d
vivien2 tes
t
s
commit
|
commitdiff
|
tree
2008-09-11
Sven Ve
r
doolaeg
e
Fix cl
o
og_do
m
ain
_
lazy_disjoint
commit
|
commitdiff
|
tree
2008-09-06
Sve
n
Verdoolaege
fix memory leak in clast c
o
nstruct
i
on
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolaege
add examp
l
es s
u
bdirect
o
ry
t
o the
d
i
s
tribu
t
i
on
commit
|
commitdiff
|
tree
next