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
add backend independent functions for creating CloogDomains and CloogScatterings
2009-09-24
Tobias Gro
s
ser
add ba
c
kend i
n
d
epe
n
den
t
func
t
ions
for
c
rea
t
ing
C
loogDomains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Tobias
G
rosser
Rei
n
troduce C
l
oo
g
Matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Tobi
a
s
G
ro
s
s
e
r
Rename cloog_
m
atrix
m
e
thods to c
l
oog_polylib_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Tobia
s
Grosser
R
e
name CloogMatr
i
x to Matrix in
p
o
lylib backend
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Tobias Grosser
Move m
a
trix
.
* to constraints
e
t
.
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Tobias Grosser
Fix compiler warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Sven Verdoolaege
source/clast
.
c: ins
e
rt
_
loop: drop redu
n
d
a
n
t
a
r
gume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Ve
r
doolaege
u
p
d
ate i
s
l t
o
ver
s
ion 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdo
o
laege
d
o
n
'
t
a
s
sume comp
i
ler is gcc when turning on
warnings
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
la
e
ge
cloo
g
_progr
a
m_pprint: rem
o
v
e
dubious es
c
ape
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
configure
.
in: do
n
't assume
compiler is g
c
c when setting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
cloog_loo
p
_
stride: properly han
d
le domains
with fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
l
a
e
ge
update isl for fix in isl_
b
a
sic_
s
et_
d
im_residue_c
l
ass
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven
Ve
r
doola
e
g
e
PolyLib b
a
ckend: cloo
g
_do
m
ain_stride: h
a
ndle singleton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doo
l
aege
t
est/Mak
e
file
.
am: ad
d
a
l
l known good versio
n
s for test_run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
update isl for gbr ba
s
ed sampling
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdoolaege
update isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Verdoola
e
ge
isl
b
a
c
kend: fix return
o
f
cloog_
d
omain_co
n
vex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Ve
r
doolaege
Makefile
.
am: expli
c
i
tly set DIST_SUBDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update installatio
n
instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
l
a
ege
configu
r
e
.
i
n
: bui
l
d is
l
backend b
y
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdoolaege
configure
.
in: al
l
ow not building polyl
i
b backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdoolaege
doc: doc
u
ment
c
l
as
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
clast: include copies of CloogStatements inst
e
ad
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
e
n
V
e
rdool
a
ege
cloog_statement_copy: add missing co
p
y o
f
s
t
ate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ve
r
doolae
g
e
doc
:
fix some spelling mista
k
es
commit
|
commitdiff
|
tree
2009-06-05
Sven
Verdoolaege
rename pp
r
i
nt
to clast_pprin
t
to av
o
i
d namespace pollu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven V
e
rdoolaege
make CloogDomain and
Cloo
g
S
c
at
t
ering compl
e
tely
op
a
que
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
S
v
en Verdoola
e
ge
clo
o
g_names_alloc: f
i
x
typo i
n
c
o
mment
commit
|
commitdiff
|
tree
2009-06-01
S
ven
V
erdoolaege
clast:
e
xtract enum clast_expr_type from out of c
l
ast_ex
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Ver
d
oolaege
update README fo
r
new
p
atc
h
su
b
mi
t
ti
n
g proced
u
re
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en
V
erdoolaege
avoid recomputation of "one" (a
n
d
-1) b
y
storing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
e
n
Verdoolaege
clas
t
: make
g
lobal struct clast_stmt_ops const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Ver
d
ool
a
e
g
e
m
o
ve
a
ll
global variab
l
e
s
to Cloo
g
State
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoo
l
aege
mo
v
e
is
l
_ctx fro
m
CloogOption
s
to CloogS
t
ate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
erd
o
o
lae
g
e
cloog_opt
i
ons
_
read: fix misnamed argc and
arg
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolaege
c
lo
o
g
_domain_dime
n
sion:
r
etur
n
actual
dimension (
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoolaege
Poly
L
ib
b
a
ckend:
s
tor
e
numbe
r
o
f parame
t
e
rs in CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
cloog_names_allo
c
: initial
i
ze
structure with default
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Bastoul
Change license
from GPL 2
.
0 to LGPL 2
.
1+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven
V
e
rdoo
l
aege
u
p
d
ate docs
to introduction of CloogScattering and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
PolyLib backend: disable cloog_scattering
_
lazy_block
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaege
cla
s
t: drop loops
with fractional lower and upper bou
n
ds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
ven
Verdool
a
e
g
e
c
o
nfigur
e
.
in: set A
C
_CO
N
FIG_
M
ACR
O
_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
V
e
r
doolaege
in
s
ert
_
modul
o
_guard: move re
d
uction of gua
r
ds to the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en
Verdoolaege
source/clast
.
c: insert_m
o
dulo_guar
d
: only compute b
o
u
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ve
r
doolaeg
e
cl
o
og_constr
a
int_equal_type
:
t
reat
a
l
l
m
odulo
gu
a
rds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven
Verdo
o
laeg
e
c
l
oog
_
loo
p
_simplify: itera
t
e over
siblings
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
Remove lines referring t
o
"number of p
o
lyhedra"
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
aege
up
d
ate isl for new version
o
f
i
sl_b
a
sic_map_gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl b
a
ckend: cloog_dom
a
in_s
i
mplify_union: use isl_set_coa
l
esce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
Extract
o
u
t
backend s
p
e
c
i
fic cloog_domain_simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl backend: use isl_s
e
t_bo
u
nded
_
simp
l
e_hull for
comp
u
t
in
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
cl
a
st
.
c: in
s
ert ext
r
a mod
u
l
o guards involving loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl b
a
ckend: div_expr: free di
v
a
f
t
er use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Verdo
o
la
e
ge
up
d
a
t
e
isl fo
r
change in int
e
rna
l
representa
t
i
o
n affectin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aege
u
pdate isl for normaliza
t
ion dur
i
ng convex hull computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Ve
r
dool
a
ege
c
last
.
c: clast_reduction_cmp: treat a
l
l u
n
ary "reduc
t
io
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaeg
e
p
r
etty printer
:
drop " " in
front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verd
o
olaege
remove cpp option
(defau
l
ting to tr
u
e)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Ver
d
ool
a
ege
tur
n
on "equality spr
e
ading" (esp
)
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n Verdoolaege
r
emove csp opt
i
on (d
e
faulting to tru
e
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdool
a
e
g
e
print executio
n
time again if
s
ys/res
o
urce
.
h i
s
available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Ver
d
oolaege
o
n
ly print e
x
ecution time if sys/
r
e
source
.
h is avai
l
able
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
isl
ba
c
kend: support exis
t
e
n
t
i
all
y
quantified var
i
ables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolae
g
e
isl backend: drop existen
t
ials when computing fall
b
ack
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n Verdoolaeg
e
updat
e
isl for plug for i
s
l_map_si
m
ple
_
hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verd
o
ol
a
e
g
e
up
d
a
t
e isl f
o
r changed cal
l
i
ng
c
onventions o
f
isl_basic_set
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoola
e
ge
upd
a
te isl
f
or
c
h
a
nge in calling
c
o
nven
t
i
o
n of s
o
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
V
e
r
d
o
olaeg
e
upd
a
te i
s
l for
r
efcounted
i
sl_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
update isl for
i
ntroduction of i
s
l
_
d
im structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
c
last
.
c:
insert_guar
d
:
i
nsert modulo gu
a
r
ds based on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
Verd
o
olaege
clas
t
.
c: extract out cloog_constraint_set
_
n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: extract o
u
t c
o
mmon
cloog_cons
t
raint_vari
a
ble_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
c
last:
allow cl
a
s
t_term to
r
epresent m
u
l
t
i
p
le
o
f any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c
:
extract out c
o
mmo
n
cloog_names_name_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdo
o
laege
minor changes to CloogCo
n
straint
abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
dool
a
ege
Fix
u
p optional i
n
clusion of backup mp_get_m
e
mo
r
y_fu
n
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
en Verdoo
l
aege
c
l
oog/constr
a
i
n
ts
.
h: don't put #include
'
s inside extern "
C
"
commit
|
commitdiff
|
tree
2008-12-23
Sv
e
n
V
erdoolae
g
e
dr
o
p unuse
d
cloog_constraint_
s
et_coun
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
S
v
e
n
Verd
o
ola
e
ge
Add
backup mp
_
ge
t
_me
m
o
ry_functio
n
s
i
mple
m
en
t
a
t
i
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
u
p
date
isl fo
r
com
p
atibility with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sve
n
Verdoolaege
update isl for improved piplib efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
r
dool
a
e
g
e
Look for mor
e
opport
u
n
ities f
o
r blocking
s
tatement
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
rdoolaege
cloog_progra
m
_read: d
e
lay constructio
n
of blocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop_separat
e
:
comb
i
n
e
l
oops with i
d
entical d
o
main
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop_separate: mi
n
or clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoola
e
ge
c
l
oog_loop_
s
eparate:
exploit d
i
sjointness of loop domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
er
d
oo
l
aeg
e
c
last
.
c: sort equations in guard clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
rdoolaege
Optionally refr
a
in from print
i
n
g
any informati
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
V
e
r
doolaege
clas
t
.
c
:
d
o
n
't
in
s
ert any "scalars" 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 comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n
V
e
r
doo
l
a
e
ge
E
x
plicitly
specify -rpath f
o
r libtool l
i
brarie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoo
l
aege
inc
l
ude/cloog/domai
n
.
h: av
o
id use of C++ keyword
"
templ
a
te"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
laege
a
dd
isl
b
a
ckend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
o
ptions
.
c: remove -ra
y
s option
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rdoolaege
Han
d
l
e
0D prob
l
ems by add
i
ng a
0
t
h level to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
cloog_loop
_
merge: ensu
r
e
l
o
o
p
domains
a
re c
o
nvex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en
Verdo
o
laege
insert_gu
a
rd: make
s
ure
coefficient in l
e
f
t
h
and
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoolaeg
e
insert_guard: av
o
id o
u
t-
o
f-bounds
a
c
cess
commit
|
commitdiff
|
tree
next