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.cc: add space between literal and identifier
2014-04-11
S
ven Verdoolaeg
e
pet
.
cc: add
s
pace between literal and
i
dent
i
fier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaeg
e
update isl fo
r
support for recent cl
a
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verd
o
ola
e
ge
pet
_
stmt_from_pet_tree:
avoid f
r
ee
o
f u
n
initia
l
ized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
ven
Verdoola
e
ge
s
c
an
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolaege
p
e
t
_
sco
p
_from_
p
et_stmt: do
n
o
t
e
x
tract
cont
e
xt from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
e
n Verdoolaege
P
e
tSc
a
n::extract_argument: h
a
n
d
le passing o
f
en
t
ire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Ve
r
doolaege
Makefile
.
am: add dummy C++ s
o
urce file to pet_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oolaege
handle pencil
independent
prag
m
as
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
laege
PetScan: keep track of li
n
e
n
umber of c
u
rrent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
V
e
r
dool
a
e
g
e
p
et
.
c
c:
e
x
t
r
a
c
t out PetA
S
TConsumer::add_pr
a
g
ma_handle
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
a
d
d encap
s
ula
t
e
_
dynamic_control optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
pet_sc
o
p_fro
m
_p
e
t_t
r
ee: c
r
e
a
te statement
s
directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
laege
r
eplace
p
et_stm
t
_from_pet_expr by
pet_stmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
pet_
s
tmt: use pet_t
r
ee to represent state
m
ent b
o
dy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoo
l
aege
scop
.
c: extract out
pet_stm
t
_
i
s
_
affine_assume and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
erdoola
e
g
e
scop
.
c: stmt_collect_acces
s
e
s
:
use pet_expr
_
f
o
r
e
ach_acce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c
:
stmt_collect_pa
r
ams:
u
se
p
et_expr_fore
a
ch_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
erdoolaege
keep
tra
c
k of indentation of ext
r
a
c
t
ed
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoola
e
ge
u
pdate test case outp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
extract enum constants
a
s
th
e
i
r
integer v
a
l
u
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
P
et
S
can:
:
e
xtract_int
:
separate out
e
x
traction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
PetScan
:
:
e
xtract_u
n
signed: turn into a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
scan
.
cc: change
t
ex
t
ual order
o
f ext
r
act_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
pet_check_code
.
c: us
e
pet_expr_extract_af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
export pet_e
x
pr_extra
c
t_aff
i
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
p
et_con
t
e
x
t: no longer kee
p
tra
c
k of "u
n
know
n
" v
a
l
ues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaeg
e
pet_expr_extract_affine: no longer cr
e
ate
new param
e
ters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaege
PetSca
n
::extract_scop: pop
u
late pet_conte
x
t with para
m
e
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
scan
.
cc: move up stat
i
c ge
t
_array_type function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdo
o
laege
Pe
t
Sca
n
::get
_
array_s
i
ze: cache
results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan
:
:set_upper_bounds: ext
r
act out
P
et
S
can::get_a
r
ra
y
_si
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_is_equal:
co
m
pa
r
e index e
x
pressio
n
s up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
e
x
p
r_extract_affine: exploit
d
omain informa
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
add pet_context_ge
t
_gist_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c
:
scop
_
fro
m
_block: collect affi
n
e
continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
p
e
t
_
scop_
f
rom_pet_
t
ree: extract pet_scop from t
h
e root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
a
dd function
s
f
o
r
m
a
n
ipulating
t
he domain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop
_
restrict: also rest
r
ict virtual array ex
t
ent
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
p
e
t
_context_evaluat
e
_expr:
f
irst
i
nsert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
p
e
t
_check_c
o
de:
remo
v
e
t
r
acking o
f
assig
n
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
d
r
op pet_scop_dete
c
t
_paramet
e
r_a
c
cess
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
ge
p
et_
c
ontex
t
_eval
u
ate_
e
xp
r
: a
l
so
p
lug in a
f
fine
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
sepa
r
ate out pet_context_eval
u
ate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
d
rop
p
e
t
_context_m
a
rk_assig
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::e
x
tract_scop: c
l
ear writes at oute
r
leve
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
PetSc
a
n::e
x
tract_scop: locally construct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetSca
n
::ex
t
ract_scop
:
also add a
l
l pet_array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_expr_filter:
a
vo
i
d in
t
r
oductio
n
of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
eg
e
tree2sc
o
p
.
c:
is_simple_bound: ha
n
d
l
e h
i
gher dim
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2s
c
op
.
c: va
l
id_for_each_i
t
eration: handle
higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
tree2scop
.
c: add_i
m
plicatio
n
: handle higher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
t
ree2scop
.
c: map_
t
o_pr
e
vio
u
s: han
d
l
e
higher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c
: after: h
a
nd
l
e
h
i
gher dimens
i
o
n
a
l
do
m
ains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
g
e
pet
_
extrac
t
_
neste
d
_from_space: add
extra
dime
n
s
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_extract
_
nes
t
ed_f
r
om_space: emb
e
d argumen
t
s
i
n
given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add p
e
t_expr_access_get_doma
i
n_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_expr_resolv
e
_
n
ested: allow specification
o
f domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
o
o
laege
tree2
s
c
o
p
.
c: handle_
w
r
i
tes: separate out hand
l
ing of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
tre
e
2s
c
op
.
c:
h
andle_writes
:
rem
o
ve redundant
pet_context_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
tree2scop
.
c
:
e
x
tract_kill
:
allow specific
a
tion of st
a
tem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_scop_add_b
o
olean_array:
allow
specifica
t
ion of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
p
et_skip_inf
o
_*_ext
r
act*: pa
s
s along pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop con
s
truct
o
rs: al
l
o
w
spe
c
ification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c: scop_f
r
om_{bre
a
k,contin
u
e}
:
mino
r
clean-u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
d
oola
e
ge
t
ree2scop
.
c: scop_fr
o
m_{
b
reak,continue}: allow sp
e
cificatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verd
o
olaege
pet_create_test_index: a
l
l
ow
s
p
e
c
i
ficati
o
n
of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
p
et_stmt_
f
rom_p
e
t_e
x
pr: allow specification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_st
m
t_fro
m
_pet_expr: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
g
e
pet_stmt_from_pet_expr: rena
m
e "d
i
m" variable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
pet_context: keep track
o
f domain set rather than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ve
r
doolaege
add pet_nested_remov
e
_from
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sco
p
_f
r
om_non_affine_if: dr
o
p preallocati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
tree
2
scop
.
c: s
c
op_fro
m
_non_affine
_
if
:
delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tr
e
e
2
scop
.
c
:
scop_from_affine_f
o
r: delay cons
t
ructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: scop_from_
n
o
n
_af
f
ine_
w
hile:
drop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
eg
e
tr
e
e
2
scop
.
c: scop
_
from_non_a
f
fin
e
_whil
e
: dela
y
co
n
struc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
tr
e
e
2sco
p
.
c: scop_from_infinite
_
loop: de
l
ay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
tree
2
sc
o
p
.
c
: inf
i
nite_domain: d
e
l
a
y
intersec
t
ion with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2sco
p
.
c: ext
r
ac
t
out sh
a
r
e
d apply_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
tree2
s
cop
.
c: scop_fro
m
_affi
n
e
_
for: remove preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: scop_fr
o
m_affin
e
_for: d
e
l
a
y construct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
tree2scop
.
c
: scop_
f
rom_affine_for: intr
o
duce
i
s_non_
a
f
fine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2sc
o
p
.
c: s
c
op
_
f
ro
m
_af
f
i
ne_for
:
de
l
ay
int
e
rsection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
a
d
d
p
et_scop_
i
ntersect_domain_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
lae
g
e
add pet_prefix_projection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
scop
.
c: extent_
i
s_virtual_ar
r
ay: check
f
or mem
b
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
p
et_array_embed: separate out extent_is
_
vir
t
ual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dr
o
p pet_scop_write
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tre
e
2scop
.
c: is_nested_allo
w
ed: t
a
ke tree
i
nstead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
pe
t
_sk
i
p_info_*_e
x
t
r
act*
:
pass stru
c
t
p
et_state instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
mov
e
extracti
o
n of pet_scop f
r
om pet_tr
e
e
to se
p
arate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdoolaege
constr
u
ct pet_scop f
r
om
i
n
t
erm
e
diat
e
pet_t
r
ee data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add
pet_context_clear_writes_in
_
{expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
introduce pet_
t
ree
o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
m
o
ve
P
etScan:
:
extract_while before
its first
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
move PetSca
n
::is_
n
ested_allowed before it
s
first u
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
move PetScan::extra
c
t
_non_affine_condition before its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
ege
P
e
tScan: drop allow
_
nested attribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ver
d
oolaege
int
r
oduce pet_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ve
r
doolaege
m
o
ve pet_sco
p
_extract_nested
to n
e
s
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next