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
fix quasi_affine test case
2014-07-17
Sven Verdoolaege
f
i
x quasi_affine
t
est case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolae
g
e
p
et_tree_d
u
mp: fix typ
o
in output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
s
co
p
.
c: fix
t
ypo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c:
s
c
op_allo
c
: plu
g
m
emory
leak
o
n error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
expr
.
c
:
ex
t
r
a
ct_aff
i
ne_mul: abort on error
r
ather t
h
an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verdoo
l
ae
g
e
PetSc
a
n::s
e
t
_
uppe
r
_bou
n
ds: handle
a
rrays decl
a
red insi
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van
H
aas
t
regt
a
l
low speci
f
ication
of sum
m
ary
f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
derive access
r
e
l
a
t
ions of call
expr
e
ssions from functio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
add pet_expr_m
a
p_
c
a
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
add pet_expr
_
access_get_augmented_do
m
a
in_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
PetS
c
an::
e
xtract_
e
x
p
r(CallExpr *):
extract functi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_expr: kee
p
track of
f
u
n
c
tion summa
r
ies i
n
call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pe
t
_ex
p
r
:
put p
e
t_ex
p
r_call f
i
eld in substructu
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
o
laege
introduce pe
t
_
f
unc
t
ion_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr_acces
s
_set_ac
c
ess: set read/w
r
i
t
e
o
n non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
ege
b
reak up access re
l
at
i
ons i
n
to may_re
a
d/
m
ay_w
r
ite/m
u
st_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
add
p
et_union_map_m
o
ve_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
int
r
oduce
p
et_ex
p
r_a
c
ce
s
s
_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaege
drop pet_ex
p
r_from_access
_
an
d
_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
aege
e
xplicitly mark kill accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
ege
pet_e
x
pr:
r
e
p
r
e
sent read/write flags
as bi
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr: document t
h
e read and write fie
l
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
break up
a
c
c
ess r
e
lations int
o
may_read/
m
ay_write/must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
xpr_tag_a
c
ce
s
s
:
a
v
oid
u
se of
target
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
postp
o
ne introduction of access relat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emi
t
.
c: emit_ex
p
r:
e
x
tr
a
ct out emit_access_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
ol
a
ege
d
rop p
e
t_expr_access_get_
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
nest
.
c: move
i
s
_s
u
b
_
acce
s
s to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Ver
d
oolaeg
e
t
r
ee2sco
p
.
c
: extrac
t
_kill: update kill expr
e
ssion ra
t
her
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
lae
g
e
pe
t
_e
x
pr_is_affine: avoid using access rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr_filte
r
: avoid
using access
r
e
lati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_
e
x
pr_acce
s
s
_
u
pd
a
t
e_doma
i
n
: avoi
d
using access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr_ac
c
ess_get_must_ac
c
es
s
: a
v
oid usi
n
g acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
pet_expr_
a
c
c
ess_
g
et_id: avo
i
d us
i
ng access
re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
ex
p
r
.
c
: access
_
add_ref_id:
avoid using ac
c
ess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
sc
o
p
.
c: a
c
cess_col
l
ect_para
m
s: avoid us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
scop
.
c:
i
mplies_filter:
a
vo
i
d using
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
sco
p
.
c: access_ext
r
act_context: avoid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rd
o
ola
e
g
e
sco
p
.
c: exp
r
_ext
r
a
c
t_cont
e
xt: avoid using acce
s
s relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaege
sco
p
.
c:
extract out shared drop
_
argumen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr_access_
u
pdat
e
_domain
:
m
i
nor cle
a
n-u
p
o
f
expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
furth
e
r genera
l
ize compute_to_inner
t
o support p
e
t_
s
co
p
_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaeg
e
generalize c
o
mpute_to_inner to support
pet_scop_comput
e
_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
scop
.
c: compute_to_inner: micro-optimizat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tree2sco
p
.
c
:
is_nest
e
d_
a
llowed:
do
not allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ver
d
oola
e
ge
PetScan:
:
set_
u
pper_bou
n
d
s: us
e
de
c
lared si
z
e of stati
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en
V
erdoolaege
scop
.
c
:
restrict_skip: upda
t
e do
c
umentation to
change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doola
e
ge
t
ree2
s
cop
.
c: scop_add_inc: take in
t
o acc
o
unt affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tr
e
e
2sco
p
.
c: mo
v
e
up apply_affine_c
o
ntin
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
tree2scop
.
c: scop_from_n
o
n_a
f
f
ine_w
h
il
e
: ext
r
a
c
t out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdoolaege
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
upd
a
t
e isl
t
o version 0
.
1
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven V
e
rdoola
e
g
e
R
E
ADME:
u
p
d
a
t
e L
L
VM/clang i
n
stall
a
tion instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Ve
r
doo
l
aege
i
nterface
/
e
xtract_inter
f
a
ce
.
cc:
e
x
plicitly
i
nclude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
update for change i
n
argume
n
ts of
CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolae
g
e
pet
.
cc: add s
p
a
c
e
b
e
tween lite
r
al and ident
i
fier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
up
d
ate isl for support f
o
r
rec
e
nt
c
lan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n V
e
rdool
a
ege
p
et_stmt_from_pet_tre
e
: avoid f
r
ee of unin
i
tialize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven V
e
rdoolaege
sca
n
.
cc:
fi
x
typo
in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_
s
co
p
_f
r
om_pet_
s
tmt: do
n
o
t
extrac
t
con
t
ext from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoolaege
PetScan
:
:ext
r
ac
t
_ar
g
u
ment: handle pas
s
ing of en
t
ire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
d
o
o
l
aege
Makefile
.
am: a
d
d dummy C++
s
ource
f
ile to pet_
s
cop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdoolaege
handle pencil independent
p
ragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
PetScan: k
e
ep tra
c
k
o
f line number of cur
r
ent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoola
e
ge
p
et
.
c
c
: ext
r
act out PetASTConsumer::add_pra
g
ma_hand
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
ad
d
encapsulate_dy
n
amic_contro
l
o
p
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolae
g
e
pe
t
_scop_
f
rom_pet_tree:
c
reate sta
t
ements direc
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en V
e
rdoola
e
g
e
repla
c
e pet_stmt_fr
o
m_pet_exp
r
b
y pet_stmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
pet_stm
t
:
use
p
et_
t
ree to represent stateme
n
t
b
ody
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Ver
d
oola
e
ge
sc
o
p
.
c
:
e
xtract out pet_stmt_is_affi
n
e_assume and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt
_
collect_a
c
cesses: use pet
_
expr_
f
oreach_access_
e
xp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verd
o
olaege
scop
.
c
:
stmt_colle
c
t_p
a
rams: use pe
t
_expr_foreach_access_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaeg
e
kee
p
t
rack of inden
t
ation of extracted co
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
Verdoolaege
update tes
t
case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
ol
a
ege
e
x
t
r
act
enu
m
constant
s
as th
e
i
r in
t
eger valu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ver
d
ool
a
ege
P
e
tScan::ex
t
ract_int: separa
t
e out extr
a
ction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetS
c
an::ex
t
rac
t
_un
s
igne
d
: turn into a static func
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
scan
.
cc: change
textual order of extra
c
t
_unsig
n
e
d and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdo
o
laege
pet
_
c
heck_code
.
c: use pet_exp
r
_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoo
l
aege
export pet_expr_extrac
t
_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
e
g
e
pet_c
o
ntext: no longer
k
eep tr
a
ck of
"unknown" value
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pe
t
_
expr_extract_
a
ffine:
no longe
r
cr
e
ate new parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetScan
:
:ex
t
r
act_scop: populate
pe
t
_
c
o
ntext with paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
o
o
laege
scan
.
cc
:
move up static
get_array_type function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
PetScan::get_array_size: cache resu
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
Pet
S
c
a
n::s
e
t_upper_bounds: extract out PetSca
n
::
g
e
t_arra
y
_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
e
t_expr_is_equal
:
comp
a
re ind
e
x e
x
pres
s
ions up
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
pet_ex
p
r
_
extr
a
c
t_a
f
fine:
ex
p
l
o
i
t
d
omain infor
m
at
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
add pet
_
context
_
g
e
t
_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
o
l
a
e
g
e
tree2sco
p
.
c: scop_f
r
om_block: collect affine
contin
u
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
pet_s
c
op_from_pe
t
_tree:
ext
r
act
p
et_scop fr
o
m
t
he
root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoo
l
aege
add functions for
m
anipul
a
ting the domai
n
of a pet_cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pe
t
_scop_restrict:
also rest
r
ict v
i
rtual array ex
t
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
ol
a
ege
pe
t
_
c
on
t
ext_ev
a
luate_exp
r
: first ins
e
r
t
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
pet_check_
c
od
e
: rem
o
v
e
tr
a
cking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
drop pet_s
c
op_detect_paramete
r
_
a
c
c
esses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pe
t
_context_e
v
alu
a
te_exp
r
:
also p
l
ug
i
n
affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
s
e
parat
e
out pet_context_
e
v
aluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
l
a
ege
d
r
op pet_con
t
ex
t
_
m
a
r
k_ass
i
gned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetScan::extrac
t
_scop:
c
l
ear wri
t
e
s
a
t
outer l
e
vel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next