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
doc: document clasts
2009-06-09
Sven Ver
d
ool
a
ege
doc: docum
e
nt clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Ver
d
oolaege
clast: inc
l
ude
copies
of CloogState
m
ents i
n
stead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaeg
e
cloog_statement_copy: add missing copy of
s
tate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sve
n
Verdoolaege
d
o
c
: fix s
o
me spelling mi
s
takes
commit
|
commitdiff
|
tree
2009-06-05
Sven Ve
r
doolaege
re
n
ame pprint to clast_pprint t
o
avoid namespace pol
l
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ver
d
oolaege
mak
e
CloogDomain and
C
l
oogScatterin
g
co
m
pletely opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoolaege
cloog_names_alloc: fix typo
i
n co
m
m
e
nt
commit
|
commitdiff
|
tree
2009-06-01
Sven
V
erdoolaege
c
l
ast: extract
enu
m
clast_expr_type from out of cl
a
s
t
_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sve
n
V
erdoolaege
update READ
M
E
fo
r
new patch subm
i
tting procedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n
Verdoolaege
avoi
d
reco
m
putat
i
on of "one" (a
n
d -1)
by stor
i
ng a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdoolaeg
e
clast: make global stru
c
t c
l
ast_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verd
o
o
l
a
e
ge
mo
v
e all
g
l
o
bal varia
b
les to CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oolaege
move isl_ct
x
from CloogOptions to
C
loogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
e
rdoolaege
cloog
_
options_
r
ead: fix
m
isnamed arg
c
and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoolaege
cloog
_
domain_dimension: return
actual dim
e
n
s
i
on
(
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
ge
PolyLi
b
backend:
store
n
u
mber of parame
t
ers in CloogDomain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
c
l
oo
g
_
names_alloc: initialize
structure with default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven
V
erdoolaege
updat
e
docs
to
i
ntroducti
o
n
of Cloo
g
Sc
a
t
t
erin
g
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
Po
l
y
L
ib ba
c
k
e
nd:
disable cloog_scattering
_
lazy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
in
s
ert_modulo_guard
:
move re
d
u
c
tion of
guards to th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
o
l
aege
source/cla
s
t
.
c: insert
_
modulo_
g
uard: only compute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_
c
o
nstraint_
e
q
ual_type:
tr
e
a
t
all modulo guards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n
V
erd
o
o
l
aege
cloog_loop_
s
implify: iterate over
siblings inste
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Verdoolaege
Remove lines referring
t
o "
n
umber of polyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
u
pdate i
s
l for new
version of isl
_
b
a
sic_map
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
backend: cl
o
og_
d
omain_simplify_union
:
u
s
e isl_set_coa
l
esce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
Ext
r
ac
t
o
u
t backend speci
f
ic
c
loo
g
_
doma
i
n_simplify_
u
nion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaege
isl backend:
use isl_set_bounded_simple_hull for computi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
clast
.
c
:
insert
extra modulo guards invo
l
ving
l
oo
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl bac
k
e
nd: div_expr:
f
ree div af
t
er use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erd
o
olaege
update isl f
o
r c
h
a
nge
i
n internal repres
e
ntation affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaege
update isl for normaliza
t
ion duri
n
g con
v
ex hull computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c: clast_reduction_cmp: tr
e
at all unary "reductions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rd
o
olaege
pretty printer:
drop "
" in f
r
ont of ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove cpp op
t
ion (def
a
u
lting to true
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdo
o
laege
tur
n
on "equali
t
y spread
i
ng" (esp) by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdo
o
laege
remov
e
c
s
p
o
ption (defaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print
ex
e
cution time again if s
y
s/resource
.
h
i
s
availa
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl bac
k
end
:
su
p
port existentially quantif
i
e
d
v
a
r
i
abl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
isl back
e
nd:
dr
o
p e
x
istentials when
computing fallba
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
update is
l
for plug for isl_
m
ap_simple_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for changed
c
a
l
l
ing conventions
of
is
l
_
b
as
i
c_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
updat
e
isl for change
i
n calling conventio
n
of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
update i
s
l for
r
efco
u
nted isl_con
s
traint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoola
e
ge
u
p
date isl fo
r
introduction
o
f i
s
l_dim s
t
r
u
c
ture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolae
g
e
clast
.
c: i
n
sert_guard: ins
e
rt mod
u
lo gua
r
ds based
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
clast
.
c: ex
t
ract out c
l
oog
_
constraint_
s
et_n_iterators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaeg
e
clast
.
c: e
x
trac
t
out common cloo
g
_co
n
straint_v
a
riabl
e
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erdoolaege
cl
a
st: allow cl
a
st_term to
represent
m
ultip
l
e of a
n
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n
Verdo
o
laege
clast
.
c:
e
xt
r
act out common
c
loog_names_na
m
e_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n Verdoola
e
ge
minor
changes to Cl
o
ogConstraint ab
s
traction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoola
e
ge
Fix up opt
i
onal inclusio
n
of backu
p
mp_
g
e
t
_memory_functi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Ve
r
doo
l
aege
cl
o
og/constra
i
nts
.
h
: don't
p
ut #include's in
s
ide
e
xtern "C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdool
a
ege
dr
o
p unused cloog_con
s
t
r
ai
n
t_set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven V
e
rdo
o
la
e
ge
Add backup mp
_
get_memory_functions imple
m
entati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdo
o
laege
update is
l
for
c
ompa
t
ibility
w
ith old
g
m
ps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update isl for improved piplib effic
i
ency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laeg
e
Lo
o
k for more opportu
n
ities
for blocking
s
tatem
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
ool
a
ege
cl
o
og
_
program_read: delay
constru
c
tion of blo
c
klist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
o
o
laege
cloog_l
o
op_separate: comb
i
ne loops
wi
t
h ide
n
tical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaeg
e
cloog
_
l
o
op_separate: minor clean-up
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
c
lo
o
g_loop_separat
e
: expl
o
i
t
d
isjointness
of
loop
d
o
mains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
d
oolae
g
e
clast
.
c
:
so
r
t equation
s
i
n
gua
r
d cl
a
st
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
olaege
Opt
i
onally refrain
f
r
o
m printing any in
f
ormat
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
Ve
r
doolaege
cl
a
st
.
c
:
don't insert
any "
s
c
al
a
rs" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verdoolaege
source/isl: fix typ
o
s in c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
Verdoolaege
Expli
c
itly specify -rp
a
th for libtool libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoolaege
include/cloo
g
/d
o
m
a
in
.
h:
a
void use
of C+
+
k
e
yword "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add is
l
backen
d
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdoolaege
options
.
c: re
m
ove -rays option
commit
|
commitdiff
|
tree
2008-10-03
S
ven Ver
d
oolaege
H
and
l
e 0D
p
roblems
b
y adding a 0th level to the mai
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sve
n
V
erd
o
olaege
cl
o
og_lo
o
p_merge: ensure loop domains are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdo
o
laege
insert_guard
:
make sure co
e
fficient in left
h
and si
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
doolaege
insert_guard: avoid out-of
-
boun
d
s access
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
In
t
roduce CloogConstraint abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoolaege
R
ename
C
loogConstraints to Clo
o
gConstr
a
intSet
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolaege
fix typos in in
s
ert_loop comments
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
cloog_
d
omain_print_structure: pr
i
n
t
a
ll polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolae
g
e
Let
c
l
o
og_doma
i
n
_
lowe
r
boun
d
_update r
e
turn the u
p
dated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaege
Combine cloog_scattering_lazy_isscalar and cloog_scatt
e
ring_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
i
nclu
d
e/cloog/domain
.
h: remove de
c
l
a
rations of (unu
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
test/test_ru
n
: only
check simplified hull gen
e
ra
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
test/test_run: also
c
h
e
c
k
corre
c
tne
s
s
of simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cl
o
og_domain_simpl
i
fy: avo
i
d o
u
t
-of-bounds array
a
ccess
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoo
l
aege
Tre
a
t parame
t
e
r
d
omains differently
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
Ch
a
ng
e
semantics of cl
o
o
g
_doma
i
n_cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
cloog_domain
_
isempty:
ac
c
ept NULL
a
rgument
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
cloog_domain_empty: make empty domain
usi
n
g te
m
plate
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
Inf
o
r
m
f
unction r
e
ading in scatter
i
ng functi
o
n of do
m
ain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
pass the n
u
m
b
er of parameter
s
to functions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoola
e
g
e
intr
o
duc
e
C
l
oogSca
t
tering a
b
str
a
ction
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
o
olaeg
e
make textual
t
ests backend d
e
pen
d
en
t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
sort
e
l
eme
n
t
s
of mi
n
and m
a
x reduc
t
ion
c
l
asts
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ver
d
oola
e
ge
allow out-of-src test file
g
e
n
eration
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
Remove
line
s
r
eferring t
o
"n
u
mb
e
r of polyhedr
a
" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Pass Cloog
O
p
t
ions to
fu
n
ct
i
on reading (lists of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
allow backends to have their
o
wn
o
ptions
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
V
erdo
o
laege
config
u
r
e
: h
a
ndle gmp and polylib "submod
u
l
e
s
"
i
n
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoo
l
a
e
g
e
create bac
k
en
d
(P
o
lyLib
)
s
peci
f
ic library
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
remo
v
e dependen
c
e
on P
o
lyLib from cloog core
commit
|
commitdiff
|
tree
next