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 isl_basic_set_foreach_constraint
2009-03-22
Sv
e
n Ver
d
oolaege
cloog_const
r
aint
_
equal_type
:
treat all modu
l
o gua
r
ds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cl
o
og_loop_si
m
plify: iterate
over si
b
lin
g
s
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ve
r
doolaege
Remove
lines referring to "nu
m
ber of
p
olyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
updat
e
isl for new versio
n
o
f
i
s
l
_basic_map_g
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
isl
b
a
ckend: cloog
_
do
m
ain_
s
implify_union: use
isl
_
s
e
t
_co
a
l
esce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
Ex
t
r
a
ct
o
ut backend specif
i
c cloog_domain_simplify_
u
ni
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl
backend: use isl_set
_
bo
u
nded_simple_hul
l
for
c
omputing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
clast
.
c: in
s
e
r
t
e
xt
r
a
m
odulo
guards involving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
i
sl ba
c
k
end: div_expr: free div
a
fter use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
e
n Verdoolaege
updat
e
i
s
l
f
o
r change in internal repr
e
s
entation affecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
e
rdoolaege
upda
t
e i
s
l for normalization dur
i
ng convex hu
l
l
computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c:
clast_reductio
n
_c
m
p: t
r
eat
all una
r
y "r
e
du
c
tions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
pretty printer: d
r
op "
" in
front
o
f ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
Verdoolae
g
e
remove cpp option
(
defaulting to t
r
ue)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn
o
n "equali
t
y spr
e
ading" (
e
sp) by d
e
fault
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdo
o
laeg
e
remove c
s
p option (
d
efaul
t
ing to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
p
r
i
n
t execution ti
m
e ag
a
in i
f
sys
/
re
s
ource
.
h is availa
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
isl backend: support exi
s
tentially
q
uantified variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
isl
backend: dr
o
p exis
t
entia
l
s when
c
omputing fa
l
lba
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
upd
a
te isl for
p
lug for isl_map_simp
l
e
_hull memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
p
date
i
sl for
c
hanged c
a
lling conventi
o
ns of
i
sl_basic_se
t
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaege
update isl for change in calling
convention of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoo
l
aege
upd
a
te isl for refco
u
nted isl_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
update
isl for int
r
oduction of i
s
l_
d
im struc
t
ure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
clast
.
c:
in
s
ert_g
u
ard:
i
nsert mo
d
ul
o
guards bas
e
d on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
c
l
as
t
.
c:
e
xtract
out cloog_co
n
strai
n
t_set_n_ite
r
ators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: extract ou
t
common
c
loog
_
constraint_v
a
riable_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
l
a
ege
c
last: allo
w
clast_te
r
m to
represe
n
t m
u
ltiple o
f
any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ver
d
oolaege
clast
.
c: extract out co
m
mon
c
loo
g
_names_name_at_le
v
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven V
e
rdoolaege
minor c
h
ang
e
s to Cloo
g
C
o
nstraint abst
r
a
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
Fix up optional inclusion
of ba
c
kup m
p
_get_me
m
ory
_
function
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sv
e
n Verdoolaege
cloog/c
o
nstra
i
nts
.
h: don't put #include's inside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven
V
erdoolaege
drop unused cloog_c
o
nst
r
aint_set_cou
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
S
v
e
n Verdoolaege
Add ba
c
kup mp_
g
et_memory_functions implementation
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verd
o
o
l
aege
update
is
l
for
compat
i
b
ility with o
l
d gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaeg
e
updat
e
isl
f
or improve
d
piplib effici
e
nc
y
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
rdool
a
ege
Look for more opport
u
nities
f
o
r
blocking statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoolae
g
e
cloog_program_read: de
l
ay constructi
o
n of bloc
k
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdo
o
l
a
ege
clo
o
g_
l
oop_sep
a
rat
e
: combine lo
o
ps
with i
d
en
t
ical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop_s
e
parate: mino
r
c
lean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdool
a
e
g
e
cloog_
l
o
op_separa
t
e: exploi
t
disjo
i
ntn
e
ss o
f
l
o
o
p
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
ol
a
ege
clast
.
c:
s
ort eq
u
ations in gu
a
rd c
l
asts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
ool
a
ege
Optional
l
y refr
a
in from pr
i
nti
n
g any infor
m
ational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n Verdoolaege
clast
.
c: don
'
t insert any
"
s
c
alars" for leve
l
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verd
o
olaege
so
u
rce
/
isl: fix typos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolae
g
e
Explicitly
s
p
ecify -rpath for l
i
bto
o
l
l
ibrarie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verd
o
olaege
inc
l
u
d
e/cloog/
d
om
a
in
.
h: avoid use of C++ keyword
"template"
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoolaege
add is
l
backe
n
d
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
op
t
ions
.
c: remove -rays o
p
t
ion
commit
|
commitdiff
|
tree
2008-10-03
Sven Ver
d
oolaege
Handle 0
D
problems by adding a
0th l
e
vel to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
c
l
o
o
g_loop
_
merg
e
:
ensure
lo
o
p
domains are
convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
V
e
rdoola
e
g
e
insert_gua
r
d: make sure coef
f
icient in left
hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Ver
d
oolae
g
e
inse
r
t_guard: avoid out-of-b
o
unds access
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
e
r
doolaege
Introduce C
l
oog
C
o
n
st
r
aint a
b
strac
t
ion
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
e
r
doolaege
Rename CloogConstrai
n
ts to CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n
V
e
r
doolaege
fix typos in insert_loop comments
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verdoolaeg
e
cloog_domain_print_structure: print all
p
olyhedra
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdo
o
laege
Let cloo
g
_domain_lowerbo
u
nd_upda
t
e return the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
rdoo
l
aege
C
ombi
n
e
cloog_scat
t
er
i
ng_lazy_i
s
scalar and cloog_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
V
erdoo
l
aege
i
n
clude/cloog/domain
.
h: remove decla
r
ations of (u
n
used
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
t
e
st/t
e
st_run: onl
y
chec
k
simplifi
e
d
hull gene
r
ation
s
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
t
e
st
/
test_
r
un: als
o
check correctness
o
f
s
implifie
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Ver
d
oo
l
aege
cloog_domain_si
m
pli
f
y: avoid
o
u
t-of
-
b
o
unds array access
commit
|
commitdiff
|
tree
2008-09-23
S
ven Ver
d
ool
a
eg
e
Treat p
a
ramete
r
domains differ
e
ntly
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
V
e
rdoolaege
Change semantics
of cloog_
d
omai
n
_cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog_domain
_
isempty: accept NULL ar
g
ument
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
clo
o
g_dom
a
in_empty: m
a
ke empty
do
m
ain using tem
p
late
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n Verdoolaege
Info
r
m function rea
d
ing in scatter
i
ng fun
c
t
i
on of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verd
o
olaege
pass the numb
e
r of parame
t
er
s
to
functions read
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
rdo
o
laeg
e
introduce
C
loogScattering abs
t
raction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
make tex
t
ual tests backend depen
d
ent
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
sort eleme
n
ts
o
f mi
n
a
n
d
m
a
x reducti
o
n cl
a
sts
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
r
do
o
laege
a
llow out-of
-
s
r
c test fil
e
g
e
ne
r
ation
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
R
e
move lines referring t
o
"
n
umber of polyh
e
dra
"
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
Pass CloogOpt
i
ons to f
u
ncti
o
n
r
e
ading
(
li
s
t
s o
f
) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
allow ba
c
ken
d
s to h
a
ve their own o
p
tions
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
configure: handle gmp a
n
d polylib "sub
m
odules
"
i
n a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
create backend (P
o
lyLib) specific library
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
remove depend
e
n
c
e o
n
P
olyLib fro
m
c
loog core
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
Test correctness of generated cod
e
, withou
t
req
u
iring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolae
g
e
add cloog_domain_
c
ube function,
r
eturning a cub
e
of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven
V
e
rdoo
l
aege
Let c
l
oog_
d
o
m
ain_u
n
iverse return a universal domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
Replace use
of
V
alu
e
i
n
cloog core by ne
w
cloog_int_t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
abst
r
act
out Cloo
g
M
atri
x
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
clast
.
c: us
e
C
loogE
q
u
a
l
ities a
n
d Cloog
C
onstraints instead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Cl
o
og
B
lock:
r
e
move un
u
s
e
d
s
c
attering field
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
r
doolaege
avoid use
of matrices in s
o
u
rce/progr
a
m
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oo
l
aege
comp
l
ete CloogDo
m
ain abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven
Ve
r
doolaege
domai
n
.
c:
remove som
e
un
u
s
e
d fun
c
tions
commit
|
commitdiff
|
tree
2008-09-16
Sve
n
Verdoolaege
move cloog_value_{up,down} out of
d
omain
.
c
commit
|
commitdiff
|
tree
2008-09-15
S
ven Verdoolaege
perform spe
c
i
a
l opt
i
ons tests in a loop
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoola
e
ge
tests:
print unified diff between ex
p
ecte
d
and obtained
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sv
e
n Verdoola
e
ge
Add -calla
b
le
option
for gen
e
ra
t
ing code to be use
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven V
e
rdool
a
ege
make d
e
f
ault CFLA
G
S overridab
l
e
commit
|
commitdiff
|
tree
2008-09-15
S
v
en Ver
d
oolaege
cl
o
og
_
names_read_strings
:
fix c
h
eck
for sufficient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sv
e
n
Verdoola
e
g
e
Rem
o
v
e escedk test
commit
|
commitdiff
|
tree
2008-09-15
S
ven Ver
d
oolaege
F
i
x
up vivien and vivien2 tests
commit
|
commitdiff
|
tree
2008-09-11
Sven Verdoolaege
Fix clo
o
g_domain_lazy_d
i
s
jo
i
n
t
commit
|
commitdiff
|
tree
2008-09-06
Sv
e
n Verdoolaege
fix memory leak in cl
a
st cons
t
ruct
i
on
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
r
d
o
o
laeg
e
a
dd examples subdirec
t
ory to the di
s
tribution
commit
|
commitdiff
|
tree
next