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_tree_dump: fix typo in output
2014-07-17
Sve
n
Verd
o
olaege
pet_tree_dump: fix t
y
p
o in output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaege
sc
o
p
.
c:
f
ix ty
p
o in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
ola
e
ge
s
c
op
.
c: s
c
op
_
allo
c
: plug mem
o
ry leak on error
pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Ver
d
ool
a
ege
exp
r
.
c: extract_
a
ffine_mul:
a
bort on erro
r
rat
h
er than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
PetScan::set_
u
pper_
b
ounds: handle arrays decla
r
ed
insid
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaeg
e
deriv
e
access r
e
lations of call express
i
ons
from func
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aege
add
pet_e
x
pr_map_cal
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
add pe
t
_e
x
pr_ac
c
ess_get_
a
ugm
e
n
ted_domain
_
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
P
etScan::extrac
t
_
e
xpr(Ca
l
lEx
p
r *)
:
ex
t
r
a
ct function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr:
keep track of
functio
n
s
um
m
a
ries
i
n call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoola
e
ge
pet_expr:
put pet_expr_call
field in subst
r
ucture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verdoo
l
aege
i
n
troduce p
e
t_f
u
nction_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr_access_s
e
t_access: set read/w
r
ite on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
o
l
aeg
e
brea
k
up a
c
c
e
ss relations into
m
a
y_r
e
ad/may_write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
add p
e
t_union_map_move_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoola
e
ge
introd
u
ce pet_expr_a
c
cess_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
drop pet
_
expr_fro
m
_access
_
an
d
_
i
nde
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
ex
p
licit
l
y
m
ark k
i
ll
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
p
e
t
_
e
xpr: rep
r
esent
r
ead/write f
l
ags as bit
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_expr: do
c
ument the read and writ
e
field
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
bre
a
k
up access rela
t
i
o
ns in
t
o may_read/may_writ
e
/must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_expr_tag_ac
c
ess: avoid use of target
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
postpone introd
u
ction of acc
e
s
s
relat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
emit
.
c
:
e
m
it
_
e
xpr: ex
t
r
a
c
t out em
i
t_
a
ccess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
d
r
op
p
e
t
_expr_access_get_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
nest
.
c
:
move is_su
b
_
a
ccess to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
tree2scop
.
c: extract_kill: update kill e
x
pression
r
ather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolae
g
e
pet_expr_is_affin
e
: avoid using acces
s
r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdool
a
ege
pet_expr_filter: a
v
o
i
d using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr
_
access_update_
d
omain: avoid
using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoola
e
ge
pe
t
_expr_acce
s
s
_
get
_
must_
a
ccess:
avoid usi
n
g ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_acc
e
ss_ge
t
_
id: avoid
u
sing acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
expr
.
c: access_a
d
d_ref
_
id: av
o
id using acces
s
relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
sc
o
p
.
c: access_collec
t
_p
a
rams: avoid using
acce
s
s rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
olaege
s
c
o
p
.
c: impli
e
s_filter: av
o
i
d
us
i
ng access rela
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c: access_extract_context: avoi
d
using a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c: expr_ex
t
ract_context:
a
vo
i
d using
a
cc
e
ss
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rd
o
ol
a
ege
scop
.
c: ext
r
act out shared drop_argum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pet_expr_acc
e
ss_update_domain: minor c
l
ean-up of ex
p
r
es
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdool
a
ege
further genera
l
ize compu
t
e_to_in
n
er t
o
suppo
r
t
pet_sco
p
_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
g
e
neraliz
e
compute_to_inner
t
o support
pet_scop_c
o
mpute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoo
l
a
eg
e
scop
.
c:
compute_t
o
_inner: micro-op
t
imization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verd
o
olae
g
e
tree2scop
.
c: is_nested_allowed:
d
o n
o
t
allo
w
n
estin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
S
ven Ve
r
doolaege
PetScan::set_upper_bounds:
use
d
eclared
s
ize
o
f static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
er
d
oolae
g
e
scop
.
c: restrict_
s
ki
p
: updat
e
documentation to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoola
e
ge
tree2sc
o
p
.
c:
s
c
o
p_
a
dd_inc: take in
t
o account affi
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoola
e
ge
tree2scop
.
c:
move
u
p
a
pply_a
f
fine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoolaege
tre
e
2
s
cop
.
c: sc
o
p_from_non_affi
n
e_
w
hile: extr
a
ct ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaeg
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
up
d
ate isl to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sv
e
n Verdoolaege
README:
u
p
d
a
te L
L
VM/clang installation
inst
r
uct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
V
e
r
doolaege
in
t
erface
/
extract_
i
nterf
a
ce
.
cc: explicitly
i
n
clude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doolaege
upd
a
te for change in arguments of CompilerIn
s
ta
n
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
pet
.
c
c
: add
s
pace
b
etween literal
a
n
d iden
t
ifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
u
p
da
t
e isl for
supp
o
rt for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Verdool
a
ege
pet_stmt
_
f
r
om_pet_tree:
a
voi
d
f
r
ee
of uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdo
o
la
e
ge
s
can
.
cc: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
p
et_scop_from
_
pet
_
stm
t
:
do not extract cont
e
x
t fr
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
d
o
olaege
P
e
tScan::
e
x
tract_ar
g
ument:
handle passi
n
g of e
n
tire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verd
o
olaege
M
a
kefile
.
am: add dummy C++
source
f
ile to pet
_
scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
h
andle
p
encil
independent p
r
agmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaeg
e
Pet
S
c
an: keep track of lin
e
number of curre
n
t Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rd
o
olaege
pet
.
cc
:
e
x
trac
t
out PetASTCons
u
mer::add_pragma_handl
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
add encap
s
ulate_dynamic_control
optio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolae
g
e
pet
_
scop_from_pe
t
_tree:
c
r
e
a
te statements directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
replace pe
t
_stmt
_
from_pet_expr
b
y pet_stmt_from_p
e
t
_
t
ree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
pe
t
_stmt:
u
se
p
et_tree to
r
epresent statemen
t
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Ve
r
doolaege
scop
.
c: ext
r
act out pe
t
_stmt_is_affin
e
_
assume
a
nd
pe
t
_stmt_
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
s
co
p
.
c: stmt_collect_accesse
s
: use p
e
t_expr_foreach_acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
scop
.
c: stmt_c
o
llect
_
p
a
ra
m
s: use pet_e
x
pr
_
f
o
reach_ac
c
e
s
s_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erd
o
ol
a
e
g
e
k
ee
p
t
rack of i
n
dentat
i
o
n
of extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
up
d
ate t
e
st case out
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
e
x
tract
enum
c
onstant
s
a
s
th
e
ir integer
values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaeg
e
P
etScan::ext
r
act_i
n
t: separate
out extraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
l
a
eg
e
PetScan::extract_unsigned:
t
urn into a
s
tatic f
u
n
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
scan
.
cc:
c
hange tex
t
u
al order of extract_unsi
g
ned an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
p
et_c
h
eck_code
.
c: use
p
et_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
export pe
t
_
expr_extract_aff
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
r
doolaege
pet_context:
n
o l
o
nger keep track of "unkno
w
n" v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_
e
xtract_affin
e
: n
o
longer
c
re
a
te ne
w
pa
r
ameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laeg
e
PetScan::ext
r
act_scop: populate
p
et_context with par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
sca
n
.
c
c: m
o
ve up static get
_
array
_
type fu
n
ction in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::get
_
array_size: cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
PetScan:
:
set
_
u
pp
e
r_bounds: extr
a
ct out P
e
tScan::ge
t
_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
p
e
t_ex
p
r_is_equal:
compare index expressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
l
a
ege
pet
_
expr_extrac
t
_
a
ffine: exploit
do
m
ai
n
i
n
format
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
a
d
d pet_c
o
ntext_
g
et
_
gis
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
tree2scop
.
c: scop_from_b
l
o
c
k: col
l
ect a
f
fine conti
n
ue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_s
c
op
_
from_pet_tree:
extra
c
t
p
e
t_scop from
t
h
e root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
add functions for manipulating th
e
domain of a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_sco
p
_rest
r
i
c
t:
a
lso restrict vir
t
ual arra
y
e
x
te
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_context_evalu
a
t
e_exp
r
: first insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oo
l
aege
p
et_check_code: remove tr
a
cking
o
f assignm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
drop pe
t
_scop_detect_
p
arameter_acc
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_evaluate_expr: also
p
lug in affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
separate out p
e
t_context_evaluate_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet
_
context_
m
ark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aeg
e
PetScan::extract_scop
:
clear writes at o
u
ter level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
PetSca
n
::extract_scop: locally const
r
uct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
PetSca
n
:
:
extract_s
c
op: also add all pet_ar
r
ays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next