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
tree2scop.c: scop_from_block: collect affine continue conditions
2014-03-25
Sven Verdo
o
laege
t
ree
2
scop
.
c: scop_from_block: coll
e
ct a
f
f
i
ne continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
pet_
s
cop_from_p
e
t
_
tree:
e
xtra
c
t pe
t
_s
c
op from the
r
o
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
add functions for m
a
n
ipulating the domain of a p
e
t_c
o
ntex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_restrict: a
l
s
o
restr
i
ct virtual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
c
ontext_evaluate
_
e
x
pr: first insert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_check_code: remove tracking
o
f as
s
ignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doola
e
ge
d
rop p
e
t_scop_detect_parameter_acc
e
ss
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
p
et_context_eval
u
ate_e
x
pr: also plug in af
f
ine expres
s
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
separate
out pet
_
c
ontext_evalua
t
e_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
drop pet_co
n
text_mar
k
_as
s
i
g
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdool
a
e
g
e
P
etScan::extra
c
t_scop
:
clear
writes at ou
t
er level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaege
PetScan::extract_scop: locally const
r
u
c
t pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extra
c
t_sco
p
: also add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
pet_expr_fi
l
ter: av
o
id
introductio
n
of
c
onstraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
tre
e
2scop
.
c
:
is_simple_bound: handle
h
ig
h
er dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
do
o
laege
t
r
ee2scop
.
c
: valid_for_each_ite
r
ation: han
d
le hig
h
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: add_implication: handle h
i
gher d
i
mensi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: map_to_
p
revious: han
d
l
e
higher dimens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
tree2scop
.
c: after: ha
n
dle high
e
r dimensio
n
a
l
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet
_
extra
c
t_nested_f
r
om_space: add extra dimensio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdo
o
laege
pet_extra
c
t_nested_from_
s
pace: em
b
ed arguments in give
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
add pet_expr_acces
s
_
get_domai
n
_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoola
e
g
e
pet_expr_resolv
e
_neste
d
: allow specificati
o
n of
domai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2
s
cop
.
c:
handle_writes: separate
out h
a
ndling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2s
c
op
.
c: handle_writes
:
remove redundant pe
t
_context_
m
ar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2s
c
op
.
c: extract_kill: a
l
lo
w
spec
i
f
i
c
ation of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
p
et_scop_add_
b
ool
e
an_array
:
al
l
ow specificatio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
p
e
t_s
k
i
p_info_*_extract*:
p
ass along pet_con
t
e
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop co
n
s
tructors: allow s
p
ecificat
i
on of
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
t
ree2scop
.
c: scop_from_{break,continue}: mi
n
or clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2sco
p
.
c:
s
c
op_from_{break,cont
i
nue}:
a
llow
specif
i
catio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
e
t_
c
reate_t
e
st_inde
x
: allow speci
f
ica
t
ion of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
pet_stmt_fr
o
m_pet_expr:
allow specification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
p
e
t
_stmt_from_pe
t
_
expr: minor cl
e
an-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
pe
t
_stmt_from_pet_expr: rena
m
e "dim" variable to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaege
pet_context: keep track of domain
s
e
t r
a
ther than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
add
pet_n
e
sted_remove_fro
m
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_non
_
affine_if: drop
preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c: scop_from_non_affin
e
_
i
f:
delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: scop_from_affine_for: delay
constr
u
ctio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
tree2scop
.
c:
s
cop_from_non_a
f
fi
n
e
_
while: drop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
tree2scop
.
c
:
scop_from_n
o
n_affine_while: d
e
l
a
y construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
er
d
oolaege
tree2
s
cop
.
c: scop_from_
i
nfinite_loop: de
l
ay const
r
uctio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2sc
o
p
.
c: infinite_domain: del
a
y
int
e
rsection
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
tr
e
e2scop
.
c
:
e
xt
r
act ou
t
shared apply
_
a
ffine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
tree2scop
.
c: scop_from_affine_for:
r
emove
preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sco
p
_from
_
affin
e
_for: de
l
ay c
o
nstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
ae
g
e
tree2scop
.
c
: scop_fr
o
m
_
affine_fo
r
: introduce is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
t
re
e
2scop
.
c: scop_from_affine_
f
or: delay
i
n
ter
s
ection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_scop_in
t
ersect_domain
_
prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
add pet_prefi
x
_projection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
sc
o
p
.
c:
exten
t
_is_virtual_array: check for membe
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
d
oo
l
aege
pet_array_embed: separate
out extent_is_virtual_
a
rray
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
drop pet_sco
p
_write
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaege
tr
e
e2scop
.
c
:
is_nest
e
d_allowed
:
ta
k
e tr
e
e in
s
tead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_skip_info_*_ex
t
ract*: pas
s
struct pet_state
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
move
extrac
t
ion of pet_scop fr
o
m pet_t
r
ee to
s
e
parate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
construct
pet_scop from intermediate
pet_tree data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erd
o
ol
a
ege
ad
d
pet_conte
x
t_clear_writ
e
s_in_
{
expr,tre
e
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
Verdoolaege
int
r
odu
c
e pet_tree objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
m
o
ve PetScan::ext
r
a
c
t_while before
its first
u
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdo
o
laege
m
ove
P
e
tSc
a
n::is_neste
d
_allo
w
ed before its fir
s
t
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rd
o
olaege
move PetScan::ext
r
act_non_affine_condi
t
ion
befo
r
e its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
P
etS
c
a
n: drop a
l
low_nested attrib
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
la
e
ge
introduc
e
pet_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move pet
_
scop_ex
t
ract_
n
este
d
to nes
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
olaege
move p
e
t_expr_
e
xtract_nested
t
o
n
est
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
a
e
ge
PetScan::ex
t
ract_for: u
s
e
pet_expr
_
extra
c
t_comparison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oola
e
ge
Pet
S
can::scan(Fu
n
ct
i
onDec
l
*): constr
u
ct a pet_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
remove P
e
tScan::try_extract_affine_c
o
ndition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaeg
e
PetScan:
:
set_upper_bound
s
: convert array bounds to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
Verdoolaege
s
c
a
n
.
cc: updat
e
_size
:
h
andle NU
L
L
inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaeg
e
P
e
tScan
:
:
e
x
t
ract_affine(co
n
st llvm
:
:API
n
t &): ext
r
act
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Ve
r
doolaege
postpone
t
he
d
e
t
ecti
o
n of af
f
ine
a
ssum
p
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract
out pet_expr_i
s
_assu
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
PetS
c
an::extract_access_exp
r
:
d
elay plugging in t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
la
e
ge
PetScan
:
:e
x
t
ract_affine(Expr
*
): stop taking int
o
a
ccou
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::ext
r
act_a
c
cess
_
expr: constr
u
ct
ac
c
e
s
s expres
s
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
er
d
oo
l
aege
PetSc
a
n
:
:
re
s
olve_nested: hand
l
e s
e
lf
d
e
pendence
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoolae
g
e
PetSca
n
::r
e
solve_nes
t
ed: handle presence of argu
m
e
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
a
d
d
fu
n
ctions for
mani
p
u
lating expression argum
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
add pe
t
_expr_access_p
u
llback_multi_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
s
e
par
a
te out array index man
i
p
u
lation functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rd
o
olae
g
e
PetS
c
a
n
:
:
extract_condition
a
l_assignment: ex
t
ract write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdool
a
ege
Pet
S
can::mark_writ
e
: turn into
a static fun
c
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pos
t
p
o
ne cle
a
ring a
s
signed valu
e
s until
the p
o
int w
h
ere
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
erd
o
olaege
postpone
handling of
a
ssignm
e
n
ts
u
n
til
t
he
point where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolae
g
e
PetScan::
a
ssi
g
n: take pet_expr as
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetSca
n
::
e
xtract_expr(Condit
i
onalOperator *): preserve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
pet_check_co
d
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 Verdoolaege
mov
e
pet_nested_
e
xtract
_
expr
t
o
nes
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
PetScan:
:
e
xtract_affine: extract e
x
pression as p
e
t_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
tr
e
at
f
ors with
n
o
n-affine initializati
o
n or n
o
n-c
o
nst
a
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
PetS
c
an::ext
r
a
c
t_for: m
o
ve up extract
i
on of
constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetScan:
:
extract_
f
or: extract initial value as pet_
e
x
p
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
PetScan::extract_for: ext
r
act increment as
p
et_ex
p
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoola
e
ge
PetScan::ext
r
act(pet_expr*):
t
ake
e
xplic
i
t
s
ource ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out PetS
c
a
n::extract_
w
hile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ve
r
d
oolaege
P
etScan::extract_c
o
ndition: convert cl
a
ng::Expr to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolae
g
e
scan
.
cc: separate out
s
hared
c
r
e
a
te
_
decl_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
