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: change textual order of extract_unsigned and extract_int
2014-03-25
Sven Verdoolaeg
e
scan
.
c
c
:
c
ha
n
ge textual
order of
e
xtract_u
n
signed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_check_
c
ode
.
c:
u
se
pet_
e
x
p
r_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
export pe
t
_expr_extr
a
c
t_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
pe
t
_context: no longe
r
keep track
of "unknown
"
valu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oola
e
ge
pet_expr_ext
r
act_affine: no longer create
ne
w
p
arame
t
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
PetSca
n
::e
x
tract_s
c
op: populate pet_
c
o
n
tex
t
with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
sc
a
n
.
cc: move
up static get_array_type fun
c
tion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
PetSca
n
::get_arr
a
y_size: cache result
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::set_uppe
r
_bounds: extract out PetScan::g
e
t_
a
r
ray_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
pet_expr_is_eq
u
al: com
p
ar
e
index expressions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_expr_extract_affine:
exploit domain informa
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
g
e
add pet_context_ge
t
_gis
t
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
tree2scop
.
c: scop_
f
rom_block: colle
c
t
a
f
fine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_scop_fro
m
_pet_tree: extrac
t
pet_scop
f
ro
m
the ro
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
a
dd
fun
c
tions for
m
an
i
pulating th
e
doma
i
n of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
pet_scop_restr
i
c
t
: also restrict virt
u
al
array exten
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_cont
e
x
t_evalua
t
e_exp
r
: f
i
rst i
n
sert do
m
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolae
g
e
pet_check_code: re
m
ove
t
racking of as
s
ignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
drop pet_scop
_
detec
t
_parameter_a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoo
l
a
e
ge
pet_cont
e
xt_ev
a
luate_expr:
a
ls
o
plug i
n
a
f
f
i
ne
expression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
separat
e
out pe
t
_context_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
drop pet
_
context_mark_assi
g
ne
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaeg
e
PetScan::extract
_
sco
p
: clear writes at outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetSc
a
n::extrac
t
_scop: local
l
y c
o
ns
t
ruct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
PetScan::ex
t
ract_sc
o
p: also a
d
d all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
pet_e
x
pr_f
i
lter: avoid introduction of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: is_simple_bou
n
d: handle high
e
r dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoola
e
ge
tr
e
e2scop
.
c
: vali
d
_for
_
each_iteration: handle higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2scop
.
c: add_im
p
licatio
n
:
h
andle higher dime
n
s
ion
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
g
e
tree2scop
.
c: map
_
to_p
r
ev
i
ous: handle
h
igher dimensi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
d
oolae
g
e
t
r
ee2
s
cop
.
c: after: handle hig
h
er dim
e
nsional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdo
o
laeg
e
pet_extract_nested_from_spa
c
e
:
add extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_
e
xtrac
t
_nested_from_space: embed
a
r
guments
in
g
iven
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_
e
xpr
_
access_get
_
domain_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olae
g
e
pet_expr_resolve_nested: allow s
p
ecification
o
f
dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
t
r
ee2scop
.
c
: handle_writes: separate out handlin
g
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
tree2
s
co
p
.
c
: h
a
ndle
_
writes:
remov
e
redunda
n
t
pet_context_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2sco
p
.
c: ex
t
r
act_kill:
a
l
lo
w
specification of st
a
tem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_sco
p
_add_boolea
n
_
a
rray: al
l
ow speci
f
ica
t
ion
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaeg
e
p
e
t_
s
kip_info_
*
_
e
xtract*: pass along pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
pet_scop constructors: a
l
low specification
of d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdoolaege
tree2s
c
op
.
c: scop_fro
m
_{break,continue
}
: mi
n
or clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
o
l
aege
tree2sc
o
p
.
c
:
scop_from_{break,continue}: allow specificati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_create_test_index: allow s
p
ecification of d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
ola
e
g
e
pet
_
stmt_from_pet_expr: allow specificatio
n
of
sta
t
e
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pe
t
_stmt_f
r
om_pet_expr:
minor clean-u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
pet_stmt_from_pet_expr
:
r
e
name "
d
im"
vari
a
ble to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoola
e
ge
pet_context:
keep t
r
a
c
k of do
m
ain set ra
t
he
r
than
d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
add pet_n
e
s
ted_remov
e
_
fr
o
m_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdool
a
ege
t
ree2scop
.
c
:
scop
_
from_non_a
f
fine_if: drop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
tree2scop
.
c
: scop_
f
rom_non_affine_if:
delay constructio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
tree2scop
.
c: scop
_
from_affine_
f
o
r
:
delay
c
onstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c: scop_
f
rom_non_
a
ffi
n
e
_whil
e
: drop preall
o
c
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolae
g
e
tree2scop
.
c:
s
cop_from_
n
on
_
affi
n
e
_
whi
l
e: del
a
y construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: scop_
f
rom_
i
nfini
t
e_loop: delay con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
tree2s
c
o
p
.
c: infinite_do
m
a
i
n: delay int
e
r
section with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
a
e
ge
t
r
e
e2scop
.
c: extract out shared apply_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
o
olaege
tree
2
scop
.
c: scop_from
_
affine_for: remove
p
reallo
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c: scop_from_affine_for
:
de
l
a
y
constr
u
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olae
g
e
tre
e
2
s
cop
.
c:
s
c
o
p_from_
a
ffi
n
e
_for: i
n
troduce
is
_
non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: scop_from_affi
n
e_for: delay intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
a
d
d pet_scop_
i
ntersect_domain_
p
refix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
add pet_pr
e
f
ix_projection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
scop
.
c: extent_is_virtua
l
_ar
r
ay: check for
m
embers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
pet_array_embed:
s
eparate out extent_is_virtu
a
l_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
d
rop pet_s
c
op_w
r
i
t
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
s
c
op
.
c: is_neste
d
_allo
w
e
d: take tree instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_skip_info_*_extract*: pass st
r
uct
p
et_state instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
move extractio
n
of pet_scop from pet_tree t
o
s
e
parate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
do
o
laege
c
on
s
truct pet
_
s
c
op fr
o
m
intermed
i
a
t
e pe
t
_tree
d
a
ta
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ver
d
oolaege
add pet_conte
x
t
_
c
lear_wri
t
es
_
in_{expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
introduce
p
et_tree
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaeg
e
mov
e
PetScan:
:
extr
a
ct_while before its
first use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetSc
a
n::is_nested_allowed befor
e
it
s
first use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
m
o
ve PetScan:
:
e
x
t
rac
t
_n
o
n_
a
ffine_
c
ondition before its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan: drop allow_nest
e
d attrib
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
i
n
t
r
oduce
p
et_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolae
g
e
move pet_scop_e
x
tract_nest
e
d
t
o
nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdo
o
laege
move pet_expr_ex
t
ract_nested
t
o
n
est
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
Verdo
o
laege
P
e
tScan::extract_for: u
s
e
pet_
e
x
p
r
_extrac
t
_c
o
mparis
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetS
c
an::scan(Function
D
ecl *): const
r
uc
t
a p
e
t_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
la
e
ge
remove PetScan:
:
tr
y
_e
x
tract_af
f
ine_c
o
nditio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan
:
:s
e
t_u
p
per_
b
o
u
nds: co
n
vert array bounds to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
erdoolaeg
e
scan
.
cc: update_
s
i
ze: hand
l
e NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoolaege
P
e
t
Scan::ext
r
act_a
f
fine(const llv
m
::APInt &
)
: e
x
tract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
postp
o
n
e
the
detection
o
f affine assumptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
extract out pet_expr
_
is_assum
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
olaege
P
etScan::ext
r
a
ct_acces
s
_expr: delay pl
u
gging in th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolae
g
e
P
e
tS
c
a
n
::extra
c
t_af
f
ine
(
Expr *):
s
top tak
i
ng into account
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSc
a
n
:
:extract_access_expr: construct access express
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoolaege
PetScan::re
s
olve_n
e
sted: han
d
le self dependenc
e
s in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdo
o
l
a
ege
Pe
t
Scan::resol
v
e
_
n
es
t
ed: han
d
le prese
n
c
e of arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add functions f
o
r manipula
t
i
ng
e
xpression ar
g
u
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
erdool
a
ege
add pet_ex
p
r_access_pull
b
ack_mu
l
ti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
Verdoolae
g
e
separate out a
r
r
ay
ind
e
x man
i
pula
t
ion
fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extract_
c
ondit
i
onal_assignment:
ex
t
ract write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
PetScan::m
a
rk_write: turn into a stat
i
c functio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
p
ostpone clearing a
s
signed values until the point wh
e
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolae
g
e
postpone handlin
g
o
f
assignments until
the point
where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etS
c
an::assign
:
t
a
ke pet_expr as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next