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
update isl for fix in isl_basic_set_dim_residue_class
2009-07-22
Sven Verdoolaeg
e
u
pdate isl f
o
r
fix in isl_basic_set_dim_residue_cla
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
P
olyLib backend:
c
l
o
og
_
do
m
a
in_stride
:
handle singleton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
V
erdoolaege
test/
M
ake
f
ile
.
am
:
add
a
ll kno
w
n good v
e
r
sio
n
s f
o
r test_
r
u
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
ool
a
e
ge
u
p
date isl fo
r
g
b
r based
s
a
mpling
commit
|
commitdiff
|
tree
2009-06-13
S
v
en Ve
r
doolaeg
e
up
d
ate isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven
Ve
r
do
o
laeg
e
isl backend: fix return of
c
loog_dom
a
in_c
o
nvex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoolaege
M
a
ke
f
ile
.
am: explicitly set DIST_SUBDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update installatio
n
instru
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verdoolaege
confi
g
ure
.
in: build isl backend by
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verd
o
olaege
c
onfigure
.
in: allow not building polylib backe
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verdo
o
laege
doc:
d
ocument clas
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdoolaege
c
la
s
t: include
c
opies
of CloogStatements
i
nst
e
ad of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
cloog_
s
tatement_
c
opy: add
m
i
s
sing copy o
f
state
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdoolaege
doc:
f
ix
s
ome spelling
mistak
e
s
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdool
a
ege
r
ename pprint t
o
clast_pprint t
o
a
v
o
i
d na
m
es
p
ace
p
ollution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ver
d
oolaege
make CloogDom
a
in
a
nd CloogScatterin
g
compl
e
tely opaque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
S
v
en Verdoolaeg
e
clo
o
g_names_
a
lloc: fi
x
ty
p
o in comment
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaege
clast: extract enum cl
a
st
_
expr_type from out of c
l
ast_exp
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdool
a
ege
update
R
EADM
E
for n
e
w
p
a
tc
h
s
ubmitting procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
d
o
olaeg
e
a
v
oid
r
ecomputation of "one" (and -1)
b
y storing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
ge
clast:
m
a
ke g
l
ob
a
l struct clast_stmt_ops const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdoolaege
move all global variab
l
es to CloogSta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
erd
o
olaege
move isl_ctx from Cloo
g
Optio
n
s
to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaeg
e
cloo
g
_op
t
ions_read: fix
m
i
s
nam
e
d
argc a
n
d a
r
gv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Ver
d
oolaege
c
l
oo
g
_d
o
m
ai
n
_di
m
en
s
i
on: re
t
u
r
n actual dimension (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaeg
e
PolyLib
b
ackend: sto
r
e number of parameters in CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdo
o
l
aege
c
l
oog_names_alloc: i
n
itiali
z
e structure with
d
ef
a
u
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven
V
erdoolaege
upd
a
te docs
t
o intro
d
uct
i
on of
C
l
o
o
g
Scatt
e
rin
g
a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verd
o
olaege
PolyLib
b
a
ckend: d
i
sable cloog
_
s
cattering
_
lazy_b
l
ock
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
V
e
rdoolaege
clast: dr
o
p l
o
op
s
with fr
a
ctional lower
and upper bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
c
o
n
figure
.
i
n: set
AC_CONFI
G
_M
A
CRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
inse
r
t_modulo_guard: move r
e
d
uction of guard
s
to the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
s
ource/clast
.
c: insert_modulo_
g
ua
r
d: onl
y
c
om
p
ute bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
olaege
cloog_con
s
trai
n
t_
e
q
u
al_typ
e
: treat all
m
odulo guard
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven V
e
rdoolaege
cloog
_
lo
o
p_
s
i
m
plify: i
t
erate over sibli
n
gs instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolae
g
e
Rem
o
ve lin
e
s referring to "nu
m
ber
of polyhed
r
a"
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
upd
a
te isl for new versi
o
n o
f
isl_basic_map_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
dool
a
ege
isl
b
a
ckend: cloog_domain_
s
implify_union
:
use
i
sl_se
t
_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
Ex
t
ract out backend specific cl
o
o
g_domain_simpli
f
y_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl backend: us
e
i
sl_set_bounded_simple_hull for computing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
c
l
a
st
.
c: ins
e
rt extr
a
modulo guards invol
v
i
ng loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rd
o
ola
e
ge
isl backend: div_e
x
pr: fre
e
div after use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
e
rdoolaege
update isl for cha
n
ge in internal
r
epresentation affe
c
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n V
e
r
do
o
l
aege
update isl for
normalization d
u
ring co
n
vex
h
u
l
l computati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoolaege
clast
.
c: c
l
ast_reductio
n
_
c
mp:
t
reat all unar
y
"reductions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en
Verd
o
o
laege
pre
t
ty
p
ri
n
ter: d
r
op "
"
in
front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
rem
o
ve cpp opt
i
on (defaulti
n
g to
true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaege
turn
on "equal
i
t
y
s
p
re
a
di
n
g" (esp) by def
a
u
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoola
e
ge
r
e
move
c
sp option (defaulting to
true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print
execution t
i
me again if sys
/
resource
.
h i
s
avai
l
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sv
e
n Verdoola
e
ge
o
n
ly print
e
x
ecution time if
s
ys/re
s
our
c
e
.
h is av
a
i
l
able
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
d
oolaege
i
s
l backend: support e
x
ist
e
n
tially
q
uanti
f
ied variabl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl backe
n
d: drop existentials when computing
fallb
a
ck
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdo
o
laege
u
p
date isl for
p
lug f
o
r isl_map_
s
imple_hull
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n
Verdoolaege
update isl fo
r
changed cal
l
i
ng con
v
en
t
i
ons
o
f isl_basic_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
u
p
date
i
sl fo
r
change in calling conve
n
tion of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
upd
a
te
i
sl for refco
u
nted isl
_
constrai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
update i
s
l
for introduction of isl_dim structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
er
d
oolae
g
e
clast
.
c: insert_
g
uard: insert modul
o
guards based on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
c
last
.
c: extract out clo
o
g_constraint_set_
n
_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven V
e
r
d
o
o
lae
g
e
c
l
ast
.
c: ex
t
ract out common cloog_constraint_variable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdo
o
lae
g
e
cla
s
t: al
l
ow clast_term to repr
e
sent multiple o
f
any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
c
l
a
st
.
c
: e
x
t
r
a
c
t
o
u
t common c
l
o
o
g
_
nam
e
s
_n
a
m
e
_at_l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
mi
n
or c
h
anges to CloogConstraint abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
Fix
up optional inclusion o
f
bac
k
up mp_get_memory_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
en Ver
d
o
o
laege
cloog/constraints
.
h:
don't put #i
n
clude'
s
inside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
drop unused
c
loo
g
_cons
t
ra
i
nt_set_cou
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdool
a
ege
Add
back
u
p mp_
g
et_memory_
f
unct
i
ons
implementat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ver
d
oolaeg
e
update isl for compatibility with
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Ve
r
doola
e
ge
update isl f
o
r improved pipl
i
b ef
f
iciency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
Lo
o
k
for more oppor
t
unities fo
r
blocking statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
olaege
cloog_progra
m
_read: delay const
r
uction of blocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop
_
sepa
r
a
t
e
: combine
loops w
i
t
h
i
dentica
l
dom
a
ins
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verd
o
olaege
clo
o
g_l
o
op_separate: mi
n
or clean
-
ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdo
o
l
a
ege
cloog_loop_separate:
e
xplo
i
t di
s
jointness
of
l
o
op domain
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verd
o
ol
a
e
g
e
clas
t
.
c:
s
ort
equati
o
ns in guard clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
V
erdo
o
laege
Op
t
ionally
r
e
fra
i
n
f
r
om prin
t
ing any informational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolae
g
e
clast
.
c
: don't in
s
ert a
n
y "
s
calars" for
le
v
el 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
v
e
n V
e
r
doolaege
so
u
r
c
e/i
s
l: fix typos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
V
e
rdo
o
l
a
ege
E
xpli
c
it
l
y specify -rpath fo
r
libtoo
l
libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
i
ncl
u
de/cloo
g
/do
m
a
i
n
.
h: avoid use of C++ keywor
d
"
template"
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erdoolaege
add isl backend
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
V
e
r
d
oolaege
options
.
c:
r
emove -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erdoolaege
Ha
n
dle 0D
p
roblem
s
b
y
ad
d
ing a 0th level
t
o
th
e
ma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
e
rdoolaeg
e
cloog_loop_mer
g
e: ensure loop dom
a
ins a
r
e convex
,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert_guard: make sure coeffic
i
en
t
in left hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaeg
e
inse
r
t_guard: avoid
out-of
-
b
o
u
nds
a
c
c
ess
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
I
n
troduce
C
loogConstr
a
int abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdool
a
ege
Re
n
ame CloogCons
t
raints to CloogC
o
nstraintSet
commit
|
commitdiff
|
tree
2008-10-02
S
v
en V
e
rdoo
l
aege
fi
x
typo
s
in insert_loop comments
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaeg
e
cloog_domain_print_
s
tr
u
c
t
u
r
e: print all
polyh
e
dra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
L
et cloog_d
o
main
_
lowe
r
bound_update r
e
turn
the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ver
d
ool
a
e
ge
Combine cloog_
s
cattering_lazy_issca
l
ar a
n
d
cloog_sc
a
t
te
r
ing_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
inclu
d
e/cloog/domain
.
h:
remove decl
a
ra
t
ions
o
f (u
n
used
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdool
a
ege
te
s
t/test_run: onl
y
check sim
p
lifie
d
hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaeg
e
t
e
st/te
s
t_run:
also chec
k
correctn
e
ss of simplifie
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog_domain_simpli
f
y: avoid out-of-bounds array access
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
la
e
ge
Treat parameter domains di
f
ferently
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
Verdoolaege
Change semantics of cloog_domain_cut_first
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Ver
d
oolaege
cloog_
d
omain_
i
se
m
pty: acc
e
pt NULL
a
rgumen
t
commit
|
commitdiff
|
tree
next