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
export pet_expr_new_cast
2014-03-31
Sven
Verdoolaege
add encaps
u
late_
d
ynamic_c
o
ntrol
o
ption
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
_
scop_fro
m
_pet_tree
:
create statements directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdoolaege
repl
a
ce
p
et
_
stmt_fro
m
_pet
_
ex
p
r
b
y pet_stmt_from_
p
e
t
_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_st
m
t: use
p
et_tree to re
p
resent s
t
atement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: extra
c
t out
p
e
t
_
stmt
_
is_aff
i
ne_assume and p
e
t
_
stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ve
n
V
erdoo
l
aege
scop
.
c
: stmt_co
l
l
e
ct_acces
s
es: use pet_exp
r
_
foreach_acces
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
scop
.
c: stmt_collect_params: use pet_
e
xp
r
_foreach_acces
s
_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolae
g
e
k
eep track of indentatio
n
of
extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
u
p
date test ca
s
e ou
t
pu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
extrac
t
enum
c
o
n
s
t
ant
s
as t
h
eir integer v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n
:
:extract
_
int:
s
eparate out
e
xtrac
t
io
n
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan
:
:
e
xtract_unsign
e
d: tur
n
into a static funct
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erd
o
o
laeg
e
s
can
.
c
c: change
te
x
tual orde
r
of extract_unsig
n
ed and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_
chec
k
_code
.
c: use pet_e
x
pr_extract_af
f
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
export pet_expr_extract
_
affin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolae
g
e
pe
t
_
c
ontext:
no lon
g
er keep track of
"unknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet
_
e
x
pr_
e
xtract_affine: no longer crea
t
e new para
m
eters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan::ex
t
ract_sco
p
: p
o
p
u
l
a
te pet_contex
t
with param
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
s
can
.
c
c
: move
u
p
sta
t
ic
get_ar
r
ay_type
function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
PetScan
:
:ge
t
_a
r
ray_size
:
cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
PetScan::se
t
_u
p
per_bo
u
nds: extract ou
t
P
et
S
can::
g
et
_
array_
s
i
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_expr
_
is_
e
q
ual: compare i
n
d
e
x expressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
l
a
ege
pet_ex
p
r_extract_affine: exploit do
m
ain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_context
_
g
e
t
_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
c
o
p
.
c: scop
_
f
r
o
m
_block: collect affine
continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
er
d
ool
a
eg
e
pet_scop_from_pet_tree: ex
t
ract pet_scop from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add fu
n
c
tio
n
s for manipulating the domain of a pet
_
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_s
c
op_restrict: also restrict virtua
l
array ex
t
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
pet_contex
t
_
evalua
t
e_expr: first insert
do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaeg
e
p
et_c
h
eck_code: remove tracking of a
s
signments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaeg
e
d
rop pet_scop_detect
_
parameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaeg
e
pet_context_evaluate_expr: also plug
in affi
n
e exp
r
e
ssi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
separa
t
e out pet_context_evalu
a
t
e_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
r
d
o
olaege
dr
o
p
pet_
c
o
ntext
_
mark_assig
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tScan::extract_scop: clea
r
w
r
ites
at ou
t
er level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetSc
a
n::extract_s
c
o
p
: locally constru
c
t pet_
c
onte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan::extract_sco
p
: als
o
add all pet_
a
rrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
o
o
laege
p
e
t_expr_filter: avoid intro
d
uction of c
o
nstr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2sco
p
.
c: i
s
_s
i
mple_bound: handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: v
a
lid_
f
or_each
_
iterati
o
n: handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c:
a
d
d_impli
c
ation: handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doo
l
aege
tree2
s
c
op
.
c
: map_to_previous: handle higher dimensio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: after: h
a
n
dle higher dime
n
s
i
onal domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extract
_
nested_
f
rom_space: add extra
d
i
m
e
n
s
io
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
laeg
e
p
e
t_
e
xtr
a
c
t_nested_from_s
p
ace: em
b
ed argument
s
in give
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
add
p
et_expr_acces
s
_get_do
m
ai
n
_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_exp
r
_
resolve_neste
d
:
allow spec
i
fic
a
tion of d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c
: handle_w
r
i
t
e
s: separate out
handling
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tr
e
e2sc
o
p
.
c: handle
_
writes: rem
o
v
e
redundan
t
pe
t
_context_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
ree2
s
cop
.
c
:
extract_kill: allow sp
e
cificatio
n
of st
a
te
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
p
et_scop_
a
dd_boo
l
ean
_
arra
y
: allow sp
e
cifi
c
ation
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
pet_skip_
i
nfo_*_e
x
tract*: pass
a
l
ong pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet
_
scop construct
o
r
s
:
allow specification
of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree
2
scop
.
c:
s
c
o
p_fro
m
_{break,cont
i
nue
}
:
mi
n
or
clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: scop_from_{
b
reak,continu
e
}: allo
w
spec
i
fication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
o
olaege
pet_creat
e
_
test_index: allow speci
f
ication of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_st
m
t_from_pet_exp
r
: allow specifi
c
ation of
s
tatement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_stmt_fr
o
m_pet_expr:
minor c
l
ean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_st
m
t
_fro
m
_
pet_e
x
pr: rename
"
d
im"
variable
to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
lae
g
e
pet_context: keep
track of d
o
ma
i
n s
e
t ra
t
her
t
han
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
a
d
d
pet_nested_remove_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
t
ree2scop
.
c:
s
cop
_
from_non_affi
n
e_if: drop preallocat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_non_
a
ffine_if: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c
: s
c
op_from_aff
i
ne_
f
or: delay construct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
tree2scop
.
c: sco
p
_from_no
n
_affine_while: drop preal
l
ocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
t
ree2s
c
op
.
c
:
s
cop_from_non_a
f
fine_while: delay con
s
tr
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2
s
co
p
.
c
:
s
cop_
f
rom_infinite_loop: delay
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c: in
f
i
n
it
e
_domain: delay inte
r
sec
t
i
on
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tr
e
e
2
scop
.
c: ext
r
act out s
h
a
r
ed apply_affine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2
s
c
op
.
c: scop_fr
o
m_aff
i
ne_for: remove preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdoolaege
tree2sco
p
.
c: scop_from_
a
ffine
_
for:
delay c
o
nstructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2sc
o
p
.
c
:
sco
p
_
fr
o
m_affine_f
o
r: introduce is_n
o
n_aff
i
ne
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tre
e
2scop
.
c:
s
cop_f
r
om
_
affine_for
:
delay intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
add pet_scop_
i
nt
e
rs
e
ct_d
o
main_pr
e
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
a
d
d pet_prefi
x
_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
scop
.
c: e
x
tent_is
_
v
i
rtua
l
_ar
r
ay: check fo
r
members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laege
pet_array_
e
mbed:
s
eparat
e
ou
t
exte
n
t_is_virtual_arr
a
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erd
o
olaege
drop pet_scop_w
r
i
tes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
tree2scop
.
c
: is_nested_allowed: take tr
e
e
i
nstead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_
s
k
i
p_info_
*
_extract*: pass st
r
uct pe
t
_st
a
te
ins
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
mo
v
e ext
r
a
ction
o
f pet_sco
p
fr
o
m pe
t
_tree
t
o separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
g
e
cons
t
ruct pet_scop
f
r
o
m intermediate pet_t
r
ee data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdool
a
ege
add pet_co
n
text_cl
e
ar_writes_in_{expr,tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdool
a
ege
introduce pet_tree objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
move PetSc
a
n
:
:
extract_while before i
t
s
fir
s
t use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolae
g
e
move PetS
c
a
n::is_nested
_
a
l
lo
w
ed before its
fir
s
t use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
m
ove
P
etScan
:
:extract_non_a
f
f
i
ne_condition before its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolae
g
e
PetScan:
d
rop allow_nest
e
d att
r
ibute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
aege
introduce pet
_
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move pet_scop_extract_nested
to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
ege
move pe
t
_expr_ext
r
a
c
t_
n
ested to
nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ve
r
doo
l
a
ege
PetScan::ex
t
ract_for: u
s
e pet
_
e
x
pr_e
x
tract
_
c
o
mparison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
la
e
ge
P
e
tScan::scan(FunctionDe
c
l *):
construct a pet_cont
e
xt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
olaeg
e
remove PetScan::try_
e
x
t
ract_affine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdoolaege
PetScan::se
t
_upper_b
o
unds:
c
onv
e
rt a
r
ray boun
d
s to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n V
e
rd
o
olaege
sc
a
n
.
cc:
u
pdate_size
:
h
an
d
le N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetScan::extract_affine(const llvm::APInt &): extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
postpone t
h
e
det
e
ction o
f
aff
i
ne a
s
s
umption
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
extract
o
ut p
e
t_expr
_
is_assu
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
a
ege
P
etSc
a
n
:
:e
x
t
ract_access_e
x
pr: d
e
lay
p
lugging i
n
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next