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
PetScan::extract_int: separate out extraction from llvm::APInt
2014-03-25
Sven Verdoolaege
Pe
t
Scan::extract_int: separ
a
te
o
ut ext
r
action from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
la
e
g
e
PetScan
:
:ex
t
ract_unsigned: turn into
a st
a
t
ic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
scan
.
cc: change textu
a
l order of e
x
tract_unsigned a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
pet_chec
k
_code
.
c: use
pet_expr_ex
t
ract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
exp
o
rt pet
_
expr
_
extrac
t
_affin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
p
e
t_
c
ont
e
x
t
: no l
o
nger
k
eep tra
c
k of "unknown" valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_e
x
pr_extract
_
a
f
fine: no lon
g
er create new
p
ara
m
eters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
PetS
c
an::ex
t
rac
t
_scop: popu
l
ate
p
et_c
o
ntext wit
h
parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
scan
.
cc:
m
ove up static
g
et_array_type function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetScan::get_array_size:
c
ache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
P
e
t
Sca
n
::set_up
p
e
r
_
bounds: e
x
tract out Pet
S
can::get_array_
s
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoo
l
aege
pet
_
expr_is_equal: comp
a
re index ex
p
ressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
p
e
t_expr
_
extract_
a
ffine: e
x
p
l
o
it domain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_conte
x
t_get_gist_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2
s
cop
.
c: scop_from_block:
c
ollect affine
continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_scop
_
fr
o
m_pet_tree:
extra
c
t pet_sc
o
p
from the roo
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
ad
d
fu
n
ctions for manipu
l
ating t
h
e domain of a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
pet_scop_restrict:
a
lso
r
e
strict virtual array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_c
o
ntext_evaluate_expr: first i
n
sert
domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdool
a
e
g
e
pet_c
h
eck_code: re
m
ove trac
k
ing o
f
assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdool
a
ege
d
r
o
p pe
t
_sco
p
_detect_parameter
_
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_c
o
ntex
t
_evaluate_ex
p
r
:
also pl
u
g in affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
sepa
r
ate out pet_context_evaluate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
drop pet_context_m
a
rk_assi
g
ned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
PetScan::ex
t
ract_scop: clear w
r
ites a
t
outer le
v
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetSca
n
::
e
xtract_s
c
op: locally
c
onstruct
p
et_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ver
d
ool
a
ege
PetScan::e
x
tra
c
t
_
scop: also add all pet_a
r
rays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
pet_
e
xpr_filter: avoid in
t
r
o
duc
t
ion of
c
onst
r
aint
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tr
e
e2scop
.
c: is
_
simple_b
o
u
nd: handl
e
higher
d
i
m
ensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c
:
valid_for
_
each_iteration
:
ha
n
dle h
i
gher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
tree2scop
.
c: add_implication: hand
l
e higher dimension
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2sc
o
p
.
c:
map_
t
o_previous: handl
e
highe
r
d
i
mensi
o
n
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
r
d
oolaege
tree2sc
o
p
.
c: after: ha
n
dle higher
dime
n
s
i
onal domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
p
e
t_extract_nested_from_space: add extra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaeg
e
p
et_extrac
t
_nested_from_spac
e
: e
m
bed arguments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
p
et_
e
xpr_ac
c
e
s
s
_
get_
d
omain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
pe
t
_
e
x
pr_resolve_nested: allow specif
i
cat
i
on of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
tree
2
scop
.
c: handle_writes: separate
o
ut ha
n
dling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
tr
e
e
2
s
cop
.
c
: han
d
le_write
s
:
r
emov
e
redundant pet_conte
x
t_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
tree2scop
.
c: ex
t
ract_kil
l
: allow
specificatio
n
of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
pet_s
c
op_
a
dd_boo
l
ean_array: allow specif
i
cation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
p
e
t
_skip_i
n
fo_*_extract*: pass along pet_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
s
cop constructors: al
l
ow spe
c
if
i
cation o
f
dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
t
ree2s
c
op
.
c
:
scop
_
fro
m
_
{bre
a
k,continue}
:
mino
r
c
l
ean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2scop
.
c:
sc
o
p_from_{break,continue}: allow specification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
o
ol
a
ege
pe
t
_cr
e
ate_test_index: al
l
o
w
specification of domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_from_pet_ex
p
r: allo
w
s
p
ecification
o
f sta
t
eme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
lae
g
e
pet
_
stmt_f
r
om_pet
_
expr: mino
r
clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
s
tmt_fr
o
m_pet
_
e
x
pr:
rename "dim
"
vari
a
ble to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
pet_contex
t
:
k
eep track of d
o
main set rathe
r
than do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doola
e
ge
add pet
_
nested_remove
_
from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2
s
cop
.
c
: scop_from_non_a
f
fine_if:
d
rop preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoo
l
aege
t
ree2scop
.
c: scop_from_non_affine_if: delay construc
t
io
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c:
scop_from_af
f
ine_f
o
r: d
e
l
ay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
t
ree2scop
.
c:
scop
_
from_non_affine_while: dro
p
prealloca
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_non_affin
e
_
w
hile: delay
constructi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verd
o
olae
g
e
t
r
e
e2scop
.
c: sco
p
_fro
m
_infinite_lo
o
p: del
a
y construc
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
tree
2
s
cop
.
c: infinit
e
_
domain: d
e
lay inters
e
ct
i
on with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: extra
c
t out shared app
l
y_af
f
i
n
e_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2
s
cop
.
c:
s
cop_from_affine_for: remove
preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c
: scop_from
_
a
f
fine_for
:
del
a
y construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
ol
a
ege
tree2scop
.
c
:
scop_from_affi
n
e_for: i
n
trodu
c
e is_non_affin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2scop
.
c: scop_from_
a
ffine_for: dela
y
int
e
rsecti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
a
d
d pet_scop_inte
r
sect_domain_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
ad
d
pet_pref
i
x_proj
e
cti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
scop
.
c: extent_is_virtual
_
array: check f
o
r membe
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
p
e
t
_
arra
y
_embed: s
e
p
a
rate
out
e
xten
t
_is_virtual_ar
r
ay
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
V
erdoolaeg
e
drop
p
e
t
_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree
2
scop
.
c: is_
n
ested_allowed: take t
r
ee instead o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
o
o
laege
pet_skip_info
_
*_extract*: pas
s
struct pet_state instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verd
o
o
l
aege
m
o
ve extr
a
ction of pet_scop from pet_tree to separat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
c
o
nstruc
t
p
e
t_scop from intermedia
t
e p
e
t_tr
e
e data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdool
a
ege
add
pet
_
context_c
l
ear_writes_i
n
_{expr,tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
introd
u
ce p
e
t_tre
e
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
mo
v
e
PetScan::ext
r
a
c
t_while be
f
o
re
its f
i
rst use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
move PetS
c
an::is_ne
s
ted_allowed befor
e
i
t
s first
u
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
move PetScan::extr
a
c
t
_
non_affine
_
condition before its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetS
c
an: drop allo
w
_nested attribut
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
i
n
troduce pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
move pet
_
scop_ex
t
ract_nested
t
o nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
move pet_exp
r
_extract_nested to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
P
e
tSc
a
n::ex
t
ract
_
for: use
pe
t
_ex
p
r_extract_compa
r
ison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
oola
e
ge
Pet
S
can::scan(F
u
nct
i
on
D
e
cl
*
): construct a pet_context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
r
e
m
ove Pe
t
Scan
:
:try_extract_affine_c
o
n
d
ition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::set_upper
_
bounds:
c
o
n
v
ert
a
r
ray bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdoolaege
s
c
an
.
cc: update_size:
h
an
d
le
NULL
i
n
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
PetScan::e
x
tract_affine(c
o
nst llvm
:
:APInt &): extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
post
p
o
n
e
t
he det
e
ctio
n
o
f af
f
ine ass
u
mptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extra
c
t
o
ut
pet_expr_is_as
s
u
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetScan::extract_ac
c
es
s
_expr: delay plugging in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
Pe
t
Scan::extract_
a
ffine(E
x
p
r
*): stop ta
k
ing into acc
o
unt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verd
o
ol
a
ege
P
e
tScan::extrac
t
_ac
c
ess_exp
r
: construct access exp
r
ession
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoolaege
P
etScan::resolve_nested
:
h
a
ndle s
e
lf dependences in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
oolaege
Pe
t
Scan::
r
esolve_nested: handle p
r
esence of arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdool
a
e
g
e
add functi
o
ns for mani
p
ulatin
g
e
x
press
i
on a
r
guments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
o
o
laege
ad
d
pet_expr_access_
p
ullback
_
multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
separate out array in
d
e
x
m
an
i
pulation fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolae
g
e
P
etScan:
:
extra
c
t
_
conditional_assig
n
ment: extract write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
laege
Pet
S
can::mar
k
_write:
t
urn in
t
o a static
f
unct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olae
g
e
p
ostpone clear
i
ng assi
g
ned values u
n
til t
h
e point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next