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
clast.c: insert_modulo_guard_constraint: properly handle existentials
2009-10-05
Sven Verdool
a
ege
update isl for isl_
s
et_dim
_
residue_cl
a
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Sven Verdoola
e
ge
sourc
e
/clast
.
c: insert_loop: drop
redu
n
d
a
n
t
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
u
pdate isl to versio
n
0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolae
g
e
don't
assu
m
e compiler
i
s gcc when turn
i
ng
o
n warnings
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
do
o
laege
clo
o
g_pro
g
ram_pprin
t
:
r
emove du
b
i
o
us escape
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
ol
a
ege
conf
i
gure
.
i
n: d
o
n't assume compiler is g
c
c
w
hen setting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
cloog
_
loop_strid
e
: pro
p
erly h
a
n
dle domains
w
ith
fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
a
ege
update isl for fix in isl_basic_set_d
i
m_
r
e
s
idue_cl
a
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
PolyLib backend
:
cloog_domain_stride: handle sin
g
l
eton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
test/Makefile
.
a
m
: add
all known go
o
d versions for test_
r
un
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
u
pdate isl for gb
r
based sampling
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verdoolaege
update isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoola
e
ge
isl backen
d
: fix retu
r
n of cl
o
og_doma
i
n_convex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laege
M
akefi
l
e
.
a
m:
e
xplicitly
set DIST
_
S
U
BDI
R
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
v
en
Ver
d
oolaege
update
i
n
s
tallation
ins
t
r
uctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdo
o
lae
g
e
c
onf
i
gure
.
in: build isl backend by defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
V
erdool
a
ege
configure
.
i
n: allow n
o
t
b
uilding p
o
ly
l
ib backen
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 Verdoolaege
clast: include
copies of CloogStat
e
me
n
ts instead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
clo
o
g_st
a
te
m
e
n
t_copy: a
d
d missin
g
co
p
y
o
f
s
tate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
doc: fix some sp
e
l
ling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
rename pprin
t
to cla
s
t_ppr
i
nt to avoid names
p
ace
p
ollution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ver
d
oolaeg
e
make
C
l
oo
g
Domain and Clo
o
gSc
a
ttering complete
l
y
o
paque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdo
o
laege
cloog
_
names_allo
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n Ver
d
oolaege
clast: extra
c
t enum clast_
e
xpr_typ
e
f
ro
m
out of clast_
e
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verd
o
ola
e
ge
update RE
A
DME for
new patch submitting procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolae
g
e
avoid recomp
u
tation of "one" (and -1) by storin
g
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdoolaege
c
last:
m
a
ke
global struct clas
t
_s
t
m
t_ops
c
o
nst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
erdoolaege
mov
e
all global variables to Cloo
g
Stat
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n
V
erdo
o
la
e
ge
m
ove
i
sl_ctx f
r
om
C
loo
g
Options to
C
loogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
cloo
g
_
options
_
read: fix misnamed
argc and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en
V
er
d
oolaege
cloog_d
o
ma
i
n_d
i
mension:
r
etu
r
n
ac
t
ual dime
n
sion (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
g
e
PolyLi
b
backend: store numbe
r
of pa
r
am
e
ters in Cloo
g
Domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
e
n
V
e
rdoo
l
aege
cloog_n
a
me
s
_alloc: initia
l
ize s
t
ructure
w
ith
d
efault
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sve
n
Verdoolaege
update docs to introduction of CloogSc
a
tteri
n
g an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
o
o
laege
PolyLib backend: disable
c
loog_scattering
_
la
z
y_bl
o
ck
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
cl
a
st: dro
p
loops with fractional lower and upper bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdool
a
e
ge
co
n
figure
.
in: set
AC_CONFIG_MACRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdo
o
laege
insert_modulo_
g
ua
r
d:
move
reduction of guards
t
o
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
s
o
urce/
c
last
.
c: insert_modulo_guard: only
c
ompute b
o
und
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en
V
erdo
o
laege
c
l
oog_cons
t
raint_equ
a
l_type: tre
a
t all modulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
e
rd
o
olaege
cloo
g
_
loop_simplify: iterate ov
e
r
sibli
n
g
s
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdool
a
eg
e
Remo
v
e lines
r
eferri
n
g
to "nu
m
ber of
p
olyhedra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolae
g
e
update
i
sl fo
r
new version
of isl_
b
asic_map_gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl backend: cloo
g
_do
m
ain_si
m
plify_union: use isl_set_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
Extract ou
t
backend spec
i
fi
c
cloog_domain
_
s
i
m
plify_
u
nion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
isl
b
ackend: use isl_set_bounded_s
i
mple_hull for compu
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
clast
.
c: insert
e
xtra mo
d
u
lo guards i
n
volving loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ve
r
d
oolaege
isl bac
k
end: div_expr: fre
e
div aft
e
r use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
updat
e
i
s
l
for
c
hange i
n
internal
representation a
f
fecting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erd
o
olaeg
e
update is
l
for normalizati
o
n
duri
n
g
convex hu
l
l computati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdool
a
ege
clast
.
c: cla
s
t_reduction_cmp:
treat a
l
l unary "reduction
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaeg
e
prett
y
print
e
r
:
drop " " in
f
ront of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove cpp option
(
de
f
au
l
ting to tr
u
e)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolaege
t
urn on "equality spreadi
n
g" (esp) by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
rdoolaege
re
m
o
v
e
csp option (de
f
au
l
ting to tru
e
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doola
e
ge
prin
t
execution time again if sys/res
o
ur
c
e
.
h
is av
a
ilable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Verdoolaeg
e
only print
e
x
ec
u
tion ti
m
e i
f
sys/resour
c
e
.
h
i
s availabl
e
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
isl back
e
nd: supp
o
rt exist
e
ntia
l
ly quantified va
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
Verdo
o
laege
isl backend
:
drop existentials
when computing
f
allback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoo
l
ae
g
e
update
isl
for plug
for isl_map_s
i
mple_hull
me
m
or
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
update
i
sl for change
d
calling convent
i
ons of isl
_
basic_
s
et
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoola
e
ge
update isl for ch
a
nge in
c
alling conve
n
tion of
s
ome
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
e
g
e
update isl
f
o
r refcounted isl_constr
a
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
updat
e
isl
f
or i
n
troduction of isl
_
dim structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
V
erdool
a
ege
clast
.
c
:
insert_g
u
ard:
i
nsert modulo gu
a
rds
b
as
e
d on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rd
o
ola
e
ge
clast
.
c
:
extract out cloog_c
o
ns
t
raint_set_n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
clast
.
c: extract out c
o
mmon cloog_constra
i
nt_varia
b
le_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
e
ge
cl
a
st: allow c
l
ast
_
t
e
rm to re
p
res
e
nt multiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Ver
d
oolaege
cl
a
s
t
.
c: e
x
tra
c
t
o
ut common cloog_names_name_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
mi
n
or changes
t
o
C
loogConstraint abst
r
a
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
Fix up optional inclu
s
io
n
o
f
backup
m
p_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
ven Verdoo
l
aege
cloog/const
r
a
ints
.
h: don't put #include's
inside exte
r
n
"C"
commit
|
commitdiff
|
tree
2008-12-23
Sve
n
V
erd
o
olaeg
e
d
r
op unused
c
l
o
og_constraint_set
_
count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven
Verdoolaege
A
dd
b
ackup mp_get_memory_functions
implementation
for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n Ve
r
d
oo
l
aege
update
i
sl
f
o
r
c
o
m
patibility with old
gmps
commit
|
commitdiff
|
tree
2008-11-11
S
v
en Verdoo
l
a
ege
update isl for i
m
proved pip
l
i
b effi
c
iency
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n
Verd
o
olaege
Look fo
r
more oppo
r
t
un
i
ties for block
i
ng stat
e
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaeg
e
cloog_
p
rogram_read: de
l
ay constructio
n
of block
l
ist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Ver
d
oolaege
cloog_lo
o
p_separate: combine l
o
ops with identical domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
r
d
o
ol
a
ege
clo
o
g_loop_separate:
mi
n
or c
l
ean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n V
e
r
d
oolaege
cloog_loop
_
s
e
parate: ex
p
lo
i
t
disjointness of
lo
o
p domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
clast
.
c: sort equation
s
i
n
guard cl
a
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verd
o
olaege
Optionally refrain fro
m
printing any info
r
mational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven
Verdoola
e
g
e
clast
.
c: don't insert
an
y
"scalars"
fo
r
level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
v
e
n
Ve
r
doolaege
source/isl: fix ty
p
os in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
Explicit
l
y spe
c
ify -r
p
ath
f
or libtoo
l
librari
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdoolaege
include/cloog/
d
omain
.
h
:
avoid
u
se of
C++ ke
y
word "te
m
p
l
ate"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
laege
add isl ba
c
k
e
n
d
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Ve
r
doolaege
o
p
tions
.
c: remove
-rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erdoo
l
aege
Handle
0
D
p
roblem
s
by addi
n
g a 0th level
t
o
th
e
m
ain
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erdoolae
g
e
c
l
oog_loop_merge: en
s
ur
e
l
oop domains
are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
rdoolaege
i
n
s
ert_guard: make
su
r
e c
o
effi
c
i
e
nt
i
n
l
e
ft han
d
side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdo
o
la
e
ge
insert
_
guar
d
: a
v
o
i
d
out-of
-
bounds a
c
cess
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolae
g
e
I
ntroduce Clo
o
gConstraint
a
bstrac
t
ion
commit
|
commitdiff
|
tree
2008-10-02
S
v
en V
e
rd
o
o
l
aege
Rename Clo
o
gConstraint
s
to CloogCon
s
traintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
fix typos in in
s
er
t
_loop c
o
mments
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaeg
e
cloog_do
m
ain_print_structure
:
pri
n
t all polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdoola
e
ge
Let
c
l
oog_domain_lo
w
erbound_update return the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ver
d
ool
a
eg
e
C
o
mbine cloog_scattering_laz
y
_iss
c
alar and
c
loog_s
c
a
tter
i
n
g
_
.
.
.
commit
|
commitdiff
|
tree
next