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
Reintroduce CloogMatrix
2009-09-24
Tobias
G
rosser
R
eintroduc
e
C
l
oogMa
t
r
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Tobias Gro
s
ser
Rename c
l
oog_m
a
trix
m
ethod
s
to cloog_poly
l
ib_
m
a
trix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Tobia
s
Gross
e
r
Rename Cloog
M
atrix to M
a
trix in
polyli
b
backen
d
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Tobias Grosser
Mov
e
matrix
.
* to constra
i
ntset
.
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
T
o
bias Gros
s
er
Fix
c
om
p
il
e
r warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
S
ven Verdoolae
g
e
source/clast
.
c: insert_loop: drop red
u
ndant argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
cl
o
og_lo
o
p_stri
d
e: properly h
a
ndle d
o
mai
n
s wit
h
fixe
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oola
e
ge
updat
e
isl f
o
r fix
i
n
isl_basic
_
set_dim_
r
esi
d
ue_
c
lass
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
PolyLib backend: clo
o
g_domain_stride
:
handl
e
singleton
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
test/Makefile
.
a
m
: add all known good
versio
n
s for te
s
t_run
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
update isl f
o
r gbr bas
e
d samp
l
ing
commit
|
commitdiff
|
tree
2009-06-13
Sven Verd
o
olaege
upda
t
e isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
S
ven Ve
r
d
oo
l
aeg
e
isl backend: f
i
x return of cloog_domain_conv
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Ver
d
o
o
l
ae
g
e
M
a
ke
f
il
e
.
am: explici
t
l
y
set DIST
_
SU
B
DIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdool
a
ege
update in
s
tallatio
n
i
n
structions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
ve
n
V
e
rdoolaege
c
onfi
g
ur
e
.
in
:
build
isl b
a
cke
n
d
b
y
de
f
au
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Verdoolae
g
e
c
o
nfigure
.
in: allow not building polylib backend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven
V
erdoolae
g
e
doc
:
document cla
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
S
ven V
e
rdoolaeg
e
clast: inc
l
ude co
p
ies of C
l
oogStatements i
n
st
e
ad of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdoolaeg
e
cloog_statemen
t
_copy: add missing copy of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdo
o
l
a
ege
doc: fix some spe
l
ling mistak
e
s
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdool
a
ege
ren
a
me ppr
i
nt to clast_pprint t
o
avoid nam
e
spa
c
e p
o
ll
u
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verd
o
olaege
ma
k
e
C
l
oo
g
Domain and CloogScatte
r
i
ng completely opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ver
d
oolae
g
e
clo
o
g_
n
ames_alloc: fix typo
i
n c
o
mm
e
n
t
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n
V
e
r
doolaege
cla
s
t
: extrac
t
e
n
um clast_
e
xpr
_
ty
p
e f
r
om ou
t
of clast_
e
xpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven
V
e
rdoolaege
u
pdate R
E
ADME for new patch submitting procedu
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdoolaege
avoi
d
rec
o
mp
u
tation of "one" (and -1) by storing a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolae
g
e
c
l
ast: m
a
ke global struct clast_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoolae
g
e
m
ove all gl
o
bal varia
b
les to CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdoolaege
move isl_ctx f
r
om Clo
o
gO
p
tions to
C
loog
S
tate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdo
o
laege
c
l
oog
_
opt
i
o
n
s_read: fix m
i
snamed argc and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ve
n
Verdoolaege
cloog_domain_dimensi
o
n:
re
t
urn actual dimensi
o
n (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdoolaege
P
olyLib backend
:
stor
e
number
o
f
p
ar
a
meters in CloogDomai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdool
a
ege
c
l
o
og_names_alloc: initial
i
ze s
t
ructur
e
with default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Bastoul
C
h
ange license fro
m
GPL 2
.
0
to LGPL
2
.
1
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven
Verdoo
l
aege
update docs to
intr
o
duction of CloogSca
t
tering and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
PolyLib backend: d
i
sable cloog_scatterin
g
_lazy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
clast
:
drop
loo
p
s with fr
a
ctional
lower a
n
d
upper bounds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
r
d
oolaege
configure
.
in: se
t
A
C_CON
F
I
G
_MACRO_DIR
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdo
o
laege
i
n
s
e
r
t_modul
o
_guard
:
m
o
v
e
reduction of guar
d
s
to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoo
l
aege
source/
c
last
.
c: inser
t
_modul
o
_guard: only comp
u
t
e
bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdo
o
la
e
ge
cloog_constraint_e
q
ual_type: trea
t
a
l
l mod
u
lo guar
d
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaeg
e
cloo
g
_loop_simpl
i
fy: i
t
era
t
e
o
ve
r
siblings
i
nste
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
olae
g
e
Rem
o
ve lines referring to "n
u
m
b
er of polyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laege
update isl
f
or new version of is
l
_basic
_
ma
p
_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolae
g
e
i
s
l backend: cloog_d
o
main_simplify_union: use isl
_
s
e
t_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolaege
Extract
out backend specific
c
l
oog_d
o
ma
i
n_simp
l
ify_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl backend: u
s
e
i
s
l_set_b
o
unded_s
i
mple_h
u
ll for
c
omputing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
clast
.
c: inser
t
e
x
tra mod
u
lo gua
r
ds involving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
ba
c
kend: div_ex
p
r
:
free div aft
e
r us
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven
V
erdoolaege
upda
t
e isl fo
r
change in internal re
p
r
esentation affe
c
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
Verdo
o
la
e
ge
update isl for n
o
rmalizat
i
o
n
during convex h
u
ll computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
o
ol
a
e
g
e
cla
s
t
.
c:
c
last_red
u
ction_
c
mp: treat
all unary "reductions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
a
e
ge
p
r
e
tty print
e
r: drop " " in f
r
o
n
t of
"
;"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove
cpp option (defaulting to true
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn on "eq
u
ality
s
preading"
(
e
s
p)
by
defau
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoolae
g
e
rem
o
ve csp o
p
tion (
d
ef
a
u
lting to tru
e
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verd
o
o
l
aege
print exec
u
ti
o
n time
a
g
ain
i
f sys/resource
.
h is
a
vailable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en V
e
rdoolae
g
e
isl
ba
c
kend: suppor
t
existentially qu
a
n
t
ified
v
ariables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
isl backe
n
d:
d
rop existenti
a
ls
when co
m
putin
g
fal
l
back
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Ve
r
do
o
laege
update is
l
for
plug for
isl_map_sim
p
le_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
rdoolaege
update isl for changed call
i
ng co
n
ventions of isl_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
update
isl for change
in c
a
lling co
n
v
e
nti
o
n of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
e
ge
u
pdate i
s
l for re
f
count
e
d
isl
_
constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
ae
g
e
u
p
date isl for introduction
o
f isl_dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
c
last
.
c: insert_gu
a
rd: ins
e
r
t modulo guards based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
clast
.
c:
e
xtrac
t
o
u
t cloog
_
constr
a
i
n
t
_
set_n_iterators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ve
n
Verd
o
olaege
clast
.
c:
e
x
tra
c
t
o
ut common
cloog
_
constraint_variab
l
e_
e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolae
g
e
clast: allow clast
_
term to rep
r
esent multiple of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdool
a
ege
cl
a
st
.
c
:
extract
out commo
n
cloog_names_
n
ame_at_
l
evel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
mi
n
or changes t
o
Cl
o
o
g
C
onstraint
abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
Fix
up optional inclusion of backup m
p
_get_memo
r
y_functi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaege
c
l
oog/constraints
.
h:
don't put #i
n
clude's
i
nside extern
"C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verd
o
olaeg
e
drop unu
s
ed c
l
oo
g
_constraint_set_co
u
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
S
v
e
n Ver
d
oolaege
Add backup mp_get_
m
e
m
o
ry_functions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven
V
e
rdoola
e
ge
up
d
ate isl fo
r
compatibi
l
it
y
w
ith old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
u
pdate isl for improve
d
piplib eff
i
ciency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Look for more op
p
or
t
unities for
b
loc
k
i
n
g statemen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoolaege
cloo
g
_pr
o
gr
a
m_r
e
ad: delay con
s
truction of
blo
c
klist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloo
g
_l
o
op_se
p
ara
t
e: combine loops
with identical
domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdoolaege
clo
o
g_l
o
op_
s
ep
a
rate: minor clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oo
l
a
eg
e
cl
o
og_l
o
op_separate: e
x
pl
o
i
t
d
isjoi
n
tness
o
f lo
o
p domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoo
l
a
ege
clast
.
c: so
r
t
e
quations in guard c
l
a
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoolaege
Optionally r
e
f
r
ain
f
rom print
i
ng an
y
informational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
clast
.
c: don't insert any "scala
r
s" for le
v
el
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
v
e
n Ve
r
dool
a
ege
so
u
r
ce/isl: fix t
y
pos in
c
o
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n
Verdoolaege
Explicitly spec
i
f
y -rpath
for
l
ibto
o
l
libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
include
/
cloog/d
o
main
.
h: avoi
d
use o
f
C
+
+ keyword "template
"
commit
|
commitdiff
|
tree
2008-10-14
Sven
Ver
d
oolaege
add isl ba
c
kend
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
d
o
ol
a
ege
options
.
c:
r
emov
e
-rays optio
n
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rdoolae
g
e
Handle 0
D
probl
e
ms by adding a 0th leve
l
to
t
h
e m
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
ven Verd
o
o
l
aege
cloog_loop_merge: ensure loop domai
n
s
are convex
,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
in
s
e
rt_guard
:
ma
k
e sure co
e
f
f
icient in left han
d
side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolae
g
e
insert_guard:
avoid out-of-boun
d
s acces
s
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Introduce CloogCo
n
s
traint
a
b
s
trac
t
ion
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
oolaege
Rename CloogConstra
i
nts to CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoolaeg
e
fix typos in insert_loop
c
om
m
e
n
ts
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n V
e
rdoolaeg
e
c
loo
g
_domain_print_s
t
ruc
t
u
r
e: pri
n
t a
l
l polyhedra i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
e
r
d
oo
l
aege
Let cloog_domain_lower
b
ou
n
d_u
p
date
r
e
t
urn the upda
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erd
o
olaege
Com
b
ine cloog_sca
t
tering_l
a
zy
_
isscalar and cloog_scattering_
.
.
.
commit
|
commitdiff
|
tree
next