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
PolyLib backend: clean up simplification of constraints in cloog_equal_add
2009-11-11
Sven Verdoolaege
P
o
lyLib
b
ackend: clea
n
up
simpli
f
ication of constrain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
add zero to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
ad
d
cloo
g
_int_le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
doolaege
a
void
"
echo -e" in test/Makefi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-10
Sven V
e
rdoolaege
c
l
oo
g
_equa
l
_type: fix typo in
c
omm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-02
Sven Ver
d
oolaege
update isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
get_sub
m
odule
s
.
sh
:
no longer
ini
t
iali
z
e
submodules
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
Sven Ve
r
d
oolaege
cloog_
d
omain_stride: handle union domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
S
v
e
n
Ve
r
do
o
laege
update isl f
o
r isl_set_
d
im_residue_class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
S
ven Verdoola
e
ge
source/c
l
ast
.
c: insert_
l
o
o
p: drop redundant argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdo
o
l
aege
up
d
a
te is
l
to v
e
rsion 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoola
e
ge
don't
a
ssume co
m
piler
is gc
c
when
turning on warnings
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
cloo
g
_program_ppr
i
nt: remo
v
e dubious escape
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
c
o
nfigure
.
in: don't a
s
sume compiler is gcc when setting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
cloog_
l
oop_strid
e
: properl
y
han
d
le domains
w
ith fix
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
update isl for fix
in
i
s
l
_b
a
sic_set_
d
im_residue_class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolae
g
e
PolyLib backend: cloo
g
_domain_stride
:
handle single
t
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
test/
M
akefil
e
.
am: add all
k
nown g
o
od versio
n
s for te
s
t
_
run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Verdo
o
laege
update isl for gbr bas
e
d sampling
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Verd
o
o
l
aeg
e
update isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Ver
d
o
o
lae
g
e
i
sl ba
c
kend: fix return of
cloog_domain_convex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdoolaege
Makefile
.
am: explic
i
tly s
e
t DIST_SUB
D
IRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rd
o
olaege
u
p
date in
s
talla
t
ion instruc
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoolaege
configure
.
in: build i
s
l b
a
ckend
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
doolaege
configu
r
e
.
in: allow
n
o
t build
i
n
g
p
olylib backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ver
d
o
o
laege
doc: do
c
ume
n
t cl
a
s
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven
Verdoolaege
clast: inclu
d
e copies of
C
loogState
m
e
nts inste
a
d of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdoolaege
cloog_statemen
t
_copy: ad
d
mi
s
sing copy of sta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Verdoolaege
doc: fix som
e
spel
l
ing mistake
s
commit
|
commitdiff
|
tree
2009-06-05
Sve
n
Ve
r
d
o
olaege
rename pprint to clast_pprint to
a
void namespace pollution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoo
l
aege
make Cl
o
ogDo
m
ain
a
nd Clo
o
gSca
t
t
e
ring
completely opaque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sv
e
n
Verdoolaeg
e
cl
o
o
g
_
names_
a
lloc: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaeg
e
clast: extract enum c
l
a
s
t_expr_type
from out o
f
clast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
S
v
e
n Verdoolae
g
e
update RE
A
DME for new patch submitting procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaeg
e
avoid recomputation o
f
"one" (and
-
1
) by s
t
o
r
ing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdool
a
ege
clas
t
: make g
l
oba
l
s
tr
u
c
t
clast
_
stmt_o
p
s const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n
V
erdoolae
g
e
move all global
va
r
iables to Cloog
S
tate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolaege
mo
v
e isl_ct
x
from CloogOptions
to Cloog
S
ta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oolaege
c
loog_options_read: fix misnamed
a
rgc and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdool
a
ege
cloog
_
domain_d
i
mension
:
re
t
urn actual dimension (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoo
l
aege
PolyLib backend: store number of parameters in
CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
V
e
rd
o
olaege
cloog_names
_
all
o
c: initiali
z
e st
r
ucture
w
i
t
h
defau
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sve
n
Verd
o
olaege
update docs to introduction of CloogScatterin
g
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n Verdoolaege
PolyLib
b
a
c
kend: disable cloog_scatt
e
ring_lazy_
b
l
o
ck
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdo
o
laege
c
l
as
t
: drop loops with fractional
l
o
we
r
and upper bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
configure
.
in: set AC
_
CONFIG_MACRO_DI
R
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
la
e
ge
in
s
ert_m
o
dulo_guard: move r
e
duction of guar
d
s to the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoolaege
sourc
e
/c
l
ast
.
c
: inser
t
_
modulo_guard: only compute bou
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
cloog_c
o
nstrai
n
t_equal_type: treat all modulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ver
d
oo
l
aeg
e
cloog_lo
o
p
_
simplify:
i
t
era
t
e over s
i
blings i
n
ste
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
Remove lin
e
s referrin
g
to "number o
f
polyhed
r
a" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
update
i
sl
f
or ne
w
versi
o
n of isl_
b
asic_map_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl ba
c
k
e
nd: cloog_domain_simpl
i
fy_uni
o
n: use i
s
l_s
e
t_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
e
g
e
Extra
c
t out
b
ackend s
p
ecific
c
l
oo
g
_domain
_
simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl
b
ackend: u
s
e
is
l
_
s
et
_
b
o
u
n
ded_
s
imple
_
h
u
l
l for co
m
p
u
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
c
last
.
c: insert extra modulo guar
d
s
i
n
v
olv
i
n
g
loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl backend: div_expr
:
fr
e
e
div af
t
er use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
update i
s
l for change
in
internal repre
s
entation affecti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Ve
r
doolaege
update is
l
f
o
r
normalization
d
u
ring convex hull computatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoola
e
ge
clast
.
c: c
l
ast_red
u
ction_cm
p
: treat all unary
"
r
e
d
uct
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Verdoolaege
pretty printer: drop " " i
n
front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
r
e
mo
v
e c
p
p
option
(defaulti
n
g to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en V
e
rdoo
l
a
e
g
e
turn o
n
"equality sprea
d
ing" (
e
sp) by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove csp opt
i
on (d
e
faulting to
true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Ver
d
oolaege
p
rint executi
o
n t
i
me again if sys
/
resourc
e
.
h is av
a
ilabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
S
v
en Verdoolaege
o
nly print
e
xecu
t
ion time if s
y
s/resource
.
h
is available
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verd
o
ola
e
ge
isl backend
:
support
e
xistential
l
y q
u
antif
i
ed variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
isl backend: drop ex
i
stentia
l
s whe
n
c
ompu
t
ing fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
pd
a
te isl for
p
lug
for isl_map_simple_hull
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
u
p
date
i
sl
for changed
c
alling conventions of isl_basic
_
set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doo
l
aege
u
pda
t
e isl for change in ca
l
ling conv
e
n
t
ion of
some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
updat
e
i
sl
for
refcounted i
s
l_
c
ons
t
raint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doo
l
aege
update isl for
introduc
t
ion
of is
l
_dim structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
cl
a
st
.
c
:
i
n
s
ert
_
guard: insert m
o
dulo guards based on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Ver
d
oo
l
aege
clast
.
c: extract out cloog
_
c
o
nstraint
_
set_n_it
e
rators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoo
l
aege
cl
a
st
.
c
: extract ou
t
c
o
mmon
cl
o
og_con
s
tr
a
int_variable_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoola
e
ge
clast:
allow cl
a
st_term t
o
r
epre
s
ent multiple of an
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
cl
a
st
.
c: extr
a
ct out common
c
lo
o
g_name
s
_name_at_lev
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
mino
r
cha
n
ges to
C
l
oogC
o
nstrain
t
abstrac
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
Fix
up
o
p
tional inc
l
usio
n
of bac
k
up mp_get_memory_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Ve
r
doolaege
cl
o
og/c
o
nst
r
aints
.
h: d
o
n
'
t put #include'
s
i
nsi
d
e extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
drop unused clo
o
g_constrai
n
t
_
set_c
o
unt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
S
ven Verdoolaege
A
dd backu
p
mp_get_memor
y
_fun
c
tions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven V
e
rdoolae
g
e
update is
l
for compa
t
i
bility wit
h
old
g
m
ps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verd
o
olaege
update is
l
for
i
mpro
v
ed piplib effici
e
ncy
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolaege
Look for mo
r
e
oppor
t
unities for blocking sta
t
ements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoolaege
cloog_program_read: d
e
l
ay
c
onstru
c
tion of b
l
o
c
klist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaeg
e
cl
o
og_lo
o
p_se
p
a
rate: comb
i
ne loops with
i
de
n
tical domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_loop
_
sepa
r
ate: minor clean-u
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
c
loo
g
_loop_s
e
parate: exploit disj
o
i
ntness of loop dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
clast
.
c
:
s
ort equat
i
ons i
n
gua
r
d cl
a
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
Verdoolaege
Opt
i
onally refrain from pri
n
ting any informational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoo
l
a
e
g
e
clast
.
c: don't insert a
n
y
"s
c
alars" for level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n
Verdoolaege
source/isl
:
fi
x
typos in co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Ver
d
oolaege
Explicitly
s
pecify -rpath for libtool libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
S
v
en
V
er
d
oolaege
i
ncl
u
de/cloog/domain
.
h: avoid use
of
C
++ keyword
"
t
e
mpl
a
te"
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoolaege
add is
l
b
ackend
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoo
l
aege
op
t
i
o
ns
.
c: r
e
move -rays
o
pti
o
n
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaege
Han
d
l
e
0D problem
s
by
adding a 0th leve
l
to
the m
a
in
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoola
e
ge
cloog_lo
o
p_
m
erge:
en
s
ure lo
o
p
domai
n
s are
c
onvex, i
.
.
.
commit
|
commitdiff
|
tree
next