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
scan.cc: fix typos in comments
2014-03-19
Sv
e
n Ver
d
oolaege
scan
.
cc: f
i
x typos in comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoola
e
ge
pet
_
s
cop_rest
r
ic
t
_skip:
f
ix typo
i
n er
r
o
r
message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
V
erdo
o
l
a
e
ge
PetScan
:
:is_nested_allowed: ch
e
ck for
s
ki
p
conditions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
p
r
int
.
c: print_pet
_
expr: fix me
m
or
y
managemen
t
a
nnotat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
dr
o
p dead method PetScan::
i
s_af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c: embed_ac
c
ess: drop redund
a
nt variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop_
f
ilt
e
r_
s
kip: av
o
i
d
r
ecompu
t
a
t
ion o
f
t
es
t
exp
r
ession
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
l
a
e
g
e
PetS
c
an::e
x
trac
t
_non
_
affine_c
o
n
d
i
tion: remov
e
re
d
u
ndan
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en v
a
n Haastregt
AX
_
DETEC
T
_GIT_HEAD: avoid
e
mpty version string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
lae
g
e
se
p
arate
o
ut shared
PetScan::update_scop_start_e
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n Verdoolaege
pet_expr_dump: onl
y
print expr->acc
.
ref_id if it is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c: s
t
m
t
_
p
ropag
a
t
e_p
a
rams
:
als
o
update acce
s
ses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
scop
.
c:
s
t
mt_c
o
llect
_
pa
r
am
s
: also col
l
ect para
m
e
te
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolae
g
e
scop
.
c
: *_
c
ollect_p
a
rams: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
p
e
t_scop_
a
lign_params:
i
mprove err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Ver
d
oolaege
pet
_
scop_a
l
ign_
p
a
r
ams:
renam
e
"dim" variabl
e
to
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
Verdoola
e
g
e
Pet
S
c
a
n::ex
t
ract_n
e
sted: pl
u
g
m
emory leak
on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
s
can
.
cc: c
l
ear_assignment: fix logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan::extra
c
t(IfStmt *): clear assignments in
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetSc
a
n::extra
c
t_infin
i
te_
f
o
r: also clear assignm
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
P
e
t
Scan::extract
_
fo
r
:
a
lways keep virtual iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oo
l
ae
g
e
mod
i
fy tests/unsigned3
.
c test
c
ase
to use the it
e
r
a
tor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoo
l
aege
wh
e
n aut
o
dete
c
ti
n
g only
skip initi
a
l decl
a
r
atio
n
s in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ver
d
o
olaege
do n
o
t extract loop a
r
ound partial body
when autodetecting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ve
n
Ver
d
oolae
g
e
PetScan::extract
_
non_affine_condition
:
take
statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdool
a
ege
PetSc
a
n:
:
extract_for: do not allow init
i
al value to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdo
o
l
aege
PetScan
:
:extract_for: c
l
e
ar as
s
ignment to it
e
r
ator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven
V
erdoolaege
Pe
t
S
c
an:
:
unsuppo
r
t
ed
:
pa
s
s
fixed
c
haracter str
i
n
g
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n V
e
r
dool
a
ege
configure
.
a
c:
a
dd l
l
v
m-config --sys
t
e
m-libs
t
o CL
A
NG_LIBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
upd
a
t
e
is
l
for
s
upport for recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven Verdoolae
g
e
Makefile
.
am: avoid use of
INCLUDES variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven V
e
rdo
o
l
a
ege
AX_DET
E
CT_GIT_HEAD: detect git v
e
rsion with ne
w
e
r
versi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
S
ven Verdoolaege
READM
E
: add contact info
r
mation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
A
l
bert
C
oh
e
n
Sup
p
o
r
t for additional
bina
r
y/u
n
ary operators
in C
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sve
n
Verdoolaege
add affine assumptions to th
e
c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
S
v
e
n
V
e
r
doo
l
aege
pars
e
__p
e
nc
i
l_assu
m
e s
t
atem
e
nt
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
S
v
en Verd
o
olaege
e
x
tract
o
ut PetScan::extr
a
ct_argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
S
ven Verd
o
olaege
add s
u
pport for structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
add pet_s
c
op_co
l
lect_tagged_must_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
a
d
d
p
et_scop_c
o
llect_must_
k
ills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c:
e
xtract out exp
r
_collect_acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
scop
.
c: sco
p
_co
l
lect_acce
s
s
es: rename "dim" var
i
abl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
a
dd
p
et_expr_access_get_tagged_may_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
a
d
d pet
_
s
c
op_collect_tag
g
ed_{may,m
u
st}_{
r
e
ads
,
w
r
ites}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
e
x
port pet_
e
xp
r
_access_
g
e
t
_may_acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
sco
p
.
c
:
expr_c
o
llect_acces
s
es: plu
g
memory leak
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaeg
e
extract out pe
t
_clang_b
a
s
e
_type into separate
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolae
g
e
scan
.
cc:
e
xtract out
subscript
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
s
c
op
.
c: ex
t
ract
out *_i
s
_virtual_array f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pet_exp
r
_from_index_and_depth: extract out
exten
d
_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
introduce pet_
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
u
s
e isl_*_reset_user in
s
tead of *_an
o
nymi
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
update
i
sl for s
u
pport for member acces
s
es in
AST
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
pet_
e
xpr_free: return struct pet_expr *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verd
o
olaege
PetScan::reso
l
ve_nested(
s
truct pet_s
t
mt *): re
m
ove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdo
o
l
a
ege
P
e
tSca
n
::r
e
solve_nested(struct
pet_expr *): remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
V
erdoolaege
scan
.
cc
:
c
om
p
ute_wrapp
i
ng:
re
m
ove
u
nused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
Verdoolae
g
e
s
c
an
.
c
c
: extrac
t
_
skip
_
seq:
r
emove unused
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
s
c
an
.
cc: univ
e
rsally: remove unused
v
aria
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetScan:
:
e
xtract_affine
:
remove u
n
used
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verd
o
olae
g
e
Makefile
.
a
m
: add dummy C++ source file to pet
and pet_check_code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ver
d
oolaege
s
top
linking in
c
lang
libra
r
ies direc
t
ly i
n
to
pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
also print clan
g
version when prin
t
ing pet
v
er
s
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
READM
E
: upda
t
e
l
atest release of LLVM/cl
a
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven
V
e
r
d
o
olaege
parse
.
c
:
remove spur
i
ous dupl
i
cat
e
de
c
lara
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolae
g
e
pet_scop_free: return struct pe
t
_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdo
o
laege
PetScan
:
:
ex
t
ract(S
t
mtRange, bool,
b
o
ol):
b
r
eak out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
erdo
o
laege
p
e
t
_scop_c
o
llect_{read
s
,writes}
:
take argument
s
i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven
Verdoolaege
pet_scop_collect_{
r
eads
,
wri
t
es}: intersect ranges with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdool
a
ege
s
c
an
.
cc: extrac
t
_depth: use corre
c
t
d
im
e
nsion type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaeg
e
p
e
t_expr_from_acce
s
s_and_
i
nd
e
x: plug
memory leak
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sve
n
Verd
o
o
laege
configure
.
ac: remove explicit dependence on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
d
i
scard i
n
completely e
x
tracted compo
u
nd state
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Ver
d
o
olaege
fix handling of c
o
mpound statements with initial p
a
rtial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
pet
_
trans
f
orm_C_s
o
ur
c
e: h
a
ndle
m
ul
t
i
ple explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
e
rdoolae
g
e
add pet_sc
o
p_p
r
int_origin
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
g
e
add pet_transform_C_sour
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
extend PetASTCon
s
u
m
e
r to
e
x
t
ract a s
c
o
p for each fu
n
cti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
o
laeg
e
po
s
t-proscess
sc
o
p
s
insi
d
e PetASTC
o
nsumer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
a
ege
a
d
d
pet_stmt_b
u
ild_a
s
t_ex
p
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
d
d pet_stmt_print_b
o
d
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
a
dd pet_
s
cop_has_data_
d
e
p
end
e
nt_conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add p
e
t_scop_has
_
data_de
p
endent_acces
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
pet_check_code
:
use index e
x
pressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
p
e
t
_
check_cod
e
: use isl
_
id_to_pw_aff for kee
p
ing track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
update isl for isl_id_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
k
e
ep track of index expres
s
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
scop
.
c:
f
i
x
ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdool
a
ege
u
p
d
a
te
t
est case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
lae
g
e
scop
.
c
: insert_
f
ilter_map:
construct function intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
o
o
laege
scop
.
c: up
d
a
t
e_domain:
u
se function intead of relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
er
d
o
olaege
s
c
op
.
c: update_domai
n
:
rename
variable "dim" to "s
p
a
ce"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoolaeg
e
PetS
c
an::resolve_neste
d
:
use functio
n
to embed arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
Pet
S
can::k
i
ll
:
use pe
t
_expr_kill_from_ac
c
ess
_
and_inde
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ver
d
oolaege
scop
_
add_array: take inde
x
expre
s
sion ins
t
ead of access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
e
rd
o
ol
a
ege
pet_scop_filter: take index expression in
s
t
ead of access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoolaege
use a
n
i
s
l_multi_p
w
_aff to represen
t
a ski
p
c
ondit
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_sk
i
p
_info: us
e
isl_multi_pw_aff to re
p
rese
n
t sk
i
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
PetScan::extract_non_affine_condition: t
a
ke index expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoo
l
aege
s
c
an
.
cc: e
x
tract_
s
kip: use pet_expr
_
from_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next