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 Verdoolaege
update for removal of llvm/
A
D
T
/
O
wningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Ver
d
oolaege
in
t
erface/e
x
t
r
act_
i
nterface
.
cc:
a
void use
of SourceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n Verdoolaeg
e
update for remova
l
of D
e
faultImageN
a
me Driver constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
erdoolaege
upd
a
te isl for support fo
r
recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven
V
erdoola
e
g
e
pet_expr
_
new_unar
y
: t
a
ke type s
i
ze ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven Ve
r
doolaege
pet_scop_collect_d
o
mains: prope
r
l
y
handle sta
t
e
m
en
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoo
l
aeg
e
pet_stmt_p
r
int
_
bod
y
: do no
t
p
rint an
y
thing
for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
lae
g
e
fix qu
a
si_affine te
s
t
c
ase
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Verdoo
l
aege
pet_
t
ree_
d
ump:
fix typo in out
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaege
s
c
op
.
c
:
f
ix typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoolaege
sco
p
.
c: sco
p
_all
o
c: plu
g
memory leak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdoolaeg
e
e
x
pr
.
c: extr
a
ct_affine_mul: abort on error rather th
a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Ve
r
dool
a
e
g
e
P
e
tScan::set_uppe
r
_
bounds: handle
a
r
r
ays declared
insid
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
derive access relations o
f
c
all express
i
on
s
f
r
om funct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_expr_ma
p
_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
dool
a
ege
add p
e
t_
e
xp
r
_access_
g
et_aug
m
ented_d
o
main
_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaeg
e
PetSca
n
::extract
_
expr(C
a
llExpr *): extrac
t
function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr: ke
e
p track of
f
unct
i
on summaries in call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
ge
p
et_expr: put
p
et_ex
p
r_call fiel
d
in s
u
bs
t
ruc
t
ure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
ge
i
n
t
r
od
u
ce pet
_
f
unction_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Ver
d
oolaege
pet_expr_acces
s
_set_access: set read/wri
t
e
on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
bre
a
k
up
a
ccess relations into may_read/may_write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolae
g
e
add pe
t
_uni
o
n
_map_move_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
i
n
troduce
p
et_expr_
a
ccess_ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdo
o
laege
drop pet_expr_from_access_and_ind
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
o
la
e
g
e
explicitl
y
m
ark kill
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolae
g
e
pet_expr:
r
epresent read/write flags a
s
bit
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pet_expr: document
t
he rea
d
and write
fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verdool
a
e
ge
br
e
ak up acc
e
ss relations
into may
_
read/may_write/must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
o
l
aege
pet_expr_t
a
g_access:
a
void use of target spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n V
e
rdoolaege
postpone introduction of access
r
e
l
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
emit
.
c: emit_expr: extract out
emit_access_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolae
g
e
drop pet
_
expr
_
access_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoola
e
g
e
ne
s
t
.
c
:
mo
v
e
i
s_su
b
_ac
c
ess
t
o expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
t
r
ee2scop
.
c:
e
xt
r
act_kil
l
:
upd
a
te kill ex
p
ress
i
on
r
ather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
ool
a
ege
pet_e
x
p
r_is_
a
ffine: a
v
oid
u
sing
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolae
g
e
pet_expr_filter: avoid
u
si
n
g access r
e
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_ex
p
r_access_up
d
ate_domai
n
: avoi
d
using acces
s
relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr_access_get_must_a
c
cess: avoid
using ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
oolaege
pet_expr_
a
ccess_get_id: av
o
i
d
u
s
ing access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
x
pr
.
c: access_add_ref_
i
d: avo
i
d using
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
scop
.
c: ac
c
ess
_
c
o
llect_params:
avoid using
acce
s
s r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c:
i
mplies_filter: av
o
id usi
n
g
acc
e
ss relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdool
a
ege
sco
p
.
c: acc
e
ss_e
x
tract_c
o
ntext: a
v
oid usin
g
acc
e
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
scop
.
c: expr_
e
xtract_
c
ontext: av
o
id us
i
ng access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
c
op
.
c: extract
out shared drop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
doolaege
pet_expr_access_update_domain: mi
n
or
clean-up o
f
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further g
e
nerali
z
e compute_to_inner to
s
u
ppor
t
pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
generalize compute_to_inner
t
o
suppo
r
t
pet_scop_comput
e
_
oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oo
l
aege
scop
.
c: com
p
ute_to_inner: micro-o
p
timizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaeg
e
tree2scop
.
c: is_neste
d
_al
l
o
w
ed: do not allow
n
esting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verd
o
o
laege
Pet
S
c
a
n
::
s
et_upper_bounds: use d
e
cla
r
ed size of
sta
t
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ve
n
Verdoolaege
scop
.
c: restri
c
t_skip: update
docume
n
tation to chan
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ve
n
Ver
d
oolaege
tree2sc
o
p
.
c: scop_add
_
inc: take into account affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tree2scop
.
c: m
o
ve up apply
_
affi
n
e
_
continu
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
aege
tree2scop
.
c: sc
o
p_from_no
n
_affine_while: extr
a
ct out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verd
o
olae
g
e
pet
0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaege
update isl t
o
ver
s
ion
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdoolaege
REA
D
ME: u
p
date LLVM/clang
i
n
stallation ins
t
r
u
c
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
ae
g
e
interface/e
x
tract_interface
.
cc: explici
t
ly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update for chan
g
e in argumen
t
s of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoola
e
ge
pet
.
cc: add
s
pace be
t
ween literal a
n
d identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaege
update isl for suppor
t
for recent cl
a
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
pet
_
stmt_from_
p
et_tree: avoid free
o
f
uninitiali
z
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven
V
er
d
oolaege
scan
.
cc: fix
t
ypo
in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_
s
c
op_from_
p
et_stmt: do not ex
t
ract c
o
n
t
ex
t
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
o
l
a
ege
PetScan::ex
t
ract_argumen
t
:
h
andle passin
g
of ent
i
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
M
a
kefile
.
a
m
: a
d
d dummy C++ sourc
e
fi
l
e to pet
_
s
cop_cm
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdoolaege
handle pencil independent p
r
agmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ver
d
oolaege
Pe
t
Sca
n
: keep
t
rack of lin
e
number of curr
e
nt
Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
V
erdoolaege
pe
t
.
c
c: extrac
t
out Pe
t
ASTConsumer::add_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
a
d
d enca
p
sulat
e
_dynamic_contr
o
l
o
ptio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdo
o
lae
g
e
pet_scop_from_pet_tree: create stat
e
ments directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
rep
l
ace pet_stm
t
_f
r
om_pet_e
x
pr by pet_
s
t
m
t_from_pet
_
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolae
g
e
pet_stmt: use p
e
t_tree to repre
s
ent statem
e
nt bo
d
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: extract out
p
et_stmt_is_affine_a
s
sume and pe
t
_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
sc
o
p
.
c: stmt_collect_accesses: use pe
t
_expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
sc
o
p
.
c: stmt_coll
e
ct_params: us
e
pet
_
expr_
f
oreach_ac
c
ess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
keep
tra
c
k of indent
a
t
i
on of extr
a
c
t
e
d code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
rdoolae
g
e
ext
r
a
ct enum cons
t
ants
a
s their
i
nteger valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n::ex
t
ract_
i
nt: separate out extraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extra
c
t
_uns
i
g
n
ed: t
u
r
n
i
nto a static fu
n
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
scan
.
cc
:
change textual order of extract
_
u
nsigned
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aeg
e
pet_check_code
.
c
:
use pet_expr_extract_
a
ffine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
export pet_
e
xpr
_
extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
p
e
t
_
cont
e
xt: no
l
on
g
er k
e
ep track of
"
u
nknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
pet_expr_extrac
t
_affine: no lon
g
e
r create n
e
w paramete
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan::ex
t
ract_scop: p
o
pulate pet_
c
o
n
text wit
h
pa
r
ame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: move up static get_array_t
y
pe function i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
P
e
t
S
can::get_array
_
siz
e
: cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
P
etScan::set_upper_bounds: ex
t
ract ou
t
PetS
c
a
n::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet
_
e
x
p
r_is_equ
a
l: compare index
e
xp
r
e
s
sions
u
p t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_e
x
pr_extract_aff
i
n
e
: exploit domain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
add pet_con
t
ext_get_gist_d
o
m
ai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
o
p
.
c: scop_fr
o
m_block:
c
ollec
t
affine con
t
inue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doo
l
aege
pet_sco
p
_from_p
e
t_tre
e
: extract pet_sco
p
from the r
o
ot
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
add function
s
for manipul
a
t
i
n
g th
e
domain
o
f a pet
_
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet
_
scop
_
restrict: also restr
i
ct v
i
r
t
u
al arra
y
exten
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
p
et_context
_
eval
u
a
te_expr: first insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next