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
scop.c: extract out pet_stmt_is_affine_assume and pet_stmt_assume_get_index
2014-03-31
Sven Verdoolaege
scop
.
c: e
x
tract
o
ut pet_st
m
t
_
is_aff
i
ne_
a
ssume a
n
d
p
et_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
scop
.
c
:
stmt_colle
c
t_
a
ccesses: use pet_expr
_
foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolae
g
e
s
cop
.
c
: st
m
t_colle
c
t_params: use
pet_
e
xpr_foreach_
a
cces
s
_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
keep
tra
c
k o
f
indentat
i
on of
e
xtracted
c
o
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
up
d
ate te
s
t case o
u
tputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
e
x
tract enum
co
n
stants as th
e
i
r integ
e
r values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
PetScan::ext
r
act_
i
n
t: separat
e
out extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan::extr
a
ct_u
n
signed: t
u
rn int
o
a
s
tati
c
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
s
c
an
.
cc: change te
x
tual
order of extr
a
ct_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaeg
e
pet_check_cod
e
.
c
:
u
se pet_expr_
e
xtract_affin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
export pet_expr_
e
xtr
a
ct_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_
c
o
n
te
x
t
:
no l
o
n
g
e
r keep tra
c
k
o
f
"unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_extract_af
f
i
n
e
:
no lo
n
ger create
n
e
w parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetSca
n
::extract
_
scop: populate pe
t
_cont
e
xt with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdool
a
ege
sca
n
.
cc: mov
e
up s
t
atic ge
t
_
array_t
y
pe f
u
nction in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
P
e
tScan
:
:get
_
array_size: cache
r
esults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n
::s
e
t_upper_bound
s
: extract o
u
t
PetS
c
an::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_is_eq
u
al:
co
m
par
e
index expressions u
p
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
expr_extra
c
t_affine: exploit domain informa
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
a
dd
p
et
_
con
t
ext_get_g
i
st_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
e
ge
tree2scop
.
c: scop_from_
b
lock
:
co
l
l
ect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
o
laege
pet_scop_from_pe
t
_tree: extract pet_sc
o
p from the r
o
ot
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
add function
s
for manipulating
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_
r
estrict: also res
t
rict virtu
a
l array exte
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olae
g
e
p
et_context_ev
a
luat
e
_expr: first
i
nsert dom
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_check_cod
e
: remove track
i
n
g
of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ver
d
oo
l
aeg
e
d
rop pet_scop_detect_parame
t
er
_
ac
c
es
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_contex
t
_ev
a
luate_expr: als
o
plug
i
n
a
f
fin
e
expres
s
io
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separate ou
t
pet_context_evaluate_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdool
a
ege
drop
p
et
_
context_m
a
r
k
_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
P
etScan::
e
xt
r
a
ct_scop:
cle
a
r w
r
i
t
e
s
at outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoola
e
ge
PetSca
n
::e
x
t
ra
c
t
_
scop: locally co
n
s
truc
t
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
Pe
t
Sca
n
::extract_scop: also add all
pe
t
_arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaeg
e
pet_
e
x
p
r
_filter:
a
void introduction of
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
tree2
s
cop
.
c: is_
s
i
m
ple_bound:
handle higher dimensiona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
tree
2
scop
.
c
:
va
l
id_fo
r
_e
a
ch_iteration
:
ha
n
dle
higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
t
ree2scop
.
c
:
add_implication: handle
higher
d
imensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaeg
e
tree2
s
co
p
.
c: map_to_p
r
evious: handle hi
g
her dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oola
e
ge
tree2scop
.
c: after: h
a
nd
l
e higher di
m
ensional do
m
ai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
r
d
o
o
l
ae
g
e
pet_extract_nested_from_space: add
e
xtra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
pet_extr
a
ct_ne
s
ted_from_spac
e
: embe
d
ar
g
ument
s
in
given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
a
d
d pet
_
expr_access_get_dom
a
in_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
pet_
e
xpr_resolve_nested: allow specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2scop
.
c: handle_writes:
separ
a
te
o
u
t han
d
ling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaege
tree2s
c
op
.
c: hand
l
e_writes: remove
redundant p
e
t_c
o
ntext_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
t
ree2sco
p
.
c:
e
xtract_k
i
ll: allow
specification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_add_bool
e
an_array:
a
llo
w
speci
f
ication of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
pet_skip_info_*_extract*
:
pass alon
g
p
e
t
_
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop constructors: allow
s
peci
f
i
c
a
tion
of d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
tree
2
scop
.
c: scop_f
r
om_{break,contin
u
e}: mi
n
or clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
t
r
ee2sco
p
.
c: s
c
o
p_fr
o
m_{break,conti
n
ue}: allow
s
pe
c
ification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoola
e
ge
pet_cr
e
a
te_test_index: all
o
w specification
o
f do
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_stm
t
_fr
o
m
_
pet
_
expr: all
o
w
spec
i
fi
c
ation of
state
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_
s
tmt_f
r
o
m_pet_expr: minor clean-u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt
_
fr
o
m_pet_e
x
pr:
re
n
ame
"d
i
m
"
variable to "
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context: keep track of
doma
i
n
s
e
t rath
e
r
than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
add pet_nested_r
e
m
o
v
e
_
from
_
s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
tree2scop
.
c:
sco
p
_from_non_affine_if: dro
p
preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2sc
o
p
.
c
: scop_from_non_af
f
ine_if: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c: s
c
op
_
from_affine_fo
r
: d
e
lay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
tree2scop
.
c: s
c
op_from_non_
a
ffine_while: dr
o
p preallocat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2sco
p
.
c: sc
o
p_from_
n
on_affine_while:
del
a
y
c
o
n
struct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: scop_from
_
infinit
e
_lo
o
p: dela
y
c
o
n
struction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c: infin
i
t
e
_do
m
ain
:
delay intersection
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
tre
e
2scop
.
c
:
ex
t
ract
o
ut shared
apply_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c: scop_fro
m
_
a
ffin
e
_
fo
r
:
remove preallo
c
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
lae
g
e
tree2scop
.
c: s
c
op_f
r
om_affine_fo
r
:
d
elay constru
c
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
t
ree2scop
.
c: scop_from
_
affi
n
e
_for: i
n
t
r
oduc
e
is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
t
r
ee2scop
.
c: s
c
o
p_fro
m
_affine_
f
or: de
l
ay intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
ad
d
p
e
t_scop_intersect_domain_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
a
d
d
pet_prefix_projecti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
ool
a
ege
scop
.
c
: exte
n
t_is_virtual_arra
y
:
c
h
eck fo
r
members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_a
r
ray_embed:
separate o
u
t
extent_
i
s_virtu
a
l_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
drop
p
et_sco
p
_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolae
g
e
t
ree2sc
o
p
.
c: is_nested_a
l
lowed:
t
ak
e
tree
i
n
stead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_skip_info_*
_
extrac
t
*: pass struc
t
pe
t
_s
t
ate instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
move extraction of pet_scop from p
e
t_tree to
s
e
p
ar
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
co
n
s
truct pet_scop
from intermed
i
at
e
pet
_
tr
e
e dat
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add
p
et_context_clea
r
_writ
e
s
_in_{e
x
pr
,
tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
in
t
roduce pet_tree
o
b
j
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetSc
a
n:
:
extract_while before its first
u
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdoolaege
move Pe
t
Scan::is_nested_al
l
owed be
f
ore i
t
s first use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
e
rdo
o
laege
move
P
etS
c
a
n
::extract_non_aff
i
ne
_
condition b
e
fo
r
e
i
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetScan: drop allow_
n
e
s
ted
at
t
ribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdo
o
laege
introduce p
e
t
_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
erd
o
ol
a
ege
move pe
t
_scop
_
extract_ne
s
ted to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
move
p
et_expr
_
e
xtract_nest
e
d t
o
n
e
st
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erd
o
olaege
Pet
S
can::extract_for: use pet_expr_ext
r
a
c
t_compariso
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
P
e
tSca
n
:
:
s
can(FunctionDe
c
l *
)
: construc
t
a
pet_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ol
a
ege
rem
o
v
e PetScan::try_
e
xtract
_
affine_c
o
n
d
iti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
l
aege
Pet
S
can::set_up
p
e
r_b
o
unds: convert array
b
oun
d
s to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
s
c
an
.
cc: u
p
d
ate_size
:
handl
e
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaeg
e
Pe
t
Scan::extract_affine
(
const
l
l
vm::APIn
t
&):
e
xtra
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
laege
po
s
tpo
n
e the detection of af
f
ine assumpti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
extract
ou
t
pet
_
expr_
i
s_
a
ssume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan
:
:ex
t
ract_
a
ccess_e
x
pr: delay plu
g
ging in t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verd
o
o
l
aege
P
e
tScan::extract
_
a
f
fine(Expr *): st
o
p taking into
a
ccoun
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
PetScan::
e
xtract_access_
e
xpr: construct access ex
p
res
s
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdool
a
ege
PetScan::resolve_
n
ested:
h
a
n
dle self depe
n
denc
e
s in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
PetScan::resolve_nested:
h
andle pre
s
ence of argu
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
