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
update isl for support for recent clangs
2014-04-11
S
v
e
n Verdo
o
laege
update isl for supp
o
rt for r
e
c
ent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaege
pet_stmt_from_pet_tree: avoid
free
o
f uniniti
a
lized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Ver
d
oolaege
scan
.
cc: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoolaege
pet_s
c
op_from_pet_stmt:
d
o n
o
t
extract
c
on
t
ext fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
o
laege
Pet
S
can::extract
_
argumen
t
: handle p
a
ssing of
entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
doola
e
ge
Makefile
.
a
m
:
a
dd dummy C++ source
f
ile to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
d
oolaege
hand
l
e penci
l
indep
e
ndent p
r
agmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdool
a
e
ge
PetScan: keep tr
a
ck of line numb
e
r of
c
u
rrent Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolae
g
e
p
e
t
.
cc: extract ou
t
P
e
tASTConsumer::add_pragma_h
a
ndlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoola
e
ge
a
d
d encapsulate_dynamic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Ver
d
oolaege
pe
t
_
scop_f
r
om_pet_
t
r
e
e: create statements d
i
rectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
r
eplace pet_stmt_from_pet_expr by pet_
s
t
m
t
_
from_p
e
t_t
r
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
p
et_stmt: use pet_tree to re
p
resent statem
e
nt body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c:
extract
o
ut pet_stmt_is
_
affine_as
s
ume
and pet_stmt
_
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
scop
.
c: stmt_collect_accesses: u
s
e
pet_expr_for
e
a
c
h_
a
cce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
scop
.
c
:
stmt_coll
e
ct_p
a
rams: us
e
pet_
e
xpr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep trac
k
of inden
t
a
tio
n
of
e
x
t
racted cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Ve
r
doolaege
update te
s
t case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract e
n
um co
n
stants as their
i
nteg
e
r values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetS
c
an::ext
r
act_int: separate out ex
t
r
a
ction fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetS
c
an::extr
a
ct_uns
i
gned: tur
n
into a static functio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
sca
n
.
cc:
chang
e
textual order
of extract_unsigne
d
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_check_code
.
c
: use pet_e
x
pr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaeg
e
export pe
t
_e
x
pr
_
extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
g
e
pet_context: no longer k
e
ep track of "unkn
o
w
n" valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
p
e
t
_expr
_
extract_affine: no
longer create n
e
w pa
r
a
me
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetScan::e
x
tract_scop: po
p
ulate pet_c
o
ntext wi
t
h parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: move up static get_
a
r
r
ay_type
f
unction in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::get_array_s
i
ze: cache res
u
lts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetSca
n
::set_upper_bounds: extr
a
c
t
o
ut PetScan:
:
ge
t
_
a
rray_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_is
_
equ
a
l
:
c
ompare index expression
s
up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_expr
_
extract
_
a
ffine: exploit do
m
ain informat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
er
d
oolaeg
e
add pet_context_get_gis
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c
:
s
cop_from_b
l
ock: collect affi
n
e c
o
ntin
u
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
pet_scop_from_pet_tree: extract pet_scop from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add f
u
n
c
tions for
manipula
t
ing
t
h
e
domai
n
of a pe
t
_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
p
e
t
_
sc
o
p
_re
s
t
r
ic
t
: al
s
o re
s
trict virtual array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
rdoolaege
pet_contex
t
_evaluate_
e
xpr: first insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
e
t_chec
k
_code: remov
e
tra
c
king of ass
i
gnm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
ol
a
ege
dr
o
p
p
e
t_scop_detect_par
a
m
e
ter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
g
e
pet_context_evaluate_expr: also
plug in
a
ffine
exp
r
ess
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
r
d
oolaege
separat
e
out pet_context_
e
v
aluate_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dro
p
pet_context_mark_assig
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
PetS
c
an::e
x
tract_sco
p
:
c
lear writ
e
s at
o
uter level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
o
laege
PetScan::ext
r
a
ct
_
scop
:
locally
c
o
n
s
t
ruct pet_contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
P
etSc
a
n
::e
x
tr
a
c
t
_
scop: also add all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
p
e
t_e
x
p
r_filte
r
:
avoid int
r
o
duction of con
s
t
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
tree2scop
.
c: is
_
simple_bound: handle
h
i
g
h
e
r dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdoolaege
tree2scop
.
c: valid_for_ea
c
h_iteration: handle hi
g
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
tree2scop
.
c: add_imp
l
i
cati
o
n: handl
e
higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
tree2sc
o
p
.
c: map_to_
p
revious: handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree
2
sco
p
.
c: after: handle h
i
gher dimensional doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
pet_ex
t
ract_nested_
f
r
o
m_spac
e
: add
e
xtra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
pet_extract_nested_f
r
om_
s
pace:
e
mbed
a
r
gum
e
nt
s
in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
a
e
ge
add p
e
t_expr_access_get_domain_sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet
_
expr
_
resolve_nested: al
l
ow spec
i
fication of domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2scop
.
c: handle_write
s
: separate out
h
andling o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
tree2scop
.
c: ha
n
dle_writ
e
s: rem
o
ve r
e
du
n
dant pet_context
_
mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
t
re
e
2scop
.
c: extract_kill:
a
llow
spe
c
i
fic
a
tion of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_scop_add_bo
o
lean_
a
rray: allow s
p
ecifi
c
ation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_sk
i
p_info_*_extract*: pas
s
alo
n
g
p
e
t
_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
pet_sc
o
p constr
u
ctors:
a
l
low sp
e
cific
a
tion of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
tr
e
e2scop
.
c: scop_from_{b
r
eak,continue}:
m
i
nor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
t
r
ee2scop
.
c:
sco
p
_
from_{
b
re
a
k,
c
ontinue}: allow
specif
i
ca
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdo
o
laege
pet_c
r
ea
t
e_test_index:
allow s
p
ecification
of
dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_s
t
mt_from_p
e
t
_
expr
:
allow sp
e
cification
o
f statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
pet_stmt_
f
rom_pet_
e
xp
r
: minor
clean-u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
er
d
oolaege
pe
t
_stmt_from_p
e
t_exp
r
: rename "dim
"
vari
a
ble to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_context: ke
e
p
t
ra
c
k of do
m
a
in set rat
h
er than d
o
m
a
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
add pet_nested
_
r
emove_
f
rom_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree
2
scop
.
c: s
c
op
_
from_non_af
f
ine_if: drop preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c: sc
o
p_fro
m
_
n
on_af
f
i
n
e_if: de
l
ay constr
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tr
e
e
2
scop
.
c: scop_from_affine_for: del
a
y cons
t
ru
c
ti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c: sc
o
p_from_non_affine_while: dr
o
p
preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
o
p
.
c
:
s
c
o
p
_from_non_affin
e
_while: d
e
lay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: s
c
op_from_inf
i
nit
e
_loop:
d
elay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2sc
o
p
.
c:
infinit
e
_dom
a
in:
delay inte
r
s
ect
i
on w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
ae
g
e
t
r
ee2s
c
o
p
.
c
:
extrac
t
out shared apply_affine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c
: scop_from_a
f
fine_fo
r
:
r
emove prealloca
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
t
r
ee
2
scop
.
c:
s
cop_fr
o
m
_
af
f
ine_fo
r
:
d
elay con
s
tructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
t
r
ee2
s
co
p
.
c
: scop_fro
m
_a
f
f
ine_for: introduce is_non_af
f
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
tr
e
e2sc
o
p
.
c
: scop_from_aff
i
ne_fo
r
: de
l
a
y
intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ver
d
oolaeg
e
add pet_
s
c
op_int
e
rsect_domain
_
p
r
e
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
a
d
d pet_prefix_
p
roj
e
ct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
sco
p
.
c
:
extent_is_vir
t
ual
_
ar
r
ay
:
ch
e
ck for
m
embers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
pet_array_embed: separ
a
te
o
ut
e
xtent_
i
s_virtual_a
r
ray
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
drop pet_sc
o
p_w
r
ites
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
tree2scop
.
c: is_nested_allowed: take t
r
ee instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_skip
_
i
nf
o
_*_
e
xtract*
:
pass struct
p
e
t_state
i
n
ste
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
m
o
ve ex
t
ract
i
o
n of pet_sco
p
from pet_tree to separat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doo
l
aege
con
s
truct p
e
t_
s
c
o
p fr
o
m interme
d
iate pet
_
tree data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doolaege
add pet_c
o
ntext_clear_writes_in
_
{
e
xpr,
t
ree
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
introduce
p
et_tree object
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
move PetScan::extract
_
while
befor
e
i
ts first
use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
erdoolaege
move PetScan::is_nes
t
e
d
_
allow
e
d b
e
fore its first
u
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetScan::extract_non_affine_co
n
d
i
tio
n
b
e
fore
i
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verd
o
olaege
PetS
c
an:
d
r
o
p allo
w
_ne
s
t
e
d
attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
introdu
c
e pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
m
o
ve pet_scop
_
extract
_
n
este
d
to nes
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
move pet_exp
r
_extract_nes
t
ed to ne
s
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next