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_domain_lazy_isconstant: add extra argument to retrieve constant value
2009-10-12
Sven V
e
rdo
o
laege
get_subm
o
dule
s
.
sh: no longe
r
initialize
sub
m
odul
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
cloog
_
d
omain_stri
d
e
: handle union domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-05
Sve
n
Verdoolaege
u
p
date isl for isl
_
set_d
i
m_residue_class
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Sve
n
Verdoolaege
source/clast
.
c: ins
e
rt_loo
p
: dr
o
p
redun
d
ant
a
rgument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verd
o
olaege
c
l
oog_l
o
op_
s
tri
d
e: proper
l
y han
d
le
domains with fixe
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaeg
e
update isl for f
i
x
i
n isl_
b
asic_s
e
t_dim_residue_cl
a
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoola
e
ge
P
o
lyLib backen
d
: cloog_dom
a
in
_
st
r
ide: handle singlet
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
t
es
t
/Make
f
ile
.
am: add a
l
l known good
v
ersions for
test_run
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
update
i
sl for g
b
r based
sampling
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Verdoolae
g
e
update isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdo
o
l
a
ege
is
l
backend: fix return of cloog_domain_convex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven
Ver
d
o
ola
e
ge
Ma
k
efile
.
am: explicit
l
y
set
D
IST_SUBDIRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolae
g
e
u
p
d
a
te installation instr
u
c
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoolaege
configure
.
in: b
u
ild isl backen
d
by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verdool
a
e
ge
configure
.
in: a
l
low not building
polyli
b
backend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verd
o
olaeg
e
doc: docume
n
t clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
S
v
en Verdo
o
laege
c
last: include copies of Cloo
g
S
t
a
tements ins
t
ead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
clo
o
g_sta
t
e
m
e
nt_cop
y
: add
mi
s
sing co
p
y
of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Verdoolaege
doc
:
fix some spelling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sven
V
erdoolaege
rename pprint to clas
t
_pprint to
avoid nam
e
space pol
l
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdool
a
ege
m
a
k
e C
l
oogDomai
n
and
C
loogSc
a
ttering
c
ompletel
y
opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sv
e
n
Verdool
a
ege
cloog_
n
a
m
es_a
l
loc: fix typo in
c
om
m
ent
commit
|
commitdiff
|
tree
2009-06-01
Sven
Verdoolae
g
e
clast: extra
c
t enu
m
clast
_
expr_type from ou
t
of c
l
ast_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoo
l
a
e
g
e
update README for ne
w
p
a
t
ch submitting
p
roc
e
dur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdool
a
ege
avoid recomputa
t
ion of
"one" (an
d
-1) b
y
s
t
oring a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
ge
clast: m
a
ke globa
l
stru
c
t
clast_
s
tmt_op
s
con
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rd
o
olaeg
e
move a
l
l g
l
obal
variables
t
o CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en
Verd
o
ol
a
e
g
e
move isl_ctx
f
r
o
m C
l
oog
O
ptions to CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Ve
r
doolaeg
e
cloog_options_rea
d
:
f
i
x misna
m
ed argc and ar
g
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Ver
d
oolaege
cloog_doma
i
n_dimension: return actual
d
imension (i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
Poly
L
ib
backend: store n
u
mber
o
f
p
a
rameters in
C
loogDomai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doo
l
a
e
ge
cl
o
og
_
names_a
l
loc:
i
nitializ
e
structure with default
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven V
e
r
doolaeg
e
update docs to introduction of CloogScatteri
n
g and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
P
o
lyLib
b
acke
n
d
:
disable cloog_s
c
attering_l
a
zy_
b
lock
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaeg
e
i
ns
e
rt_
m
odul
o
_gua
r
d:
m
ove
r
ed
u
c
t
ion of
guards to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
source/cla
s
t
.
c
:
in
s
ert_modulo_guar
d
:
o
nly compu
t
e
b
ound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ve
r
doolaege
cloog_c
o
nstraint_equ
a
l_type: treat al
l
modulo guards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
Verdoolaege
cl
o
og_l
o
op_s
i
m
plify: iterat
e
o
v
e
r siblings instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
o
l
aeg
e
Remove lines re
f
erring to "numbe
r
o
f
polyh
e
dra"
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
up
d
ate isl for new versio
n
of
isl_bas
i
c
_
map_
g
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl
b
a
cken
d
: cloog
_
domain_simplify
_
union: use isl_set_coalesc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
Ex
t
r
act ou
t
backend speci
f
i
c
cloo
g
_domain_si
m
pl
i
f
y
_
union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
ege
is
l
b
a
ckend: use
isl_set_bo
u
nde
d
_s
i
mple_hu
l
l
for compu
t
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
clast
.
c: i
n
s
ert
extra modulo guards in
v
olving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
isl backend: div
_
e
x
pr: f
r
ee div aft
e
r
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolaege
upda
t
e isl
f
or change in internal repr
e
s
en
t
ation aff
e
cting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoola
e
ge
updat
e
isl fo
r
normalization during con
v
e
x hul
l
computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c: cla
s
t_reduction_cmp: treat all
u
n
ary "reduct
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdool
a
eg
e
pretty p
r
inter:
drop "
"
in f
r
on
t
of ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verd
o
o
laege
remo
v
e
cpp option (defaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdo
o
l
aege
turn
on
"equ
a
lity spreading" (esp) b
y
default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verd
o
olaege
remov
e
csp option
(
def
a
ulting
t
o true
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolaege
print exec
u
tion t
i
me again if s
y
s/resource
.
h i
s
a
v
ailable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
V
er
d
oola
e
g
e
is
l
backend: support
e
xiste
n
ti
a
ll
y
quanti
f
ied
va
r
iable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ve
n
Verdoolaege
isl
backend:
drop
existe
n
tials wh
e
n comput
i
n
g
fallback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ver
d
oolaeg
e
up
d
ate isl f
o
r plug f
o
r
isl_map_simple_hull me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
update isl for changed
c
a
l
ling conventions of isl_basic_set
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
o
olaege
updat
e
isl f
o
r
change in calling convention o
f
some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven V
e
rdool
a
ege
updat
e
isl for refcounted isl_const
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update
isl
for introduc
t
io
n
of isl_dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
clast
.
c: insert_guard
:
insert
modulo guard
s
based
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
o
olaege
cl
a
s
t
.
c: extract out cloog_constraint_set_
n
_iterato
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
cla
s
t
.
c: extra
c
t
o
ut
common clo
o
g
_const
r
aint_variable_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
erdoolaege
clas
t
:
a
llow clast_term
t
o represent m
u
lt
i
ple of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven
Verdoolaege
c
las
t
.
c: extract
o
ut common cloog
_
names_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
m
i
nor changes to Cloog
C
o
n
straint ab
s
tractio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
Fix up option
a
l inclusi
o
n of
backup mp_get_mem
o
ry_
f
unc
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
S
v
en Ver
d
ool
a
ege
cloog/
c
onstraints
.
h: don't put
#include's i
n
side ext
e
rn "C"
commit
|
commitdiff
|
tree
2008-12-23
Sve
n
Verd
o
o
l
a
eg
e
drop unuse
d
cloog_con
s
traint_set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
doolaeg
e
Add
b
ackup mp_get_memory_functions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n Verdool
a
e
ge
upd
a
te isl for compatibility with
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdo
o
laege
update isl for improved piplib
efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
Look for
more opportu
n
ities for b
l
ocking
sta
t
ements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_program_read: delay co
n
structi
o
n o
f
bloc
k
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
olaege
cloog_
l
o
op_separ
a
te:
combine loops
w
ith ident
i
cal domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdo
o
laege
c
l
oog_loop_separate: mi
n
o
r
clean
-
ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oola
e
ge
c
loog
_
lo
o
p_s
e
parate: ex
p
loit dis
j
oi
n
tness of loop
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oo
l
aege
clast
.
c:
s
ort
e
qua
t
ions i
n
g
uard clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
O
p
t
ionally refrain from prin
t
i
ng an
y
informati
o
na
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n V
e
rdoolaege
cla
s
t
.
c: do
n
't inse
r
t any "scalars" fo
r
le
v
el 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoo
l
a
ege
sourc
e
/isl: fix ty
p
os in c
o
m
m
ent
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
ven Verd
o
olaege
Explicitly
s
p
ecify -r
p
a
t
h for l
i
b
tool libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdoolaege
include/
c
lo
o
g/domai
n
.
h: avoid
u
se of C++
k
eyword "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
a
dd i
s
l backe
n
d
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
o
p
tion
s
.
c: remov
e
-ra
y
s
o
ptio
n
commit
|
commitdiff
|
tree
2008-10-03
S
v
e
n Verdoolaege
Handle 0D pr
o
blem
s
by adding a
0
t
h
level to
t
h
e
main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
v
en Ve
r
doola
e
ge
cloog_loop_merge
:
ensu
r
e
loop doma
i
ns are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
erdoolaege
i
ns
e
rt_guard: make su
r
e
c
oe
f
ficient in left h
a
nd side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verdoola
e
ge
i
n
s
ert_guard: a
v
oid out-
o
f-bound
s
access
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Ve
r
doolae
g
e
Introduce
C
loogCon
s
tr
a
int
a
b
straction
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
e
rdoolaege
Ren
a
m
e Cloo
g
Const
r
a
ints to Cloo
g
C
o
nstraint
S
et
commit
|
commitdiff
|
tree
2008-10-02
Sven Verd
o
olae
g
e
fix typos in insert_loop
comments
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
cl
o
og_dom
a
i
n
_p
r
i
n
t
_s
t
ructure: print all
p
olyh
e
d
ra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdo
o
laege
Let cloog_domain_
l
owerboun
d
_update return
the up
d
ated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
Verdoolaege
Combin
e
c
loog_scattering_la
z
y_
i
s
s
calar a
n
d
cloog_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
olaege
i
nclude/c
l
oog/domain
.
h: r
e
move d
e
claration
s
of
(
u
nused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
t
est/test_run:
o
nly
check sim
p
lified
hull gen
e
rat
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoola
e
ge
test/test_run: also
c
h
eck correctness of
simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdool
a
ege
cloo
g
_do
m
ain_sim
p
l
i
fy: avoid out-o
f
-bounds
a
rra
y
access
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
Tr
e
at par
a
meter domains differently
commit
|
commitdiff
|
tree
next