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_context: no longer keep track of "unknown" values
2014-03-25
S
v
en Ver
d
o
olaege
p
e
t_
c
ont
e
xt: no longer ke
e
p tra
c
k
of "unknown" val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet
_
expr_ext
r
a
c
t_affine:
n
o longer create new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetScan::ex
t
rac
t
_s
c
o
p
: populate pet_
c
ont
e
xt
w
ith para
m
ete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
sc
a
n
.
c
c
: move up static get_array_type
f
u
nction in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::get_a
r
ray_size: cac
h
e re
s
ults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
P
etScan::set_upper_bounds
:
ext
r
act out P
e
tSc
a
n::get_array_s
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
eg
e
pet_expr_is_equa
l
: compare inde
x
expressions
u
p to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet
_
expr_ex
t
ract_affine: exploit
dom
a
in i
n
for
m
at
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
a
d
d pet_context_get_gi
s
t_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
ol
a
ege
tree2scop
.
c
: sc
o
p_fro
m
_block
:
collec
t
affine
c
ontinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet
_
scop_from_pet_tre
e
: extract pet_sco
p
from t
h
e
r
oot
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
f
u
n
ct
i
ons for
m
an
i
pulat
i
ng the domain of a pet_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
pet_scop_res
t
r
i
ct: also restrict virtual array
e
xtents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_cont
e
xt_evaluat
e
_
e
xpr: first insert d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_chec
k
_code: remove tra
c
king of assign
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop
p
et_sco
p
_de
t
ect_par
a
meter_access
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
pet_contex
t
_
e
va
l
uate_expr: al
s
o p
l
ug in affi
n
e expr
e
ssions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
separate out pe
t
_context_ev
a
l
u
ate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
dr
o
p pe
t
_context_mark_assign
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
PetS
c
an:
:
e
xtract_scop: clear writes at outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::ex
t
ract_scop: locally
c
onstruc
t
p
et_contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extr
a
c
t_scop: also
add all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
p
e
t_exp
r
_
filter: avoid
int
r
oductio
n
of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
tree2scop
.
c
:
is_si
m
pl
e
_bound
:
handle
h
i
gher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaeg
e
tree2scop
.
c
:
valid_f
o
r_ea
c
h_it
e
ra
t
ion: handle h
i
gher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2s
c
op
.
c: a
d
d_impl
i
c
at
i
on: h
a
ndle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c: map
_
to_pre
v
i
ous
:
handle higher di
m
ensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c: after: handle higher dimens
i
onal domain
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
pet_extract
_
n
e
sted_from_s
p
ace: add
extr
a
dimensi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_e
x
tract_nested_fro
m
_space: embed arguments
i
n given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
add pet_e
x
pr_access_get_do
m
ain
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet
_
expr_
r
esolve
_
n
e
s
t
ed: allo
w
specification of d
o
mai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tre
e
2sco
p
.
c: h
a
ndle_w
r
ites: separat
e
o
u
t handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
t
ree2scop
.
c
:
han
d
le_
w
rites: rem
o
ve redundant pet_context_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
l
a
e
g
e
tr
e
e2scop
.
c: extract_kill: a
l
low specif
i
cation of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
scop_add_boolean_array: allow specifi
c
a
t
ion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
pet_skip_
i
nfo_*_e
x
t
r
act*: pass alon
g
pet_con
t
ex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
pet_scop construc
t
ors: allow
sp
e
c
i
ficatio
n
of dom
a
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
g
e
tree
2
scop
.
c:
s
cop_fr
o
m_{bre
a
k,co
n
tinue}: minor clean-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
scop_
f
rom_{b
r
eak,continue}: allow spe
c
if
i
cation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
p
et_c
r
eate_test_index: allow specification of do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_
s
tmt_from_pet_exp
r
:
allo
w
specification of statem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_stmt_fr
o
m
_p
e
t_e
x
pr
:
minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdoolaege
p
e
t_st
m
t_
f
r
o
m
_
pet_expr: rename "
d
im
"
v
a
r
iable
to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_co
n
t
e
xt: keep track of domain set rather than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
add pet_nes
t
ed_
r
emove_from
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
o
l
aege
tr
e
e2scop
.
c: scop_from_non_affine_if: drop prea
l
locati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
l
a
ege
tr
e
e2
s
cop
.
c: scop_from_non_affine_
i
f: d
e
lay constr
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ver
d
oolaege
t
ree2scop
.
c: sco
p
_from_affine_for:
d
e
lay con
s
tru
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2sco
p
.
c: s
c
op_from_non_affine_while: drop
p
reallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
tree
2
scop
.
c
: scop_from_non_af
f
ine_w
h
ile: de
l
ay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
t
ree2scop
.
c: sc
o
p_from_inf
i
n
ite_loop: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2s
c
op
.
c: infinite_d
o
mai
n
:
d
elay intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: extr
a
ct out shared a
p
ply
_
a
ffine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2scop
.
c: sc
o
p_
f
rom_affine_for: remove preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
tree
2
sco
p
.
c: scop_fro
m
_
aff
i
n
e
_for: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdo
o
la
e
ge
tree2scop
.
c: scop_from_affine_for: introd
u
ce is_non
_
affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
tree2
s
cop
.
c: scop_from_affine_for: delay inte
r
section
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
add pet_scop_in
t
er
s
ect_
d
o
mai
n
_p
r
efix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
add pe
t
_
p
refix
_
p
rojection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
scop
.
c
: extent_is_vi
r
tua
l
_array: chec
k
for me
m
b
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
pet_array_embe
d
:
separat
e
o
u
t extent_is_virtual_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_scop_write
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: is_nested_allowed: take
t
re
e
i
nstea
d
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
ola
e
ge
pet_skip_info_*_extr
a
c
t
*
:
p
a
ss
s
tr
u
ct pet_state
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
m
ove extr
a
ct
i
on of
p
et_scop from pet_tree
to separa
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
ge
construc
t
pet_sc
o
p from
i
nterme
d
iate
p
e
t_tree da
t
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
add pet_co
n
text_clear_writes_in_{exp
r
,tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
int
r
oduce pet
_
tre
e
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
e
rdo
o
laege
move PetScan::extract_while before it
s
f
irst use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
move P
e
tS
c
an::is
_
nested_allowed before its first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdo
o
laege
mov
e
P
e
tScan:
:
extra
c
t_
n
on_affine_condition
before its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoo
l
aege
PetSca
n
: drop all
o
w_nested attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdoolae
g
e
introduce pet_lo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
er
d
o
o
l
a
ege
move p
e
t_scop_extract_n
e
st
e
d to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
move pet_exp
r
_extract_
n
e
sted
to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoolaege
P
e
t
Sc
a
n
:
:e
x
t
ract_for: use pet_exp
r
_extract_co
m
p
a
rison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
l
ae
g
e
PetScan::sca
n
(FunctionDecl *): construct
a pe
t
_context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
re
m
ove
PetScan:
:
try_extra
c
t_affine_condit
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
PetSc
a
n::set_upper_bou
n
ds: convert array bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
sca
n
.
cc: updat
e
_
s
i
z
e: han
d
l
e NULL in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olae
g
e
Pe
t
Sc
a
n
:
:extract
_
affi
n
e(const llvm::APInt &):
extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
ol
a
ege
postpone the
detectio
n
of affine as
s
umptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaeg
e
extract
o
ut pet_expr_is_a
s
sume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
erdoolaege
PetSc
a
n::extract_ac
c
ess
_
expr: delay
p
l
ugging in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
la
e
ge
PetScan
:
:ext
r
act_af
f
i
n
e
(
E
xpr *):
stop taking in
t
o accoun
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
Verdoolaege
PetScan::e
x
tract_access_expr
:
con
s
truct acc
e
ss
e
xpressi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
ool
a
ege
PetScan::
r
esolve
_
nes
t
ed
:
h
a
ndle self dependences in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan::re
s
olve_nested: hand
l
e
presen
c
e of arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
add
fun
c
tions f
o
r manipul
a
ting expression
a
rgum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
a
d
d pet_e
x
p
r_acces
s
_pullback_multi
_
pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
separate o
u
t array index manipulation fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSca
n
::
e
x
t
r
act_con
d
it
i
onal_assignment: extra
c
t write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
e
rdoolaege
PetScan::mark_
w
rite: turn
int
o
a static function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
oolaege
postpo
n
e clea
r
ing
a
ssig
n
ed values until the poin
t
where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
laege
postpone
h
a
nd
l
i
ng
o
f assign
m
e
n
t
s until the point
wher
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
PetS
c
an
:
:assign
:
t
a
k
e
pet_expr
a
s input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
P
etScan::
e
xtract
_
expr(Co
n
ditionalOpera
t
or *): pr
e
s
e
rve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_check_code: op_expr_extract_pw_aff: handle
m
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
l
ae
g
e
m
o
ve p
e
t
_
nested_ext
r
act_expr to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next