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
isl backend: cloog_domain_project: make sure all divs are known in result
2010-06-28
Sven
V
erdool
a
ege
isl backend
:
cloog_do
m
ain_proje
c
t: make sure
a
l
l
d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-11
S
ven Verdool
a
e
g
e
update isl f
o
r
isl_map_is_si
n
gle
_
valued
commit
|
commitdiff
|
tree
2010-05-06
Sven V
e
r
doo
l
aege
Turn
o
ff backtr
a
ck by
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
S
ven
V
er
d
oolaege
cloog
_
loop_gen
e
rate: optimize the loop domains after
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Verdoolaege
cl
o
og_loo
p
_generate: restrict inner
l
o
op
domains before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
S
v
en Verdoolae
g
e
cloo
g
_loop_generate_componen
t
s: extract o
u
t extra
c
t_co
m
p
o
nent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven
V
erdoolaege
p
a
r
ameterize cloog_l
o
op_component
s
_tarjan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update isl for improved gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
s
p
l
it
p
arameter domains when c
o
n
v
ex hull opera
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
i
s
l
b
ackend: clean up read
i
ng functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
update isl
f
or change in isl
_
set_gist argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolae
g
e
simplify
cloog_loop_
m
erge implementation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
e
g
e
clo
o
g_
d
omain_union: free
a
rgum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
genera
t
e loops for
a
ll dime
n
sion
s
if
-
otl 0 is spec
i
f
ied
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-17
Sven
Ver
d
oolae
g
e
c
last
.
c: inse
r
t
_
guard: make
sure
enough
sp
a
ce i
s
allocated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-11
Sven
V
erdoolaeg
e
update i
s
l for variou
s
fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
erdoolaege
update isl for isl_bas
i
c_set_fore
a
ch_
c
onstraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
erdoolaege
introduce cloog_co
n
s
traint_set
_
f
o
re
a
ch_c
o
n
straint
abstractio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_backend: cloo
g
_do
m
ain_read_scattering: read scatteri
n
g
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
b
a
ckend
:
s
catte
r
in
g
relati
o
n now maps
domain
dimens
i
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
isl
bac
k
end: cloog_domain_re
a
d_scattering: allow
union
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaeg
e
update i
s
l
f
o
r readin
g
of e
x
t
e
nded PolyLib fo
r
mat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
dool
a
e
g
e
allow building without isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
remove P
o
l
yLib
b
acke
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
V
e
rdoolaege
create pkg-config
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Ver
d
oolaege
make in
s
t
al
l
ed
h
e
a
der files independent
of con
f
igure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Ve
r
doolaege
mo
v
e P
o
lyLib inde
p
endent
f
iles
out
o
f p
o
l
ylib subdi
r
ect
o
r
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
make co
n
s
traintset
.
c PolyLib independent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add
more
c
l
oog_seq_* functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
a
dd cloog_matrix_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
Verdo
o
laege
add cloo
g
_int_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add cl
o
o
g_matri
x
_
p
ri
n
t_str
u
ct
u
re
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaege
mo
v
e lower-bounds fix-up from cloog_loop_stri
d
e to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add cloog_int_cdiv
_
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
dr
o
p
s
p
ecial handling of constant term while inserting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
a
e
ge
add some more
c
loog_
i
nt_t com
p
arison operati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
cloo
g
_matrix_print: print number
o
f rows and columns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add cloog
.
texi t
o
di
s
tribut
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verd
o
ola
e
ge
a
dd sor1d fil
e
s t
o
distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
make CLoo
G
core completely backend-independent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaeg
e
update domain
a
nd scatt
e
ring reading funct
i
ons to
c
hang
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
cloog_loop_
s
impl
i
fy: simplify
u
nions be
f
or
e
simplifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sv
e
n Ve
r
doolaege
cloog
_
loop_gener
a
te: detect compo
n
ents and gen
e
r
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
update isl for isl_set_follows_at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sv
e
n Verdoolaeg
e
cloog_loop_generate: continue recursing eve
n
if only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Ve
r
d
o
olaege
cloog_loo
p
_g
e
n
e
rate:
don't project in "scalar" case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoo
l
aege
c
l
o
o
g
_loop_generate: sp
l
it o
f
f
r
estriction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
cloo
g
_
loo
p
_g
e
nera
t
e
: separate restriction and projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
e
n
Verdool
a
ege
s
o
ur
c
e
/loop
.
c: separate
out level_is_consta
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
cloog_loop
_
so
r
t
: separa
t
e out cloog_
l
o
o
p_coun
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
e
n V
e
rdoolaege
sourc
e
/loop
.
c: drop red
u
ndant context arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sv
e
n
V
e
r
doolaege
sou
r
c
e
/
loop
.
c: d
r
op redu
n
da
n
t
nb_par argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven V
e
rdoolaege
i
mplement cloog_loo
p
_scalar_
e
q i
n
t
e
rms of cloog_loop_consta
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
Verdoolaege
f
ix implem
e
ntatio
n
of cloog_l
o
op_scalar_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
source/isl/domain
.
c: fix
t
yp
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdool
a
ege
cloog_lo
o
p
_nes
t
: a
l
s
o
int
r
o
d
uce a n
e
sting for the d
e
e
pe
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Ver
d
ool
a
ege
cloog_loop_nes
t
: make loop disjoint
be
f
ore inserting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
rdoolaege
cloog_loop_disjoi
n
t: fix over-eager optimi
z
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
up
d
ate isl for
f
ix in gist
computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
update isl
for fix i
n
convex h
u
l
l
compu
t
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolaege
update isl for im
p
roved set diff
e
rence implementation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Ve
r
doola
e
ge
isl bac
k
end
:
det
e
c
t
equalities on all s
e
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-07
S
v
en V
e
rdoolaege
only t
u
rn on warning
s
i
n
to
p
level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
erdoolaege
don't constr
u
ct guards on
express
i
ons that turn out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
S
ven Verdoolae
g
e
keep track of
offsets of stride
d
loops a
n
d
u
se them
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
S
ven Verd
o
olaege
PolyLib bac
k
end: c
l
ean up sim
p
l
i
fication of cons
t
raints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
olaege
add zero
t
o CloogState
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
o
lae
g
e
ad
d
c
l
oog_in
t
_le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
avoi
d
"echo -e" in test/Ma
k
efile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-10
Sven Verdoolaege
cloog_
e
qual_type: fix
t
ypo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-02
Sven Verdoolaege
u
p
d
a
te i
s
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
ge
t
_su
b
modules
.
s
h
: no
l
onger
initialize
submodules
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
Sve
n
Verdoolaege
cloog_d
o
main_
s
trid
e
: handle un
i
on dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-10-05
S
v
e
n V
e
rdoolaege
update isl for isl_set_d
i
m_re
s
idue_c
l
ass
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-24
Sven Verdoo
l
aege
source/clast
.
c: insert_loop: drop redun
d
ant argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
update
i
sl
t
o version 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
don't
a
ssume com
p
iler is gcc when turning on w
a
rnin
g
s
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdool
a
ege
cloog_program_pprint
:
remove
dubious escape
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoola
e
ge
configure
.
in: don't
assume com
p
iler is gcc when setting
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
cloog_loop_st
r
i
d
e: prope
r
ly handle domains
with fixed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
update isl for
f
ix in isl_basic_
s
e
t
_
d
im_resi
d
ue_class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
PolyL
i
b backend: cl
o
og_dom
a
in_stride: hand
l
e singlet
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaeg
e
test/Ma
k
efil
e
.
am: add all
know
n
good versions
for test_run
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
update isl f
o
r gbr b
a
se
d
sa
m
pling
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
u
p
da
t
e
isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
Sven Verd
o
olaege
isl b
a
ckend: fix return
o
f
cloo
g
_doma
i
n
_
convex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolaege
Mak
e
file
.
a
m
: explicitly set DI
S
T_SUBDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoolaege
upda
t
e installation instructio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
configure
.
in
:
bui
l
d isl ba
c
kend
b
y de
f
a
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
configure
.
in: a
l
l
o
w
not build
i
ng po
l
ylib backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven
V
erdoolaege
d
oc: docum
e
nt clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
clas
t
: include copies of Cloo
g
S
t
atem
e
nts instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ve
r
d
o
olaege
cloog_s
t
a
teme
n
t
_copy: a
d
d missing copy of
s
tate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sv
e
n Verdoolaege
doc:
f
ix some
s
p
e
lling mi
s
takes
commit
|
commitdiff
|
tree
2009-06-05
Sve
n
Verdoolaege
rename pprint to
clast_pp
r
int to avoid namespace po
l
lution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
S
ven Verdo
o
laege
make C
l
oogDomain a
n
d Clo
o
gScatterin
g
completely opaque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
S
v
en Verdoolaege
c
loog_n
a
mes_alloc: fix
t
y
po in comment
commit
|
commitdiff
|
tree
2009-06-01
S
v
e
n
V
e
rdool
a
ege
clast:
extract enum cla
s
t_ex
p
r_t
y
pe from out o
f
clast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven
Ve
r
doolaege
u
p
d
ate REA
D
ME
f
or new patch su
b
mitting
procedu
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdoolaege
a
v
oid re
c
omp
u
tati
o
n of
"
one" (a
n
d -1) by storing a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next