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
detect strides even if the remainder of the lower bound depends on outer iterators
2009-09-24
Tobias Grosser
Move matrix
.
* to constraints
e
t
.
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Tobias G
r
osser
F
i
x
c
o
m
p
iler
warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Sven
V
erdoolaege
source/clast
.
c: insert_loop:
drop
re
d
undant
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
update isl to versi
o
n 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
d
o
n't assume compiler
is gcc whe
n
turning
o
n wa
r
nings
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
c
l
o
o
g
_program_
p
print: remove dubious esca
p
e
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
e
rdoolaege
configu
r
e
.
in: don'
t
a
ssume compiler is gcc whe
n
s
e
tting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
c
l
oog_loop_stride: properly handle domains w
i
th fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdoolaege
updat
e
isl for fix in is
l
_basic_
s
et_dim_
r
esidue_class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
a
ege
PolyLib ba
c
kend: cloog_domain_
s
tride:
h
andle singleton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoo
l
aege
test/Makefile
.
am: add all kn
o
wn good ver
s
ions for tes
t
_
run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
update
isl
f
o
r
gbr based samplin
g
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rd
o
olaege
update isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verd
o
ola
e
ge
isl b
a
ck
e
nd: fix ret
u
rn of cloog_domain_convex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Verdoolaeg
e
Make
f
ile
.
am: ex
p
licitly
s
et DIST_SU
B
DIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update in
s
tall
a
tion
i
nstructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ven V
e
rd
o
ol
a
ege
configure
.
in:
bu
i
ld is
l
bac
k
en
d
by
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolae
g
e
confi
g
ure
.
in: allow not
b
uilding
p
olylib
backe
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
doc: documen
t
c
lasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdoolaege
clast: i
n
clud
e
cop
i
es of CloogS
t
atements i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
cloo
g
_statement_copy: add miss
i
n
g
c
opy o
f
state
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdoolaeg
e
doc: fix
some sp
e
lling
m
istakes
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
rename pprint
to c
l
ast_pprint to
avoid namespace pollution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sve
n
Verdoolaege
make CloogDomain
a
nd CloogScat
t
ering c
o
m
plete
l
y opaque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdool
a
ege
cloog_na
m
es_all
o
c: fi
x
t
yp
o
in comment
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n Verdoolaege
cla
s
t: extract
e
num clast_expr_type f
r
om out of clast_
e
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verd
o
ol
a
eg
e
u
p
date REA
D
M
E
for n
e
w patch subm
i
tting procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doolaege
avoid recom
p
utation of
"one"
(and -1) by storing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Ve
r
doolaege
clast: mak
e
global
s
t
r
uct clast_stmt_ops const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolae
g
e
move all glob
a
l va
r
ia
b
les t
o
CloogSt
a
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
o
l
aeg
e
move isl_ctx from CloogOpt
i
ons to CloogSt
a
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdoolaege
cloog_options_read
:
fix m
i
snamed argc and a
r
gv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolaege
c
l
oo
g
_domain_
d
imension
:
re
t
urn actual di
m
e
nsion (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolae
g
e
PolyL
i
b
backen
d
:
store
n
u
mber
of parameters in Cloo
g
Domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdool
a
ege
cloog_na
m
es_alloc:
initi
a
lize structure with default
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-26
Cé
d
ric Bastoul
C
ha
n
g
e
licen
s
e from GPL 2
.
0 to LGPL 2
.
1+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven Ver
d
ool
a
ege
update docs to introduction of C
l
oogSca
t
terin
g
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Ver
d
o
ola
e
ge
PolyLi
b
b
a
ckend: di
s
able
cloog_sca
t
tering_
l
azy_b
l
o
c
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
clast: drop loops
w
ith fractional lower and
up
p
er bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaeg
e
config
u
re
.
in: set
A
C_CONFI
G
_MACRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
i
n
sert_modulo
_
g
u
ar
d
: mo
v
e r
e
duction o
f
guards to the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven V
e
r
d
oolaege
sourc
e
/clast
.
c: insert_modulo
_
g
u
a
r
d
: only c
o
mpu
t
e b
o
un
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en
Verdoolaege
cloog_co
n
straint_equal_type: treat all
m
odu
l
o
g
u
ards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoola
e
ge
c
l
o
og_loop_
s
i
m
pl
i
f
y
: iterate
o
ver sibli
n
gs inst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoo
l
a
ege
Remove l
i
nes referring to
"number of pol
y
hedra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
u
p
date
i
s
l for new version of isl_basic_map_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl backend: clo
o
g_doma
i
n
_
simplif
y
_
u
n
ion
:
u
se isl_set_
c
oalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoo
l
aege
Ex
t
ract
o
u
t
b
ackend specific cl
o
og_domain
_
simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl
b
a
c
kend: u
s
e
i
sl_set_bounded_simpl
e
_hull for computing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
clast
.
c: insert extra modulo guards inv
o
lv
i
ng loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
i
sl backen
d
:
d
iv_expr: free
d
iv a
f
t
e
r use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en V
e
rdool
a
ege
update is
l
for change in inte
r
n
al rep
r
esentation affecting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
er
d
oolaege
update isl for n
o
rm
a
lization
d
urin
g
convex h
u
ll
comp
u
ta
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c
:
cla
s
t_reduction
_
cmp: tre
a
t a
l
l una
r
y "reducti
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolaege
pretty printer: drop "
"
in front of "
;
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaeg
e
remo
v
e
cpp
option
(defaulting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoola
e
ge
t
urn o
n
"equali
t
y spre
a
ding" (esp)
b
y
de
f
a
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
r
emo
v
e csp option (de
f
ault
i
ng to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
o
l
aeg
e
print exe
c
u
tion time again
i
f sys/resource
.
h
i
s available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Ve
r
d
o
ola
e
ge
o
nly pr
i
nt e
x
ecut
i
o
n time if
s
ys/r
e
s
ource
.
h i
s
ava
i
labl
e
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
isl b
a
c
kend
:
support exist
e
ntially qua
n
ti
f
ied variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
isl
b
a
ckend: drop existentials
w
he
n
computing fall
b
ack
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
er
d
oolaege
update
i
sl
for plug for isl_map_simp
l
e_hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
r
d
oolaege
u
p
da
t
e
isl for changed calling conventions of isl
_
basic
_
set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
update isl for change
in c
a
lling c
o
nv
e
ntion
of so
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
update isl f
o
r refcoun
t
e
d isl_co
n
st
r
aint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
update isl for introd
u
ctio
n
of isl_
d
im
s
tructur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
clast
.
c: insert_guard:
in
s
ert modu
l
o guards base
d
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolae
g
e
clas
t
.
c:
extract
o
u
t cloog_c
o
ns
t
ra
i
nt_set_n
_
i
tera
t
ors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
a
e
ge
clast
.
c
:
e
xtr
a
ct out common c
l
oog_constraint
_
v
a
riable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
Ve
r
doola
e
ge
clast: all
o
w
clast_term to represent mult
i
ple
of a
n
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: ext
r
a
ct out
c
o
mmon cloog_n
a
m
es
_
name_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaeg
e
minor chan
g
es
to C
l
o
o
gCon
s
traint abstra
c
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
Fix up option
a
l inclusi
o
n
o
f
b
a
ckup
mp_get_me
m
ory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoola
e
ge
cloog/constraints
.
h:
d
on't put #include's inside
e
x
t
ern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolae
g
e
drop un
u
sed clo
o
g_constraint_set_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven
V
erdoolaege
Add backup
mp_get_mem
o
ry_fun
c
tio
n
s
imple
m
ent
a
tion for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
v
en
V
erdo
o
lae
g
e
updat
e
isl
for compatibil
i
ty with old gm
p
s
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaeg
e
u
p
date is
l
f
or im
p
r
ov
e
d pipl
i
b e
f
ficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Look for more opportunities f
o
r bloc
k
i
n
g
statem
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdo
o
laege
cloog
_
p
rogram_r
e
ad:
del
a
y
construction of
blo
c
klis
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verd
o
olae
g
e
c
l
oog_loop_sep
a
rate: combine loo
p
s w
i
th identical domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoolaege
cloog_loop_separate: minor
c
lean-
u
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoolaeg
e
cloog_loop_s
e
parate: exploit disj
o
intness of loo
p
do
m
a
i
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n Ver
d
oolaege
clast
.
c
: sort e
q
uations in guard cla
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
ool
a
ege
O
pti
o
n
a
lly re
f
r
a
in from printing any inf
o
rmational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoola
e
ge
c
l
a
st
.
c: d
o
n't
i
nsert
a
ny
"
s
calars"
f
o
r level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
oo
l
aeg
e
source/i
s
l: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven V
e
rdoolaeg
e
Explicitly specify
-rpath
for libtool
l
ibraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
in
c
l
ude/c
l
o
o
g/domain
.
h: avoid us
e
of C++
key
w
ord "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erdoo
l
aege
add isl bac
k
end
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
doolaege
opt
i
ons
.
c: remove -rays op
t
io
n
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
Handle 0D pro
b
lem
s
by adding a 0th level to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erdo
o
la
e
ge
cloog_loop_merge: ensure loop
domains a
r
e convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
ins
e
r
t
_guard: make
sure
c
o
ef
f
icient
i
n
l
ef
t
hand
sid
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
r
doolaege
i
nsert
_
guard
:
a
v
o
id o
u
t-of-bound
s
access
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoo
l
aege
Introduce CloogConstraint
a
bstraction
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
V
e
rdoola
e
ge
Rename Cl
o
ogCo
n
s
traints to CloogConstr
a
intSet
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdoolaege
fix typo
s
in insert_loop comment
s
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
laeg
e
cloog_domain
_
p
rin
t
_st
r
ucture: print all polyhedra
i
n
.
.
.
commit
|
commitdiff
|
tree
next