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
move all stride information into separate CloogStride structure
2009-09-24
Sven
V
erdoolaege
source/clast
.
c: inser
t
_loop: drop redun
d
ant ar
g
ument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
c
l
o
o
g_loop_stride: properly
h
a
n
dle domains with fixed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ve
r
doola
e
ge
update isl
for
f
ix in i
s
l_basic_set_dim
_
residue_class
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
PolyLib backe
n
d
:
cloog_domain
_
stride: handle singleton
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolae
g
e
test/M
a
kefile
.
am: ad
d
al
l
known go
o
d versions for test
_
run
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
updat
e
isl f
o
r gb
r
based sampling
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n
Verdoolaege
update isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
Sven
Verdo
o
laege
is
l
bac
k
en
d
:
fix return
o
f cloog_domain
_
c
onv
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
V
erdoola
e
ge
Makefile
.
a
m
:
explicitly set DIST_
S
UBDIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Ve
r
doo
l
a
e
ge
upda
t
e installatio
n
instr
u
ct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
l
aeg
e
configure
.
in: bui
l
d
isl
back
e
nd by defaul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rd
o
olaege
configur
e
.
in: a
l
l
ow not b
u
i
ld
i
n
g
polylib
backend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verdoolae
g
e
do
c
:
d
ocument c
l
asts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verdoolaege
c
l
a
st: include
copies of Clo
o
gStatements inst
e
a
d
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sve
n
Ve
r
d
oolae
g
e
cloog_statement_copy
:
add missing c
o
py of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdo
o
laege
doc: fix some spe
l
l
i
ng mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
rename p
p
r
in
t
t
o
clas
t
_
pprint to avoi
d
namespace pollutio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Verd
o
o
l
aege
make CloogDomain a
n
d
Cl
o
og
S
cattering compl
e
tely opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sv
e
n Verdoolaege
cl
o
og_name
s
_all
o
c: fix
typo i
n
c
omment
commit
|
commitdiff
|
tree
2009-06-01
Sven V
e
rdoolaege
clast:
extract
enum
c
l
ast_expr_type from out of clast_
e
x
pr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
S
ven Verdoolaege
up
d
ate R
E
ADME
for new patc
h
s
u
bmitting procedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
av
o
id recomputation of "one"
(
and -1
)
by storing
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
clast: make global
s
tru
c
t cla
s
t_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
mo
v
e a
l
l gl
o
bal variables to CloogS
t
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
move isl
_
ctx
fr
o
m C
l
oogOpti
o
ns to C
l
oogS
t
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oolaege
cloog_options
_
r
e
ad
:
fix misn
a
med argc
and arg
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cloo
g
_d
o
main_dimension: return
a
ctual dim
e
nsion (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoolaege
P
olyLib b
a
ckend: store n
u
mber
of paramete
r
s in CloogDomain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdo
o
laege
cloog_na
m
e
s_al
l
oc: initialize structur
e
with
default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Bastoul
Chang
e
licen
s
e
fr
o
m GPL 2
.
0 to LGPL 2
.
1+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
S
ven Verdo
o
l
ae
g
e
update
d
ocs to
i
n
t
r
oduction
of
C
loogScattering and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven
Ver
d
ool
a
eg
e
PolyLib b
a
c
k
end: disable cloog
_
s
c
atte
r
ing_l
a
z
y
_
block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verd
o
olaege
clast:
d
rop loops with f
r
actional lower and
u
p
per
b
ounds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
configure
.
in: set AC_
C
ONFIG_M
A
CRO_DIR
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
inse
r
t_m
o
dulo_guard: move reduct
i
on of guard
s
to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n
V
erd
o
o
l
aege
source
/
clast
.
c: inser
t
_modulo_guar
d
: only compute
bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
er
d
oolaeg
e
cloog_constraint_equal_type: treat
a
ll m
o
dulo
g
uard
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ve
r
doolaege
c
l
oog_loop
_
simplify: itera
t
e over s
i
blin
g
s instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdo
o
laege
Remove li
n
es
referri
n
g
t
o "number of polyhedra
"
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
update isl
f
or
new ver
s
ion of
i
s
l
_bas
i
c_ma
p
_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolae
g
e
isl backend: cloog_dom
a
in_sim
p
lify_u
n
ion:
u
se i
s
l_s
e
t_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
Extract out
ba
c
kend spe
c
ific cloo
g
_domain_simplify_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
a
e
ge
is
l
backe
n
d: use is
l
_set_
b
ounded_si
m
ple_hull
for computing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aeg
e
clast
.
c: i
n
sert
e
x
tra modulo gua
r
ds involving
l
oop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
doolae
g
e
isl backend:
div_expr: f
r
e
e
div after use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
up
d
a
t
e isl
for cha
n
ge
i
n
i
n
t
ern
a
l
r
epresentation affec
t
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdo
o
laege
update isl
f
or normalization
d
uring c
o
nvex hull co
m
p
utation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdo
o
laege
c
last
.
c: cla
s
t
_
reducti
o
n_cmp:
t
reat
a
l
l un
a
ry "reduction
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven
V
er
d
ool
a
ege
p
re
t
ty printer: d
r
op
"
" in front
o
f
"
;
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoolaeg
e
remove cp
p
option (defaultin
g
to
t
rue)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n
Verdoola
e
ge
turn on "equali
t
y spreading" (esp) by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
ege
r
em
o
ve csp option (defaulting to tru
e
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaege
prin
t
ex
e
cution time again if sys/resource
.
h i
s
av
a
ilable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
d
o
olae
g
e
isl
b
ackend
:
support exis
t
entiall
y
q
uantified variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
ege
isl backend:
drop exist
e
ntials when computing
f
all
b
ack
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
update isl
f
or
p
l
ug for isl
_
map_simple_hull mem
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erd
o
olaege
update isl f
o
r changed callin
g
conventio
n
s of i
s
l_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
upda
t
e isl for change
i
n calling c
o
n
vention
o
f som
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
updat
e
isl
f
or refcou
n
ted
i
sl_constra
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
update
i
sl
f
or introdu
c
ti
o
n o
f
i
s
l_d
i
m structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
clast
.
c: insert_g
u
ar
d
: inse
r
t modu
l
o gua
r
ds based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: extrac
t
out
cloog_c
o
nst
r
aint_set_
n
_it
e
r
ators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoo
l
aege
clast
.
c: extra
c
t ou
t
comm
o
n cloog_constra
i
nt_
v
ariable
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Ver
d
oolaege
clast: a
l
l
o
w clast_term
t
o repre
s
ent mult
i
pl
e
of an
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdool
a
ege
c
l
ast
.
c: extract ou
t
co
m
mon cloog_names_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
minor
c
hanges to CloogCons
t
raint
a
b
s
t
ract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
F
i
x
u
p
o
ptional
i
nclusion o
f
b
ack
u
p
m
p_get_memory_functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sve
n
Ve
r
doolaege
cl
o
o
g
/constraints
.
h:
don't put #include's inside ex
t
ern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven
V
e
r
dool
a
ege
dr
o
p unuse
d
c
l
oog_constraint
_
set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
S
ven Verdoolaege
Add
b
ackup mp_get_memory_f
u
n
c
tions im
p
l
e
m
entat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
v
en Verdoo
l
aege
update
i
s
l for c
o
mpatib
i
lity
w
ith ol
d
gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Ver
d
oolaeg
e
u
pdate isl for im
p
roved piplib e
f
f
iciency
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
Look for more opportunities for
b
locking statement
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
ven Verd
o
o
l
a
e
ge
cl
o
og_
p
rogr
a
m_read: delay construction of
block
l
ist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
V
e
rdoolaege
cl
o
og_loop_separa
t
e: combine l
o
ops with ident
i
cal do
m
ains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoola
e
ge
cl
o
og_l
o
op_
s
e
p
a
rate: min
o
r cle
a
n-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
olaege
cl
o
og_loop_sep
a
rate: exploit dis
j
ointness of loop
d
omains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cl
a
st
.
c: sort
e
quat
i
ons in
guard c
l
asts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
O
ptionally refrain
f
rom
printing any in
f
o
r
mational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ve
r
doolaeg
e
clast
.
c: don't insert any "sc
a
lars"
for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
source/isl: f
i
x typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
o
olaege
Ex
p
li
c
itly
s
peci
f
y
-rpath fo
r
libto
o
l librar
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
include/cloog/domain
.
h: avoid use o
f
C++ keyw
o
rd "templa
t
e"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add isl
b
a
c
kend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verd
o
olaege
op
t
ions
.
c: remove -rays o
p
tion
commit
|
commitdiff
|
tree
2008-10-03
Sven Ve
r
d
o
ola
e
ge
Handle
0
D p
r
o
blems by add
i
ng a 0th level to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
e
r
d
oolaege
clo
o
g_loop_
m
erge: ensure loop domains ar
e
convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdo
o
laege
insert_guard: make sure c
o
efficient in
left hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdoolaeg
e
in
s
ert_g
u
ard
:
a
void
o
ut-of-bounds
a
cc
e
ss
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
d
oolaege
Introd
u
ce CloogConstraint
abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
o
olaege
R
e
name CloogConstraints to
CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdoolaege
fix typos in ins
e
r
t_loop co
m
m
e
nt
s
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
la
e
ge
cloog_doma
i
n_print_struc
t
ure: pr
i
nt all
p
oly
h
e
d
r
a in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoo
l
aege
Let
c
l
oo
g
_doma
i
n_lowerbound_update return t
h
e upda
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
l
a
ege
Com
b
i
n
e
c
loog_scatterin
g
_l
a
zy_isscalar an
d
cloog_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verdoolaege
inc
l
ude/cloog/dom
a
i
n
.
h
:
remove
d
eclarations of (
u
nused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
laege
t
e
s
t
/test_run: only check
simplified
hull
g
ene
r
ation
s
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
test/tes
t
_run: als
o
che
c
k correctness of
simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
do
o
l
a
ege
cloog_domain_simpl
i
fy
:
avoi
d
o
u
t-of-bounds
ar
r
ay
access
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
Treat paramete
r
domains differently
commit
|
commitdiff
|
tree
next