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
PetScan::nested_access: rename "dim" variable to "space"
2014-03-14
Sven Verdoolaege
do not extract loop a
r
o
u
n
d parti
a
l body when autodet
e
ctin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en
V
e
rdool
a
e
g
e
PetScan
:
:ex
t
r
a
ct_non_a
f
fine_cond
i
tion:
t
ake
st
a
tement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ve
r
doolaege
Pe
t
Scan::extract_for
:
do not allow
i
n
i
t
i
a
l value
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaeg
e
PetSca
n
::e
x
trac
t
_
f
o
r
: clear assignment to iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
PetScan::unsupported: pass fixed charac
t
er st
r
ing t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verd
o
olaege
configure
.
ac: add llvm
-
co
n
fig --system-libs to CLANG_LIB
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven V
e
rdoolaege
updat
e
isl for sup
p
ort for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven
V
erdoolaege
Makef
i
l
e
.
am: avoid use
o
f INCLUDES
v
ar
i
ab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven V
e
rdoo
l
aege
AX_DETECT_GIT_HEAD: detect git
v
ers
i
on with ne
w
er versions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sven Verdo
o
la
e
ge
READ
M
E: add contact info
r
mation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verd
o
olaege
add affine assumptions to
the c
o
nte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sv
e
n V
e
r
doolaeg
e
parse __pencil
_
assu
m
e
s
ta
t
ements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
Sven Verdoola
e
ge
e
xtrac
t
out P
e
t
S
c
an:
:
extract_
a
rgument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sven Verdo
o
l
aeg
e
a
dd supp
o
rt for structs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
r
doolaege
add
pet
_
scop_collect_tagged
_
m
u
s
t_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
oolae
g
e
add pet_sc
o
p_
c
ollect_m
u
st_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolae
g
e
scop
.
c: extract out
e
xpr_collec
t
_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c: sc
o
p_c
o
llect_acces
s
es: rename
"
dim" v
a
riable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet
_
e
xpr_access_get_tagged
_
m
ay_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoo
l
aeg
e
a
dd pet_scop_collect_tagged_{may,must}_{r
e
ads,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
e
xport
p
et_expr_access_ge
t
_may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolae
g
e
scop
.
c: e
x
pr_co
l
l
e
ct_ac
c
esses: plug memory
l
eak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
e
x
tra
c
t out pet_clang_base_type i
n
to separat
e
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
s
c
an
.
cc:
ex
t
ract ou
t
subscript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
scop
.
c: extract out *_is_virtual_array functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Ver
d
oolaege
pet_expr_
f
r
o
m
_
inde
x
_a
n
d_depth: extract
out extend_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
r
d
oolaeg
e
introduce pet_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolae
g
e
use isl_
*
_res
e
t_user
ins
t
ead o
f
*_anonymiz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
u
p
date isl for support for member
a
c
ce
s
ses in AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
pet_e
x
pr_free: return struct pet_e
x
pr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
ol
a
ege
PetS
c
a
n
::resolve_nested(struct
pet_stmt
*): re
m
o
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
P
e
t
Scan::
r
esolve_ne
s
ted
(
s
t
r
u
c
t
p
e
t_e
x
pr *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
scan
.
c
c:
c
ompute_wrapping: remove unused var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: ext
r
act_sk
i
p_seq: remove
u
nu
s
e
d variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoo
l
a
e
ge
scan
.
cc: univers
a
lly: remove u
n
use
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
P
e
tSc
a
n::extract_a
f
fin
e
: remove unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
M
ak
e
file
.
am:
ad
d
dum
m
y C++ sourc
e
file
t
o pet and pet_check_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
stop linki
n
g in clang
libraries
d
irect
l
y into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
l
aege
also print clang
v
ersion when
p
r
i
n
t
ing
p
et
v
ersion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
e
r
d
oolae
g
e
REA
D
ME:
update
latest release of LLVM
/
clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
v
e
n Verdoolaege
parse
.
c
:
remove spurious
d
u
plicate declar
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
v
e
n Ve
r
doolae
g
e
pet_scop_fre
e
: ret
u
r
n
stru
c
t pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Ve
r
doolaege
PetS
c
an
:
:extract(StmtRange, bool, boo
l
):
b
r
e
ak
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
p
e
t_scop_co
l
le
c
t_
{
re
a
d
s
,write
s
}
: take
arguments into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
en Ver
d
oolaege
pet_scop_collect_{reads,w
r
i
t
es}: intersect ranges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Ver
d
oo
l
a
e
g
e
scan
.
cc:
ext
r
act
_
depth: use
co
r
r
e
c
t dimension type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoola
e
ge
pet_expr_from_acces
s
_and_index:
p
l
u
g mem
o
ry
leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sve
n
Verdoolae
g
e
configure
.
ac: remove
expli
c
it dependence on
gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven
V
erdoolae
g
e
discar
d
incompletely e
x
t
r
acted compound st
a
te
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolae
g
e
fix handling o
f
com
p
ou
n
d stat
e
m
e
n
t
s
w
ith initi
a
l
p
arti
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdool
a
eg
e
p
e
t_
t
ransform_C_sou
r
ce: handle multiple
exp
l
i
c
itl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
add p
e
t_s
c
op_
p
rint_origi
n
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoo
l
a
e
ge
add pet_transform_C_
s
our
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
extend Pet
A
STConsumer to
e
xtract a sc
o
p for each function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
post-proscess scops inside PetASTConsumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
d
d pet_stmt
_
build_ast_
e
xprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
add pe
t
_s
t
mt_print_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
add pet_sco
p
_has_data_dependen
t
_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
a
dd
p
et_scop_has_dat
a
_depe
n
den
t
_
a
ccesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
p
e
t_c
h
eck_code: u
s
e in
d
ex
e
x
press
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
pet
_
check_code:
u
s
e
isl_id
_
to_pw_aff fo
r
k
e
eping
t
ra
c
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoolaege
update isl for isl_id_
t
o
_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
keep tra
c
k of index expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
sc
o
p
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
doola
e
ge
update test case
o
u
t
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
sc
o
p
.
c
: insert_filte
r
_map: construc
t
function intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Verdoolaege
s
c
op
.
c: upda
t
e_dom
a
i
n: use function intead o
f
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
scop
.
c
:
update_
d
o
m
ain: renam
e
variable "dim" t
o
"space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
PetScan::res
o
l
v
e_nested: u
s
e function
t
o embed argume
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
PetScan:
:
kill: use pet_
e
x
p
r_k
i
l
l_fro
m
_ac
c
ess_and_inde
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop_add
_
array: take ind
e
x expressi
o
n instead of access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoola
e
ge
pet_scop_filter: take i
n
dex e
x
pre
s
s
ion instea
d
of
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
use an i
s
l_multi_pw_aff to represent
a
skip condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
o
o
laege
p
et_skip_in
f
o: u
s
e
i
sl_multi_pw_af
f
to represent skip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verd
o
olaege
Pe
t
Scan::e
x
tract_
n
on_
a
ffin
e
_condition: take index expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
scan
.
cc
:
extract_skip: use pet_exp
r
_
f
rom_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
r
d
oolaege
pet_skip_info_if::extract: tak
e
index expression
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scan
.
c
c: u
n
i
versally: use p
e
t_expr
_
from_ind
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
PetScan::extract_conditi
o
nal_assignment: us
e
p
et_expr_from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
replace PetScan::extract_a
c
c
ess by
PetScan::ext
r
a
c
t_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolae
g
e
s
c
an
.
cc: e
x
tract
out extract_access_expr(V
a
l
u
e
Decl *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdo
o
laege
scan
.
cc: extrac
t
_expr(Conditio
n
alOp
e
ra
t
or
*
): use pet_
e
xpr_f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
scan
.
cc: add
c
reate_test_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_expr_ki
l
l_from_acce
s
s
_
a
n
d_ind
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
add pet_expr_f
r
om_in
d
ex_an
d
_depth wrapper
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
pet_exp
r
_
from_i
n
dex wrapper
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
u
pdate isl for improve
d
suppo
r
t
for is
l
_multi_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven
Verdoolaeg
e
use
i
s
l_
a
ff to represen
t
mapp
i
ng from
v
i
rtual
iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scan
.
cc: comp
u
te_wrappin
g
:
dr
o
p dea
d
co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scan
.
c
c
: Pet
S
ca
n
::extract_fo
r
: use identit
y
_map
i
ns
t
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven V
e
rdool
a
ege
use
i
mplication
s
to encode while and br
e
ak fi
l
ters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoola
e
ge
int
r
oduce pet_implication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven
Verdool
a
ege
scan
.
cc: scop_a
d
d_while:
take isl_id instead
o
f isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
sca
n
.
c
c
:
scop_add_brea
k
: take i
s
l_id inst
e
ad of isl_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoo
l
ae
g
e
add pe
t
_sco
p
_get_skip_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
v
e
n
V
e
r
d
o
olaege
sc
a
n
.
c
c
: extract out
s
hared pet_
s
cop
_
get_affine_skip_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
v
e
n
Ve
r
do
o
laege
extract out shared pet
_
e
xpr_access
_
g
e
t_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven
Verdoo
l
ae
g
e
s
c
op
.
c: extract out acces_apply_value_bo
u
n
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Ver
d
oolaege
ext
r
act o
u
t shar
e
d pet_expr_is_sc
a
lar_
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
v
en Verdoolaege
scop
.
c
:
expr_w
r
ites: use pet_expr_is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
