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
update isl for isl_basic_set_foreach_constraint
2009-05-05
Sven Verdoolaege
clast: drop loops with
f
ract
i
o
n
a
l lower an
d
upper b
o
und
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdo
o
laege
conf
i
gu
r
e
.
in: set AC_CONF
I
G_MACRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Ver
d
oolaege
ins
e
rt_modul
o
_
guard: move reduction
o
f guards
to the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Verdool
a
ege
source/clast
.
c: in
s
e
r
t_m
o
dulo_
g
ua
r
d: only co
m
pute bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en V
e
rdoolaege
cloog_constraint_equal_t
y
pe: treat all mod
u
l
o
guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en Verdool
a
ege
cloog_loop_si
m
plif
y
: iterate over siblings i
n
stea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
ven V
e
rd
o
olae
g
e
Remove lines ref
e
rring to
"numbe
r
of
p
olyhedr
a
" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaege
up
d
a
te isl for new ver
s
io
n
of
isl_
b
asic_
m
ap_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl ba
c
ke
n
d: cloog_domain_simplify_union: use isl_set_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
Ex
t
r
act out backend specific cl
o
og_dom
a
in_sim
p
l
ify_
u
n
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
isl backend: use isl_set_bounded_simple_hull for
computing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
clast
.
c
: in
s
ert extra m
o
du
l
o
g
uard
s
involving loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl backend:
div_expr: free div after use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
d
oolaege
update i
s
l for change i
n
internal represe
n
tation affec
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaege
up
d
ate isl for nor
m
alization during convex hull c
o
mpu
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoola
e
ge
cl
a
st
.
c
: c
l
a
s
t_reduction_cmp: treat all unary "reductions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
p
ret
t
y p
r
inter:
drop
"
" in front
o
f
";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolae
g
e
re
m
ov
e
c
pp option (defaulting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n
Verdoolaeg
e
turn on
"equality
spreading" (esp) by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verd
o
olaege
re
m
o
v
e csp optio
n
(defaulting to t
r
ue)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n
Verd
o
olaege
print execution
t
ime
aga
i
n if
s
ys/resourc
e
.
h is a
v
ailable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Verdool
a
e
g
e
only
print e
x
ecution t
i
me if sys/
r
esource
.
h
is
available
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
isl backend: sup
p
ort exis
t
e
n
tially q
u
antif
i
ed
v
a
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Ve
r
doolaege
isl backend: drop exi
s
te
n
ti
a
ls whe
n
c
o
mputing f
a
llback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
up
d
ate
isl
for
p
lug for isl_
m
a
p
_
s
i
mple_hull
m
e
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
update is
l
f
o
r ch
a
nge
d
calling conventio
n
s of
i
sl_basi
c
_s
e
t
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
update i
s
l f
o
r change in
calling convention o
f
some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
pda
t
e isl for refcounte
d
isl_co
n
straint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
up
d
ate
isl for introduction of isl_dim structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: inser
t
_guard
:
inser
t
modu
l
o g
u
ards bas
e
d on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolae
g
e
clast
.
c: extract out c
l
oog_c
o
nstraint_s
e
t_n_iterat
o
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
clast
.
c
:
e
xtra
c
t out common clo
o
g_constraint_variab
l
e_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoola
e
ge
clas
t
: a
l
low clast_term to represent multiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
c
last
.
c: extract out comm
o
n cloog_names_n
a
me_
a
t_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
minor
ch
a
nges to CloogConst
r
aint abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
Fix
up
o
ptional
i
nclusion o
f
backup
mp
_
get_memory_function
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven V
e
rdoolaege
cloog/constraints
.
h
:
don't p
u
t #include
'
s inside
extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sv
e
n Verdoolaege
drop unu
s
ed clo
o
g
_
constrain
t
_s
e
t_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
Add backu
p
mp_ge
t
_memory_functions impleme
n
tat
i
o
n
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n
Verdo
o
laege
up
d
at
e
isl for compatibility with
o
l
d
gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update i
s
l for impro
v
ed piplib
efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Ver
d
oolaege
Look for more oppor
t
unities
for
block
i
ng statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_progra
m
_
r
ea
d
: delay constr
u
cti
o
n of blockl
i
st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_l
o
op_separate
:
combi
n
e loops
w
ith ident
i
cal
d
omain
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_l
o
op_se
p
arate: mino
r
clean-u
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verd
o
olaege
cloog_lo
o
p_separate: exploi
t
disjoint
n
ess of
lo
o
p
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
clast
.
c: s
o
rt equations in guard clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
V
erdoola
e
ge
O
ptional
l
y refrain
fro
m
printing
a
ny informati
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
ven Verdoolaege
c
last
.
c: don't
i
n
ser
t
any "scalars" for le
v
el 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
ven Verdoolaege
source
/
isl:
f
ix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdo
o
l
a
ege
Explicitly specify -rpath for libtool libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoola
e
g
e
include/clo
o
g/domain
.
h:
avoid use of C++ keyw
o
rd
"
temp
l
ate"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add isl bac
k
end
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
op
t
ions
.
c: remove -rays opt
i
o
n
commit
|
commitdiff
|
tree
2008-10-03
Sve
n
V
erdoolaeg
e
Handle
0
D pr
o
b
l
e
m
s by
a
dding
a 0th le
v
el to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
cloog_loo
p
_merge: ensure loo
p
doma
i
ns a
r
e con
v
e
x, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoolaege
insert_guar
d
: m
a
ke sure coefficient in left hand s
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
Ver
d
oolaeg
e
in
s
e
rt_guar
d
: avoid out
-
o
f
-boun
d
s
acce
s
s
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
e
rdoo
l
aege
In
t
roduce
CloogConstraint ab
s
tract
i
on
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
erdoo
l
aege
Rename CloogConstraints to CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
V
e
rd
o
ola
e
ge
fix
typos in insert_lo
o
p
comments
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
e
r
do
o
l
aege
clo
o
g_domain_
p
ri
n
t_structure: print
all polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verdoolaege
Let cloog_dom
a
in_lowerboun
d
_update return
t
he updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaeg
e
Combine clo
o
g_scatteri
n
g_lazy_isscala
r
a
nd cloog_scatterin
g
_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n Ver
d
o
o
laege
include/cloog
/
domai
n
.
h: re
m
ove declarations o
f
(unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en V
e
rdool
a
ege
test/t
e
st_
r
un: only che
c
k simplified h
u
ll g
e
nerations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdool
a
ege
test/t
e
st_run: also che
c
k correctness of
simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog
_
domai
n
_simplify: avoid o
u
t-of-bounds array
a
ccess
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
V
e
r
d
o
olaege
Treat paramet
e
r
domains differently
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
rdoolaege
Change semantics of cloog_do
m
ain
_
cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaeg
e
cl
o
og_d
o
main_isem
p
ty:
accept NU
L
L
argument
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oo
l
aege
clo
o
g_domai
n
_empty: ma
k
e e
m
pty domain using template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
Inform fun
c
t
i
on reading in scatterin
g
f
u
n
ction of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
g
e
pass
the
number
of parameters to functions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
intro
d
uce
C
loogSc
a
ttering abstracti
o
n
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
make t
e
x
tual tests back
e
n
d dependent
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
sort elements of min
a
nd max reduction clasts
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verd
o
olaege
allow out-of-sr
c
t
est file ge
n
eration
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
Remove lines referring to "number
o
f polyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Pass Cl
o
ogO
p
tions to fun
c
tion read
i
n
g (list
s
o
f) domai
n
s
commit
|
commitdiff
|
tree
2008-09-23
S
ven V
e
rdoola
e
ge
all
o
w backends to have their
own op
t
i
o
n
s
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
conf
i
gure: handle gmp and po
l
ylib
"submodules" in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
create ba
c
kend (PolyLib) specific library
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
remove depend
e
nce on
P
o
lyLib fr
o
m cloo
g
core
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
Test correctne
s
s of generated code, without requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
add cloog_
d
oma
i
n_cub
e
f
unc
t
ion, ret
u
rning a cub
e
of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
Let cloog
_
domain_
u
nive
r
se retu
r
n a uni
v
e
r
sal
domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
rdoolaege
Repl
a
ce use
o
f Value i
n
cloog core by new c
l
oog_int_
t
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
r
d
o
ola
e
ge
ab
s
trac
t
ou
t
CloogMatrix
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
clast
.
c: use CloogEqualities and C
l
oogConstr
a
ints instead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdo
o
laege
CloogBlock: remo
v
e unused scatteri
n
g field
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ver
d
oolaege
av
o
id
use of
matrices i
n
source/program
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
complet
e
CloogDomai
n
abstra
c
tion
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
doma
i
n
.
c: r
e
move
s
ome unused f
u
n
c
tions
commit
|
commitdiff
|
tree
2008-09-16
Sve
n
V
e
rdoola
e
g
e
move cloog_value_
{
up,down} out of domain
.
c
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoola
e
g
e
perform sp
e
cial options tes
t
s in a loop
commit
|
commitdiff
|
tree
2008-09-15
Sven
Verdoolaege
tests: p
r
i
nt unified
d
iff
bet
w
e
en expected a
n
d
ob
t
a
ined
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
S
v
e
n
Verdoola
e
ge
Add
-
c
allable option f
o
r
g
enerati
n
g code to be
used
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
S
ven Verdoola
e
g
e
make default CFLA
G
S
overrida
b
le
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
cloog_names_read_stri
n
gs: fix
check for
s
ufficie
n
t
.
.
.
commit
|
commitdiff
|
tree
next