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
cloog_program_read: separate reading from input from construction of CloogProgram
2010-08-01
S
v
en V
e
rdoolaeg
e
cloog_pr
o
g
r
am_re
a
d: separate reading
from
i
nput from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-25
Sven Ver
d
oo
l
aege
a
l
low
l
ibrary users to specify names of statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
Sven Ve
r
d
oolaege
d
etect all one-tim
e
loops
a
n
d
convert th
e
m
to an assignment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
Sve
n
Verdoolaeg
e
source/cl
a
st
.
c:
clean up in
s
er
t
_for
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdoolaege
allow stride detection
on lo
o
ps w
i
thout consta
n
t low
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
e
rdo
o
laege
replac
e
cloog_doma
i
n_integral_lower
b
ound by cloog_do
m
ain_can
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ve
r
doolaege
i
s
l backend: cloog_con
s
trai
n
t_
s
et_foreach_
c
on
s
traint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
doo
l
aege
u
p
d
ate is
l
for
isl_
c
o
n
strain
t
_is_div
_
c
o
n
straint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdo
o
laege
isl backe
n
d: cloog_do
m
a
in_pr
o
ject
:
make sure al
l
d
ivs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
upda
t
e isl for
i
sl_map_is_s
i
ngle_val
u
ed
commit
|
commitdiff
|
tree
2010-05-06
Sv
e
n Verdoolaege
Turn
off backtrack by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Ve
r
dool
a
ege
cloog_lo
o
p_generate: optimi
z
e the loop domains aft
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sve
n
Ver
d
oolae
g
e
c
l
oog_loop_genera
t
e
: restric
t
inne
r
loop
d
omains before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Verdoolaege
cloog_loop_generate_componen
t
s: extract out extract_componen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven V
e
rdool
a
ege
parame
t
e
rize cloog_lo
o
p_com
p
o
n
en
t
s_tarjan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update isl f
o
r
impr
o
ved gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
split
paramete
r
domains
w
h
e
n convex hull opera
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Verdo
o
lae
g
e
isl b
a
c
kend:
clean
u
p
r
e
ading functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
update isl for change
in isl_set_gi
s
t argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
do
o
laege
simpli
f
y cloog_loop_merge implementat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
g
e
cl
o
og_
d
om
a
i
n_union
:
free arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Verdoolae
g
e
generate loops
f
or all di
m
ensi
o
ns
if -otl
0 is specified
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-17
Sven Verdoola
e
ge
clast
.
c: insert
_
gua
r
d: make sur
e
eno
u
gh space is a
l
located
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-11
Sven Verdool
a
ege
update isl for v
a
rio
u
s fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Ve
r
doolaege
u
pdate i
s
l
for isl_basic
_
set_fore
a
c
h_constrain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
introduce c
l
oog_constra
i
nt_set_foreach_constraint a
b
s
traction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
V
e
rdoolaege
isl_
b
ac
k
en
d
:
c
l
oo
g
_dom
a
in
_
re
a
d_scatte
r
ing: read scatterings
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
i
sl backend: scatte
r
i
n
g relatio
n
no
w
maps
domain dime
n
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl backend: cloog_domain_read_
s
cattering: allow union
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
update isl
f
or
reading of extended
P
olyLib
form
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
a
llow b
u
ilding without
i
sl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olaege
remove P
o
lyLib backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
create
p
kg-config file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doola
e
ge
mak
e
installed header files inde
p
e
ndent of c
o
nfigu
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
move PolyLib independent fi
l
es
o
u
t
of polylib s
u
bdirectory
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
m
a
ke constrain
t
se
t
.
c PolyLib independent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaege
add mo
r
e cloog
_
seq_* functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
r
doolaege
a
d
d
cloog_
m
atrix_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add cloog_int_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n
Verdoolaege
ad
d
cloo
g
_matrix_print_str
u
c
t
u
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
mov
e
l
ower-bounds fix-u
p
fro
m
cloo
g
_loop_stride
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n Verdoolaege
add cl
o
og_int_cdiv_q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaege
dro
p
s
peci
a
l h
a
ndli
n
g of co
n
s
tant term while inserting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Ve
r
do
o
laege
add some m
o
r
e
c
l
oog_int_t
c
omparison op
e
rations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
c
loog_matrix
_
print: pr
i
n
t number of
rows and
columns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
add clo
o
g
.
texi
t
o distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verd
o
ol
a
ege
add sor1d
files to dist
r
ibution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Ve
r
doolaege
make
C
LooG core co
m
p
letely backend-inde
p
endent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaeg
e
update doma
i
n an
d
scattering readin
g
functions to changes
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
cloog_loop_simpli
f
y:
simpli
f
y unions befor
e
si
m
plifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sv
e
n
V
e
r
doolaege
cl
o
og_
l
o
o
p
_gener
a
te: detect component
s
and generate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Ve
r
doolaege
update i
s
l
f
or
i
s
l
_set_follows_at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven V
e
rdoo
l
aege
cloog_loo
p
_generate: continue recur
s
ing even
i
f only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Ver
d
oolaeg
e
c
l
o
o
g_loop_g
e
n
erate: don't projec
t
in "sca
l
ar" cas
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
en Ver
d
o
o
l
aege
cloog_
l
oop_
g
enerate: s
p
lit off restriction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
cl
o
og_loop_generate: se
p
arate restr
i
ction and proje
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
en Verdoolaege
source/
l
oop
.
c: separate o
u
t
level_is_const
a
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Verdoolaege
cloog_l
o
op_sort: separa
t
e out cloog_loop
_
count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
source/loop
.
c: drop
redundant co
n
te
x
t arg
u
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verd
o
o
l
aege
source/loo
p
.
c: drop redund
a
n
t
nb_par
ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
erdool
a
ege
impl
e
ment cloog_loop_scalar_e
q
in
terms of cloog_loop_
c
on
s
ta
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sve
n
V
e
rdoolaege
fi
x
im
p
lementatio
n
of
cloog_loop
_
s
c
alar_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-25
Sven Ver
d
oolaege
source/isl/d
o
main
.
c: fi
x
typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
S
v
en Verdoolaege
cloog_loop_nes
t
: also introduc
e
a nes
t
i
ng for the deepes
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verdoolaege
clo
o
g_loop_nest: make loop disjo
i
nt before insert
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
erdoolaege
c
l
o
og_loop_disjoint:
f
ix over-eag
e
r opt
i
mization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n V
e
rdoolae
g
e
u
p
d
a
te isl
f
o
r
fix in gist
c
omputation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
update isl for fix in c
o
nv
e
x hull
com
p
ut
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaeg
e
u
pdate isl for
improved set dif
f
erence implement
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
er
d
o
olaege
isl backend
:
dete
c
t eq
u
a
l
itie
s
on all sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoo
l
aeg
e
only tu
r
n on warning
s
in top le
v
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoolaege
don't construct guar
d
s on
e
xpre
s
si
o
ns th
a
t t
u
rn out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdool
a
ege
keep track of offsets of strided loops and u
s
e t
h
em
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
Verdo
o
laege
PolyLi
b
back
e
nd: c
l
ean up s
i
mplific
a
tion o
f
constra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
Verdo
o
l
aege
add zero to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoola
e
g
e
add cloog_int_le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
S
v
e
n
Verdoolaege
avoid
"
echo -e" in test/
M
ake
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-10
Sven
Verdoolaege
cloog_equal_type: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-02
Sven Verdoo
l
aege
up
d
ate
i
sl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
get_sub
m
o
d
ules
.
sh:
no longer
i
nitialize su
b
modules
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
Sve
n
Verd
o
o
l
aege
cloog_domain_strid
e
: handle union domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolae
g
e
update
i
sl for isl_set_di
m
_resi
d
ue_class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Sv
e
n V
e
rdoo
l
a
e
g
e
source/clast
.
c: insert_loop:
drop
redundant argu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
u
p
date isl to
v
ersion 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdo
o
laege
don't as
s
ume compiler
is gcc when t
u
rning on warn
i
ngs
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
cloo
g
_
program_pprint: remov
e
dubious escape
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdool
a
ege
configu
r
e
.
in: don't assume com
p
iler i
s
g
cc when setting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
cloog_loop_st
r
ide:
pr
o
perly handle domains with fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdo
o
laege
upd
a
t
e isl for fix in isl_basic_set_dim_resi
d
ue_c
l
ass
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
Po
l
y
Li
b
backend: c
l
o
og_domain_str
i
de: handle
s
ing
l
eto
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
test/Makefile
.
am: add all known
g
ood versi
o
ns for
test_run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
update isl for
g
br based
s
ampling
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
upda
t
e
i
s
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
is
l
backend: f
i
x r
e
t
u
rn of
c
loog_domain_convex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdoola
e
ge
Makefile
.
am: explic
i
t
ly set DIST_SUBDI
R
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n V
e
r
d
o
o
la
e
g
e
update installation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
e
rdoo
l
aege
config
u
re
.
in: b
u
ild i
s
l ba
c
kend by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
doolae
g
e
configure
.
in: allow not
building polylib backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdoolae
g
e
doc
:
document clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdoolaege
clast: include
c
opies of CloogStatements i
n
st
e
ad of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next