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 Verdoolaege
u
pda
t
e isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
ge
t
_submodules
.
sh: no l
o
nge
r
initia
l
ize submodule
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
cl
o
og_domain_stride: ha
n
dle union domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolae
g
e
u
pdate isl f
o
r isl_set_dim_residue_class
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Sven V
e
rdoolae
g
e
source/c
l
ast
.
c: i
n
sert_loop: drop red
u
nd
a
nt argu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
e
rdoolaege
cl
o
og_loop_stride
:
prop
e
rly
handle domains with fix
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
e
rdoolaege
u
pdate isl
f
or fix in isl_basic_set
_
dim_residue_class
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
PolyLib backend: cloog_doma
i
n_
s
trid
e
: hand
l
e
s
ingle
t
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdool
a
e
g
e
t
est/M
a
kefile
.
am: add
a
l
l known
go
o
d v
e
r
sio
n
s f
o
r test_run
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoo
l
aege
update isl for
g
br based sampling
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Verdoolaege
update i
s
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n Ve
r
doolaege
isl backend: fix retur
n
o
f
cloog_domain_convex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
ven
V
erdoola
e
ge
Mak
e
file
.
am: explicitly
s
et DI
S
T
_S
U
BDIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolaege
update i
n
sta
l
lati
o
n instructio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolaege
configure
.
in: b
u
ild isl backend by defa
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
configur
e
.
in:
a
llo
w
not bui
l
ding polylib
ba
c
kend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Ve
r
doolaege
doc: document clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n
Ver
d
oolaege
cla
s
t: include
copie
s
of
CloogS
t
at
e
m
ents instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
cloog_statement_copy: add missin
g
co
p
y of
s
tate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ve
r
d
o
olaege
doc:
f
ix some s
p
elling mistak
e
s
commit
|
commitdiff
|
tree
2009-06-05
Sven
V
erdoolae
g
e
r
ename pprint to
c
l
ast_pprint to avoi
d
namespace pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoolaeg
e
ma
k
e Cloog
D
omain and CloogScattering c
o
mpletel
y
opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven V
e
rdo
o
laege
cloog_names_
a
lloc: f
i
x
t
ypo in co
m
men
t
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoola
e
ge
clast
:
e
x
tract e
n
u
m
clast_expr_
t
y
pe from out of clast_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
S
v
en Verd
o
o
l
aege
upd
a
te
R
EADME f
o
r new patch submitting proc
e
dure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oola
e
g
e
avoi
d
recomputation of "
o
ne"
(
and -
1
) by storing
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
clast: make global s
t
ru
c
t cla
s
t_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdoolae
g
e
move al
l
glo
b
al variables t
o
Cl
o
o
g
S
tate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
move is
l
_ctx
f
rom C
l
oogOptions
to
CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoo
l
aeg
e
cloog_options_read: fi
x
misnamed argc
an
d
argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
cloo
g
_domain_dimension: return actua
l
d
i
m
ension (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
PolyLib backend
:
store number of par
a
m
e
ters in CloogDomain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdoola
e
ge
clo
o
g_names_allo
c
: initialize structure with default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdool
a
ege
upd
a
t
e d
o
cs t
o
introduc
t
ion
of CloogS
c
attering
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
PolyLib backend: disable cloog_scattering_lazy
_
bl
o
ck
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
in
s
ert_modulo_guard: move
reduc
t
io
n
of gua
r
ds
t
o the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Ve
r
d
oolaege
source/clast
.
c: insert_modulo_gua
r
d
: o
n
ly
compute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en Verdoo
l
aege
cloog_c
o
nstraint_equal_type:
t
reat all modulo gua
r
ds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
clo
o
g_loop_si
m
plify: iterate over
s
ib
l
ing
s
instea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven V
e
r
d
o
olaege
Remov
e
lin
e
s referring to "number of poly
h
edra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
update
i
sl
for n
e
w version of isl_basic
_
map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
is
l
backen
d
:
cloog_domain_simplify_uni
o
n: use isl_set_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoola
e
ge
Extra
c
t
o
ut backen
d
s
p
ec
i
fic cloog_domain_simpl
i
fy_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
isl back
e
nd: use i
s
l
_set_bounded_simple_
h
ull
f
o
r computing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
clast
.
c
:
i
n
sert extra modulo gu
a
rds involving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
isl backen
d
: div_exp
r
: free div afte
r
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoo
l
a
e
ge
u
p
date i
s
l for cha
n
ge i
n
i
nter
n
a
l r
e
presentat
i
on affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n
V
erdoolaege
upda
t
e
isl for normalizati
o
n during convex hull computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
c
last
.
c:
c
last_reduction
_
cmp: treat
a
ll
unar
y
"red
u
ctions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
pretty prin
t
er:
drop " " in fr
o
nt of ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
r
emov
e
cpp option (d
e
f
aulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaeg
e
turn on "e
q
u
ality
s
pr
e
a
ding" (esp) by defau
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
ege
remove cs
p
option (defau
l
t
i
ng to
t
rue
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
d
oolaege
p
rint exe
c
u
t
ion ti
m
e again if sys/resource
.
h
i
s available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
isl backend: support existent
i
ally qu
a
n
t
ified
var
i
able
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
Verdoo
l
aege
isl backend:
d
rop
e
xiste
n
tials when computing
f
a
l
lback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
update isl for pl
u
g
f
or isl_map_sim
p
le_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
u
pdate
i
s
l for cha
n
ged calling con
v
e
nt
i
ons
o
f isl_ba
s
i
c_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
update isl for cha
n
g
e
i
n
calling conven
t
ion of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
o
l
aege
update isl for refcoun
t
ed isl_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
l
a
e
g
e
u
p
date isl for intro
d
uction
o
f isl_d
i
m
structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
V
erdoolaege
c
l
ast
.
c
:
ins
e
rt
_
guard: insert
modulo guards based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: ext
r
ac
t
out cloog
_
c
onstraint_
s
et_n_
i
terators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Ver
d
oolaeg
e
clast
.
c: e
x
tract ou
t
c
ommon cloog
_
constraint_variable_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
clas
t
: allow clast_
t
e
r
m to represent multiple of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Ver
d
oolaege
clast
.
c: extract out co
m
m
o
n cloo
g
_names_name_a
t
_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erdo
o
laege
minor changes
to Clo
o
gConstrain
t
abs
t
raction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
Fix up optional inclusion o
f
back
u
p mp
_
get_memo
r
y_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven
V
erdoolaege
cloog/constraints
.
h: don't pu
t
#include's i
n
sid
e
ex
t
ern "
C
"
commit
|
commitdiff
|
tree
2008-12-23
S
ven Ve
r
doolaege
drop unused cloog_constrain
t
_set_cou
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven V
e
rd
o
olae
g
e
A
d
d backu
p
mp_get_memor
y
_func
t
ions
impl
e
men
t
ation
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
ven Verdo
o
laege
update isl
f
or
c
ompati
b
il
i
ty with o
l
d gmp
s
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update i
s
l for i
m
p
roved pipl
i
b efficien
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
olaege
L
o
ok for mo
r
e opportun
i
t
i
e
s for blocking statement
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolaege
cloog_progr
a
m_read: delay
con
s
t
r
uction
o
f blocklist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
o
o
laege
cloog_loop_
s
eparate: combine
lo
o
ps
w
ith iden
t
ical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolae
g
e
c
l
oo
g
_loop_se
p
arate:
m
inor clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoo
l
aege
cloog_
l
oop_sep
a
rate: exploit d
i
s
jo
i
ntnes
s
of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
ola
e
ge
c
l
ast
.
c: sor
t
equations in guard c
l
asts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoolaeg
e
Op
t
ionally refrain from printing
any informational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verd
o
ola
e
ge
clast
.
c:
d
o
n't inse
r
t any "scalar
s
" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verdoolaege
source/isl: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
e
rdoola
e
ge
Explicitly specify
-
r
p
ath f
o
r lib
t
o
o
l libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
inclu
d
e/cloog
/
domain
.
h: avoid u
s
e
of C++ keyword "templ
a
te"
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaeg
e
add isl bac
k
e
nd
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolae
g
e
options
.
c: remov
e
-rays
o
ption
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rdoolaege
Handle
0
D pr
o
blems by
ad
d
ing a 0th level to
t
he main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
cloog_
l
oop_
m
er
g
e: ensure l
o
op d
o
main
s
are
c
onve
x
, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
e
rd
o
olaege
insert
_
gu
a
rd
:
make sure c
o
efficient in left hand si
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
e
n
Verdoolaege
i
n
s
e
r
t_gu
a
rd: avoid ou
t
-of
-
boun
d
s access
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolaege
Introduce CloogConstr
a
in
t
a
b
st
r
action
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Re
n
a
me CloogConstr
a
i
n
ts to CloogConstraint
S
et
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoo
l
aege
f
ix typos
i
n insert_lo
o
p com
m
ents
commit
|
commitdiff
|
tree
2008-09-28
Sven Ver
d
oolaege
clo
o
g_do
m
a
i
n
_
print
_
structu
r
e: print all polyhedra i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoola
e
ge
Let cloog_domain_lo
w
erbou
n
d_upda
t
e return the updat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
r
dool
a
ege
Combine cloog_scattering_lazy_isscalar and cloog_scat
t
eri
n
g_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdo
o
laege
i
n
c
lude/cloog
/
domain
.
h
:
re
m
ove
declara
t
ions
of (unu
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
test/test_run
:
on
l
y check simplified hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
r
doolaege
t
es
t
/test_run:
a
lso check
corre
c
tne
s
s of si
m
pl
i
fi
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
cl
o
og_doma
i
n
_
simpl
i
fy:
a
v
o
id o
u
t-of-bounds a
r
ray access
commit
|
commitdiff
|
tree
next