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
mark cloog_isl_state_malloc as having C linkage
2009-07-22
Sven Verdo
o
laege
c
l
o
o
g_lo
o
p_str
i
d
e:
p
r
ope
r
ly
h
a
ndle domain
s
with fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
u
p
date isl
f
or fix in isl_basic_
s
et_d
i
m_resid
u
e_class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
d
oolaeg
e
Poly
L
ib
backend: c
l
oog_domain_stride: handle singleton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
test/M
a
k
e
f
i
le
.
am:
a
dd all known good versions f
o
r t
e
s
t
_
r
u
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdoolaege
upda
t
e isl for gbr bas
e
d sampling
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolae
g
e
update
i
s
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
isl
b
ack
e
nd
:
fix retu
r
n
o
f
c
loog_domain_co
n
vex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
Makefile
.
a
m
: explic
i
tly
set DIST_
S
U
BDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven
Ver
d
oo
l
aege
updat
e
installation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verd
o
olaege
c
onfigure
.
in: b
u
il
d
i
sl
b
a
ck
e
n
d
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
d
o
o
la
e
ge
c
o
n
figu
r
e
.
in: al
l
ow not
b
uildi
n
g po
l
y
lib b
a
cken
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Verdoolaege
doc:
document cla
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ve
r
doola
e
ge
cl
a
st: inc
l
ude copies o
f
Cloo
g
S
tat
e
men
t
s
i
ns
t
ead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
cloog_s
t
atement_copy: add missi
n
g c
o
py of sta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verdoolaege
doc: fix some s
p
ellin
g
mist
a
kes
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verdoolaege
r
e
name
p
print to clast_ppr
i
nt to avoid namespace p
o
l
lutio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven
V
er
d
oolaege
ma
k
e Clo
o
gDomain and
C
loogSc
a
ttering co
m
pletely
opaque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Verdoolaege
cloog
_
na
m
es_alloc
:
fix typo
in
co
m
ment
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n
V
erd
o
olaege
clast: extract enu
m
cla
s
t_expr_type from out of clast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdo
o
la
e
ge
u
p
dat
e
RE
A
DME for new patch submitti
n
g procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n
Verdo
o
l
a
ege
avoid recomputation
o
f
"one" (and -1)
b
y stor
i
ng a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoo
l
a
e
ge
clast: make gl
o
bal
s
t
ruct clast_stmt_ops
c
onst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Ve
r
do
o
lae
g
e
mo
v
e all global variables to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
erd
o
ol
a
ege
move
i
sl_c
t
x from
C
loogOptions to C
l
oogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven
Verdoolaege
cloog_optio
n
s_read: fix misnamed argc and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven
V
erdoolaege
c
l
oog_domain
_
d
imen
s
ion: return actua
l
dime
n
sion (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verd
o
olaege
PolyLib backend: store number of paramete
r
s in CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cloog
_
na
m
es_alloc:
i
n
i
tial
i
ze str
u
cture wit
h
d
e
f
ault
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-26
Céd
r
ic
Bastoul
Cha
n
ge license from G
P
L
2
.
0
t
o LGPL 2
.
1+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdool
a
ege
updat
e
docs
t
o
i
n
troduc
t
ion o
f
CloogScattering and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaeg
e
PolyLib backend: disable cloo
g
_
s
cattering_la
z
y_block
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
V
erdoolaeg
e
cla
s
t:
d
rop loops with fractional lower and upper bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
c
onfi
g
ure
.
in: set AC_
C
ONF
I
G
_
MACRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verdoolaege
inser
t
_m
o
dulo_guard: move
r
e
du
c
tio
n
of guards
to t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n Verdool
a
ege
sourc
e
/clast
.
c
:
i
nsert_modulo_guard:
o
nly co
m
pu
t
e bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven
Verdoolae
g
e
cloog_constraint_equal_type: treat a
l
l m
o
dulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven V
e
rd
o
o
laege
c
loog_loop_si
m
pli
f
y: iterate over siblings ins
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
Remove lines refe
r
ring to "numb
e
r of polyhedra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
upd
a
te isl f
o
r new
v
ersio
n
of isl_basic_
m
ap_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
isl b
a
ck
e
nd: cloog
_
d
o
main
_
simpl
i
fy_un
i
on: use isl_set
_
coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
Extract out bac
k
end specifi
c
cloog_domain_
s
implify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl backend: us
e
isl_set_bo
u
nded_s
i
mpl
e
_hu
l
l for com
p
uting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
clast
.
c: insert extra modulo guards involving
l
oop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl ba
c
kend: d
i
v_expr: free div afte
r
use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoolaege
up
d
ate i
s
l
f
o
r change in int
e
rnal re
p
resentation affect
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaeg
e
update isl for norma
l
ization
during convex hull
c
omputation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Verdool
a
ege
clast
.
c:
clast_reduction_cmp: tr
e
at a
l
l unary
"
reductions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaege
pretty prin
t
er:
drop " " i
n
front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
r
e
m
ove cpp
o
ption (defaulting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaege
t
u
r
n
on
"equality s
p
reading" (esp)
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolaege
r
e
move csp option (
d
e
f
aulting
to true
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdool
a
ege
print execution
t
i
me again
i
f sys/reso
u
r
ce
.
h is availa
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Ve
r
doolaege
only
p
rint executio
n
time if sys/resource
.
h is available
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
isl backen
d
:
s
upp
o
rt exist
e
ntially
q
uantified variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Ve
r
doolaege
is
l
b
a
c
ke
n
d
:
d
r
op existe
n
t
i
als when compu
t
i
n
g fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n
Verdo
o
laege
upd
a
te is
l
for pl
u
g
for isl_map_simple_hull memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolae
g
e
u
pdate isl
fo
r
changed cal
l
i
n
g
convent
i
ons o
f
isl_
b
asic_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven V
e
rdoolaeg
e
update isl for cha
n
ge i
n
calling co
n
v
e
ntion of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
update isl for refcounte
d
isl_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
u
p
date isl
f
o
r introduc
t
ion of i
s
l_dim str
u
cture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
a
ege
clast
.
c: insert_guard: insert mo
d
u
l
o guards bas
e
d on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
erd
o
o
laege
cl
a
st
.
c: extract out cloog_constrain
t
_
s
et_n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
cl
a
st
.
c: extract out common cloog_
c
onstraint_va
r
iable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdo
o
la
e
ge
clast: allow
cla
s
t_term
to represent multi
p
le
o
f
a
n
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
c
l
ast
.
c: extract o
u
t
c
o
mmon cloog_n
a
mes_
n
ame_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ve
n
Ver
d
oolaege
mi
n
or changes to Cloo
g
C
o
n
straint abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
Fix up opti
o
nal i
n
clusion of backup mp_
g
e
t_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Ve
r
d
o
ola
e
g
e
cloog/co
n
stra
i
nts
.
h: don't put
#
include's in
s
ide extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven
V
erdoolaege
d
r
op unused c
l
oog_constraint_
s
et_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoo
l
aege
A
d
d
b
a
cku
p
mp_get_memo
r
y_functions implementation
for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven V
e
rdoolaege
update
i
s
l for
c
ompatibilit
y
wi
t
h old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verd
o
olaege
updat
e
isl for imp
r
oved
p
ip
l
ib effi
c
iency
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolaege
Look for m
o
re opportu
n
ities for blocking stateme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en V
e
r
doolaege
c
l
oog_program_
r
ea
d
:
del
a
y construc
t
ion of bl
o
cklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
rdoo
l
aege
cl
o
og_loop_separa
t
e: combine loops with identic
a
l
domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
r
doolaege
cloog_
l
oop_
s
e
p
arate: minor cl
e
a
n-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdo
o
l
a
ege
cloog_loop_
s
eparate: exploit disjo
i
ntness of l
o
op domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
c
l
ast
.
c
:
sort e
q
uati
o
ns in guar
d
clas
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolae
g
e
Option
a
lly refrain
f
rom print
i
ng any informational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n Verdoolaege
cl
a
st
.
c: don't in
s
ert
any "
s
calars" for level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
oo
l
ae
g
e
sou
r
ce/isl: fix typos
in comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n
Verd
o
olaege
E
x
p
l
icitly s
p
e
cify -rpa
t
h for lib
t
ool libra
r
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
V
e
rdoolaege
include/cloog/domai
n
.
h: avoi
d
u
s
e
of
C+
+
keyword "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erdool
a
ege
a
d
d
isl
b
ackend
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdoo
l
aege
option
s
.
c: remove -rays optio
n
commit
|
commitdiff
|
tree
2008-10-03
Sv
e
n Ve
r
doolaege
Handle 0D problems by addin
g
a 0t
h
level to the
mai
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Ve
r
doolaege
c
l
oog_loop_me
r
ge: ensu
r
e l
o
op domains are
convex,
i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
in
s
ert_
g
uard:
m
ake s
u
re coefficient in left hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Ve
r
doolaege
i
nsert_guard: avoid out-of-boun
d
s ac
c
ess
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
oola
e
ge
In
t
ro
d
u
ce C
l
oogCo
n
stra
i
n
t
abst
r
action
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolaege
R
en
a
m
e
CloogConstraints to C
l
oogConstrai
n
tSet
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
er
d
o
olaege
fix typ
o
s in insert
_
l
oop comments
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
c
loog
_
domain_
p
rint
_
structure: print all po
l
yhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoo
l
aege
Let
cloog_dom
a
i
n
_low
e
rbound
_
u
p
d
ate r
e
turn
t
h
e
u
pdated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
Combine c
l
oog_s
c
a
tteri
n
g
_
lazy_is
s
c
a
lar and clo
o
g_scatt
e
ring_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en V
e
rdoolaege
inclu
d
e
/cloog/d
o
ma
i
n
.
h: remov
e
declarations of (unu
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n
V
e
rd
o
ol
a
ege
t
e
st/test_run:
only c
h
eck simpl
i
f
i
ed
h
ull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
test/
t
e
s
t
_
r
u
n
:
also check co
r
rectnes
s
of simpl
i
fie
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloo
g
_domain_simplify
:
a
voi
d
out-of-b
o
unds a
r
ray ac
c
ess
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
o
laege
Treat p
a
rame
t
er d
o
ma
i
ns differently
commit
|
commitdiff
|
tree
next