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
add encapsulate_dynamic_control option
2014-03-31
S
ven Verdoolaege
add encapsulate_dy
n
a
mic_control opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
l
aege
pe
t
_
s
cop_from_pet_tree: create s
t
atements direct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
l
a
ege
re
p
l
ace pet_stmt_
f
ro
m
_pet
_
e
x
pr
by pet_stmt_from_pet_tre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_stmt: use
pet_tree t
o
represent statement b
o
dy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: extract out pe
t
_stmt_is_affine_assum
e
and pet_stmt_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
scop
.
c: stmt_collect_accesses: use pet_
e
xpr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verdoolaege
sc
o
p
.
c: stm
t
_co
l
lect_
p
a
r
ams: use pet_expr_fo
r
each_acces
s
_
exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
keep t
r
ack of in
d
ent
a
tion of extra
c
t
ed code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
upd
a
t
e
test case
ou
t
puts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
extract enum constants
as
t
h
eir
int
e
ger values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
P
etScan::extract_in
t
:
s
e
para
t
e
out extracti
o
n
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
Pe
t
Scan:
:
extract_un
s
igned: turn i
n
to a stat
i
c functi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
scan
.
cc: change textua
l
order of extract_un
s
ign
e
d
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet_check_cod
e
.
c: use pet_
e
x
p
r_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
exp
o
r
t
pet_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
p
e
t_context: n
o
long
e
r keep track of "unk
n
o
wn" va
l
u
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoo
l
aege
pet_expr_extract_aff
i
ne: no longer create n
e
w p
a
rameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
PetScan:
:
extract_scop
:
populat
e
pet_context with paramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
scan
.
cc: move up sta
t
ic ge
t
_arr
a
y_t
y
pe function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
l
aege
P
etScan::g
e
t_ar
r
ay_size: cache resul
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
P
etSca
n
::
s
et_upper_bou
n
ds: extr
a
ct o
u
t Pet
S
can
:
:get
_
array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_is_e
q
ual: compar
e
inde
x
expressi
o
ns up
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_extract_affin
e
: ex
p
lo
i
t do
m
ain informatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
aege
add
p
e
t
_context_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
t
r
ee2scop
.
c: scop_from_bloc
k
:
collect affine
continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
ool
a
e
ge
pet_scop_fr
o
m_pet_t
r
e
e
: extr
a
ct pet_scop fro
m
the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
add
function
s
for manipulating
t
he domain of
a pet_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
pet
_
scop_res
t
rict: also restrict
vi
r
t
u
a
l
array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_evaluate_expr: first insert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_c
h
eck_code:
remove
trac
k
i
ng of assignme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
drop pet_scop_detect_pa
r
amete
r
_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_cont
e
x
t
_evaluate_expr: also
plug in
a
ff
i
ne expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separ
a
te out pe
t
_cont
e
xt_evalu
a
te
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
drop pet_
c
ontext_ma
r
k_assigne
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
PetScan::
e
xtract_scop: cl
e
ar writes at outer
level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
dool
a
ege
Pet
S
can::extra
c
t
_
s
cop: locally c
o
nstruct
p
et_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
Pet
S
can::
e
x
tract_
s
cop: als
o
add
all pet_arra
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
p
e
t_expr_fil
t
er: a
v
o
id intro
d
uction of constraint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
tree2scop
.
c: is_simple_bound: handle higher dime
n
s
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
tree2scop
.
c: v
a
lid_for_each_iteration: hand
l
e high
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
t
r
e
e
2scop
.
c: add_impl
i
cati
o
n:
handle higher d
i
mensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c:
m
ap
_
t
o_previous:
handle hig
h
e
r
dimens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c:
after:
h
andle
higher
dimensio
n
al doma
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_extract_nested
_
f
r
o
m_spa
c
e: add extr
a
dimension
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
pet_extr
a
ct_nested
_
from_space: emb
e
d arguments in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
ad
d
pet_expr_ac
c
ess_get_domain_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_resolve_nested: allow speci
f
i
c
a
t
ion of doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
t
r
ee2scop
.
c: ha
n
d
l
e_writes: se
p
a
r
a
te out
h
and
l
ing of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
g
e
tree
2
s
c
op
.
c: h
a
n
dle_w
r
ites
:
remove redu
n
dant pet_context_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
tree2scop
.
c:
extra
c
t_kill: allow specificatio
n
of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_scop
_
a
d
d
_
b
oolean_array:
a
ll
o
w
specification o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
p
et_skip
_
info_*_extract*: pass al
o
ng
p
et_cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
p
e
t_scop constructors: allow spe
c
ification of
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c
:
scop_from_{b
r
eak,contin
u
e}: min
o
r
c
lean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2
s
co
p
.
c: scop_from_{break,continue}: allow speci
f
i
c
a
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_cr
e
ate_te
s
t_
i
n
d
ex: al
l
ow specificat
i
o
n
of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
er
d
ool
a
e
g
e
pet_stm
t
_fr
o
m_pet_expr: al
l
ow specification o
f
stateme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_stmt_from_pe
t
_e
x
p
r: mi
n
or
c
lean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_stmt_from_pet_e
x
pr: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context: keep tr
a
c
k
of domain
s
et r
a
the
r
t
h
an domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doola
e
ge
add pet_
n
ested_re
m
ove_fr
o
m
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: s
c
op_from_non_affi
n
e_if
:
d
r
op
p
reall
o
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
co
p
.
c: sco
p
_from_non_affine_if:
d
elay con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_affine
_
for: delay constructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2scop
.
c: scop_from_no
n
_
affi
n
e
_while: dro
p
preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ver
d
o
o
laege
tree2scop
.
c: sc
o
p_from_non_aff
i
ne_whil
e
: delay construct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
r
d
oolaege
tree2scop
.
c: scop_from_infinite
_
l
oop:
d
elay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: infini
t
e_domain: delay inters
e
ction with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c
:
e
xtract
o
u
t shared apply_affine_bre
a
k
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: scop_from_a
f
fine_for: remove p
r
e
a
lloc
a
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_affine
_
f
o
r: d
e
l
ay c
o
nstructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
tre
e
2scop
.
c
: s
c
op
_
from_
a
ff
i
ne_fo
r
: i
n
troduce is_no
n
_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
tree2scop
.
c: scop_
f
rom_affin
e
_
for: delay
i
nters
e
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
ad
d
pet_scop_
i
nters
e
ct_doma
i
n
_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oo
l
aege
add
p
et_prefix_projection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
scop
.
c: exte
n
t
_
i
s
_virtual_array: check for members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_array_
e
mb
e
d: separate o
u
t ext
e
nt_is
_
virtual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_scop_writ
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tr
e
e2
s
cop
.
c
:
is_nested
_
allowed: take tree inste
a
d
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
pet_skip_in
f
o_*_extract*: pass struct pet_sta
t
e
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
move
extraction o
f
pe
t
_scop
f
rom pet_t
r
ee
to separat
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
construct pet_s
c
op from intermediate pet_tree data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add pet_conte
x
t_clear_writes_in
_
{expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
introduce pet_tree objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
a
e
ge
move PetS
c
an::ex
t
ract_while befor
e
its f
i
rst use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
m
ove PetScan
:
:is_nes
t
ed_allo
w
ed before its firs
t
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetScan
:
:
extr
a
ct_non_affin
e
_
c
on
d
ition before its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
l
aeg
e
P
e
tScan: drop allow_nested a
t
t
ribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
i
n
t
roduce pet_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
move pet_scop_extra
c
t_nested to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
move pet_expr_ex
t
ract_n
e
sted to nes
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdoolaege
Pe
t
Scan::e
x
tr
a
ct_for: us
e
p
et_expr_ext
r
a
c
t_compa
r
ison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSca
n
::sc
a
n(Fu
n
ctionDecl *):
construct a pet
_
context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
e
ge
r
emove
P
etScan::try_extract_affi
n
e_cond
i
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
PetScan::set_
u
pper_bounds: convert array bounds to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rd
o
olaege
scan
.
c
c: update_siz
e
: ha
n
dl
e
NULL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
erdoolaege
P
etScan::extract_
a
ffine(const llvm::APInt &): extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
p
o
st
p
o
ne the detec
t
ion of
a
f
fin
e
a
ss
u
mptio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ol
a
ege
e
xtract
o
ut
p
et_expr_is_assume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan:
:
extr
a
ct_access_expr:
d
e
l
ay plu
g
ging in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
