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
cloog_loop_block: fix typo that could result in incorrect blocking
2009-06-12
Sven Verdoolaeg
e
Mak
e
file
.
am: expli
c
itly set DIST_
S
UBDIR
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Ver
d
oolaege
upda
t
e ins
t
allation instruction
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoolaege
configure
.
i
n
: bu
i
ld i
s
l back
e
nd by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdool
a
ege
configure
.
in: allo
w
not building po
l
y
l
ib back
e
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
doc: docume
n
t
cla
s
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolae
g
e
clast:
include c
o
pies
o
f
Clo
o
gSta
t
em
e
nts
inste
a
d
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdool
a
eg
e
cloog_statement_copy: add
m
i
ssing co
p
y of st
a
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verd
o
olaege
doc: fix so
m
e sp
e
llin
g
m
i
sta
k
es
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdool
a
ege
re
n
a
m
e
p
p
rint to clast_pprin
t
t
o
avo
i
d namespac
e
pollution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
S
v
e
n Verdoola
e
g
e
make C
l
o
o
gDomain
a
n
d
Cloog
S
cattering completely o
p
aque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoolaege
cl
o
og_names
_
a
l
l
o
c
: fix
typo
in comment
commit
|
commitdiff
|
tree
2009-06-01
Sven Ve
r
doolaege
clast
:
extract e
n
um clast
_
exp
r
_type from ou
t
of clast_
e
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sve
n
Verdoolaeg
e
u
pda
t
e
R
EADME for ne
w
patc
h
s
u
bmitting pr
o
cedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoolaege
a
v
o
id
rec
o
m
p
utation of "
o
ne" (and -1) by s
t
oring a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en
V
er
d
oolaege
c
l
a
st: make global stru
c
t cl
a
st_s
t
mt_
o
p
s con
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
move all
g
lobal variables to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoolaege
move isl
_
ctx from C
l
oogOptions
t
o Cloog
S
tate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doolaege
cloog_o
p
tio
n
s_read: fix mis
n
amed a
r
gc a
n
d argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
d
oolaege
c
l
oog_domain_dimension: ret
u
rn actual dim
e
nsion (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoola
e
ge
PolyLib backend: store number of para
m
e
ters in CloogDoma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doo
l
aege
c
l
oog_name
s
_a
l
loc: initialize structur
e
with default
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdoolaege
up
d
ate docs to introduction
o
f C
l
oogScat
t
e
r
i
n
g and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
V
e
rdoola
e
ge
P
oly
L
ib backend:
dis
a
ble cloog_
s
cattering_lazy_bloc
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
clast:
d
r
op loops with fractio
n
al lower an
d
up
p
e
r
b
o
u
nds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
config
u
r
e
.
in:
s
e
t AC_CONFIG_MACRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
ins
e
rt_modulo_gu
a
r
d
: move redu
c
tion of guards to
th
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
olaege
source/cl
a
s
t
.
c: insert_
m
odu
l
o_guard: only compute bo
u
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Ver
d
oolae
g
e
c
l
oo
g
_constra
i
nt_equal_ty
p
e: tre
a
t all
modulo
g
uar
d
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ver
d
o
o
l
aeg
e
cl
o
og_l
o
op_simplify: iterate over siblings instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en Verdoolaege
Rem
o
v
e
lines
r
e
ferrin
g
t
o "number of polyhed
r
a
" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
update isl for
new version of isl_basic_map_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
laege
isl backend: cloog_domain_si
m
plify_u
n
ion: use isl_set_coal
e
sce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
Extract out backen
d
s
p
ecific
c
loog_domain_simplify_uni
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
sl back
e
nd
:
use isl_set_bound
e
d_s
i
mple_hull for comput
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
clast
.
c: i
n
s
ert
extra modulo
g
uard
s
involvin
g
lo
o
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl backe
n
d: di
v
_expr: free div af
t
er use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaeg
e
update isl for change in inte
r
nal
r
epresentation affec
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdoo
l
a
e
ge
updat
e
isl for
n
ormalization durin
g
convex hull computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Verdoolaege
clast
.
c: clast_reduc
t
ion_cmp: t
r
e
a
t all unary "reductions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
pretty printer: drop "
" in fro
n
t of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdool
a
ege
re
m
ove cpp option (
d
efaulting
to tr
u
e)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoola
e
ge
t
urn on "equ
a
lity sprea
d
ing" (esp
)
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n V
e
rdoolaege
re
m
ove csp
o
ption (defaulting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolae
g
e
pri
n
t
e
xe
c
ution tim
e
a
g
ai
n
if s
y
s/
r
esour
c
e
.
h is avail
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
S
v
en
V
erdoolaege
only print execution time if sys/re
s
ource
.
h
i
s
ava
i
lab
l
e
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaeg
e
isl
b
ackend: support existentially
q
uantified vari
a
b
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdool
a
ege
isl backend: drop exis
t
enti
a
l
s
whe
n
comput
i
ng fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl
f
or plu
g
for isl_map_simple_hu
l
l memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdo
o
laege
up
d
ate is
l
for cha
n
ged calling conven
t
ions of
isl_basic_se
t
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
updat
e
isl for
change in
cal
l
ing convention
of
s
ome
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
upd
a
te is
l
for refcoun
t
ed isl_c
o
n
straint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
pdate
i
sl f
o
r introd
u
c
t
ion of isl_dim structu
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaeg
e
clast
.
c: i
n
s
e
rt_guard: i
n
sert
m
o
dul
o
guards based on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ve
r
doolae
g
e
c
l
ast
.
c: e
x
tract ou
t
cl
o
og_constraint
_
s
e
t
_
n_iter
a
t
ors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
V
e
rdo
o
laege
clast
.
c: e
x
tract out commo
n
cl
o
og_constra
i
nt_variable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
clast: all
o
w clast_term to represent m
u
ltiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: ext
r
a
c
t
out common cloog_names_name_at
_
l
evel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
min
o
r changes to Cloo
g
Constraint abs
t
racti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
Fi
x
up o
p
tional inclusi
o
n
o
f
ba
c
kup
m
p_get_
m
emory_fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sve
n
Ve
r
doolae
g
e
cloog/c
o
nst
r
aints
.
h: don't put
#in
c
lu
d
e'
s
ins
i
de exter
n
"C"
commit
|
commitdiff
|
tree
2008-12-23
Sv
e
n
V
erdoolaeg
e
drop
u
n
used c
l
oo
g
_const
r
aint_s
e
t_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sve
n
Verdoo
l
aege
A
d
d ba
c
kup mp_get_
m
emory_functions im
p
lementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
update
i
sl for compatibility with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update is
l
for imp
r
ov
e
d piplib e
f
ficiency
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoola
e
ge
L
ook for more opportunities f
o
r blocking
stat
e
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdool
a
ege
cl
o
og_prog
r
am_read: delay construction of
b
locklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
cloog_l
o
op_s
e
p
a
rat
e
: combine loops with identical do
m
ains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
c
l
oog_loop_separate: minor clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_
l
oop_separa
t
e: exp
l
oi
t
disjointness
o
f
loo
p
do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
ven Verdoolaege
clast
.
c: s
o
rt eq
u
at
i
ons i
n
guard c
l
asts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Optionally refrain from p
r
inting any in
f
ormation
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verd
o
o
l
aege
cl
a
st
.
c: don't insert any "sca
l
a
rs
"
for
l
eve
l
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Ve
r
doolae
g
e
source/
i
s
l
:
fix typos in comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
Explicitly spec
i
fy -rp
a
th for l
i
bto
o
l
libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
i
n
clude/cloog/doma
i
n
.
h: avo
i
d use
o
f C++ keyword "tem
p
late"
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoolaege
add isl b
a
ckend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verd
o
olaege
option
s
.
c: re
m
o
ve -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
Handle 0D prob
l
ems
b
y adding a 0th le
v
el t
o
the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sve
n
V
er
d
ool
a
e
ge
cloog_
l
oop_merge: ensure loop domains are
conv
e
x, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verd
o
o
l
aege
insert
_
guard: make
s
u
r
e coef
f
ici
e
nt in left
h
and si
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdoolaege
insert
_
guard
:
avoid
o
ut
-
of-boun
d
s access
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
r
d
oolaeg
e
Intro
d
uce
Cl
o
ogConstra
i
nt abst
r
a
c
t
i
o
n
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
doolaege
Rena
m
e CloogConstraints to CloogCon
s
tra
i
ntSet
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
rdoolaege
f
i
x typos in insert_loo
p
comments
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
c
l
o
o
g
_domain_pr
i
nt_
s
tru
c
t
u
re: prin
t
all po
l
yh
e
d
r
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
e
r
doo
l
a
ege
Let cloog_dom
a
in_lowerbou
n
d_update return the up
d
ate
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdool
a
ege
Co
m
b
ine cloog_scatt
e
ring_
l
azy_is
s
calar and cloog_sca
t
t
ering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoola
e
ge
includ
e
/cloog/domain
.
h
: remove decla
r
ations of (unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Verdool
a
e
g
e
test/test_run
:
only check simplified
hull generat
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoo
l
aege
test
/
test_run: als
o
check correctness o
f
simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog_dom
a
in_si
m
plify: av
o
id out
-
of-bounds
array access
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
T
reat
p
arameter domains different
l
y
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
Ver
d
oolaege
Chan
g
e
s
e
man
t
ics o
f
c
l
oog
_
domai
n
_
cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
clo
o
g_do
m
ain_isem
p
ty: accept NULL argum
e
n
t
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
cloog_
d
o
m
ain_empt
y
: make
empty
d
o
m
ain usin
g
template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
I
n
f
orm f
u
nction reading in
s
c
a
ttering function of
d
omain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n V
e
rd
o
o
l
a
ege
pass
the number of
p
a
r
a
mete
r
s to functions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
i
n
tro
d
uce Cloog
S
catt
e
ring abst
r
acti
o
n
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Ver
d
oolaege
make textual tests ba
c
k
e
nd dependent
commit
|
commitdiff
|
tree
2008-09-23
S
ven
Verdoola
e
ge
s
ort elements
o
f min
and max reduc
t
ion clasts
commit
|
commitdiff
|
tree
next