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
S
v
en Verdoolaege
update
isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
get
_
s
u
bmodules
.
sh: no longer initia
l
ize
submodul
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdool
a
ege
c
l
oo
g
_domai
n
_
st
r
id
e
: handle union domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
S
v
en Verdoolaege
upda
t
e isl
f
or isl_set_dim_r
e
sidue
_
class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Sve
n
Verdool
a
ege
s
ource/clast
.
c: insert
_
loop: drop redundant argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
upda
t
e isl to
version 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
don't assume
c
o
m
pil
e
r
i
s gcc
wh
e
n turning on
w
arnings
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoola
e
ge
c
l
o
og
_
p
rogram_pprint:
r
emove dubious escape
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Ve
r
doolaege
configure
.
in: don't ass
u
m
e
com
p
iler is gcc
when setting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
cloog_loop_
s
tride: properly handle domains
w
ith f
i
x
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Verdoolae
g
e
update i
s
l for fix in
i
sl_basic_se
t
_dim_residue_c
l
ass
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
dool
a
ege
Poly
L
ib
b
ack
e
nd: clo
o
g_domain_stride: handle singl
e
to
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Verd
o
olaege
t
est/M
a
kefile
.
am: add all known good v
e
rs
i
ons for
te
s
t_run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
rdool
a
ege
update isl for gbr based sam
p
lin
g
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
Sven
Verdoolae
g
e
isl backend: fix ret
u
rn o
f
cloog_domain_convex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
Makefile
.
am
:
explicitly set DIST_SUBDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
oolae
g
e
u
p
date
i
n
s
t
allat
i
on i
n
s
tr
u
cti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdoo
l
aege
configure
.
in
:
build isl
backend b
y
d
e
fault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ven
V
e
r
doolaege
configure
.
in: allow not building
polylib bac
k
e
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdo
o
l
a
eg
e
d
o
c: document clast
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
e
n
Verd
o
o
laege
cl
a
s
t: include copies of CloogStatements ins
t
ead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoo
l
aeg
e
cloog_statem
e
nt_copy: ad
d
mi
s
s
i
n
g copy of sta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdool
a
e
ge
doc:
fix some spe
l
ling mista
k
e
s
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoola
e
ge
rename ppri
n
t
t
o
c
last_pprint to
avoid namespac
e
po
l
lution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ver
d
oolaege
make CloogDomain and CloogScattering completely opaque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
S
v
en Ve
r
doolaege
cloog_names_alloc: fix typo in comment
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaege
clast: extract
e
num clast_expr_
t
ype from o
u
t of c
l
ast_ex
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdo
o
laege
up
d
ate RE
A
DME f
o
r
n
ew patch submitting procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
e
n
Verdoola
e
ge
a
v
o
i
d
recomputa
t
i
o
n
o
f "
o
ne"
(and -1) by storing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoolaege
clas
t
: make
g
lobal struct clast_stmt
_
o
p
s
con
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en
V
erdoo
l
aege
move all
g
lobal variables
t
o CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
mo
v
e isl_ct
x
from Cloo
g
Opt
i
ons
t
o Cloog
S
t
a
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoo
l
aege
cloog_options_read:
f
i
x m
i
snamed argc
a
n
d argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
cloog_domain_dimensi
o
n
:
return
a
ctual dim
e
nsion (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdool
a
ege
PolyL
i
b ba
c
kend: store n
u
mber of par
a
meters
in CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdo
o
laege
cloog_name
s
_a
l
loc: initialize structure w
i
th
d
efau
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sve
n
Verdoolaege
update
d
o
c
s
to
i
ntroduct
i
on
of CloogScattering and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdool
a
ege
Po
l
yLib backend: disable c
l
o
o
g_scattering_la
z
y_block
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
Verdoolaege
clas
t
: dr
o
p
l
oops w
i
th
f
ractional
l
ower and
u
pper bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
con
f
igur
e
.
in: set AC
_
C
ONFIG_
M
ACRO_DI
R
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
inse
r
t_modulo_g
u
a
rd
:
m
o
ve
r
e
duction of guar
d
s t
o
t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Ve
r
d
o
o
l
aege
source/c
l
ast
.
c:
i
n
sert_
m
o
d
ulo
_
guard: only compute
b
ound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
Verdoolaege
cloog_con
s
traint_equal_type: treat all modulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_loop_simplify:
ite
r
ate over siblin
g
s
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
R
e
move lines re
f
erring to "number of
polyhedr
a
"
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
update isl for n
e
w version of i
s
l_basi
c
_ma
p
_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
isl backe
n
d: cloog_
d
omain_simplify_unio
n
:
use is
l
_set
_
coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
Ex
t
ract out
b
acke
n
d specific cloog_domain_simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
eg
e
is
l
bac
k
end: use is
l
_
set_
b
ounded_simple_hull for compu
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
aege
clast
.
c: insert extra mod
u
l
o
g
u
ards involvi
n
g loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoola
e
ge
isl bac
k
e
n
d: div_exp
r
: free div after use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
r
doolaeg
e
upd
a
te isl for change in int
e
rnal representa
t
ion affecting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
update
i
sl
for
norm
a
lization
d
ur
i
n
g co
n
vex hull computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clas
t
.
c:
c
l
ast_
r
educt
i
on_cmp: treat all unary "redu
c
t
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
pre
t
ty printer: drop " "
i
n
front o
f
";"
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
tur
n
on
"
equalit
y
s
p
reading" (esp) by defau
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Verdoolaege
remove cs
p
option (defa
u
lting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Ve
r
doolaege
print
execution time
again
i
f sys/resou
r
ce
.
h
is available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Verdo
o
laege
on
l
y print ex
e
cutio
n
time i
f
sys/resource
.
h is av
a
ila
b
le
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
isl
backend:
su
p
port
existentially quantified variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ve
r
doolaege
isl backend: drop e
x
istentials when co
m
puting
fal
l
ba
c
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl fo
r
plug for isl_
m
ap_s
i
mp
l
e_hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoola
e
ge
update isl fo
r
cha
n
g
e
d
c
a
lling conventions o
f
i
s
l_ba
s
i
c_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laeg
e
updat
e
i
s
l
for change in calling convention of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolae
g
e
update isl for refcounted is
l
_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
update
i
sl
for introduction of isl_dim
s
tructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
c
last
.
c
:
i
nsert_guard: inse
r
t mo
d
ulo guards bas
e
d
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
clast
.
c: extrac
t
out cloog_constraint_set
_
n
_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verd
o
olaege
cla
s
t
.
c: extract o
u
t
co
m
mon cloog_constraint_variable_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
cl
a
s
t
: al
l
ow clast_te
r
m to re
p
resent mu
l
tiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaege
clast
.
c: extract
o
u
t co
m
mon
c
loog_names_name_
a
t
_
le
v
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
ola
e
ge
m
i
nor changes
t
o CloogConstr
a
int abs
t
raction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rd
o
o
lae
g
e
Fix
up
o
p
t
i
onal inclusion
of back
u
p mp_get_me
m
o
r
y
_
functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Ve
r
d
o
olaege
cloog/const
r
aints
.
h:
d
on't
pu
t
#include'
s
ins
i
d
e exte
r
n "C"
commit
|
commitdiff
|
tree
2008-12-23
S
ven Verdo
o
laege
drop
u
n
used cl
o
og_constraint
_
set
_
count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
S
ven Verdoolaege
Add backup mp_get_memor
y
_funct
i
on
s
implementati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdool
a
ege
update isl fo
r
compatibil
i
ty with
o
ld gmp
s
commit
|
commitdiff
|
tree
2008-11-11
Sven Ve
r
doola
e
g
e
update isl for
im
p
roved
p
iplib e
f
ficienc
y
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
r
d
oolaege
Look for more opportunities for b
l
ocking statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoolae
g
e
cloog_program_read: delay construction
o
f
b
l
ockl
i
st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oolaege
cloog_
l
oop_separate:
combine loops
with id
e
ntical
domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Ver
d
oolaege
cloog
_
loop_separate:
m
ino
r
clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
ven V
e
rdoola
e
ge
cloog_loop_se
p
ar
a
te: explo
i
t di
s
jointness of loop do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdo
o
l
aege
c
la
s
t
.
c
: sort
e
quat
i
ons i
n
guard cla
s
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
O
ptionally refrain from
p
r
inti
n
g an
y
informational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven V
e
rdoolaege
clast
.
c: d
o
n
'
t inse
r
t any "scalars" for
l
ev
e
l 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoola
e
ge
source/isl:
fix ty
p
os i
n
com
m
e
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en Ver
d
o
o
l
aege
Expli
c
itly specify -rpa
t
h
for libto
o
l
l
ibrari
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdool
a
ege
incl
u
de/cloog/domai
n
.
h:
a
void us
e
of
C++ keywo
r
d "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add isl bac
k
end
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoola
e
ge
options
.
c: remove -rays
o
ption
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rdoolaege
Hand
l
e 0D
p
roblems by adding a 0th l
e
v
e
l to
the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
v
en Ver
d
oolaege
cloog_loop_merg
e
: ens
u
re loop domains a
r
e convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
ins
e
rt_guard: make sure
coef
f
i
ci
e
n
t
in left
h
a
n
d side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert
_
guard: avoid out-
o
f
-boun
d
s access
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
I
n
troduce Cloo
g
Constraint abstract
i
on
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Ve
r
do
o
laege
R
ename CloogCon
s
tra
i
nt
s
to CloogConst
r
aintS
e
t
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoo
l
a
e
ge
fi
x
typos in
i
nsert_loop comments
commit
|
commitdiff
|
tree
next