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 for fix in isl_basic_set_dim_residue_class
2009-07-22
Sve
n
Verdoolaege
u
p
dat
e
isl f
o
r f
i
x
in isl_basic_
s
et_dim_residue_class
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
P
o
lyLib backend: cloog_d
o
main_stride:
h
an
d
le singleton
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
o
olaege
t
e
st/Mak
e
f
i
le
.
am: add
a
ll know
n
good
ve
r
sio
n
s
f
or test
_
r
u
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
update isl for gbr based sampling
commit
|
commitdiff
|
tree
2009-06-13
Sven
Ver
d
o
o
l
a
ege
update isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verdool
a
ege
isl
b
ackend:
fix re
t
urn
of
cloog
_
domain
_
convex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
ven
Ver
d
oola
e
g
e
Makefile
.
a
m: ex
p
li
c
i
tly set
D
IS
T
_SU
B
DIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdo
o
laege
u
p
date i
n
stallati
o
n instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoo
l
aege
c
onfigur
e
.
in: buil
d
isl backend by
d
ef
a
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
configure
.
i
n: allow no
t
buildin
g
p
o
l
ylib bac
k
end
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven
Ver
d
o
ol
a
ege
doc: docu
m
ent clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sve
n
Verdool
a
ege
clast: include copi
e
s
of Cl
o
og
S
tatemen
t
s inste
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
cloog_s
t
at
e
ment_
c
opy: add m
i
s
s
ing copy of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven
V
erdo
o
laege
doc: fi
x
some s
p
ellin
g
mistak
e
s
commit
|
commitdiff
|
tree
2009-06-05
S
v
en Verdoolaege
rename pprint to clast
_
ppri
n
t to avoid namespace pollu
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
S
v
e
n Ver
d
oo
l
aege
make CloogDo
m
a
i
n and C
l
oo
g
Sc
a
ttering compl
e
tel
y
op
a
que
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
S
v
en
V
erdoolae
g
e
cloog_n
a
me
s
_a
l
loc: fix typ
o
in comment
commit
|
commitdiff
|
tree
2009-06-01
Sve
n
Verdoolaeg
e
clas
t
: extract
e
nu
m
clast_expr_type from o
u
t
o
f clas
t
_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven Ve
r
doolaege
update README for new patch submitt
i
ng pr
o
cedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
ge
avoid
recomputation of "one" (and -1) by storing a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oolaege
clast: make global struct clast_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verd
o
o
la
e
g
e
move all global variables to
CloogSta
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olae
g
e
move isl
_
c
tx f
r
o
m
C
l
oogOp
t
ions to Clo
o
gState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n Verdoolae
g
e
c
l
oog_options_read: fix
m
isnamed
a
r
g
c and a
r
g
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cloog_domain_dimension: return actual di
m
ension (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolaege
Poly
L
ib backend: store number of p
a
rameters in Cloog
D
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
erdoolaege
clo
o
g_na
m
es_alloc
:
i
n
itializ
e
struct
u
r
e with default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdoolaege
upda
t
e docs to i
n
t
r
o
d
uc
t
ion
o
f
C
loogScat
t
ering and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verd
o
olaege
PolyLi
b
backend: disa
b
le cl
o
og_scattering_lazy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoola
e
g
e
insert_mo
d
ul
o
_
guard: move
r
e
d
uction
of guards
t
o the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
v
e
n
Verdoolaege
sourc
e
/c
l
ast
.
c: i
n
s
ert_modulo_guard: only compute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en V
e
rdoolaege
cl
o
og_constraint_equal_type: treat all mo
d
ulo gua
r
d
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven V
e
rdoolaege
cloog_loo
p
_simplify: i
t
erat
e
ove
r
siblin
g
s inste
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
Remove
lin
e
s
referring to "number of p
o
lyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
update
isl
f
or new version
o
f is
l
_bas
i
c_map_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
isl back
e
n
d: cloo
g
_domain_simplify_un
i
o
n: use isl_set_c
o
ales
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
Extract out back
e
nd specific cloo
g
_dom
a
in_simpli
f
y_uni
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
e
ge
isl backend: use isl_set_bou
n
ded_sim
p
l
e
_hull f
o
r
c
ompu
t
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
clast
.
c: inser
t
extra m
o
dulo
guards in
v
olving
loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl b
a
ck
e
n
d
: div_ex
p
r
:
f
ree div after
u
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aege
updat
e
is
l
f
or change in in
t
ernal rep
r
e
se
n
tat
i
o
n
affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
update
i
sl for no
r
malization during
c
on
v
ex
h
u
ll computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
clast
.
c: clast_reduction_
c
m
p
:
treat
all una
r
y "redu
c
tions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n
V
erdoolaege
p
retty printer: drop " "
in
front of ";
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoo
l
aege
remove
c
p
p
option (de
f
ault
i
ng to t
r
ue)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdo
o
l
a
ege
turn on "equality spreading" (esp) by
defau
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoolaeg
e
re
m
ov
e
csp o
p
t
i
on (de
f
aulting t
o
t
rue)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolae
g
e
pri
n
t execu
t
ion time again i
f
s
y
s/resource
.
h
is ava
i
lable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoo
l
ae
g
e
isl ba
c
ken
d
:
support existentially quantified
varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoola
e
g
e
is
l
backend
:
d
r
o
p e
x
istentials when computing fallback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
Ve
r
doolaege
update isl
f
or plug for isl_map_simple_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olae
g
e
update isl for changed calling conventio
n
s of isl_basic
_
set
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdool
a
e
g
e
update isl for change
i
n
c
alling convention of so
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
upda
t
e isl for refcoun
t
ed isl_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
up
d
a
te
i
sl for
i
ntrod
u
ction
o
f
i
sl_dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ver
d
oo
l
a
e
ge
clast
.
c
:
inse
r
t
_gu
a
rd: i
n
sert modul
o
guards based
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c
: e
x
tract
out cloo
g
_
c
onstraint_set
_
n
_
itera
t
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verd
o
olae
g
e
clast
.
c: extract out
common
c
loog
_
constraint_
v
ariable_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast: allow clast_term to represent multip
l
e
of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
V
erdoo
l
aege
clast
.
c: extract out common cloo
g
_
names_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Ver
d
ool
a
ege
m
inor c
h
a
n
ges t
o
C
l
oogCon
s
traint abstracti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verd
o
ol
a
ege
Fix up
o
pti
o
nal inclusion of backup
m
p_get_memory_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven
V
e
rd
o
olae
g
e
c
l
oog/constraints
.
h: don
'
t
put #include's inside extern "C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
d
rop unus
e
d cloo
g
_constra
i
nt_set
_
c
o
unt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n
V
erdoolaege
Add b
a
c
k
up mp
_
g
et_memory_functions imp
l
ementat
i
on f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n V
e
rdoolaege
update i
s
l for com
p
atibil
i
ty with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sve
n
Ve
r
doolaege
update isl for improved p
i
plib
eff
i
cie
n
cy
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolae
g
e
Look for more opportunities for bloc
k
ing s
t
atements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoola
e
ge
cloog_program_read: delay co
n
struct
i
on
o
f blocklist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdool
a
ege
cloog_loop_sepa
r
a
te: combin
e
l
o
ops with identi
c
al domain
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdoolaege
cloog_loop
_
sep
a
rate: minor clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdool
a
ege
cloog_
l
o
o
p_separate:
explo
i
t disjointness of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
er
d
o
o
laege
clast
.
c
:
sort equ
a
tions in
g
u
ard clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
O
p
tionally refrain from printing
an
y
informationa
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
erd
o
ol
a
e
ge
clast
.
c
: don't insert any "scalars" fo
r
level
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verdool
a
e
g
e
source/isl:
fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
ven Verdoolaege
E
x
p
l
icitly
s
pecif
y
-
r
path
f
o
r libtoo
l
libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
e
r
doolaege
include/cloog/d
o
main
.
h: a
v
oid
use o
f
C++ keyword "template
"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add isl backen
d
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verd
o
olaege
opti
o
ns
.
c
:
remove -ra
y
s option
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erdoolaege
H
an
d
le 0D pro
b
lems by adding a 0t
h
l
e
vel to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
e
r
doolae
g
e
cloog_loop_merge: ensure loo
p
domains are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verd
o
olaege
in
s
ert
_
guard: make su
r
e
c
oefficient
in left
hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolaege
insert_guar
d
: a
v
oid o
u
t-of-bo
u
nds access
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdo
o
laege
In
t
roduce
C
loogCons
t
r
a
int a
b
stracti
o
n
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Renam
e
Cl
o
ogConstr
a
ints to C
l
oogC
o
nstr
a
intS
e
t
commit
|
commitdiff
|
tree
2008-10-02
S
v
e
n Verdoolaege
fix typos in insert_lo
o
p comme
n
ts
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdool
a
ege
cloog_dom
a
in_print_structure:
print all poly
h
edra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
rdool
a
e
g
e
Let cloog_domain_lowerbound_update return the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
er
d
o
o
l
aeg
e
Co
m
bine cloog
_
scatteri
n
g_lazy_iss
c
alar
and cloog_scat
t
eri
n
g_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ver
d
oolaege
i
nclude/cloog
/
domain
.
h: remov
e
declarations of (u
n
used
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
e
rd
o
olaege
t
est/test_run
:
o
nly c
h
eck simp
l
ified hu
l
l generat
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
test/test
_
run: also check co
r
re
c
tness of simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
cloog_doma
i
n_si
m
pl
i
fy: avoid out-of
-
bound
s
array ac
c
ess
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoo
l
aege
Treat parameter domains
di
f
ferently
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
Chan
g
e se
m
antics of
c
loog_domain_cut
_
first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog_domain_is
e
m
p
ty:
a
ccept
NULL
a
r
gument
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verd
o
olaege
cloog
_
d
omain_e
m
pty: make
empty doma
i
n using
templat
e
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
do
o
laege
Inform function
reading in sc
a
tt
e
ring function of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoola
e
ge
pass the number
o
f
p
arameters to functions
read
i
ng
.
.
.
commit
|
commitdiff
|
tree
next