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.cc: extract out PetASTConsumer::add_pragma_handlers
2014-03-31
Sven Verdoolaeg
e
pet
.
c
c: extract out PetA
S
TC
o
nsum
e
r:
:
add_pra
g
ma
_
han
d
lers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
add encapsulate_dynamic_
c
ontrol option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
pet_sc
o
p_from_p
e
t
_tree: create statements d
i
rectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ver
d
oolaege
replace pet_stmt_from_pet
_
exp
r
b
y
pet_stmt_fr
o
m_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdo
o
la
e
ge
pet_stm
t
: use pet_tree to rep
r
ese
n
t statement
bo
d
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolae
g
e
s
cop
.
c:
e
xtrac
t
o
u
t pet
_
st
m
t_is_affine
_
as
s
ume and pet_stmt
_
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aeg
e
s
c
op
.
c: stmt
_
collect_accesses:
u
s
e pet_
e
x
pr_forea
c
h_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
scop
.
c
:
st
m
t
_
collect_params: use pet
_
expr_foreach_ac
c
ess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
keep tra
c
k of
i
ndentation
o
f extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
update test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoo
l
aege
ex
t
ract enum constants as their integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
PetScan::extract_int: sep
a
rate out
extrac
t
ion from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
P
etScan::extrac
t
_unsi
g
ned: tur
n
into a sta
t
ic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
sca
n
.
cc: c
h
a
n
ge textual order of extra
c
t_un
s
igned
a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
c
h
eck
_
code
.
c:
use pet_expr_
e
xt
r
act_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
expor
t
pet_expr_
e
x
t
ract_aff
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context: n
o
longer kee
p
track of
"
unknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_expr_ext
r
act
_
affi
n
e:
no longer create
n
e
w
pa
r
ameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
PetScan::extract_
s
cop: p
o
p
u
late
p
et_context with
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
sca
n
.
cc:
move u
p
st
a
ti
c
get_array_type function i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetS
c
an::g
e
t_ar
r
ay_size
:
cache resu
l
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
PetScan::set_upper_bounds: extract out PetScan::get_
a
r
r
a
y
_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet
_
ex
p
r_is
_
equal:
c
ompare index
expressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_
e
xpr_extract_affi
n
e: exp
l
o
it domain
informatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
do
o
la
e
g
e
add
p
e
t_
c
o
n
text_
g
et_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
tree2scop
.
c: scop_from_block: collect affin
e
continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
p
et_scop_f
r
om_pet_t
r
ee: extract pet
_
scop
from the ro
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
a
d
d functions for manipula
t
ing t
h
e
d
omain of a
p
et_con
t
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_s
c
op_restrict:
a
lso
r
estr
i
ct virtual arr
a
y extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_cont
e
xt_evalua
t
e
_
e
xpr: first
i
nser
t
doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
p
et_check_code: remove tracking of assign
m
ent
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
d
r
op pet_
s
cop_det
e
ct_par
a
m
e
ter_acc
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
pet_context_eval
u
ate_expr: also plug in a
f
fine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
separate
out p
e
t
_
c
o
ntext_
e
valuate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop
p
e
t_c
o
nt
e
xt
_
mar
k
_
assi
g
ne
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tScan::extract_
s
c
op: clear w
r
i
t
e
s a
t
outer l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
P
e
tScan::extract_
s
cop: l
o
cally const
r
u
ct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_scop
:
also a
d
d all pet_array
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
pet_expr_filter: avoi
d
i
n
trod
u
ction of
cons
t
raints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2scop
.
c: is_simple_b
o
und:
handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ve
r
d
o
olaege
tre
e
2
s
cop
.
c: valid_f
o
r_eac
h
_itera
t
ion: ha
n
d
le high
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
tree2scop
.
c: add_implication:
h
an
d
l
e
highe
r
dimensiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoola
e
g
e
tree2scop
.
c:
m
ap
_
to_previous: handle highe
r
d
i
m
ensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
tree2scop
.
c:
af
t
er: h
a
ndle higher
d
i
mensional
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
pet_extract_nested_from_space: add extra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolaeg
e
pet_e
x
tract_nested_from_space: embed
arguments in gi
v
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoo
l
aege
add pet_expr_a
c
c
ess_ge
t
_do
m
ain
_
s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
pe
t
_
expr_
r
esolve_nested: allow specifi
c
a
t
ion of
d
omai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c:
ha
n
dle
_
writes: sep
a
rate
o
u
t handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
la
e
ge
tree
2
scop
.
c: handle_write
s
: remo
v
e re
d
undant pet_conte
x
t_
m
ar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
tree2scop
.
c: e
x
tract_
k
ill: allo
w
specificat
i
o
n of
s
t
a
tement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
pet_scop_add_boolean_array: allow
specifica
t
i
o
n of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_skip_info_*_extract*: pass a
l
ong
p
e
t
_
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
pet
_
scop constru
c
tors: allow specifica
t
ion of
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
tree2scop
.
c
:
scop_fro
m
_{
b
rea
k
,contin
u
e}:
m
i
nor
clean-u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
tr
e
e2sc
o
p
.
c:
s
cop_from_{brea
k
,continu
e
}: allow
s
pecification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
p
e
t
_create_te
s
t_index: allo
w
specific
a
tion o
f
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_
s
tmt_from_pe
t
_expr: allow specification of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_stm
t
_from_pet_ex
p
r: minor clean
-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aeg
e
pet_stmt
_
from_pet_expr: rena
m
e "dim" variabl
e
to
"spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_context: keep t
r
a
ck of domain set rather th
a
n
d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
add pet_
n
e
s
ted_remove_
f
rom_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sc
o
p_from_non_affine
_
if: drop preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
tree
2
scop
.
c:
s
cop_from_non_affine_if: d
e
lay c
o
nstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aeg
e
tree2scop
.
c
: s
c
op_from_affine_fo
r
: delay constructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c: sc
o
p_
f
rom_non_affine_whi
l
e:
drop
p
r
ealloca
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
tre
e
2scop
.
c: scop_from_non_affine_while
:
d
elay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tr
e
e2sco
p
.
c
:
scop_from
_
in
f
i
n
ite
_
l
o
op: delay c
o
nstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: infi
n
ite_d
o
main: delay inters
e
ct
i
o
n with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
r
ee2scop
.
c: extract
ou
t
sh
a
r
e
d apply_affine
_
break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tre
e
2scop
.
c: scop_from_affi
n
e_for: remove
preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
l
a
ege
tre
e
2scop
.
c: scop_from_affin
e
_f
o
r: delay constructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: scop_from_affine_
f
o
r: introd
u
ce is_non_affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
tree2scop
.
c: scop_from_
a
ffine_for: dela
y
int
e
rsection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoo
l
a
ege
add pet_scop_intersect_dom
a
in_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
add pet_prefix_
p
roj
e
c
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoo
l
a
e
ge
s
c
op
.
c: extent
_
is_virt
u
al_ar
r
a
y
: check
for members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
d
o
ol
a
ege
pet_array
_
embed:
separate out extent_is_vir
t
ua
l
_a
r
ray
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
drop pet_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
tr
e
e2
s
c
op
.
c: is_nested_allowed: take tree instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
eg
e
pet_skip
_
info_*_extract*: pass str
u
ct pet_st
a
te instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
m
ove extraction
of pet_s
c
o
p
from pet_tree to
separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
const
r
uct pet_scop fr
o
m interme
d
iate
p
e
t_tree data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ve
r
doolaege
a
dd pet_c
o
ntext_clear_writes_in
_
{expr
,
tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
e
ge
introduce
p
et_tree objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
V
e
r
d
o
olaege
move Pe
t
Scan::extract_while b
e
fore its first
use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
mo
v
e PetScan::is_nested_allowed before its first
u
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
move PetScan::
e
xtr
a
ct_non_affine_c
o
ndition befo
r
e
i
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdool
a
eg
e
PetSca
n
: drop allow_neste
d
attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
int
r
oduce
p
et
_
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
move pet_scop_
e
xtract_n
e
ste
d
to
n
est
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move pet_expr_extr
a
c
t_n
e
ste
d
to
nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetScan::extract_
f
or: use pe
t
_
expr_extract_comparison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSca
n
::scan(Fun
c
tionD
e
cl *): construct a p
e
t_context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
r
em
o
ve
PetScan::try_extract_affine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan::set_upper_bo
u
nds: convert ar
r
ay b
o
unds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
s
c
an
.
cc:
u
pdate_size: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
PetS
c
an::
e
xtract_affine
(
const llvm::API
n
t &)
:
extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
postpone t
h
e d
e
tec
t
ion
o
f affin
e
a
s
sumpti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
ol
a
ege
extract out pet_e
x
pr_is_
a
ssum
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next