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
cloog_union_domain_from_isl_union_set: actually use name of space, if any
2009-12-29
Sven Ve
r
d
oolae
g
e
sour
c
e/loo
p
.
c: drop
r
e
d
undant
c
o
ntext a
r
guments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Ve
r
d
o
o
l
aege
source
/
l
o
op
.
c: drop redund
a
nt nb_par argum
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
imp
l
em
e
nt c
l
oog_
l
oop_
s
calar_eq in terms of cloog_
l
oop_c
o
n
sta
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdool
a
eg
e
fix implementa
t
ion
o
f cloo
g
_loop_
s
calar_
g
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
V
erdoolaege
s
ou
r
ce
/
is
l
/domain
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaeg
e
cloog_loop_ne
s
t: also
i
ntro
d
uce a nesting for the deepest
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verdoolaeg
e
c
l
oog_loop_n
e
st:
make loop dis
j
oint before inse
r
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sve
n
Verdoolaege
cloog
_
loop_disjoint
:
fix ove
r
-e
a
ger optimizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
erdoolaege
update isl for
f
ix in
gist computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdool
a
ege
update isl for
fi
x
in co
n
vex
h
ull com
p
utation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
ege
update isl
f
or improved s
e
t di
f
ference implementatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
laege
is
l
b
a
cken
d
: detect e
q
uali
t
ies on all sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verd
o
olae
g
e
o
nly turn o
n
warni
n
gs i
n
t
op level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdo
o
laege
don'
t
con
s
truct guar
d
s on
express
i
ons that tur
n
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoo
l
a
ege
k
e
ep
track of offsets of stri
d
ed loops an
d
use
t
hem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Poly
L
i
b backend:
c
l
e
a
n
up
s
i
m
plif
i
catio
n
of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
add
zero to C
l
oog
S
tate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verdoolae
g
e
a
dd cloog_in
t
_
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
a
v
oid "echo
-e" in te
s
t/Makefile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-10
Sven Verd
o
olaege
cloog_equal
_
t
y
pe:
f
ix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-02
Sven Verdoolaege
update is
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
get_submodules
.
s
h: no longer init
i
alize s
u
bmod
u
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
Sven Ver
d
oolaege
cloog_domain_stride: handl
e
union domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
Sven V
e
rdoolaege
update isl for
isl_
s
et_dim
_
re
s
i
d
ue
_
class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
S
ven Verdoolaege
sour
c
e/clast
.
c: in
s
ert_loop:
d
r
o
p
re
d
undant arg
u
me
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
laege
update is
l
t
o version 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
do
n
't
assume compiler
is
g
cc when turning on wa
r
nings
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
dool
a
ege
cloog_p
r
ogram
_
pprint:
r
emove dubious escape
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
configure
.
in: don't assume compiler
is
g
c
c
w
h
en s
e
tting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
cloog_loop_stride:
p
roperly handle domains with f
i
xed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
upd
a
te isl for fix in isl
_
b
asic_set_di
m
_residue
_
class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
Verdoolaege
PolyL
i
b backen
d
: cloog_doma
i
n_stri
d
e: handl
e
singleton
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoola
e
ge
test/Make
f
ile
.
am:
a
dd all k
n
own good versions for tes
t
_run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaeg
e
u
pdate isl
f
or gbr bas
e
d
s
ampling
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verdoolaege
update is
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Ve
r
d
o
olaege
i
s
l backend: fix return of cloo
g
_
domain_convex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ven
V
erdoolaege
Makefile
.
am
:
explici
t
ly set DIST_S
U
B
D
I
RS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
pda
t
e installation
i
nstructi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
v
e
n Verdoola
e
ge
configure
.
in
:
build isl backend by
def
a
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
configure
.
in:
a
l
l
o
w not building polylib ba
c
kend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sve
n
Ver
d
ool
a
ege
d
o
c: document clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdool
a
ege
clast: include cop
i
es of CloogSta
t
ements ins
t
ead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en
V
erdoolaeg
e
c
loog_
s
tatement_copy: add
m
issing copy
o
f s
t
ate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdo
o
la
e
ge
doc:
fix some spelling
mista
k
es
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoola
e
ge
r
ename ppr
i
nt
t
o clast_p
p
rint to avoid namespace pollution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ve
r
doolaeg
e
make
Clo
o
gDo
m
ain and Cloog
S
catteri
n
g
completely
o
paq
u
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Ve
r
doolaege
cloog_names_
a
lloc: fix typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2009-06-01
Sven Ver
d
o
olaege
clast:
extract enu
m
c
l
ast
_
expr_
t
ype from out of clast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sve
n
Verdoo
l
aege
up
d
ate
R
EADME for new pat
c
h submitting procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
avoi
d
recomput
a
tion of
"on
e
" (and -1) by storing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
do
o
laege
clast
:
make
global struct clast_
s
tmt_ops
const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaeg
e
move all global variable
s
to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
e
r
d
o
ol
a
ege
move
isl_ctx from CloogOptions to CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verdoola
e
ge
clo
o
g_opt
i
ons_read:
f
ix misn
a
m
e
d argc
and argv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoo
l
a
ege
cloog_domai
n
_dimension: return actual dimension (i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolaege
PolyLib
ba
c
kend: stor
e
number o
f
parameters
in CloogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ver
d
oolaege
c
l
oog_names_allo
c
: in
i
tialize structure w
i
th default
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdool
a
ege
upd
a
t
e
docs to in
t
r
oduc
t
i
o
n of Cloog
S
cattering and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
PolyLib backe
n
d: disa
b
l
e
c
loog_scatt
e
ri
n
g_lazy_block
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
ven V
e
r
d
oolaege
clast: drop loops with f
r
actional low
e
r
and upper bounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
configu
r
e
.
in: set
A
C_C
O
NFIG_
M
A
CRO_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ve
r
doolaege
insert
_
modulo_guard: move r
e
duction of gua
r
ds t
o
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erd
o
o
laege
s
ource/
c
last
.
c: in
s
e
rt_mod
u
l
o_guard: only compute bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
olaege
cloog_constraint_eq
u
al_type: treat all modulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoolaege
cloog_l
o
op_
s
implify: itera
t
e over s
i
blings i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
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
Sve
n
V
erdoolaeg
e
update isl for new
v
er
s
ion of isl_basic_map_gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
i
sl ba
c
k
en
d
: cl
o
o
g_domai
n
_simp
l
ify_un
i
o
n
:
u
se isl_set_coal
e
sce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
Ex
t
ract out
back
e
nd specific cloo
g
_domain_simplify_un
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
o
l
aege
isl
backend: use isl_
s
et_bound
e
d_simple_h
u
ll
f
or comput
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
clast
.
c:
i
n
sert extra
m
o
dulo guards involving l
o
op
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl backen
d
: div_exp
r
: free
d
iv after use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
ege
upda
t
e isl
f
or change
i
n internal representa
t
ion
a
ffect
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoola
e
ge
update isl f
o
r
normaliz
a
ti
o
n
during
convex hull computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c
: c
l
ast_
r
educ
t
ion_cmp: treat all unary "reductio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
pretty
p
rinte
r
:
drop " " in front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven
V
erdool
a
ege
remove c
p
p
option (default
i
ng to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaeg
e
turn on "
e
q
ualit
y
spre
a
ding" (esp) by de
f
ault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove
csp option (defaulting to true
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
do
o
la
e
ge
pr
i
nt exec
u
tion time again
i
f
sys/resou
r
ce
.
h is
a
vailable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven V
e
rdoolaege
only print
exec
u
ti
o
n t
i
m
e
i
f
sys/resou
r
ce
.
h is
a
v
ailable
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaeg
e
i
s
l backend: support existentially q
u
antified
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdo
o
l
aege
is
l
back
e
nd: drop exi
s
tential
s
whe
n
c
o
m
puti
n
g fal
l
back
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
ege
update isl for
plug for is
l
_
ma
p
_sim
p
le_hu
l
l memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
p
dat
e
isl for changed calling co
n
vent
i
ons of isl_basic_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Ver
d
oolaege
update isl f
o
r change
i
n calling conventi
o
n of
some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
o
olaege
update
is
l
for refco
u
nted isl_c
o
nst
r
a
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
update
i
sl for introduction of
isl_dim structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
cl
a
st
.
c:
i
nsert_gu
a
rd: i
n
sert modulo guar
d
s
b
ased on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaeg
e
clast
.
c
: extract
o
ut
cloog_const
r
aint_se
t
_n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
c
l
ast
.
c: extract
o
ut commo
n
c
l
oog
_
cons
t
raint_varia
b
l
e_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoo
l
ae
g
e
clast: allow
c
last_term to represent multiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
o
laege
clast
.
c: extract out
c
omm
o
n c
l
o
o
g_names_
n
a
me_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
m
i
n
o
r chang
e
s
to C
l
o
ogC
o
n
straint abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
Fix up op
t
ional incl
u
sion of backu
p
mp_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven
V
erdoolaege
c
l
o
og/constraints
.
h: don't put #inc
l
ude's inside extern "
C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoola
e
ge
drop
u
nused clo
o
g_cons
t
raint_s
e
t_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoo
l
a
ege
Add b
a
c
kup mp
_
get_memory_fu
n
ctions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
u
pdate isl for compatibility
w
ith old gm
p
s
commit
|
commitdiff
|
tree
2008-11-11
Sven
Verdo
o
laege
update isl for improv
e
d pipli
b
effi
c
iency
commit
|
commitdiff
|
tree
next