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
pet_scop_restrict_skip: fix typo in error message
2014-03-19
S
ven Ver
d
o
o
laege
pet_scop_restrict_skip: f
i
x typ
o
in error
m
essa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
PetScan::is_nested_all
o
wed: check for skip conditions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ver
d
ool
a
e
ge
print
.
c
:
print_pe
t
_
expr:
f
ix me
m
ory management
a
n
notat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
a
e
ge
drop dead m
e
thod PetSc
a
n::is_af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n
Verdoola
e
ge
scop
.
c:
em
b
ed_acces
s
: drop red
u
ndant variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
p
et_scop_filter
_
sk
i
p
:
a
void recomputation of test expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
PetScan::ext
r
act_no
n
_affine_condition:
r
em
o
ve redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
sepa
r
ate out
s
hare
d
PetScan::update_sco
p
_s
t
ar
t
_e
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ve
n
Verd
o
ola
e
g
e
pet_expr_dum
p
: only
p
rint e
x
pr->acc
.
r
ef
_
id if it is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c: stm
t
_propa
g
at
e
_p
a
rams: a
l
so upd
a
t
e acc
e
sses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doo
l
aege
sc
o
p
.
c: stmt_c
o
llect_para
m
s: als
o
c
o
llect par
a
met
e
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
erdoolaege
scop
.
c: *_collect_pa
r
am
s
:
f
i
x er
r
or handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ve
n
Verdoo
l
aege
pet
_
scop_ali
g
n
_params:
improve
e
rror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ver
d
o
olaege
p
e
t
_
scop_
a
lign_params: r
e
name "d
i
m"
v
a
r
i
a
ble to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
PetS
c
an
:
:extract_ne
s
ted: plug memory leak o
n
e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
sca
n
.
cc: clear_a
s
signment: fix l
o
gic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
o
l
a
ege
PetScan:
:
extract(I
f
Stmt *):
c
le
a
r assignments in body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erd
o
o
laege
PetSc
a
n::e
x
tract_infinit
e
_
f
o
r: also cl
e
a
r
assig
n
me
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
ae
g
e
PetScan::extract
_
for: always
keep virtual ite
r
a
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
mod
i
fy tests/unsigned3
.
c tes
t
case
t
o
use
t
he iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven Ve
r
doolaege
when a
u
to
d
etecting
o
nl
y
skip initial declarat
i
o
n
s in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdoolaege
do not extra
c
t l
o
op around p
a
rtial body when au
t
odete
c
ting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en
Verdoolaege
P
etScan::extract_
n
on
_
affine_co
n
dition: t
a
ke
statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
v
e
n Verdoolaeg
e
P
e
tS
c
an::ext
r
act_for: do
not allow initial value to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en Verdoolae
g
e
PetScan:
:
extrac
t
_for: clea
r
assignment
t
o
iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven V
e
rdoolaege
PetScan::unsupported:
p
ass fixed character strin
g
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoo
l
aege
configure
.
a
c: add llvm-config --sy
s
tem-l
i
b
s to
C
LAN
G
_LIBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoola
e
ge
u
p
d
a
te isl f
o
r support for rec
e
n
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven V
e
r
doo
l
a
e
ge
Makefile
.
am: avoid
use of
I
NCLUDES variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoola
e
ge
AX_DETECT
_
GIT_HEAD: de
t
ect git version with newer versions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
Sv
e
n Verdoolae
g
e
RE
A
DME: add contact
i
n
f
ormat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Ve
r
doo
l
aege
add affine ass
u
mptions to the context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
par
s
e __pe
n
c
i
l_assume stat
e
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
Sven Verdoolaege
extrac
t
out PetScan::ext
r
act_
a
rgu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven Verd
o
olaege
add su
p
port
for structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoo
l
aege
add pet_scop_collect_t
a
gged_mu
s
t_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
add
pet_
s
cop_collect_must_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
scop
.
c: extr
a
ct out
e
x
p
r_coll
e
ct_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
sco
p
.
c: sco
p
_collect_accesses: rename "
d
im
"
va
r
iable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rd
o
olaege
add p
e
t_expr_
a
cc
e
s
s_g
e
t_tagged_may_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Ve
r
dool
a
ege
a
dd pet_scop_collect
_
tagged_{
m
ay,m
u
st}_{reads,wr
i
tes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
e
x
port
p
et_expr_access_get_may_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
Verdoo
l
aege
s
cop
.
c: e
x
pr_collect_accesses: plug
memo
r
y leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
ext
r
act out pet_cla
n
g_base_type into separate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
V
e
r
dool
a
ege
scan
.
cc: extract out subscrip
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
scop
.
c
:
extract out *_is_virtual_array func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pe
t
_exp
r
_
f
rom_index_and_depth
:
extract out extend_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Ver
d
oolaege
i
ntr
o
du
c
e pet_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
use isl_*_reset_user ins
t
ea
d
of *_an
o
nymize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
u
p
date isl for su
p
port
f
or membe
r
accesses in AST
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
V
er
d
oolaege
pet_expr_free: re
t
urn
s
truct pet_exp
r
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
PetScan::resolve
_
nested(str
u
c
t pet_s
t
m
t
*): remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoo
l
a
e
ge
P
etS
c
an::r
e
s
o
lve_nested(
s
truct pet_expr *)
:
rem
o
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
scan
.
cc: com
p
ute_wrappi
n
g:
remove u
n
used
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
dool
a
e
ge
scan
.
cc: e
x
tract_skip_seq: r
e
m
o
ve un
u
sed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdo
o
l
a
e
g
e
scan
.
c
c
:
u
ni
v
ersally: remove
u
nused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
PetScan::extract_
a
f
f
ine
:
remove unus
e
d varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
r
d
o
o
lae
g
e
M
a
kefi
l
e
.
am: add d
u
mmy
C++ source file to pe
t
and pet
_
check_code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
stop linking in cla
n
g
libraries directly int
o
pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
also print clang
v
ersion
w
hen
printi
n
g pet ve
r
sion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
README: update latest release of LLV
M
/cla
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sve
n
V
erdoolaege
parse
.
c
:
r
emo
v
e spurious duplicat
e
declar
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
v
en Verd
o
olaege
pet_s
c
op_f
r
ee: return struct pet_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdool
a
ege
PetScan::extract(StmtRange, bool, bool):
b
re
a
k out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Ver
d
oolaege
pet_
s
co
p
_collect_{rea
d
s,writes}
:
t
ake arg
u
me
n
ts
i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Ve
r
d
o
o
l
aege
pet_s
c
op_collect
_
{reads,writes}: intersect
ranges
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
erd
o
olaege
scan
.
cc
:
extract_d
e
pt
h
:
use corr
e
ct
d
im
e
nsion type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_expr_from_access_and_index: pl
u
g
memory lea
k
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sven
V
erdoolaege
configure
.
ac: remove exp
l
ici
t
d
e
pen
d
ence on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sve
n
Verdoolaege
d
is
c
ard in
c
omplet
e
ly
e
xtracted compound statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdo
o
l
a
ege
fix handl
i
ng of compound statements with in
i
tial pa
r
ti
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
pet_transform_
C
_sou
r
ce:
h
a
ndle multiple exp
l
ic
i
tly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add p
e
t
_
scop_pr
i
nt_orig
i
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
p
et_tr
a
nsform_C_s
o
urc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
exte
n
d PetASTConsumer to extract a scop for each function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
post
-
proscess scops i
n
side P
e
t
A
STConsumer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Ve
r
d
oo
l
ae
g
e
add pet
_
stmt_b
u
ild_a
s
t
_
exprs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
d
oolaege
ad
d
p
e
t
_stmt_print_body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
add pet_scop_has_dat
a
_dependent_co
n
di
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
eg
e
add pe
t
_
scop_has_data_
d
ep
e
ndent_access
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
p
et_check_co
d
e: use index expressi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verd
o
ola
e
ge
pet_c
h
eck_code: us
e
isl_id_to_p
w
_aff for
k
eeping
track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
update i
s
l for isl_i
d
_
t
o_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
keep
track
of index
e
x
pressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop
.
c: fix
t
ypo
in c
o
mm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
update
test cas
e
outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ver
d
o
olaege
scop
.
c: insert_filter_map
:
c
on
s
truct f
u
nc
t
ion int
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
scop
.
c: updat
e
_domain
:
use fu
n
ction
intead of relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
s
cop
.
c: update_dom
a
in: rename variab
l
e "dim" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
PetS
c
an::resolve_n
e
s
t
ed:
u
s
e function to
e
mbed a
r
gum
e
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
PetScan::kil
l
:
u
se pet_expr_kill_
f
rom_access_an
d
_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
s
c
op_add_arr
a
y: t
a
ke index ex
p
ression i
n
stead
o
f access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdoola
e
g
e
pet_scop
_
fil
t
er
:
take
i
ndex expressio
n
in
s
tead of access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
use an isl_multi_
p
w
_
aff t
o
repre
s
e
n
t
a skip c
o
ndition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_skip
_
info
:
use isl_multi
_
pw_aff to represent sk
i
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
Pe
t
Sc
a
n
:
:
extract_non_affine_condition: take index expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
e
r
d
oolaege
scan
.
cc:
extract_skip: use pet_expr_from_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ve
r
doolaege
p
e
t_skip_
i
nfo_i
f
::
e
xtrac
t
: take index express
i
o
n instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ve
r
doo
l
a
eg
e
s
can
.
cc:
u
niversally: use pet_expr
_
f
r
om_i
n
d
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
PetScan::extract_condit
i
onal_assig
n
ment: use pet_expr_
f
rom_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
