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
scop.c: restrict_skip: update documentation to change in pet_scop_restrict
2014-04-24
Sven Ve
r
doolaege
sco
p
.
c: res
t
r
i
ct_skip:
up
d
ate
documentation t
o
change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolae
g
e
tree2
s
co
p
.
c: s
c
op
_
add_inc: take
into
account a
f
fine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
tree
2
scop
.
c: move up
a
pp
l
y_
a
f
fi
n
e_
c
ontinue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Ver
d
oolaege
tree2s
c
op
.
c
:
scop_f
r
o
m
_non_affine_wh
i
le: extr
a
c
t
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdool
a
ege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdoo
l
aege
upd
a
t
e i
s
l t
o
v
ersi
o
n 0
.
1
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Verdoola
e
ge
README: u
p
date
L
L
V
M/clang installation
i
nstructio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
oolaeg
e
interface/ex
t
r
a
ct_interface
.
cc: explicitly
i
nclude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Ve
r
doolaege
update for cha
n
ge in arguments of CompilerInst
a
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaeg
e
pet
.
cc: add space between lite
r
al and ide
n
tifi
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
u
p
date isl for support
f
or recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_stmt_from_pet
_
tree: avoid
f
ree of uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaeg
e
s
c
an
.
cc: fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en
Verdoo
l
a
e
ge
pet_scop_from_
p
et_stmt: do not extract con
t
ext from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n
V
erd
o
olae
g
e
P
e
tScan::extract
_
argumen
t
: handle passing of enti
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoola
e
ge
Makefile
.
am: add du
m
my C++
sourc
e
fi
l
e to p
e
t_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle pencil independent pra
g
m
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
PetScan
:
k
eep
track of
lin
e
number
of cu
r
rent Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
doolaege
pet
.
cc
:
extract out PetASTConsumer::add_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
doolaege
ad
d
encapsulat
e
_dynami
c
_
control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verd
o
o
l
a
ege
pet_s
c
op_from_pet_tre
e
: cre
a
te statements
d
irectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
V
erdoo
l
a
ege
replace pet_stmt_from_pet_e
x
pr by pet_
s
tmt
_
from_pet_tre
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
doola
e
ge
pet_
s
t
mt: use pet_t
r
e
e to represent statemen
t
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rdoolaege
scop
.
c: ext
r
act out pet_stmt_is_affi
n
e
_assume and
pet_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
s
cop
.
c: stmt_collect_
a
c
c
e
sses: use pet_ex
p
r
_
foreach_ac
c
ess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
scop
.
c
:
s
t
mt_collect_
p
arams: use pet_expr
_
fo
r
each_ac
c
ess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdo
o
la
e
g
e
keep track of
inden
t
ation of extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verdoolaege
u
pda
t
e
t
e
s
t c
a
s
e
o
utputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract
e
num const
a
nts
a
s their
i
nteger
v
a
lue
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
PetSca
n
::extract_int: sep
a
rate
out extraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
Pe
t
S
ca
n
::extract_unsign
e
d: t
u
rn into a stati
c
function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
scan
.
cc: change textual order of
e
xtract_u
n
sig
n
ed an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_chec
k
_code
.
c: use pe
t
_
e
xpr_ext
r
act_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
export pet_ex
p
r_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_context: no l
o
n
g
e
r keep
t
r
ack of
"
unknown
"
v
al
u
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
r
d
oolaege
pet
_
ex
p
r_extra
c
t_affin
e
: no lon
g
er cre
a
te
n
ew parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetScan::extract_scop: populate pet_
c
ontext with parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
sc
a
n
.
cc: mov
e
up
st
a
t
ic g
e
t
_
array_type
f
unction in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
P
et
S
can::get_ar
r
a
y_size
:
c
ache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verd
o
olaege
P
etS
c
an::se
t
_upper
_
bounds: extrac
t
out Pet
S
ca
n
::get_arr
a
y_s
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
ool
a
ege
pet
_
ex
p
r_is
_
equal: com
p
are index exp
r
e
ssion
s
up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
pet_e
x
pr_extrac
t
_affine: exploit domain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
add pet_conte
x
t_get_gis
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sc
o
p_from_bl
o
ck: c
o
llec
t
affine
c
ontinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_s
c
o
p
_
f
rom_pet_
t
ree: extract p
e
t_scop from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
functions
for manipulatin
g
the dom
a
in of
a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_scop_
r
estrict: also restrict vi
r
t
u
a
l
a
r
ray
extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
pe
t
_contex
t
_eva
l
uate_expr: fir
s
t insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
p
e
t_check_cod
e
:
r
emov
e
tracking of as
s
ignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pe
t
_s
c
o
p
_detect_parameter_access
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
e
t_cont
e
xt_evaluate_expr: al
s
o plug in affine expre
s
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
s
epa
r
at
e
out pet_context_evaluate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
dro
p
pet_contex
t
_mark_assig
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
P
e
t
Scan:
:
ex
t
rac
t
_
s
cop:
clear writes at ou
t
er level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
PetScan::e
x
tract_scop: lo
c
ally construct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Ve
r
doolaege
PetScan::extrac
t
_scop: also add all pet
_
arr
a
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ver
d
oolae
g
e
pet
_
expr_filter: a
v
oid in
t
roduction of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
tre
e
2scop
.
c:
is_simp
l
e_bound:
handle
h
igher dimens
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
tree2scop
.
c
:
valid_for_each_iteration: handle hi
g
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaeg
e
tree2scop
.
c
:
a
dd_i
m
plicatio
n
: h
a
ndle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
d
o
o
l
ae
g
e
tree2scop
.
c: map_to_previous: han
d
le higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ve
r
doolaege
tre
e
2scop
.
c: after: ha
n
dl
e
higher dimensional
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extract_
n
es
t
e
d_from_spa
c
e:
a
dd extra di
m
ensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
o
l
aege
pet_ext
r
a
c
t
_
nested_from_space
:
embe
d
argumen
t
s i
n
given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolae
g
e
add
p
et_expr_access_ge
t
_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
p
e
t_expr_reso
l
ve_nested: allow specification of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdoolaege
t
r
ee2scop
.
c: handle_write
s
:
s
e
p
arate out ha
n
dling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
t
r
e
e2scop
.
c: handle_writes
:
re
m
ove redundant
p
et_context_ma
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c: extract_k
i
ll: allow
specific
a
t
ion of statemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verd
o
olaege
pet_
s
co
p
_ad
d
_boo
l
ean_array: allow
s
pecificat
i
on of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_sk
i
p
_
info_*_e
x
tract*: pass along
p
et_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_
s
co
p
construc
t
ors
:
allow specificati
o
n of
d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolae
g
e
tree2
s
cop
.
c: scop_
f
rom_{brea
k
,c
o
ntinu
e
}: m
i
nor clean-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree
2
scop
.
c:
s
c
op_from_{break
,
co
n
tinue}: all
o
w spec
i
f
i
cation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oo
l
ae
g
e
pet_create_test_i
n
dex: allow specifi
c
at
i
on of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pe
t
_stm
t
_from_pet_expr: allow specifi
c
a
tion of stat
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
pet_stmt_from_p
e
t_expr
:
minor clean-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_from_pet_
e
xpr: rename "d
i
m"
v
ariab
l
e t
o
"sp
a
c
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
pet_context:
k
eep
track of
d
om
a
in set rathe
r
tha
n
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
add p
e
t_nested_rem
o
ve_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
tree2scop
.
c
: scop_fr
o
m_non_aff
i
ne_if: dr
o
p preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tr
e
e2
s
cop
.
c: scop
_
from
_
no
n
_affine_if:
delay constru
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sc
o
p
_from_a
f
fine_for: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
ae
g
e
tr
e
e2
s
c
op
.
c: scop_from_non_affine_whil
e
: dro
p
p
reall
o
cation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: scop_from_non_aff
i
ne_while: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
t
r
e
e
2
scop
.
c: scop_from
_
infinite_loop: delay construct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tre
e
2
scop
.
c
:
infini
t
e
_domain:
dela
y
intersecti
o
n wi
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree
2
scop
.
c
: ex
t
ract out
s
hared apply_affine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c
: scop_f
r
om_affine_f
o
r: re
m
ove preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ver
d
oolae
g
e
tr
e
e
2
scop
.
c: scop_from_a
f
fine_f
o
r: delay const
r
uction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: scop_f
r
om_
a
ffine_
f
or
:
i
n
t
r
oduce is_non_affin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: scop_
f
rom_affine_for: delay
inters
e
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
add
p
e
t_sc
o
p
_
intersect_dom
a
in_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ver
d
oolae
g
e
a
dd p
e
t_
p
refix_projec
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
scop
.
c: exte
n
t_is_virtu
a
l_array: c
h
ec
k
for members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_array
_
embed: separa
t
e ou
t
ex
t
en
t
_is_virtual_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
drop pet_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c:
is_neste
d
_
a
llowed: take tree i
n
s
t
ead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_sk
i
p_in
f
o_*_ext
r
a
ct*:
p
as
s
str
u
ct pet_state
i
n
st
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
mov
e
e
xt
r
a
ction
o
f
p
e
t
_scop from pe
t
_t
r
ee to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next