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
detect strides even if the remainder of the lower bound depends on outer iterators
2009-09-24
To
b
i
as Grosser
Move matrix
.
*
t
o constraintset
.
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Tob
i
a
s
Grosser
Fi
x
compiler wa
r
ning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Sven Verdoolaege
s
ource/clast
.
c
: in
s
er
t
_lo
o
p: drop redundant argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
laege
u
pdate
isl to version 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoola
e
ge
don't assume compile
r
is
g
c
c
when turning on warnings
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdoolaege
c
l
oog_p
r
ogram_pp
r
i
n
t: re
m
ove du
b
ious esc
a
p
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
c
o
n
f
igure
.
in: don't
a
ssume compiler is gcc when se
t
ting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
cl
o
og_loop_st
r
ide: prope
r
ly ha
n
dle
domains with fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolae
g
e
upd
a
te isl
f
or fix in isl_basic_set_dim
_
residue
_
class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaeg
e
P
olyLib
b
acken
d
:
c
loog_domain_stride: h
a
n
dle
s
ingleton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaeg
e
test/Makefile
.
am:
a
dd al
l
k
nown good versions for tes
t
_run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
rdo
o
l
a
ege
upda
t
e isl
for
g
br
based
s
a
mpl
i
ng
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdo
o
laege
upda
t
e
i
sl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
S
ven V
e
rdoo
l
a
ege
i
s
l backend: fix return o
f
c
l
o
og_domain_
c
onv
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ve
n
Verdoolaege
Mak
e
f
i
l
e
.
a
m: ex
p
l
icitly set DIST_
S
U
B
DI
R
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoolaege
updat
e
installation instru
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
configure
.
in: build i
s
l b
a
ckend
by
d
efau
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdoolaege
configure
.
in: allow not
b
u
i
l
ding polylib
backen
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ver
d
o
olaege
doc: document clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
c
las
t
: include
c
opies of CloogState
m
e
nts inste
a
d o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdoolaege
cl
o
og_statement_cop
y
:
a
d
d
m
issing copy o
f
state
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
doc: fix so
m
e sp
e
lling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sve
n
Verdoola
e
g
e
rename pprint
t
o clast_ppr
i
nt to av
o
id namespa
c
e pollut
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven
V
e
rdool
a
e
g
e
make Cl
o
ogDomain and CloogScattering completely op
a
q
u
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ve
r
dool
a
ege
cloog_n
a
mes
_
a
lloc:
fi
x
ty
p
o i
n
comment
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n Verdoolaege
clast: extr
a
c
t
e
num clast_expr_type
from out
o
f cl
a
st_
e
x
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verd
o
olaege
update README for new patch submitting procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ve
n
Verdoolaege
a
void
recomputati
o
n of
"one" (and
-1)
b
y
storing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdo
o
lae
g
e
c
l
ast:
m
ake global struc
t
clast_stmt_op
s
c
o
nst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdoolaege
move all gl
o
b
a
l
variables to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdo
o
laege
m
o
ve
isl_ctx from C
l
oogOptions to
CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n
V
erdoolaege
cloog_o
p
t
i
ons
_
read: f
i
x misnamed argc and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verd
o
olaege
c
lo
o
g_domain_dimension: return
act
u
al dimensi
o
n
(
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
PolyLib
b
ackend
:
store number of
paramet
e
rs in CloogDoma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
ol
a
e
g
e
cloog_n
a
m
e
s_al
l
o
c
: initiali
z
e structure wit
h
d
efau
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Bastoul
Change
license from GPL 2
.
0 to LG
P
L 2
.
1+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven
Verdoolaege
u
pdate d
o
cs to introdu
c
tion of
C
loogSc
a
tte
r
ing a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
V
e
rdoolaeg
e
P
olyLib back
e
nd: disabl
e
cloog_s
c
a
ttering_lazy_
b
lock
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
clas
t
: drop loops with fract
i
onal lo
w
er
and up
p
er
b
oun
d
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdo
o
lae
g
e
conf
i
gure
.
in: s
e
t AC_CONFIG_
M
ACRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
i
n
sert_modulo_guard:
m
ov
e
reduction of guar
d
s t
o
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ver
d
oolaege
s
o
u
rce/clast
.
c: inse
r
t_modu
l
o_
g
uard: only co
m
pute bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ver
d
oolaege
cloog_c
o
nstraint_equal
_
type
:
tr
e
a
t
all
m
odulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
c
l
oog_loo
p
_si
m
plify:
i
t
er
a
te
over siblings instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdo
o
l
a
ege
R
e
move line
s
referring to "num
b
er of
p
oly
h
edra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoo
l
aege
update
isl f
o
r
new versio
n
of isl_b
a
sic_map
_
g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdool
a
eg
e
isl backend
:
cloog_domain_
s
imp
l
ify_un
i
on: use isl_set_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
Ext
r
act out b
a
ckend s
p
e
c
ific cloog_domain_simplify_u
n
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl backen
d
: use isl_set_bounded_si
m
p
le_hull fo
r
computing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
olaege
clast
.
c: in
s
e
rt
e
xtra modulo guards inv
o
lving lo
o
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl backend: di
v
_expr: f
r
e
e
di
v
after use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
update
isl for chan
g
e in i
n
ternal representation a
f
fecti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolae
g
e
update isl for normalization during c
o
n
v
ex
hull
c
o
mputation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en
V
er
d
o
o
laege
clast
.
c: c
l
ast_reduction_cm
p
:
treat
all unary "reducti
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aeg
e
pretty printer
:
drop
" " in front
o
f ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aege
remove
cpp option (defaulting to
tru
e
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
d
oolaege
tur
n
on "equali
t
y spr
e
adi
n
g"
(
es
p
) b
y
defau
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaege
remove
csp op
t
i
o
n (default
i
ng to tr
u
e
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
print execution time again
i
f s
y
s/resource
.
h
is ava
i
l
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sve
n
Verdo
o
laeg
e
only print e
x
ecut
i
o
n t
i
m
e
if sys/resource
.
h is available
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
V
erd
o
olaege
isl backend:
s
upport existentiall
y
qua
n
tifi
e
d variabl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdool
a
e
g
e
isl backend:
drop e
x
istentials when computi
n
g fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update
isl for plug for isl_
m
ap_
s
imple_hull m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdo
o
laege
update isl
f
or
c
hanged calling co
n
ve
n
t
i
o
ns of isl
_
bas
i
c_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
u
p
date isl for ch
a
nge
i
n
calling convention
o
f s
o
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaeg
e
update
i
sl f
o
r refcounted
isl_
c
o
nstraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
u
p
d
a
te isl for i
n
troduction of
isl_
d
im struc
t
ure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ver
d
oolaege
c
l
ast
.
c: insert
_
guar
d
: insert
modulo guards
b
ased on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaeg
e
clast
.
c:
e
xtract ou
t
c
loog_con
s
train
t
_set
_
n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
clast
.
c: extract out common cl
o
og_constraint_variable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en V
e
rdoolaege
c
la
s
t: allow clast_term to
r
e
p
res
e
nt
m
ult
i
p
le of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoola
e
ge
clast
.
c: extract out
c
o
mmo
n
c
loog_names
_
name_a
t
_l
e
ve
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
ool
a
ege
min
o
r changes to CloogCon
s
traint ab
s
traction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
F
i
x up o
p
tio
n
al inclusion o
f
bac
k
up mp_get_mem
o
ry_
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sve
n
V
erd
o
ol
a
e
g
e
clo
o
g/constraints
.
h: don't
put #include's insid
e
extern "C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoo
l
aege
d
r
op unused c
l
oog_constrain
t
_set_coun
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven V
e
rdoolaege
Add
backup
m
p_get_memory_
f
unction
s
impl
e
m
e
ntation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven V
e
rdool
a
e
g
e
upd
a
te isl
for compatibility with old
g
m
p
s
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
updat
e
isl for improv
e
d
p
i
p
l
i
b
e
fficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Lo
o
k for m
o
re opportun
i
ties for b
l
o
cking statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
c
l
oog_pro
g
ram_read
:
d
e
lay constructio
n
of bloc
k
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolae
g
e
cloog_lo
o
p_s
e
pa
r
at
e
: combine loo
p
s
w
ith identical
d
omains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop_sepa
r
at
e
: mino
r
cle
a
n
-
ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
cloog_loop
_
separ
a
te: e
x
ploit disjointness of loop domai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
c
last
.
c:
sort equations i
n
guard clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
olaege
Optionally refrain from printing
a
ny information
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven
Verdoolaege
clast
.
c: don'
t
i
n
s
e
rt any "scalar
s
" for level
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoo
l
aege
source/is
l
: fix typos in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
oolaeg
e
Explicitly specify
-
rpath
f
o
r
libtool librar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdoolaege
in
c
l
u
d
e/cloo
g
/domain
.
h: avoid use of C++ keyword "te
m
p
late"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add is
l
b
a
ckend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoola
e
ge
op
t
ion
s
.
c: re
m
ove -rays
option
commit
|
commitdiff
|
tree
2008-10-03
Sve
n
Verdoola
e
g
e
Handle
0
D problem
s
by addi
n
g a 0th level to the m
a
in
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
cl
o
og_loop
_
merge: e
n
sure loop dom
a
ins are co
n
vex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
e
n
Verdoolae
g
e
insert_guard: make sure
coefficient
i
n left hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en
Verdoola
e
ge
insert_gu
a
rd: avoid
out-
o
f-bounds acc
e
ss
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
erdool
a
e
ge
Introduce Cloog
C
onstraint abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoola
e
ge
Re
n
ame Clo
o
gConstraints to
Cloo
g
ConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
fix typos in inse
r
t_
l
oop comme
n
ts
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
olaege
clo
o
g_doma
i
n_print_stru
c
ture: print all polyhedra in
.
.
.
commit
|
commitdiff
|
tree
next