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_expr_is_equal: compare index expressions up to reordering of parameters
2014-03-25
Sven Ve
r
dool
a
ege
pet_expr_is_eq
u
al: compare index expressi
o
ns up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
g
e
pet_e
x
pr_
e
xtra
c
t_a
f
fine
:
exploit domai
n
informa
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
a
d
d
pet_context
_
get
_
gist_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oola
e
ge
tree2scop
.
c: sco
p
_f
r
om_bloc
k
: c
o
llect affine
c
ontinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
pet_scop_from_pet
_
tree: extra
c
t
pet_scop fro
m
t
he
roo
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
a
dd f
u
nctions for ma
n
ipulating t
h
e d
o
main of
a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
pet_sc
o
p_re
s
tr
i
c
t:
a
ls
o
restrict vi
r
tua
l
array ex
t
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaeg
e
p
et_con
t
ext_evalu
a
t
e
_expr: first in
s
e
r
t
do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_check_code: remove tracki
n
g of a
s
signments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
dr
o
p pet_sc
o
p
_d
e
tect_parameter_accesse
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
pet
_
context
_
evaluate
_
expr: also plug in affine
expre
s
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
sep
a
rate out pet_context_
e
valuate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dro
p
p
e
t_context_mark_assig
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::
e
xtr
a
ct_s
c
o
p: clear
w
rites at outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
Pe
t
Scan
:
:
e
x
trac
t
_scop: local
l
y cons
t
r
uct pet_cont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetSca
n
::extract_s
c
op: also a
d
d all pet_ar
r
ays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_expr_filter:
a
void
i
ntroduction of c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: i
s
_sim
p
le_bound: handle h
i
gher
dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2scop
.
c: valid_for_each
_
iteration: handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2scop
.
c: add_implication: handle high
e
r dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: ma
p
_
t
o_previous: handle hig
h
er dimension
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
tree2scop
.
c: after
:
handle
higher di
m
e
n
sional doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_ext
r
act_ne
s
ted_fro
m
_
space: add extr
a
d
imensi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
a
e
ge
p
e
t_extract_nested_from_
s
pa
c
e: embed argument
s
i
n given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_expr_access_ge
t
_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet
_
exp
r
_
r
esolve_nest
e
d:
allow specification of dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
tree2sco
p
.
c: handle_
w
rites: separate out han
d
ling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
handl
e
_
w
rites: r
e
move redundant pet_contex
t
_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
extract_kill:
allow
specification of state
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_sc
o
p_add_boolean_array: allow specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip_info
_
*_extract*: p
a
ss a
l
ong pet_cont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
l
a
e
ge
pet_scop
cons
t
ructors: allow specification of
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oola
e
ge
tree2scop
.
c: scop_from_{brea
k
,continue}: minor clea
n
-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
t
r
e
e2scop
.
c
:
scop_from_{bre
a
k,continue}: allow spe
c
ification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet
_
create_tes
t
_
index
:
allow specification of
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_from_pet_exp
r
: allo
w
specification of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_fro
m
_
p
et_e
x
pr: m
i
nor clea
n
-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
la
e
ge
pet
_
stmt_fro
m
_pet_e
x
pr: rename "dim"
v
ariable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
pet_c
o
ntext: kee
p
trac
k
of domain set
r
ather
than
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
add pet_nested_remove_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
t
ree2sc
o
p
.
c: scop_from_non
_
affine_
i
f: drop pr
e
allocat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c: scop_fr
o
m_non_aff
i
ne_if: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
tre
e
2
scop
.
c: scop_from_affine_for: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdool
a
ege
t
ree2scop
.
c: scop_from_non_affin
e
_wh
i
le: drop
p
r
e
allocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oo
l
aege
t
r
ee
2
s
cop
.
c: scop_from_non
_
aff
i
ne_while: de
l
ay
c
onstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aeg
e
tree2scop
.
c: sc
o
p_from
_
infinite_loop: dela
y
constru
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2
s
cop
.
c: i
n
f
ini
t
e
_
d
omain: de
l
ay intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
tre
e
2
scop
.
c: extract out shared apply_a
f
fine_brea
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2scop
.
c:
scop_fro
m
_a
f
fine_
f
or:
r
emov
e
prea
l
location
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaeg
e
tree2scop
.
c
: scop_from_affine_for: delay con
s
truc
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tr
e
e2scop
.
c: scop_fro
m
_
affine
_
for: introduce is_non_affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: scop_from
_
affine_for: del
a
y
i
nter
s
ection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add pet_sco
p
_
i
n
tersect_d
o
m
a
i
n_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdool
a
ege
ad
d
p
et_prefix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
scop
.
c
:
exte
n
t_is
_
vir
t
ual_a
r
ray: c
h
eck for me
m
bers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erd
o
o
l
aege
pet_array_emb
e
d
: s
e
p
a
rate out extent_is_
v
irt
u
al_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oola
e
ge
d
r
op
p
et_scop_writ
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
t
ree2scop
.
c:
is_ne
s
ted_al
l
owe
d
: take tree
instea
d
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_skip_info_*_extra
c
t*: p
a
s
s
struct pet_state i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
move e
x
traction of pet_scop fro
m
pe
t
_tree to separ
a
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
construc
t
pet_sc
o
p
f
rom intermedia
t
e pet_tree dat
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
rdoolae
g
e
add pet_context_clear_writes_in_{
e
x
pr,tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
in
t
ro
d
uce pe
t
_t
r
ee objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
move P
e
tSca
n
::e
x
tract_while before its firs
t
us
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
m
o
ve PetScan::is_
n
ested
_
all
o
wed befo
r
e its
first
use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaeg
e
m
ove PetSca
n
::extrac
t
_non_affine_condition before
i
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan:
d
rop allow_ne
s
te
d
attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
introduce pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
mo
v
e
pe
t
_sc
o
p_e
x
tract_nested
to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
move pet_
e
x
p
r_e
x
t
rac
t
_nested t
o
nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
PetScan::e
x
tract_
f
or: us
e
pet_
e
xpr_extract_comparis
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
PetS
c
an:
:
sc
a
n(Functio
n
D
e
c
l
*): cons
t
ru
c
t a pe
t
_
c
onte
x
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
r
e
move Pet
S
can
:
:try_extract_affine_cond
i
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdool
a
ege
Pet
S
can:
:
set
_
upper_bounds: co
n
vert array bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
cc: upd
a
t
e_size:
h
a
n
dle
N
UL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan::extract_a
f
fine(cons
t
l
l
vm::AP
I
nt &
)
:
ex
t
ra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
postpone the d
e
t
e
c
tion of a
f
fine
assumptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
extract out pet_expr_is_as
s
ume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etS
c
an::ext
r
act_access_expr: del
a
y plugging in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tS
c
an
:
:
e
x
tract
_
affi
n
e(Ex
p
r *):
s
top taking
i
nto account
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetScan::ex
t
ract_a
c
cess_expr: construct acc
e
ss
e
xp
r
ession
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
Pet
S
can::resolv
e
_nested: handle sel
f
dependenc
e
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erd
o
olaeg
e
PetScan::resolv
e
_nested: ha
n
d
l
e presen
c
e
of argu
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
eg
e
add fun
c
tions f
o
r manipula
t
ing ex
p
ress
i
on arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
add
p
et
_
expr_acce
s
s_pu
l
lback
_
mul
t
i_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
separate out ar
r
ay index manipula
t
ion fu
n
ctio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan:
:
extract_cond
i
tional_assig
n
me
n
t: extr
a
ct
w
rit
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolae
g
e
PetScan::mark_w
r
i
t
e: turn into a sta
t
ic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
post
p
one cl
e
arin
g
assig
n
ed values until the p
o
int where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdoolaege
postpone
handling
o
f
assi
g
nments until th
e
point whe
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
PetSc
a
n::assign: take pet_exp
r
as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoola
e
ge
PetScan::ex
t
ract_expr
(
ConditionalOperat
o
r
*
): preser
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoola
e
ge
pet_chec
k
_cod
e
:
o
p_e
x
pr_extr
a
ct_pw
_
aff
:
handle mo
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
move pet_ne
s
ted
_
extra
c
t_expr to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extra
c
t_
a
ffine: extract expressio
n
as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
treat fors wi
t
h non-affine in
i
t
ialization or no
n
-cons
t
an
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan::e
x
tract_for: move up extraction of cons
t
ant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
PetScan::extract_for: extract initia
l
valu
e
as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
o
l
aege
PetScan::extract_
f
or
:
extract increme
n
t
as pet_e
x
pr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoolaege
PetScan::extract(pet_expr*): take explicit source ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
