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: fix typo in comment
2014-04-06
S
ven Verdool
a
ege
scan
.
cc: fix
t
ypo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_scop_f
r
om_
p
et_stmt: do
no
t
extrac
t
co
n
text from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
PetScan::extract_argument: handle pass
i
ng of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Makefi
l
e
.
am: add d
u
mmy C++ source f
i
le to
pe
t
_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
rdool
a
ege
han
d
le pencil
i
n
d
epe
n
dent pragma
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
Pe
t
Scan:
keep
t
r
ack of li
n
e number
o
f
cur
r
ent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verdoola
e
g
e
pet
.
cc: extr
a
ct out PetASTConsumer::add_pra
g
ma_h
a
ndlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
a
d
d encapsulat
e
_dynamic
_
con
t
rol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
pet_sco
p
_from_pet_tree
:
create stateme
n
ts directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaeg
e
replace pet_
s
tmt_f
r
o
m_pet_ex
p
r by p
e
t_
s
tmt_fr
o
m_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
V
e
rdool
a
ege
pet
_
s
t
mt:
use pet_tree to represent statemen
t
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
scop
.
c: extract
o
u
t pet_stmt_i
s
_
aff
i
ne_assume a
n
d pet_stm
t
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_ac
c
esses: use
pet_e
x
pr_f
o
rea
c
h_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
scop
.
c: st
m
t_collect
_
params: use pet_expr_fore
a
c
h
_
acce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoo
l
aege
kee
p
track of indenta
t
ion
o
f
extrac
t
ed code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
V
er
d
oolaege
up
d
ate
test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
extra
c
t e
n
um consta
n
ts as t
h
eir
integer val
u
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
P
e
tScan::extract_int: sepa
r
ate out
e
xtraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
P
e
tS
c
an:
:
extract_unsigned: t
u
rn in
t
o
a
s
ta
t
i
c function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaeg
e
s
c
an
.
c
c: change textual
o
rder of extract_unsigne
d
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
do
o
laege
pet_check_c
o
de
.
c: use pet_expr_e
x
t
ract_a
f
fine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
e
x
p
o
rt pet_expr_extract
_
a
f
fin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
c
on
t
ext:
no longe
r
keep track of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
pet_ex
p
r_extrac
t
_aff
i
ne:
n
o longer
create new
p
arameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::ex
t
ract_
s
cop:
p
op
u
late pet
_
c
ontext with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
scan
.
cc: move u
p
s
tatic get_array_type fu
n
c
tion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
PetSc
a
n
:
:g
e
t_array_size: c
a
che
res
u
lts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
PetScan:
:
s
e
t_
u
pper_bounds: e
x
t
ract out Pet
S
can::get_
a
rray_siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
p
et_expr_is_equal: compare index expr
e
s
s
i
ons
u
p t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoo
l
a
e
ge
pe
t
_ex
p
r_ex
t
ract_affine: exploi
t
domain inf
o
r
mation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
add p
e
t_
c
ontex
t
_
g
et_gist
_
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
t
r
ee2
s
cop
.
c: sc
o
p_fro
m
_block:
c
ollect aff
i
ne continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_scop_from_pe
t
_
t
r
ee:
e
xtract
p
e
t_scop from
t
h
e root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add fu
n
c
t
ion
s
f
o
r m
a
nipulating the domain of
a
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_res
t
ri
c
t:
a
l
so res
t
rict vi
r
tual ar
r
ay exten
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet
_
co
n
text_evaluat
e
_expr: first inser
t
d
o
m
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
et_check_
c
ode:
r
emove tracki
n
g of assi
g
nme
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
d
ro
p
pet_scop_de
t
ect_paramete
r
_a
c
c
e
ss
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
pet_con
t
e
xt_e
v
aluate_expr
:
also plug in a
f
fin
e
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
separate out pet_c
o
ntex
t
_ev
a
lu
a
te_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop
p
et_context_mark_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
PetSca
n
::extract_scop:
clea
r
wr
i
tes at outer
leve
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
Pe
t
Scan::extract_scop: locally construct p
e
t_conte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
PetScan::e
x
t
r
act_scop: also add all
p
e
t_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
ola
e
ge
pet_expr_filter: a
v
oid introduction of constrain
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2sc
o
p
.
c: is_simple_
b
o
u
nd: han
d
le h
i
g
h
er dimensi
o
n
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
t
r
ee2
s
cop
.
c: v
a
lid_f
o
r_each_iterat
i
on: handle
higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2sco
p
.
c: add_implicatio
n
: handle
h
igher dimen
s
i
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2scop
.
c: map_to_
p
rev
i
ous: handle highe
r
dimens
i
o
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
tree2
s
c
o
p
.
c: af
t
er: handle hig
h
er dimens
i
onal domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extrac
t
_nested_fr
o
m_sp
a
ce: add extra dimension
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet
_
extract_nested_from_spa
c
e: embed arguments in give
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
add
p
et_exp
r
_access_get_domain
_
spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_exp
r
_
r
eso
l
ve_n
e
sted: allow sp
e
cif
i
cation
of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
tree2scop
.
c: handle_wri
t
e
s
:
separate ou
t
han
d
l
i
ng o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c
:
han
d
le_w
r
ites
:
remove redundan
t
pet_c
o
ntext_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
tree2sco
p
.
c: extract_
k
i
l
l
: allow s
p
e
c
ification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_scop_add_
b
oolean_array: allow spe
c
if
i
cati
o
n
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_sk
i
p
_
info_*_extract*: pass al
o
ng
pet_contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
pet_scop constructors: allow sp
e
cification o
f
d
o
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
e
ge
tree2scop
.
c: scop_from_{break,continue}: minor
c
lean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2sco
p
.
c: scop_
f
rom_{break,
c
onti
n
ue}:
allow speci
f
ication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
pet_create_te
s
t
_
index
:
allow specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
s
tmt
_
from_pet
_
ex
p
r: a
l
l
o
w specification of st
a
tement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_stmt_
f
r
om_pet_exp
r
: minor clean
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_
s
tmt_from_pet
_
expr: rename "dim" variable to
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
o
l
aege
pet_co
n
text: 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 Verdoolaege
a
dd pet_nes
t
ed_r
e
move_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
s
c
op
.
c
:
s
co
p
_
from_n
o
n_af
f
ine
_
if: drop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c: scop_fr
o
m_non_affine_if: delay
cons
t
ruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
tr
e
e
2
s
cop
.
c: sc
o
p
_
from_affine_for: delay
construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
t
re
e
2sc
o
p
.
c: scop_from_non_affine_while: dr
o
p preallocati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
tree2
s
co
p
.
c: sco
p
_from_n
o
n
_
affin
e
_w
h
ile: delay co
n
st
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c: scop_from_infinite_lo
o
p
:
del
a
y construc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
tree2scop
.
c: infi
n
i
t
e_d
o
m
ain
:
delay in
t
ersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tr
e
e2scop
.
c: extrac
t
o
u
t
s
h
ared apply_affine_br
e
ak
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
t
r
e
e2s
c
op
.
c: s
c
op_from_affine_for: re
m
ove prea
l
loc
a
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree
2
scop
.
c: scop
_
from_affine_for
:
delay constructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
s
c
o
p
.
c: sco
p
_
f
rom_affine_
f
or:
intro
d
uce
i
s
_
non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c
:
scop_fr
o
m_affine
_
for:
d
e
l
a
y int
e
r
s
ection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
do
o
laege
a
dd pet_scop_intersect_doma
i
n_p
r
efix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
er
d
oolaege
add pet_prefix_projection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
scop
.
c: e
x
tent_
i
s_virtua
l
_
array: check for members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olae
g
e
pet_
a
rray_embe
d
: separate out ext
e
nt_is_virtual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
drop p
e
t_scop_wr
i
tes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree
2
scop
.
c: is
_
nested_all
o
w
e
d: tak
e
tr
e
e instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
p
et_skip_info_*_extra
c
t*: pass
s
truct
pet_state instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
move extract
i
on of pet_
s
cop
from p
e
t_tree to separat
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
con
s
truct pet_sc
o
p fro
m
inte
r
mediat
e
p
e
t_
t
ree data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
a
d
d
pet_context_clear_write
s
_
i
n_{expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
introd
u
ce pe
t
_
t
r
ee o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ol
a
ege
move Pe
t
Scan::extrac
t
_while
b
efore it
s
fir
s
t use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
move PetSca
n
::is_nested_allowed bef
o
re
i
t
s fi
r
s
t u
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
rdoola
e
ge
move
P
etSc
a
n::e
x
tra
c
t_non_affin
e
_condition bef
o
re its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etScan: drop allow_
n
ested at
t
r
i
bute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
introduce pet_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
move pet_scop_extract_nested to
nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdo
o
laeg
e
move p
e
t_expr_extract_n
e
sted to
n
e
s
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
erd
o
o
laege
PetS
c
an:
:
extract
_
f
or
:
us
e
pet_expr_ext
r
act_comp
a
rison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoo
l
aege
PetScan::scan(FunctionDecl *): cons
t
ruct a pet_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next