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
parse.c: directly include required header
2015-04-30
Sven Verdoolaege
parse
.
c: directly inclu
d
e required header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sve
n
V
e
rdoolaege
expr
.
c: directly include
r
equired hea
d
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoo
l
aege
emit
.
c: d
i
rectly include re
q
uired he
a
der
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
S
v
en
V
erdoolaege
add --n
o
-pencil option to turn off pencil
specific
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-02
S
v
e
n Verdo
o
laege
PetSca
n
:
:extract_argumen
t
: mark non-cons
t
poin
t
er a
r
g
umen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-02
Sven Verdoolae
g
e
priv
a
tely
export
p
e
t_e
x
p
r_acces
s
_
get_dependent_ac
c
ess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-30
Sven Verdoolaege
PetScan::
e
xtract
_
arg
u
ment:
i
gn
o
re expr
e
ssio
n
clas
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-30
Sven Verdoolaege
P
etScan::extract_argu
m
ent: allow multiple implic
i
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
Sven Ver
d
o
o
laege
upda
t
e isl
f
o
r
r
epl
a
cement
of CLo
o
G test
cas
e
s with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
S
ven Verdo
o
laege
c
odegen_test
.
s
h
: test
s
chedule tree inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
S
ve
n
Ve
r
do
o
lae
g
e
pet_check_code: optio
n
a
l
ly take
s
c
h
e
dule tree as
inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
S
v
en
V
e
r
d
oolaege
pet_
c
odegen
.
c: optio
n
ally take schedule tree as in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolaege
pet
_
codegen
.
c
: e
x
tract
out pri
n
t_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
Sven
V
erd
o
ola
e
ge
update isl for sc
h
e
dule tree based AST generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
Sven Verdoolaege
rena
m
e isl_a
s
t_build_ast_from_sched
u
l
e
to isl_
a
st_build_node
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
Sven Verdoo
l
aege
up
d
ate isl for rename of isl_ast_build_ast
_
from_schedu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-11
Sven Verdoolaege
skip
e
mpty scops when autodetect is t
u
rned on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-05
Sven van
Ha
a
s
t
regt
recognize PE
N
CIL
m
in and
max fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-05
Sven van Haastregt
extract_aff
i
ne_fr
o
m
_
c
a
ll: e
x
tract out
i
s
_
min_or_ma
x
_builtin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-05
Sve
n
v
an H
a
astregt
extrac
t
_
a
ffine_from_call: ext
r
a
ct
out is_a
f
fine_bui
l
tin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sv
e
n Verdoo
l
aege
tree
2
sc
o
p
.
c: set lo
o
p band
schedule name fr
o
m
loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Ve
r
d
o
olaege
merge pet_skip_inf
o
_if_add
a
nd pet_skip_in
f
o
_seq_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdoolaege
pet_stmt:
d
rop
s
c
h
e
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
S
v
en Verdoolaeg
e
pet_che
c
k_code: use
s
cop->sche
d
ul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven
Verdo
o
laege
pet_sc
o
p: ke
e
p tra
c
k
of
sc
h
ed
u
le tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdo
o
laeg
e
use isl_multi_aff t
o
r
e
present loop sche
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdo
o
laege
update
test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
S
v
en Verdoolaege
update
isl for sc
h
edu
l
e tre
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-13
Sven
V
e
rdool
a
ege
p
ostpone call
s
to pet_scop_embed until aft
e
r calls
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ver
d
oolae
g
e
pet_scop_embed
:
extra
c
t out pet_scop_reset_skips
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verd
o
o
l
aege
pe
t
_skip_info_
a
dd_scops: ad
d
s
cops
for c
o
mputing
s
k
ip
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
pet_ski
p
_info_add_type: extract ou
t
addition
of
s
k
ip
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdoo
l
ae
g
e
merge pet_sk
i
p_info_if_
a
dd
_
type a
n
d pet_skip_info_seq_add
_
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ve
r
doola
e
ge
pet_ski
p
_info_seq_add_type: extr
a
ct out pet_ski
p
_info_s
e
q_prefi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaeg
e
pet_
s
kip_
i
nfo_i
f
_add_type: extract out pet_sk
i
p
_
info_
i
f
_
prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven V
e
rdoolaege
pet_scop_align_par
a
ms: mino
r
c
l
e
a
n-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
add pet_tree_map_call_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verd
o
olaege
tree
.
c: map_access_
e
xpr: fi
x
do
c
umentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
v
en Verdoolaege
export pet_expr_new_cast
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verd
o
olaege
add
support for (some)
type
d
e
fs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
v
en V
e
rdoolaege
sca
n
.
cc: include conf
i
g
.
h f
i
rst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoola
e
ge
sca
n
.
cc: add_type: extrac
t
out add_fi
e
ld_ty
p
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven V
e
rdoolaege
PetSca
n
::sc
a
n_a
r
rays: kee
p
track of
h
a
ndled ty
p
e
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdool
a
ege
s
ca
n
.
h: less_
n
a
me: gene
r
alize to any TypeDecl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdoo
l
aeg
e
P
etS
c
an::scan_arrays: store reco
r
d ty
p
es into n
e
w
PetTypes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdool
a
e
g
e
scan
.
cc: fi
x
typos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
tr
e
e
.
c
: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven
Verdo
o
laege
adjus
t
co
n
figure test t
o
ch
a
nge in argument n
a
me of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolae
g
e
adjust
t
o ch
a
nge in r
e
t
u
rn type
o
f getT
y
peInfo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdoolaege
adj
u
st to c
h
ange
in clang's
J
o
b
List
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven
V
e
rdoolaege
u
p
date
isl for sup
p
o
rt for r
e
ce
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
PetSc
a
n
::extract: imp
r
ove er
r
or message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
rdoolaeg
e
Pet
S
can: allow label on any stateme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
pet_scop_cmp: do no
t
consider
s
c
o
ps to be
equal
if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven
Verdoo
l
aege
tree2scop
.
c
: s
c
o
p_from_af
f
ine_if: check
c
ondition of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-14
Sven Verd
o
ol
a
ege
pet_scop_from_pet_tree: avoid clashe
s
with explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
S
v
en Verdoola
e
ge
a
d
d support
for
__pencil_k
i
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdoolaege
tree2s
c
op
.
c:
e
xtract
out scop_from
_
tr
e
e_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdoolaege
PetSca
n
:
:
ex
t
rac
t
_ar
g
u
m
ent: only perform write detection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-16
S
v
e
n
Verdool
a
ege
en
c
apsulate loop conta
i
ning
c
ontinue/break
w
h
e
n enca
p
sulatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-21
Sven Verdoo
l
aeg
e
p
e
t_stmt_bu
i
ld_
a
s
t_exprs: i
g
nore expression
a
r
g
u
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
Sven Verdoo
l
a
e
ge
improv
e
handling of function summaries wit
h
structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaeg
e
pet
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
Ve
r
doolae
g
e
updat
e
isl to ver
s
ion 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n Verdoolaege
Pe
t
Scan::set_uppe
r
_
bound
s
:
fix typo brea
k
i
n
g non-1
D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
Sven Ver
d
oolaeg
e
update
i
s
l for change in isl
_
m
a
p_subt
r
act
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sv
e
n
Verdoolaege
update f
o
r
c
h
ange in
T
argetOptions refcounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
S
v
en Verd
o
o
l
aege
update
f
o
r re
m
ov
a
l of llvm/ADT/Ownin
g
Ptr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Ve
r
doolaege
interface/extract_in
t
erfa
c
e
.
cc: avo
i
d use
o
f S
o
urceM
a
nager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
Verdoolae
g
e
upd
a
te for remov
a
l of
D
e
f
aultImageName
D
r
i
v
er constru
c
tor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update isl for suppo
r
t
f
or recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven
V
er
d
oola
e
ge
pet_expr_n
e
w_un
a
ry
:
ta
k
e t
y
pe s
i
ze argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sve
n
Ve
r
doolaeg
e
p
e
t_scop_co
l
l
ec
t
_domains: properl
y
handle statem
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
V
erdoola
e
ge
pet_s
t
mt_prin
t
_
body: do n
o
t print anything
f
or kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdo
o
l
aeg
e
fix
q
uasi_aff
i
ne
test
c
a
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
p
et_tree_du
m
p: fix ty
p
o in o
u
t
pu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
d
o
ola
e
g
e
sc
o
p
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
V
erdoola
e
ge
scop
.
c: scop_all
o
c: plug
memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
ool
a
ege
e
xpr
.
c: extract_affine_mul: abo
r
t on erro
r
rat
h
er than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verdo
o
la
e
g
e
PetScan::set
_
upper_bound
s
: handle arrays d
e
c
l
a
r
ed ins
i
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven
van H
a
astregt
allow specification of summ
a
ry functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ve
r
doola
e
ge
deri
v
e
access rel
a
tions
o
f call
e
xpressi
o
ns from func
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdool
a
ege
a
d
d pet_expr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
ge
add pet_expr_access
_
get_augmented_
d
o
m
ain
_
sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaeg
e
PetScan:
:
extract_expr(
C
all
E
x
p
r *): ext
r
act funct
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t
_expr:
k
eep
track of f
u
nction
summa
r
ies in
c
a
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_exp
r
: put
pet_expr_call field in subst
r
u
ct
u
re
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Ver
d
o
o
lae
g
e
introduce p
e
t
_funct
i
on_sum
m
a
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
e
x
pr_ac
c
ess_set_access: set
r
e
a
d/write on n
o
n-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
olaege
bre
a
k up access relations into may_read/may_write/must_
w
rit
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
olaege
add
pet_union_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
i
ntroduce pet
_
e
x
pr_
a
ccess_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
drop pet_
e
xpr_fro
m
_a
c
cess_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
explicitl
y
mark
kill ac
c
ess
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolae
g
e
p
e
t_e
x
pr: represent read/write f
l
a
g
s
as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr
:
d
o
cument the rea
d
an
d
write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
b
re
a
k
up access relatio
n
s into
may_read/may_w
r
i
te/
m
ust_wr
i
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_ex
p
r
_t
a
g_
a
c
c
ess: avo
i
d
use
o
f
t
arget space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
ol
a
eg
e
postpone introduction
o
f access
r
elations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
em
i
t
.
c: emit_expr: ex
t
ract out
emit
_
acce
s
s
_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
