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
tree2scop.c: move up apply_affine_continue
2014-04-24
Sven Ve
r
doolaege
tree
2
scop
.
c: move up apply_affine_
c
ontinu
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoolaege
tree2sc
o
p
.
c: scop_from_non_affine_while: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
o
l
aege
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdoolaege
up
d
ate isl to
version
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Ver
d
o
o
l
aege
README
:
u
pdate LLVM/clang
i
nstallation instruc
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
int
e
rf
a
ce/
e
xtract_interface
.
c
c: explicitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoola
e
ge
update for ch
a
nge in
a
rguments of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolae
g
e
pet
.
c
c
: add
s
pace
b
etween literal and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
d
oolaege
update isl for support for recent
clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolae
g
e
pet_stmt_from_p
e
t
_tree: av
o
id free of uni
n
i
tial
i
zed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoo
l
ae
g
e
scan
.
c
c
: fix
t
ypo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaege
pet
_
scop_from_pe
t
_
stmt: do not extract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolaege
PetScan::ext
r
act_a
r
gum
e
nt: ha
n
d
l
e pa
s
s
ing of en
t
ire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoolae
g
e
Makefile
.
am:
a
dd
d
u
mmy C++ source file
t
o
pet_sco
p
_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
ha
n
dle
p
en
c
il independent p
r
agmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
PetScan:
k
eep track of
l
ine numbe
r
of
current Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
p
e
t
.
cc: extract out Pe
t
AS
T
Consumer::
a
dd_pragma
_
han
d
lers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
ad
d
enc
a
psu
l
ate_d
y
nami
c
_control
op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
pet_sc
o
p
_
from_pet_tree: create statement
s
directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
replace pet_
s
tmt_from_pet_e
x
p
r
by p
e
t_stmt_fr
o
m_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
oolaege
pe
t
_stmt
:
u
se pet_tree
t
o rep
r
esent statem
e
nt b
o
d
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ver
d
oo
l
aege
scop
.
c: extrac
t
out pet_stmt_is_affine_assum
e
an
d
p
e
t_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
o
o
l
a
ege
scop
.
c
:
stm
t
_collect_a
c
c
e
sses: use p
e
t_expr_foreach_a
c
cess
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
s
cop
.
c
:
stmt_co
l
le
c
t_params: use pet
_
expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaeg
e
keep tra
c
k of in
d
entatio
n
of ext
r
acted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update test case outpu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
extract enum constants
a
s th
e
ir intege
r
values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n::extract_int: separ
a
te out ex
t
r
a
cti
o
n
fr
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
PetScan::ex
t
r
act_
u
nsigned: tu
r
n in
t
o a static function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaeg
e
scan
.
c
c
: change
textu
a
l
order of
e
xtrac
t
_
u
n
signed a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
pet_c
h
e
ck_co
d
e
.
c: use pe
t
_expr_
e
x
tra
c
t_
a
ffine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
ex
p
ort p
e
t_expr_ext
r
act_af
f
ine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_c
o
ntext
:
no
l
ong
e
r k
e
ep
track of "unknown"
values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
pet_
e
xpr_ex
t
ract_af
f
ine: no longer create new para
m
eters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ve
r
d
o
o
laege
PetSca
n
::extract_scop: p
o
pulate pet_context w
i
th
p
ar
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
scan
.
cc: move
up static get_a
r
ray_typ
e
function
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::get_array_siz
e
: cach
e
resul
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
Pe
t
Sca
n
::set_upper_bounds: ex
t
rac
t
out Pet
S
c
an
:
:get
_
a
rray_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_expr_is_equal: co
m
pa
r
e i
n
dex expressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_expr_extra
c
t_affi
n
e: expl
o
it domai
n
i
n
formation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add pet_context
_
get_gist
_
dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ver
d
oolaeg
e
tr
e
e2scop
.
c: s
c
op_from_bloc
k
: col
l
ect
a
f
fi
n
e
continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
pe
t
_s
c
op_from_pet_tree
:
extra
c
t
p
e
t
_s
c
op from the
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
add functions for mani
p
u
lati
n
g the domain of a p
e
t_
c
on
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaeg
e
pet_scop_r
e
strict: als
o
restrict virtua
l
array e
x
tents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_evaluate_expr:
f
irs
t
insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_check_code:
r
emove track
i
ng o
f
assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
drop
pe
t
_
s
cop_
d
etect_p
a
ra
m
et
e
r_
a
cces
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_
c
ont
e
x
t
_e
v
al
u
ate_expr: also plug
in
affine
expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
separate out pet_conte
x
t_
e
v
a
l
uate
_
e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
l
aege
drop pet_con
t
ext_mark_assigne
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
PetScan::extrac
t
_scop: cle
a
r writes at out
e
r level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetScan::extract
_
scop: locally con
s
truct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_sco
p
: also add all pet_a
r
rays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_filter: avoid intro
d
uction of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
i
s
_simple_bound
:
handle
h
i
g
h
er
dime
n
sio
n
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
t
r
ee2scop
.
c: vali
d
_for
_
e
ac
h
_iteration: ha
n
dle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolae
g
e
tree2s
c
op
.
c: add_implication: h
a
ndle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
d
oolaege
tree
2
sco
p
.
c: map_to_previous:
hand
l
e higher dimension
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
tree
2
scop
.
c: after: handle higher dimen
s
iona
l
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extr
a
c
t
_nested_fr
o
m_sp
a
ce: add extra dimension
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
pet_e
x
tr
a
ct_nested
_
f
r
o
m_space: embed argume
n
t
s
i
n
gi
v
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
a
dd pet_expr_acce
s
s_get_do
m
a
in_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_resolve_nested: allow spec
i
fication of do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
t
r
ee2sc
o
p
.
c
:
h
a
ndle_writ
e
s: separate out
hand
l
i
ng
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
t
r
e
e2scop
.
c: handl
e
_writes: remove red
u
nd
a
nt p
e
t_context_m
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
c
o
p
.
c
:
e
x
t
ract_kill:
a
llow spe
c
i
fication of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_scop_add_boo
l
ean_a
r
r
a
y: allow
s
p
ecific
a
t
io
n
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_skip_
i
n
fo_
*
_
e
xtract*: pass alon
g
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_scop co
n
s
t
ructors
:
all
o
w spec
i
fication of d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
er
d
oolaege
tree2scop
.
c
:
sc
o
p_
f
rom_{break,continue}
:
mi
n
or clea
n
-
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c: scop_from_{break,c
o
n
t
i
n
ue}: allow specification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et
_
c
rea
t
e_
t
e
s
t
_index: allow sp
e
cifi
c
a
tion
o
f
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_stmt_from_pe
t
_expr: allow
s
pecification of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
g
e
pet_stmt_fro
m
_pet_expr: m
i
nor c
l
ean-u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_from
_
pet_expr: re
n
am
e
"dim" variable t
o
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_con
t
ext: kee
p
track of domain set
rathe
r
than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
add pet_nested_remov
e
_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c: s
c
op_from_non_a
f
f
ine
_
i
f
: drop prea
l
locatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
t
r
ee2scop
.
c: scop_from
_
non_affine_if: delay con
s
truction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
tree2scop
.
c
:
scop_from_af
f
ine
_
f
o
r: delay const
r
uction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
tree2scop
.
c: scop_from_non_affine_
w
hile:
d
rop preallocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c
:
scop_
f
rom_non_affine_wh
i
le: delay constructio
n
.
.
.
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
_
infinite_
l
oop: delay constr
u
ctio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2sco
p
.
c: inf
i
nit
e
_d
o
m
a
i
n
: delay intersection wi
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tre
e
2scop
.
c: extract
o
ut shared app
l
y_affine_
b
reak
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
tree2sco
p
.
c
:
scop_from
_
affine_f
o
r:
r
emove preal
l
o
cat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
tree2scop
.
c: sc
o
p
_
f
rom_affine_f
o
r
:
delay con
s
tructi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_affi
n
e_for: introduce is_non_a
f
f
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
t
r
ee2scop
.
c:
scop_f
r
om_affine_for: de
l
ay
inters
e
ctio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verd
o
o
l
a
e
ge
add pet_scop_i
n
tersect_domain_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_p
r
efix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
s
cop
.
c: extent
_
is_virtu
a
l_
a
rray: che
c
k
for members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
pet_array_
e
mbed:
separ
a
te out extent_is_vir
t
u
al_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
dro
p
pet_
s
cop
_
writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
tree2s
c
op
.
c: is_nes
t
ed_allowed: t
a
ke
tree ins
t
ead
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip_info_*_
e
xt
r
a
c
t
*
:
pass s
t
ruct pe
t
_state ins
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olae
g
e
move extraction of pet_scop fro
m
pet_tree to separ
a
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
construct pet
_
scop from intermediate pe
t
_tree data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verd
o
o
l
a
e
g
e
add pet_c
o
nt
e
xt_clear_
w
rites_in_{expr,tree
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next