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
update for removal of llvm/ADT/OwningPtr.h
2014-09-02
Sven Ver
d
oolaege
update
f
or
r
emoval of llv
m
/ADT
/
O
wningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Ver
d
oolaege
inter
f
ace/extract_inter
f
ace
.
cc: avoid use of SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
ven Verd
o
olaege
update for removal of De
f
aul
t
I
mag
e
Name Dri
v
e
r
const
r
u
c
tor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoola
e
ge
up
d
a
t
e
isl for support
for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sv
e
n
V
erdoolaege
p
e
t
_exp
r
_new_unary: take type si
z
e argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sv
e
n Ve
r
d
oolaege
pet_scop_collect_
d
o
m
ai
n
s: proper
l
y handle
s
tatem
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolae
g
e
pe
t
_stm
t
_
p
rint_body: do not print anything for kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
laege
f
i
x quasi_affine test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
V
erd
o
ol
a
ege
pet_tr
e
e_dum
p
: fix
typo
in output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: fix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
e
n
V
erdoolaege
s
c
op
.
c: s
c
op_alloc:
plug me
m
o
ry leak o
n
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
ae
g
e
expr
.
c: ex
t
ra
c
t_affine_mul: abort on
err
o
r rather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaeg
e
PetScan::s
e
t_upper_bounds:
h
an
d
l
e arrays d
e
cl
a
red ins
i
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven
V
er
d
oolaege
de
r
ive access r
e
latio
n
s of call expression
s
from function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaeg
e
add pet_expr
_
map_
c
all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
aege
a
d
d pet_expr_access
_
get_augmented_dom
a
in_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oo
l
aege
PetScan:
:
ext
r
act_expr(Ca
l
l
Exp
r
*): extr
a
ct function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: ke
e
p
t
rack of function su
m
mar
i
e
s
in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr
:
put pet_expr_
c
all fiel
d
in substru
c
ture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
introduce pet_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoo
l
a
e
ge
pet_expr_access_
s
et_
a
ccess:
s
et read
/
write
o
n non-emp
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
break up access relations into may_read/may_write/mu
s
t_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_un
i
on_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introd
u
ce pet_e
x
pr_
a
cc
e
ss_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
e
ge
drop pet_expr_from_a
c
cess
_
and
_
i
nde
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoola
e
ge
e
xplici
t
l
y
mark kill accesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_expr: represen
t
read/write flags as bit
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pe
t
_ex
p
r: document the read and write fi
e
l
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
break up
a
c
c
ess
re
l
ations
i
nto ma
y
_rea
d
/m
a
y
_write/mus
t
_
wr
i
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoola
e
ge
pet_e
x
pr_
t
ag
_
access: avoid use of
t
arget space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
postpon
e
introduction of a
c
cess
relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
mit
.
c
:
emit_e
x
pr
:
extract
o
ut emit_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop
p
et
_
expr_
a
ccess_get_ac
c
es
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoola
e
ge
nest
.
c: m
o
ve is_sub_access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2
s
cop
.
c:
e
xtract_kill: upda
t
e
kil
l
exp
r
ession rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr_is_af
f
ine
:
avoid using access
rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_fi
l
t
er: av
o
id using access rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolaege
pet_expr_access_u
p
date_domain
:
avoid using acce
s
s relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_exp
r
_a
c
cess_get_mus
t
_access:
avo
i
d
u
s
i
n
g
a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
p
e
t_exp
r
_ac
c
es
s
_get_id
:
av
o
id using access relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
er
d
oo
l
aege
expr
.
c
:
access_add_ref_i
d
: avoid using
acce
s
s relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
scop
.
c: access_c
o
llec
t
_param
s
:
avoid using access r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
scop
.
c: imp
l
ies_fi
l
ter
:
a
v
oid using a
c
cess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
sco
p
.
c: access_extract_context: avo
i
d using acc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: expr_ex
t
ract_conte
x
t
: avoid using acces
s
r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: extract
out
s
hared dro
p
_
argu
m
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
expr_
a
cce
s
s_update_do
m
ain:
minor clean-u
p
of express
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
la
e
ge
furth
e
r
generalize com
p
ute_to_
i
nner to support p
e
t_sco
p
_c
o
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
aege
gen
e
ralize compute_
t
o_inner to suppor
t
pet_scop_co
m
p
ute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
sco
p
.
c: comp
u
te_
t
o_inner: micro-optimi
z
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sve
n
Verdo
o
laege
tre
e
2scop
.
c: is_ne
s
te
d
_allowed:
do not all
o
w
n
esting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolae
g
e
PetScan::set_upper_b
o
u
n
ds: use de
c
l
a
red si
z
e of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
d
o
olaege
scop
.
c: restrict_s
k
ip: upda
t
e d
o
c
umentat
i
on
t
o
c
h
ange
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdo
o
la
e
ge
tree2sco
p
.
c
: s
c
op_add_inc: take
i
nto
a
ccount affin
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
ree2scop
.
c: mov
e
u
p
app
l
y_af
f
i
n
e_c
o
nti
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
e
g
e
tree2scop
.
c: sco
p
_from_non_affine_while: extract
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Ver
d
oola
e
ge
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
u
pdate isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
v
en Verdoolaege
R
E
ADM
E
:
update LLVM/clang ins
t
allat
i
on
instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ve
r
doolaege
int
e
rface/extract_interface
.
cc:
e
xplicit
l
y inc
l
ude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
u
pdate for
c
h
a
nge in
arguments of Compi
l
erInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet
.
c
c
: ad
d
s
p
a
c
e
bet
w
een li
t
era
l
and
i
dentifi
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aeg
e
u
p
date isl
f
o
r
support for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolae
g
e
pet_s
t
m
t
_
f
r
om_pet
_
tree: avo
i
d
free of uninitialize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sv
e
n Verdoolaeg
e
scan
.
c
c
: fix t
y
po in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
pet_scop_fr
o
m_pet_stmt
:
do n
o
t extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
r
doolaege
PetS
c
an::extract_argument
:
handl
e
passin
g
o
f ent
i
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaege
M
ak
e
file
.
am: add dummy
C
++ sour
c
e f
i
le to
p
et_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en
Verdoolaege
handle
p
en
c
il independent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoola
e
g
e
PetScan:
k
eep
track of line
n
u
mber
o
f
curr
e
nt Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolae
g
e
pet
.
cc: extract out Pet
A
STConsu
m
er::ad
d
_pragm
a
_han
d
lers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
add encapsulate_
d
ynam
i
c
_contro
l
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdoola
e
ge
pet_scop_
f
rom_
p
et_t
r
e
e
: create statement
s
directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdool
a
ege
repla
c
e pet_stmt
_
from_
p
e
t
_expr by pet_stmt_fr
o
m_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
pet
_
stmt: use pet
_
t
r
ee
t
o r
e
present statement bo
d
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rdo
o
laege
scop
.
c: extract
o
ut pet_stmt_is_a
f
fine_assume and
pet_stm
t
_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collec
t
_accesses: use pet_
e
x
p
r_foreach_a
c
cess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verd
o
olaege
s
c
o
p
.
c
:
s
t
mt_coll
e
c
t_params: use pet_ex
p
r_foreac
h
_a
c
ces
s
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
k
e
ep
t
rack of in
d
e
ntatio
n
of ex
t
rac
t
ed code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verdoolaege
u
pdate test c
a
se outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
extract enum
c
onstants as their
i
nt
e
ger
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
PetScan::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
o
laege
PetScan
:
:
e
xtract_
u
nsigned: tur
n
into a s
t
ati
c
f
u
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
scan
.
cc: change text
u
al
o
r
d
er of extract_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
pet_check_co
d
e
.
c
: use pet_
e
xpr_extract
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export pet_expr
_
extra
c
t
_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
o
l
a
ege
pet_context: no
l
onger keep track of
"unknown"
v
alues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoo
l
a
e
ge
p
e
t
_e
x
pr_extract_affine: no
l
onger create
new pa
r
am
e
ters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan:
:
extrac
t
_
scop: populate pet_c
o
ntext with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
scan
.
cc: move up static ge
t
_
array_type
func
t
i
on in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
Pet
S
can::ge
t
_
array_size:
cache resul
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoo
l
aege
PetScan::set_upper_bounds: e
x
tract out PetScan
:
:
g
e
t_arra
y
_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t
_
exp
r
_is_equal: comp
a
re
index
e
xpressions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
e
g
e
pet_expr_e
x
tract_affine:
explo
i
t doma
i
n infor
m
a
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_co
n
te
x
t_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: scop_fr
o
m_block: collect a
f
fine con
t
inue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
pet_scop_fro
m
_pet_tr
e
e: extract p
e
t_
s
cop from
t
h
e
root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
add f
u
nctions
f
or manipu
l
ating t
h
e
d
o
m
a
i
n of a pet_
c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_scop_res
t
rict: also restrict vir
t
ual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaeg
e
pet_c
o
nt
e
xt_
e
valuat
e
_expr:
f
irst insert do
m
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next