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
add cloog_vec_dump for debugging
2009-11-10
Sven Verdoolaege
cloog_equal_t
y
pe: f
i
x t
y
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-02
Sve
n
Verdo
o
lae
g
e
update
i
s
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
get_su
b
modul
e
s
.
s
h
: no
long
e
r
in
i
tialize submo
d
u
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
Sv
e
n
Verdoolaege
cl
o
og_domain_st
r
i
d
e:
handl
e
union domai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
S
v
en Verd
o
olaege
updat
e
isl for isl_s
e
t
_d
i
m_resi
d
ue_class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Sven Verdoolae
g
e
source/c
l
ast
.
c: insert_l
o
op
:
drop redundant argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
upd
a
te
i
sl to version
0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolae
g
e
don't assume compiler i
s
gcc when turning
on warning
s
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaeg
e
c
loog
_
pr
o
gram_p
p
rint: r
e
move dubious escape
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
co
n
figu
r
e
.
in: don't assume comp
i
ler is gcc when s
e
tting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
cloog_l
o
op_stride: properly handle domains
with fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaeg
e
u
pdate isl
f
or f
i
x in isl_basic_
s
et
_
dim_resi
d
ue_class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n
Verd
o
olaege
PolyLib backend: cloog_domai
n
_
str
i
de:
h
and
l
e singleton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
test/Make
f
ile
.
am: add all known
g
ood versio
n
s for test_run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoola
e
ge
up
d
ate isl for g
b
r based
s
ampling
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verd
o
o
l
aege
update
isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoola
e
g
e
i
sl backend: fix return
o
f
cloog_dom
a
in_con
v
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
Makefi
l
e
.
am: exp
l
i
citly set
D
I
S
T
_SUBDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
up
d
a
t
e
installati
o
n i
n
struc
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoo
l
aege
configure
.
in: build isl
b
ack
e
nd by
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laege
config
u
re
.
in
:
allo
w
not building polylib back
e
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdoolaege
doc: d
o
cumen
t
clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sve
n
Verdoolaege
clast: include copies of CloogStatements inst
e
ad of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verdo
o
laege
cloog_s
t
atement_co
p
y
: add mi
s
sing copy of
state
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Verdool
a
eg
e
doc: fix some spelling
m
ist
a
kes
commit
|
commitdiff
|
tree
2009-06-05
Sven Verd
o
o
l
aege
r
e
nam
e
pp
r
int to clast
_
ppr
i
n
t to av
o
id name
s
pa
c
e
poll
u
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoola
e
ge
make Cl
o
ogDo
m
ain and CloogSca
t
t
ering completely o
p
aque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven V
e
rdoolaege
cloog_names_alloc: fix typo in comment
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdool
a
ege
cl
a
st: extr
a
ct enum clast_expr_type fro
m
out o
f
cla
s
t_exp
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
S
v
en Verdoolae
g
e
updat
e
REA
D
ME
for new patch submitt
i
ng procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdo
o
l
a
e
ge
avoid recomputa
t
ion of
"one" (
a
nd -1) by
st
o
ring a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
r
d
oola
e
ge
clast: make glo
b
al s
t
ruct c
l
ast_s
t
mt_ops const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
erdoolaege
move all global va
r
iables to Cl
o
o
gState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven
V
erdoola
e
g
e
move isl_ctx from
CloogOp
t
ions to Cl
o
ogSta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdool
a
ege
cloog_options_read
:
f
i
x m
i
sn
a
med argc and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
c
l
oog_doma
i
n_d
i
m
e
nsion: return actual
d
imension (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
P
o
lyLib b
a
ckend: store n
u
m
b
er of parame
t
er
s
in Cl
o
o
g
Domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoolae
g
e
cloog_names_alloc:
i
nitia
l
i
z
e
st
r
ucture with
d
efault
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdoolae
g
e
update doc
s
to in
t
roductio
n
of C
l
o
o
gScatteri
n
g an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
PolyLib backend:
disable cl
o
o
g
_s
c
attering_lazy_blo
c
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolae
g
e
clast: drop
l
oops with
fractional lower and
upper
b
ou
n
ds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
Verdoolaeg
e
con
f
igur
e
.
in: se
t
AC_
C
ONFIG_MA
C
R
O
_
DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
V
e
rdoolaege
insert_m
o
dul
o
_guard
:
move reduction o
f
gua
r
ds to the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
olaege
s
o
urc
e
/clast
.
c
:
i
nser
t
_
m
odulo_guar
d
:
o
n
ly comput
e
b
ound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
e
n Verdoolaege
cloog_co
n
straint_equal_type: treat
a
ll modulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_loop_simpli
f
y
:
i
t
erate over
sibl
i
ngs
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoo
l
aege
Re
m
ov
e
lines ref
e
rring
to "
n
umber
o
f poly
h
e
d
ra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
u
p
date isl for new version o
f
isl_basic_m
a
p_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl
bac
k
en
d
: cloog
_
dom
a
i
n_simplif
y
_
union: use isl_s
e
t_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
Extra
c
t
out
backend
spec
i
fic cloog_domain_simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
dool
a
ege
isl backend: us
e
isl_set_bounded_s
i
mple_hull for computi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
clast
.
c: insert
e
xtra m
o
dulo gu
a
rds
involving loo
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
b
a
ck
e
n
d: div_expr: f
r
ee div afte
r
u
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Ve
r
doolaege
update isl
for chang
e
in internal repr
e
sentation affectin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ve
n
Ve
r
doolaege
upda
t
e isl for normalization during convex h
u
ll co
m
p
u
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Ve
r
do
o
laege
clast
.
c: clast_re
d
uction
_
cmp: treat
all unary "reductions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoo
l
aeg
e
pretty printer: drop " " in
f
ront of "
;
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove cpp option
(defaultin
g
to tru
e
)
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
Sve
n
Ver
d
oolaege
remove csp
optio
n
(defaulting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print executio
n
time again if sys/
r
esour
c
e
.
h
is ava
i
l
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven
V
erdoola
e
ge
o
n
ly print executio
n
tim
e
i
f
s
y
s/resourc
e
.
h is available
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
i
sl backen
d
: s
u
pp
o
rt exi
s
ten
t
ial
l
y qu
a
ntified v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Ve
r
d
o
o
laege
isl backe
n
d: drop exist
e
ntials when c
o
mputing fal
l
back
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
Ve
r
doolaeg
e
update
i
sl f
o
r plug for i
s
l_map_
s
i
m
pl
e
_hull
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update is
l
for change
d
c
a
ll
i
ng
c
on
v
entions
of isl_ba
s
i
c_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaeg
e
up
d
ate i
s
l
for c
h
ange in
calling conve
n
ti
o
n of
s
ome
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
rdoolaege
update
i
sl for
r
efcounte
d
isl_
c
on
s
tra
i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update
isl for intr
o
duc
t
ion o
f
isl_
d
im structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erd
o
olaege
clas
t
.
c:
i
ns
e
rt_guard: insert
m
odulo guards
based o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
o
olaege
cl
a
st
.
c:
e
xt
r
act out cloog_constraint_
s
e
t
_
n_i
t
er
a
tors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdool
a
eg
e
clast
.
c:
e
xtract
out com
m
on
c
loog_constr
a
int_var
i
able_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
er
d
oolaege
cla
s
t: allow clast_term to rep
r
e
s
ent multiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
e
rdool
a
ege
clast
.
c: extract out common c
l
oog_names_name
_
at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdo
o
laege
m
inor changes
t
o
CloogConst
r
aint abstract
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
dool
a
e
g
e
Fix
up
o
ptiona
l
inclusion
of
backu
p
mp_get_memory
_
functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sv
e
n Verdoo
l
aege
cloo
g
/constraints
.
h: don't put #include's insid
e
extern
"
C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoo
l
a
ege
d
rop u
n
u
s
ed cloo
g
_constraint_set_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
S
v
en Ve
r
do
o
l
a
ege
Add
b
ac
k
up mp
_
get_
m
emory_f
u
nctions implemen
t
ati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n
Ve
r
doolaege
update i
s
l for compatibility with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
upda
t
e isl for improved piplib effi
c
ie
n
cy
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
olaege
Loo
k
for
more
o
pportunities for blocking stateme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
cloog_pr
o
gram_read: delay con
s
truction
o
f b
l
oc
k
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
lae
g
e
cloog_loop_separat
e
: combine loops with identica
l
do
m
a
i
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoolaeg
e
cloog_loop_separate: m
i
nor clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
V
erd
o
olaege
cloog_loop_separate: exploi
t
disjointness of
loop
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolae
g
e
cl
a
st
.
c: s
o
rt equations
in g
u
a
rd
clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n
Ver
d
oolaege
Optionally refra
i
n fr
o
m printing any informati
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
clast
.
c: don't insert any "scalars" for
lev
e
l
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
v
e
n
Verdoolaege
source/isl: fix ty
p
os in
commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaeg
e
Ex
p
li
c
itly s
p
ecify -rpa
t
h for li
b
t
o
ol libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoolaege
include/clo
o
g/
d
omai
n
.
h: a
v
oid use of C++ keywor
d
"template"
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erdoolaege
add isl back
e
nd
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
doolaege
options
.
c:
re
m
ove -rays opt
i
on
commit
|
commitdiff
|
tree
2008-10-03
Sv
e
n Verdoolae
g
e
Handle 0D problems
b
y adding a
0
th
l
e
vel to the
main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
c
l
oo
g
_loop_merge: ensure loop domains
are convex,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoola
e
g
e
insert_
g
u
a
rd: mak
e
sure coefficient
i
n left hand
s
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoo
l
aege
inse
r
t
_
guard: avoid out-o
f
-
b
o
unds access
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
erdoolae
g
e
Introduce
C
l
o
o
g
C
onstraint a
b
stracti
o
n
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolaege
Rename CloogConstrai
n
ts to C
l
oogConst
r
aintSet
commit
|
commitdiff
|
tree
next