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
clast: include copies of CloogStatements instead of pointers into CloogProgram
2009-06-09
Sven Verdool
a
ege
clast: includ
e
copies of CloogS
t
atements instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven
V
erdoo
l
aeg
e
cloog_statement
_
copy: add miss
i
ng copy
of state
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verdoolaege
do
c
: fix some spelling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
rename ppri
n
t to
clast_pprint
t
o
avoid
na
m
e
spa
c
e pol
l
ution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
S
v
en Ve
r
doolaege
mak
e
Clo
o
gDomain
a
nd CloogScattering comple
t
ely op
a
que
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verd
o
ola
e
ge
clo
o
g_names_alloc:
fix ty
p
o
in commen
t
commit
|
commitdiff
|
tree
2009-06-01
Sven Ver
d
oo
l
aeg
e
clast: e
x
tract enum c
l
ast_expr_type f
r
om out of
c
la
s
t_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
S
ve
n
V
e
r
d
oolaege
update README for new patch submitting
p
ro
c
edure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
avoid
r
ecomputation of "one" (a
n
d -1) by
s
toring a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdool
a
ege
clast: make
g
lobal stru
c
t clast_stmt_ops co
n
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoola
e
g
e
mo
v
e al
l
global vari
a
bles to CloogStat
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdo
o
laege
m
o
v
e
isl_c
t
x
f
rom Clo
o
gOptions to CloogS
t
ate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Ve
r
dool
a
ege
cloog_
o
ptions_read: fi
x
misnamed argc and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdo
o
laege
cloog_domain_dimension
:
return actual
d
imen
s
ion (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
PolyLib backend: store nu
m
be
r
of paramete
r
s in CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
d
oolaege
cloog_n
a
mes_allo
c
:
i
n
itialize
s
tructure with
d
ef
a
ult
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Bastoul
Change license
f
rom GPL 2
.
0 to LGPL 2
.
1
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sv
e
n Verdool
a
ege
updat
e
docs t
o
introduc
t
i
o
n o
f
CloogScattering and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdool
a
ege
Pol
y
L
ib
b
ackend:
d
isa
b
le cloog_sca
t
tering_lazy_block
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
clast: drop loops with
f
r
a
c
t
ional lower and
upper bou
n
ds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
do
o
l
aege
con
f
igure
.
i
n
: set A
C
_CONFI
G
_MACRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
insert_modulo_guard
:
move red
u
cti
o
n of guards to the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
V
erdo
o
la
e
ge
sou
r
ce
/
clast
.
c
:
inse
r
t_modulo_gu
a
rd: onl
y
compute
bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_constraint_equal_type
:
t
r
eat all modu
l
o guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoo
l
aege
cl
o
og_lo
o
p_simplify:
iterate over si
b
l
i
ngs instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Verd
o
ola
e
ge
Remove lines referrin
g
to "number
of polyhedra"
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
update isl
f
or new v
e
rsion of i
s
l_basic_ma
p
_
g
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
laege
isl backend: cl
o
og_domain_simplify_union: use
i
s
l
_set_coa
l
esc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
Extrac
t
out backend specific cloog_doma
i
n_simplify_un
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl backend: use is
l
_set_bounded_simple_
h
ull f
o
r c
o
mputing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
cl
a
st
.
c: insert extra modulo guards i
n
volving loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
er
d
oolaege
isl
b
ackend: div_
e
x
p
r
:
free div af
t
er use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaege
updat
e
isl for change in internal represe
n
tation affecting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdool
a
e
ge
u
p
d
ate isl for normalization during convex hu
l
l computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aege
clast
.
c: clast_reduction_cm
p
: tre
a
t all un
a
ry "
r
eductions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
Verdoolaege
pretty printer: drop " " i
n
front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
e
g
e
rem
o
ve cp
p
option (defaulti
n
g to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn on "eq
u
ality
spread
i
n
g"
(
e
sp
)
b
y
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolaege
r
e
move csp
opti
o
n
(de
f
aulting t
o
true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaege
print execution time
a
g
ain i
f
sys/re
s
ource
.
h
i
s avail
a
b
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven
Verdoolaege
only print execution time if sys/r
e
sou
r
ce
.
h is availab
l
e
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolae
g
e
is
l
backend: support existentiall
y
quantified variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl
b
acken
d
:
d
rop ex
i
stentials
whe
n
c
o
mputing fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
update
i
s
l for plug
f
or is
l
_map
_
simple_hull memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaeg
e
u
p
date isl fo
r
chang
e
d calling convention
s
of isl_basic
_
s
e
t_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Ve
r
d
o
olaege
update isl for chang
e
in calling convention of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
ege
update is
l
for
re
f
counted isl
_
constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
update isl for introduction o
f
isl_d
i
m structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: ins
e
r
t
_
guard: insert modulo gua
r
ds based on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
c
l
ast
.
c
: extract out cloog_constraint_se
t
_
n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
clast
.
c:
e
xtract out
c
ommon cloog_
c
o
n
s
traint_vari
a
b
l
e_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rd
o
o
l
aege
c
l
as
t
: al
l
o
w
c
las
t
_term to
r
epres
e
nt mul
t
i
p
le
o
f any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verd
o
olaege
cla
s
t
.
c:
e
x
trac
t
out common cloo
g
_
names_nam
e
_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdool
a
ege
minor changes to CloogConstr
a
int
a
bstract
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
Fix up optional incl
u
sion o
f
backup mp_get_memory_fu
n
ct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdool
a
ege
cloog/cons
t
rai
n
ts
.
h: do
n
't put #include's insid
e
extern "C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven
Verdoolae
g
e
dro
p
unus
e
d cloo
g
_
c
ons
t
rain
t
_se
t
_
coun
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdo
o
laeg
e
Ad
d
backup mp_get_memo
r
y_functi
o
ns implementatio
n
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sve
n
Ve
r
doolaege
update isl for compa
t
ibility w
i
t
h
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolae
g
e
update isl for impro
v
e
d piplib ef
f
ic
i
ency
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoola
e
ge
Look for more op
p
ort
u
nities for blocking
statement
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_progra
m
_read: delay
construction of blocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loo
p
_sep
a
rate: combi
n
e lo
o
ps with id
e
nti
c
al domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Ver
d
oolaeg
e
cloog_loop_separate: minor clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdoo
l
aege
cloog_loop_separate
:
exploit disjointness of loop domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
clast
.
c
: s
o
rt equation
s
i
n
guard
clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdo
o
laege
Optional
l
y refrain from printing any informa
t
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n
Verdool
a
ege
clast
.
c: don't inse
r
t any
"scalars" for level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
e
r
d
o
olaege
sou
r
ce/isl: fix typos
i
n commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
Explicitly
s
pecify -rpath f
o
r libt
o
o
l
l
ibrari
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdo
o
laege
include/cloog/domain
.
h: avoi
d
u
s
e
o
f
C
++
keyword
"
t
e
m
pl
a
te"
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
doolaege
add isl b
a
ckend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
op
t
ions
.
c: remove
-rays opti
o
n
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
Han
d
l
e 0D p
r
obl
e
ms by adding a 0th level
t
o the ma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sve
n
V
e
rdo
o
laege
cloog_loo
p
_merge: ensure loop domain
s
are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoo
l
aege
inser
t
_
gu
a
rd: m
a
ke sure
c
oefficient
i
n left hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoola
e
ge
insert_gu
a
rd: avoi
d
o
u
t-of-bo
u
nds acc
e
ss
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoolaege
I
ntroduce CloogC
o
nstraint abstractio
n
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolae
g
e
R
ename CloogConstraints
t
o
C
loogConstrain
t
Set
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoolaege
f
ix
t
ypos in insert
_
loop comments
commit
|
commitdiff
|
tree
2008-09-28
S
ven
Verdoolaege
cloog_dom
a
in_pri
n
t_st
r
ucture: print all po
l
yhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaege
Let cloo
g
_domain_lowerb
o
u
n
d_
u
pd
a
t
e
retu
r
n the
u
pdated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
laege
Combine cloog_sc
a
ttering
_
lazy_i
s
scalar and clo
o
g
_scatt
e
ring
_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdo
o
lae
g
e
include/cloog/
d
o
m
ain
.
h
:
r
e
mov
e
declarations of (unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n
Verdoo
l
ae
g
e
test/test_run: only check simplifi
e
d hull
g
en
e
rations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdo
o
laege
t
e
st/t
e
st_run: a
l
so check correctness of simp
l
ifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
cloog_domain_s
i
mplify: avoid out-o
f
-bound
s
array access
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Ver
d
o
o
laege
Treat parameter domains differentl
y
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
Change
sem
a
nt
i
cs of
clo
o
g_do
m
ain_cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
cloog_domai
n
_isempty
:
accept NULL argume
n
t
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
V
erdoo
l
aege
c
l
o
o
g_d
o
main
_
emp
t
y: ma
k
e empty
d
omai
n
u
s
ing t
e
mplate
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
I
n
form fu
n
c
t
ion read
i
ng in sc
a
ttering
function
o
f
d
omain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
Verdoolaeg
e
pass the number
of paramet
e
rs to
functions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven
Verdoolaege
introduce Cl
o
ogSc
a
ttering abs
t
rac
t
ion
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
make textua
l
tests backend depen
d
ent
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
sort
e
lements of min and
max reduction clasts
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
allow out-of-src test
fil
e
generation
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoo
l
aege
Rem
o
ve lines
r
ef
e
r
r
in
g
to "
n
umber of po
l
yhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
d
o
olaege
Pass C
l
oogOptions to functio
n
reading (lists of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaeg
e
all
o
w backends to
have th
e
ir
own options
commit
|
commitdiff
|
tree
next