repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
accept non-affine conditions in if statements
2011-09-26
S
v
en Verd
o
ola
e
ge
accept non-affine
c
o
nditi
o
ns in
i
f statement
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
r
doolaege
pe
t
_scop_a
d
d: al
s
o collect the array
s
i
n
the pet_s
c
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaeg
e
pet_stm
t
: a
d
d
a
r
gument
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aeg
e
pet
_
stmt_from_pe
t
_exp
r
: clea
r
all fields of newly created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update
isl for change in isl_pw_aff_s
e
t_tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
o
nly dis
t
ribute
bu
n
dle
d
su
b
modu
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaeg
e
keep
track of a
s
s
i
gnm
e
nts to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verd
o
o
l
aege
expor
t
PetScan::extract_
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be mo
r
e care
f
ul about
us
i
ng parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
u
p
date isl for
is
l
_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
S
v
en Ve
r
doolaege
handle e
x
t
r
ac
t
ion of scops ins
i
de a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
p
e
t_stmt_embed: handle NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdo
o
laege
pet_expr_is_eq
u
al:
n
o
t equ
a
l
if
access r
e
lation is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolae
g
e
pars
e
.
c:
extr
a
ct_argu
m
ents: plug mem
o
ry
le
a
k on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
update isl for cha
n
ge
i
n is
l
_set_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
upda
t
e is
l
for change in i
s
l_{in,}equ
a
lity_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Ve
r
doolaege
add copyri
g
ht st
a
tement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ve
r
doolaege
pet_scop_extract_from_C_source: use a
C
ompilerInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolae
g
e
clear
a
ssigned_va
l
ue for scalar
s
that
a
re assi
g
ned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
Pe
t
S
can::set_upper
_
boun
d
s: gra
c
efull
y
handle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
r
doola
e
ge
updat
e
i
sl f
o
r ch
a
nge in
s
pa
c
e of isl_
p
w_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
update
isl f
o
r explicit param
e
ter sp
a
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ol
a
e
ge
use isl_space_params
_
allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
upda
t
e
isl
f
or is
l
_spa
c
e_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename isl_dim to is
l
_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
o
laeg
e
u
p
date isl for re
n
ame of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
a
c
cep
t
infinite while
loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add "eq" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
accept compound sta
t
ements with zero statements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
o
la
e
ge
e
x
pr_collect_accesses: us
e
isl_map_has_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
e
ge
check if tuple has id be
f
or
e
ca
l
l
i
ng
i
sl_{s
e
t,map}_get_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
upda
t
e isl f
o
r isl_map_has_t
u
ple
_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
olaege
allow declaration of iterat
o
r in fo
r
l
o
o
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
ven Verdoo
l
aege
update isl for rename of
i
s
l_ma
p
_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ver
d
oolaege
han
d
le "l
i
v
e-out" pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
c
c: extract o
u
t u
p
da
t
e_a
r
rays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verd
o
ol
a
ege
pet
.
cc: extract out
g
et_value_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
a
void wrap
p
ing on some sim
p
le cases o
f
loops with
u
nsigne
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
wrap results of unsigned computa
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
take into account that unsigned it
e
rators
m
ay wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
a
l
l
o
w
l
oop increments
o
f the for
m
i =
i
+
cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oolaege
allo
w
loop incre
m
ents different
f
rom
o
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
olae
g
e
all
o
w loop
i
ncreme
n
ts
o
f the form i +=
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
fix check for "simpl
e
" loo
p
ter
m
ination condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdoolaeg
e
update isl for isl_pw_aff_
m
od
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoolaege
properl
y
handl
e
generic condi
t
ions in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
e
n Ver
d
oolaege
READ
M
E: emphasize th
a
t we need c
l
ang libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaege
update for
rena
m
e of get
I
nstant
i
a
tionL
i
neNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erd
o
olaege
s
c
an
.
cc: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
erdool
a
ege
update isl
f
o
r fix in isl_ma
p
_in
t
e
r
sect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
erdoola
e
ge
a
c
cept affine expres
s
ions where we
expect
a condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
V
er
d
oolaege
update isl for isl_pw_
a
ff_
n
on_z
e
r
o
_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
Verdool
a
ege
initial
vers
i
o
n
of p
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree