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
2009-11-02
Sven V
e
rdo
o
laege
update isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaeg
e
get_submodules
.
sh: no
longer ini
t
ialize submodules
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
cloog_d
o
main
_
stride: handle union doma
i
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-05
S
ven Verdoolaege
updat
e
isl for
isl_
s
et_dim_residue_c
l
ass
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Tob
i
a
s Gros
s
er
add b
a
ckend independent func
t
i
o
ns for creating
C
loogDomains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
To
b
ias G
r
o
s
ser
Re
i
ntroduce Cl
o
ogM
a
trix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Tob
i
as G
r
osser
Rename cloog_ma
t
rix m
e
thods
t
o cloog_
p
olylib_matr
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
T
o
bias
Gr
o
sser
Rena
m
e CloogMatrix to Matri
x
in po
l
ylib bac
k
e
n
d
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
T
o
bias Grosser
Move ma
t
rix
.
* to c
o
nst
r
a
intse
t
.
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
To
b
i
a
s Gross
e
r
Fix compiler warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Sven Verdoolaege
s
ource/
c
last
.
c: ins
e
r
t_loop: drop
redunda
n
t argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoo
l
aege
cloo
g
_
loop_st
r
ide: properly ha
n
d
le domains with fixed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
update is
l
f
o
r fix in isl_basic_set_dim
_
r
e
sidue_class
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
Pol
y
Lib backend
:
cloog_domain_
s
tride
:
handle singl
e
t
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erd
o
olaege
tes
t
/Makef
i
le
.
am:
a
d
d all kno
w
n goo
d
versions for test
_
r
un
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdoola
e
ge
u
p
date
i
sl for gb
r
based s
a
m
pling
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update is
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verdoo
l
aeg
e
i
sl back
e
nd:
fi
x
return
o
f
c
loog
_
domain_co
n
vex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoolaege
M
a
kefile
.
am:
e
x
plicitl
y
set DIST_SUBDIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
v
en
V
erdoo
l
aege
u
p
date
installati
o
n
inst
r
uctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
aege
confi
g
ure
.
i
n: build is
l
backend
b
y defa
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolaege
c
o
nfigure
.
in
:
a
ll
o
w
not building
polylib bac
k
end
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Verdoolaege
doc: document clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
c
last: include cop
i
es of CloogStatements inste
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdool
a
e
g
e
cloog_
s
tatement_copy: a
d
d
missing copy of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoo
l
aege
doc: fix some spelling mi
s
ta
k
es
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
rename ppr
i
nt to
clast_pprint to avoid namespace pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Verdoolaege
make Cloo
g
Dom
a
in a
n
d
C
l
oogScattering co
m
pletely opa
q
ue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
S
v
en
Verdoo
l
a
e
g
e
cl
o
o
g
_n
a
mes_alloc: fix typo in c
o
m
m
ent
commit
|
commitdiff
|
tree
2009-06-01
Sve
n
Verdoo
l
aege
clast: extract enum clast_
e
xpr_type from
o
ut o
f
clast_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
S
v
en
Verdoolaege
update README for new
p
atch sub
m
i
t
t
ing p
r
ocedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
avoid re
c
omput
a
t
i
on of
"
o
n
e" (a
n
d -1) by storing a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
clast
:
m
ake global
s
truct
c
last_stmt_ops co
n
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
m
o
ve al
l
glo
b
al variables to CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdo
o
laeg
e
move
i
sl_ctx
from CloogOptions t
o
CloogSt
a
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdool
a
ege
cloog_optio
n
s
_r
e
ad:
f
i
x
misnamed argc and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
e
n Verdoolaege
cloog_domain_dimensi
o
n: r
e
t
ur
n
actual dimension (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
P
olyLib backe
n
d: sto
r
e
number of
parameters in CloogDomain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdoo
l
aege
cloog_names_alloc: i
n
itia
l
i
ze struc
t
ure with default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
Cédric B
a
stou
l
Ch
a
nge
l
i
cense from 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
up
d
ate docs t
o
introdu
c
tion of C
l
oogS
c
a
tteri
n
g and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
P
o
lyLib
backend: disable cl
o
og
_
scattering_l
a
z
y
_bl
o
ck
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
clast: drop loops with fract
i
onal
l
ower a
n
d
upper
b
o
unds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
S
ven V
e
rdoolaege
c
o
n
fi
g
u
re
.
i
n
:
se
t
AC_
C
ONFIG_MACRO_DIR
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
V
erdoolaeg
e
insert_mo
d
ulo_guard
:
move reduction of guards to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Verdool
a
eg
e
sourc
e
/clast
.
c
: i
n
sert_m
o
dulo
_
guar
d
:
onl
y
compute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloo
g
_
con
s
traint_equ
a
l_type: treat all modulo guards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven V
e
rdoolaege
cloog
_
loop_
s
implify: iterate
o
v
e
r
s
i
blings ins
t
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
Remove lines referri
n
g to "num
b
e
r of p
o
l
y
h
e
dra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
upda
t
e
i
sl for
new v
e
rs
i
on of isl
_
b
a
sic_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl backend: cloog_
d
o
m
ain_si
m
pl
i
fy_union: use
isl_
s
et_c
o
alesc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
Extract out backen
d
specific
cloog_domain_simplif
y
_
u
nion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl backend: use isl_set_bounded_simple_hull f
o
r co
m
p
u
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
clast
.
c
:
i
nsert extra modul
o
guard
s
i
n
volving
l
o
o
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl
b
ac
k
end:
d
iv_expr:
free div after
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
u
p
d
ate isl fo
r
ch
a
n
g
e in
i
nternal representation affecti
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n
V
erdoolaege
update isl for
n
ormalization
d
uring convex h
u
ll computat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Verdoo
l
aege
clast
.
c: clast_red
u
c
t
ion_cmp: treat all
unar
y
"r
e
duct
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
p
r
etty printer: drop
" "
i
n front
o
f ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
r
emove cp
p
option (de
f
aulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn on "eq
u
ality spreading" (
e
sp) b
y
default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdoolaege
remove
c
sp option (defaulting to true
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaeg
e
print
execution tim
e
again if
s
ys
/
resource
.
h is
ava
i
lable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verd
o
olaege
isl
backend: support exis
t
ent
i
a
lly qu
a
nti
f
ied variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl backend: drop
existe
n
tials when computing
f
allback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
V
erdoolaege
upda
t
e isl fo
r
pl
u
g
for isl
_
m
ap_
s
imple_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
ol
a
e
ge
update is
l
for changed callin
g
c
o
nventions of isl_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
pdate isl for
c
hange in calling
conven
t
i
o
n
o
f
so
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdo
o
laege
upda
t
e isl f
o
r re
f
counted
i
sl
_
co
n
str
a
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoo
l
aege
up
d
ate
i
s
l for introduction of
i
sl
_
dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoola
e
ge
c
l
ast
.
c
:
inser
t
_guar
d
: insert modulo g
u
ar
d
s based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clas
t
.
c
: ext
r
a
c
t out
cloog_constraint_s
e
t_
n
_itera
t
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
V
e
r
do
o
lae
g
e
cl
a
s
t
.
c
: e
x
tract out common cloog_const
r
aint_
v
ariable_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaeg
e
clast: a
l
l
ow
clast_term to represent multipl
e
of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
cla
s
t
.
c: extract out common c
l
oog_names_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ver
d
oolaege
minor
changes to Cloog
C
o
n
straint abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ve
r
doolaege
F
i
x up opti
o
nal inclusion of backu
p
m
p_get
_
memory_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaege
cloog/const
r
aints
.
h: don't put
#
i
nclude's inside ex
t
ern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sve
n
Verd
o
ol
a
ege
drop unused cloog_constrai
n
t_se
t
_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
Add backup mp_get_memory_funct
i
ons implementatio
n
for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdo
o
laege
updat
e
isl for
compatib
i
lity with old
gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update isl for improved piplib e
f
ficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoola
e
ge
Look for more oppo
r
tu
n
itie
s
f
o
r blocking stat
e
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
Verdoolaege
cloog_program_r
e
ad: delay
construct
i
on of blocklist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop_sep
a
rate
:
combine loops with
identical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Ver
d
oola
e
ge
cloog_loop_separate:
mi
n
or clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
l
a
ege
cloog_loop_sep
a
r
a
t
e
:
e
xploit di
s
jointn
e
ss of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdool
a
ege
c
l
ast
.
c
:
so
r
t eq
u
ations in guard clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Optionally refra
i
n from printing any informa
t
ion
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
erdo
o
laeg
e
c
last
.
c:
don't insert any
"
scalars" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n Verd
o
o
lae
g
e
source/isl: f
i
x typos in
c
omme
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
Expli
c
it
l
y specify -r
p
a
t
h
fo
r
l
ibtool l
i
brarie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
include/cloog
/
domai
n
.
h: avoid use of C++ ke
y
wo
r
d "temp
l
ate"
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdool
a
ege
add
isl
back
e
nd
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
doolaege
options
.
c
:
remove -rays
o
ption
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolae
g
e
Handle 0D problems by adding a 0th
l
evel to t
h
e
m
ain
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolae
g
e
clo
o
g
_lo
o
p_merge
:
ensure loop domains a
r
e
c
o
nvex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Verdo
o
laege
i
n
sert_guar
d
: m
a
ke sure coeff
i
cien
t
in l
e
ft hand sid
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdo
o
l
a
ege
insert
_
g
u
ard: avo
i
d out-of-bounds acce
s
s
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolaege
Intr
o
duce Cloog
C
onstraint a
b
s
t
racti
o
n
commit
|
commitdiff
|
tree
next