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
replace pet_stmt_from_pet_expr by pet_stmt_from_pet_tree
2014-03-31
Sven Verdoolae
g
e
replace
p
et_s
t
mt_from_
p
et_expr by
p
e
t_stmt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Ver
d
ool
a
ege
pet_stmt
:
use pet_tree t
o
represent
statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
sco
p
.
c: extract out pet_stmt_is_affin
e
_assume and p
e
t_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verd
o
olae
g
e
scop
.
c: st
m
t_collect_accesses: use
p
et_expr_for
e
ac
h
_
a
c
cess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_
c
ollect_par
a
ms: use pet_expr_foreach_
a
cc
e
s
s_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep track of i
n
d
e
n
tati
o
n
o
f extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
upda
t
e test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
extr
a
ct enum
c
o
ns
t
ants
as their integer
v
a
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
PetScan::ex
t
ract
_
int: separate out extraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetSc
a
n:
:
extra
c
t
_
un
s
i
g
ned: turn into a
s
t
a
tic funct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc
:
ch
a
nge textual
o
rder of
e
xtract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_che
c
k_code
.
c:
u
se pet_expr_
e
xtract_
a
ffin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
e
x
port pe
t
_expr_extract
_
a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
g
e
pe
t
_
context: n
o
longer keep track of "unknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
pe
t
_ex
p
r_extract_affi
n
e: no longer c
r
ea
t
e ne
w
pa
r
a
m
e
ter
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
c
an::
e
xtract_scop
:
populate pet_cont
e
xt wi
t
h
paramet
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
scan
.
cc: move up sta
t
ic
g
e
t_ar
r
ay_type fu
n
cti
o
n in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
e
r
do
o
lae
g
e
P
e
tS
c
an::get_array
_
s
ize: ca
c
he
results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::s
e
t_u
p
p
er_bound
s
:
e
xtr
a
ct out
PetScan::get
_
array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
pet_expr
_
is_equal: compare index expres
s
ions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaeg
e
pet
_
ex
p
r_e
x
t
r
act_affine: exp
l
oit d
o
main info
r
mat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
a
e
ge
ad
d
pet_context
_
g
et_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
er
d
oolaeg
e
t
r
ee2sco
p
.
c: scop_from_blo
c
k: collect affine
c
o
ntinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
o
o
la
e
ge
pet_scop_from
_
pet_tree: extract pe
t
_scop
f
rom the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
a
d
d f
u
nctions
f
or manipulating
t
he domain of a
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_
sco
p
_restr
i
ct: also restr
i
ct
vir
t
u
a
l array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pe
t
_
c
ontext_evalua
t
e_exp
r
: first insert
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_
c
h
e
ck_code:
remove tracking
o
f assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
drop pet_scop_detect_parameter_a
c
cesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolae
g
e
pet_co
n
tex
t
_e
v
a
luate_expr: also
plug in
a
ffine exp
r
essions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
ol
a
ege
separ
a
t
e out pet_context
_
e
v
al
u
ate_
e
x
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaeg
e
drop pet_cont
e
xt_mark_
a
ssign
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
P
e
tScan::extract
_
scop: clear w
r
ites at
o
u
ter level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan::ex
t
ract
_
scop: locally construct pet_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
P
e
tScan::extract_sc
o
p: also add all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
p
et_expr_filter:
avoid i
n
trod
u
ction of co
n
straints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c
: is_s
i
mple_bound
:
handle hi
g
her dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
tree2s
c
op
.
c: valid_f
o
r_eac
h
_
iteration: h
a
nd
l
e h
i
gher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2s
c
op
.
c: ad
d
_implication: handle higher dimensiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tre
e
2
scop
.
c: m
a
p_to_previ
o
us
:
hand
l
e high
e
r di
m
ensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolae
g
e
tree2
s
co
p
.
c: after: handle hig
h
er dimensional
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_extrac
t
_
n
ested_from_space: add
ex
t
ra dimens
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ex
t
ract_nested_f
r
om_space:
embe
d
a
r
guments in g
i
ven
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
add pet_expr_access_get_do
m
ain_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
pet_e
x
pr_
r
e
s
olve_nested:
allow specificatio
n
of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdoolae
g
e
tree2s
c
op
.
c: handle_
w
rites: separate out
h
a
n
dling
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
tree2sc
o
p
.
c: ha
n
dle_writes: remo
v
e
redundant pet_
c
o
n
t
e
xt_m
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
tree2scop
.
c: extract_kill: allo
w
specificatio
n
of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
ge
pet_scop_add_boole
a
n
_array:
allow speci
f
ication of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_s
k
ip_inf
o
_*_extract*:
p
ass
a
l
ong pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_scop constru
c
tors: allow specification of do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
t
ree2scop
.
c: scop
_
from_{br
e
ak,cont
i
nue}: minor clean
-
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
tree2scop
.
c: scop_from
_
{break,continue}: allow specif
i
c
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdool
a
ege
pet_crea
t
e_test_index: al
l
o
w spec
i
fication of do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t
_s
t
mt_
f
rom_p
e
t_expr:
a
l
l
o
w
specifi
c
ati
o
n of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
g
e
pet_stmt_fro
m
_p
e
t_exp
r
: m
i
nor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
pet_stmt_from_pet_expr: rename "
d
im" variable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
p
et_context: ke
e
p
t
rack
of domain set rat
h
er t
h
a
n domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
add
p
et_
n
ested_remove_from_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ver
d
oolaege
tree2scop
.
c:
s
cop_from_non_affin
e
_if: drop preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c:
scop_from
_
n
o
n_
a
ffine_i
f
: delay co
n
st
r
u
c
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2
s
cop
.
c: scop_from_a
f
f
i
ne
_
for: delay construct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
t
ree2sc
o
p
.
c: s
c
op_from_non_a
f
f
in
e
_while: drop pr
e
a
l
l
ocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
V
erdoolaeg
e
tree2scop
.
c:
scop_from_non_affine_whil
e
: delay c
o
nstructi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c: scop_from_infinite_
l
oop: delay cons
t
r
u
cti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
e
e2scop
.
c:
infinite_do
m
ain:
delay inte
r
section with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tre
e
2scop
.
c:
extract out s
h
ared
a
pply_aff
i
ne_brea
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
scop
_
fro
m
_affin
e
_for
:
remo
v
e pr
e
allocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verd
o
olaege
tree2sc
o
p
.
c
: scop
_
from_affine_for: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c: scop_fro
m
_affine_for: int
r
o
duce
is_
n
on_
a
f
fine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c: scop_from
_
a
f
fine_for: delay intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
add pet_scop_
i
ntersect_dom
a
in_pre
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
a
dd pet_pre
f
i
x_pro
j
ection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
s
c
op
.
c: extent_is_virtual_array:
c
h
e
ck f
o
r members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_arra
y
_embed: separate out ex
t
ent
_
is_virtual_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
dr
o
p pe
t
_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tre
e
2sco
p
.
c: is_nested_al
l
owed: take tr
e
e instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
pet_skip_in
f
o_*_extract*: pass struct p
e
t_stat
e
instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Ve
r
dool
a
ege
move extraction of
p
e
t_scop
f
r
om pet_tree
to separ
a
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
construct pet_scop from interm
e
diate pet_tree
d
at
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
add pet_contex
t
_
c
lear_writes
_
in_{expr,tr
e
e}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
i
ntroduce pet_tr
e
e
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetScan::extract_
w
hile before its first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdo
o
laeg
e
move PetScan:
:
is_nested_allowed be
f
ore it
s
first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
move PetScan::extract_
n
on_affine_co
n
dition
b
e
fore
its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdo
o
l
aege
Pe
t
Sc
a
n: d
r
op all
o
w_neste
d
attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
o
l
aege
introduce p
e
t_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
r
doolaege
mo
v
e
pet_scop_extract_nes
t
e
d to n
e
st
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
move pet_expr_extract_nested to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
P
etSca
n
::extract_for:
u
s
e pet_expr_extract_co
m
parison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdoolaege
Pet
S
c
a
n::
s
can(FunctionDecl *): construct
a pet_con
t
ext
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
remove PetScan::try_extract_
a
f
fine_co
n
dition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdoolae
g
e
PetScan::
s
et_upper_bo
u
nds: convert arr
a
y bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
scan
.
cc: update_size: handle NULL in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
PetScan::ex
t
ract_
a
ffine(const
l
l
vm
:
:APInt &): extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
postpone the detection
o
f
affine assumptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out p
e
t
_
expr_is_as
s
ume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::ex
t
ract_ac
c
ess_e
x
pr: del
a
y plugging in th
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ve
r
doolaege
P
e
tS
c
a
n
::extract_affine(Expr *): st
o
p
t
aki
n
g
into
a
ccount
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
Pe
t
Scan::extract_
a
ccess_expr:
c
onstru
c
t
ac
c
ess expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next