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_argument: handle passing of entire arrays
2014-04-03
Sven Verdoolaege
PetScan::e
x
tract_argument: han
d
le passing
o
f
e
ntire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolae
g
e
Makefil
e
.
am: add du
m
my C++ sour
c
e fil
e
to pet_sco
p
_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en
V
e
r
doo
l
aege
handle
p
encil indep
e
nde
n
t prag
m
as
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdool
a
ege
PetScan: keep tr
a
c
k of l
i
ne n
u
mb
e
r
o
f
current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
pet
.
cc: extract out PetASTConsume
r
::add_pra
g
m
a
_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
a
dd encapsulate_dynamic_co
n
t
rol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rd
o
olaege
pe
t
_
scop
_
from_pet_t
r
ee: crea
t
e
statements dire
c
t
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verd
o
olaege
replac
e
pet
_
st
m
t_from_pet_expr
b
y pet_stmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
r
d
oolae
g
e
pet_stmt: us
e
pet_
t
re
e
t
o
repre
s
ent st
a
t
e
ment body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
scop
.
c: extract ou
t
p
et
_
stmt_is_affine_
a
ssume
and
p
et_s
t
mt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
scop
.
c
:
stm
t
_coll
e
ct_accesses: use pet_expr_fore
a
ch_acces
s
_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_params: use pet_expr_forea
c
h_acces
s
_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolae
g
e
keep track of inde
n
tatio
n
of extracted c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rdoola
e
ge
update test
c
ase outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
extract
enum constants as the
i
r
integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
PetS
c
an::ext
r
act_in
t
: s
e
parate o
u
t extrac
t
ion
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
PetScan
:
:
e
xtract_unsig
n
ed: turn
i
n
to a static func
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: cha
n
ge text
u
al order
o
f
ex
t
ract_unsig
n
ed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_ch
e
c
k
_code
.
c: use
pet_expr_
e
xtract
_
af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
e
x
p
ort pet_expr_ext
r
act_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_context: no
l
onger
kee
p
track of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_expr_ext
r
act_affine: no longer create new pa
r
ameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
P
e
t
Scan::extract_
s
cop:
p
opulat
e
pet_context with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
d
o
ola
e
g
e
scan
.
cc:
m
ove up s
t
atic get_arr
a
y_typ
e
func
t
ion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
PetS
c
an:
:
g
et_array_size: c
a
che results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
l
a
e
ge
Pet
S
can::set_upp
e
r_bo
u
nds: extract out PetScan::get_ar
r
a
y_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_ex
p
r_is_eq
u
al: compare index
e
xp
r
ess
i
ons
u
p to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
p
e
t
_expr_extract
_
a
f
fine: exploit domai
n
i
n
for
m
a
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
add pet_context_ge
t
_g
i
st
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
r
ee2
s
co
p
.
c: scop_fro
m
_block:
c
o
llect affin
e
cont
i
nue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ver
d
oola
e
ge
pe
t
_scop_fr
o
m_pet_tree
:
ex
t
ract pet_
s
cop from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add functions for manip
u
l
ating
t
he
d
omain of a pet_c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
pet_
s
c
o
p_restrict:
a
lso r
e
st
r
ict virtual arr
a
y
e
xtents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
pet_co
n
text_eval
u
ate_ex
p
r: f
i
rst insert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
et_check_code: re
m
ove t
r
acking
o
f
assign
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaeg
e
drop pet_scop_de
t
ect_parame
t
er_a
c
c
e
sses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_context_
e
valuate_e
x
pr: also
plug in af
f
ine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
sep
a
rate
o
ut pet_context_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
d
rop pe
t
_context_mark_a
s
sig
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
Pe
t
Scan::extract_s
c
o
p
: clear writes at outer
l
evel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
PetScan:
:
extract_scop
:
loc
a
lly
c
onstruc
t
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
Pet
S
can::extract_scop:
also
a
dd all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
et_expr
_
filte
r
: avoid introduction
of cons
t
rai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c: is_simple_bound: han
d
le higher d
i
me
n
s
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c: valid_for_each_ite
r
at
i
on: handl
e
h
i
g
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdool
a
e
g
e
t
ree
2
scop
.
c: ad
d
_implication: handle
h
ighe
r
dimensio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
do
o
laege
tree2scop
.
c: map_to_previo
u
s
:
h
andle higher dimensi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
tree2scop
.
c: after:
h
an
d
l
e higher dimensional dom
a
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_extract_nes
t
ed_from_spac
e
:
add ex
t
r
a
dim
e
nsi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet
_
extract_nested_f
r
om_space:
e
m
b
ed argumen
t
s
i
n given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
add pet_expr
_
access_get_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
p
et_ex
p
r
_reso
l
ve_nest
e
d: allow specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: handl
e
_writes: separate out handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2s
c
o
p
.
c:
h
andle_write
s
: remo
v
e
r
edundant pet_contex
t
_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
specification of
stateme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
pet_scop_ad
d
_boolean_array: a
l
l
o
w
specification of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
pe
t
_s
k
ip_info_*_e
x
t
ract*: pass along p
e
t
_
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_scop
constructors:
allow
specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaeg
e
t
r
e
e2sc
o
p
.
c: scop_f
r
om
_
{
break,co
n
ti
n
ue}: mino
r
c
l
ea
n
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c: scop_from
_
{bre
a
k,
c
o
ntinue}: allow
s
p
e
cification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_create_
t
e
st_inde
x
: allo
w
sp
e
cificati
o
n of doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet
_
stmt_from_pet_ex
p
r: a
l
low
s
pec
i
fication of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_stm
t
_
f
r
o
m
_
pet_expr:
m
i
n
or clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
p
et_stmt_from_pet_ex
p
r: rename
"dim" variable
t
o "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
ola
e
g
e
p
e
t_context: keep
t
rack
o
f domain set rath
e
r than d
o
ma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
add pet_nested_re
m
ov
e
_fr
o
m_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
t
ree2scop
.
c: scop_from_non_affine_if:
drop
prea
l
lo
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
tree2
s
cop
.
c: scop_from_non_affine_if:
del
a
y
c
o
nst
r
u
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: sc
o
p_from_affine_for
:
dela
y
construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
tree2scop
.
c
:
sco
p
_fr
o
m_non_a
f
fine_while: drop
p
r
e
allocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
t
ree2s
c
o
p
.
c
: scop_from_no
n
_affine_while: delay con
s
truc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
o
o
l
aege
t
r
ee2scop
.
c: scop_
f
ro
m
_i
n
f
i
n
i
te_l
o
o
p: de
l
ay co
n
st
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2sc
o
p
.
c: i
n
finite
_
domain: delay i
n
tersecti
o
n
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoo
l
a
e
ge
tree2scop
.
c:
e
xtract out shared app
l
y_affi
n
e_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
e
rdoolaege
tr
e
e2s
c
o
p
.
c:
s
cop
_
from_a
f
fine_for: remove preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from
_
aff
i
ne_
f
o
r
:
dela
y
con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoo
l
aege
tree2scop
.
c: sco
p
_from_affine_for
:
introduce is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tre
e
2s
c
op
.
c: s
c
o
p
_
from_a
f
fi
n
e_for: delay interse
c
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
add pe
t
_scop_intersect_domain_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oo
l
a
e
g
e
add pet_prefi
x
_project
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
scop
.
c:
ext
e
nt_i
s
_virtu
a
l_array: check fo
r
mem
b
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_array_embed: sep
a
r
a
te out extent_is
_
v
irtual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
drop pet_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2scop
.
c: is_ne
s
ted_allowed: take tree inst
e
ad of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip_in
f
o
_
*_ex
t
ract*: pass struct p
e
t_stat
e
ins
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
move extraction of pet_scop from
p
et_t
r
ee
t
o separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
constru
c
t
p
e
t_scop from intermediate pet_tree data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
a
dd pet_context_clea
r
_write
s
_i
n
_{
e
xpr,
t
ree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
i
ntroduce pet_tree ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move Pe
t
Scan::extract_w
h
ile bef
o
re its first use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
move P
e
tSc
a
n:
:
i
s_nes
t
ed_a
l
lowed
before its
fi
r
st use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
do
o
laege
move
P
etScan::extract_non_a
f
fine_
c
onditi
o
n
befor
e
it
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan: drop
a
llow_ne
s
ted attri
b
ut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
i
ntroduce pet_l
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
Verdoolaege
move pet_scop_
e
xt
r
act_nested t
o
n
est
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
mo
v
e pet_ex
p
r_extract_nested to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
Pet
S
c
a
n
:
:e
x
tract
_
for: use
p
e
t_expr_extrac
t
_co
m
parison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
P
e
tSca
n
::scan
(
Fu
n
c
tionDecl *): cons
t
r
uct a pet_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
remove PetScan:
:
try_extract
_
affine_condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verd
o
olaege
PetS
c
an:
:
set_
u
pper_bounds: convert array bounds to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next