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
pet_expr: merge unary, binary and ternary types into operation type
2014-03-21
Sve
n
V
e
rd
o
o
l
aege
p
e
t_e
x
pr: merge unary, binary and tern
a
ry types into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract i
n
tegers as
i
nteger ex
p
ressions
rather than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoo
l
aege
up
d
ate test case output
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n
V
erdoolae
g
e
add su
p
port for
i
nt
e
xpr
e
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaege
pet_ch
e
ck_cod
e
.
c: pass alon
g
iter
a
tion s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdo
o
laege
e
x
tract out shared
pet_st
m
t
_
get_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
expo
r
t
pe
t
_expr_from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laeg
e
pet
_
scop_embe
d
:
p
a
ss isl_aff schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
e
xt
r
a
c
t out pet_stmt_is_assign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out common pe
t
_st
m
t_is_kill
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
g
e
P
etSca
n
::extrac
t
_increment
:
improve e
r
ror message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
support
l
ogical operators in expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaeg
e
support intM
o
d
,
intC
e
il
a
n
d
intFlo
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Ver
d
oo
l
a
ege
provide gett
e
r
and setter for det
e
ct
-
cond
i
t
ional-
a
ssignment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
erdoolaege
pet_
c
heck_c
o
de: dum
p
i
t
eration d
o
main
s
if they are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_check_co
d
e
: parse isl optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoola
e
ge
scan
.
cc: i
n
dicat
o
r_fu
n
ction: coal
e
s
c
e domain before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoo
l
aege
scop
.
c: fix typos i
n
comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scan
.
c
c
:
fix typos
in comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
pet
_
scop_re
s
trict_skip:
f
ix
t
ypo
i
n error m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ver
d
oolaeg
e
P
etSc
a
n::is
_
nested_allow
e
d
: check fo
r
s
kip conditions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
erdoolaege
print
.
c: prin
t
_pet_expr: fix memory management
a
nnotati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ve
r
do
o
laege
d
r
op dead method PetScan::is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c: embed_access: dr
o
p red
u
nda
n
t
varia
b
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
Verdool
a
ege
pet
_
scop_fi
l
ter
_
skip:
a
voi
d
rec
o
mput
a
tion of test
e
x
pression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
P
etScan::extract_n
o
n
_affine_co
n
d
i
ti
o
n
:
remo
v
e redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
s
eparate
o
ut sh
a
red Pe
t
Sc
a
n::upda
t
e
_
s
c
op_start
_
en
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n
Ver
d
ool
a
eg
e
p
et_expr_dump:
o
nl
y
p
rint expr->acc
.
ref_i
d
if it is set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
Ve
r
doola
e
ge
scop
.
c: stmt_
p
ropagate_params: also update accesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoo
l
ae
g
e
s
cop
.
c
:
s
t
mt_c
o
llec
t
_param
s
: also col
l
e
ct param
e
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
s
c
op
.
c
:
*_collect_
p
arams: fix
e
r
r
or h
a
nd
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pe
t
_
sco
p
_align_
p
aram
s
:
improve e
r
ror
handl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdo
o
la
e
g
e
pe
t
_s
c
op_alig
n
_params: re
n
ame "
d
im
"
v
a
ria
b
l
e to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
P
et
S
c
an::e
x
tract_n
e
s
ted: plug memory leak on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
sca
n
.
cc:
cl
e
ar_assignment: fi
x
logic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan
:
:extra
c
t(IfS
t
mt *):
clea
r
assign
m
ent
s
in body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
ae
g
e
PetScan::
e
xt
r
act_infinite_for: als
o
c
l
ear a
s
signments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verd
o
olaege
Pet
S
ca
n
::ex
t
ract_for: a
l
ways keep
virtual iter
a
tor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Ve
r
doolaege
modify tests/unsigned3
.
c
test c
a
se to use th
e
it
e
rator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ver
d
ool
a
ege
when auto
d
etecting only skip initial declarati
o
ns in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdoo
l
aege
do
n
o
t
extr
a
ct
l
o
op around partial body
w
hen auto
d
etecting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdoolaeg
e
PetSc
a
n::extr
a
c
t
_
n
on_affine_c
o
nditio
n
: take statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verd
o
olaege
PetS
c
an::extract
_
for:
d
o not allow i
n
itial value
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdoolaeg
e
PetScan::ext
r
a
ct_for: clear assignment to
i
t
erator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Verdoolaege
PetSca
n
::
u
nsuppo
r
t
e
d: pass fixed ch
a
racter st
r
ing
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
v
e
n
V
erdoolaeg
e
configu
r
e
.
a
c:
a
dd llvm-co
n
f
ig --system-libs to CLANG_LIBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ve
r
doolaege
upd
a
te isl for support for recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven Ver
d
o
o
lae
g
e
M
akefile
.
am: av
o
id
u
se o
f
INCL
U
DES variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verd
o
ola
e
g
e
AX
_
DE
T
ECT_GI
T
_HEA
D
: detect git ver
s
ion with
newe
r
v
e
r
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
S
v
en V
e
rdoolaege
REA
D
ME:
a
dd contact infor
m
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sve
n
Verdool
a
ege
add affi
n
e assumptio
n
s to the
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sve
n
Ve
r
doo
l
aege
par
s
e __pe
n
cil_assume statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
S
ven Verd
o
olaege
extract out PetScan::extract_argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sven
Ve
r
doolae
g
e
add
suppo
r
t for structs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add
pet_scop_collect_ta
g
ged_must_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
ad
d
pe
t
_scop_co
l
lec
t
_
m
ust_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
sc
o
p
.
c: extract o
u
t
expr_collect_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
s
c
op
.
c: scop_collect_accesses: rename
"
dim" v
a
ria
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
ad
d
pet_e
x
pr_acces
s
_get_t
a
gge
d
_may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
a
dd pet_scop_
c
ollect_tagg
e
d_{m
a
y,must}_
{
reads,write
s
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
export pet_expr_access_get_ma
y
_
a
c
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoo
l
a
ege
scop
.
c: expr_collect
_
access
e
s: p
l
ug memory
leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoo
l
aeg
e
extract out pet_cla
n
g_base_t
y
pe into se
p
a
rate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
c
c: extract out subscript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c: extract out
*_is_virtua
l
_array functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pe
t
_ex
p
r_f
r
om_index_and_dep
t
h: extr
a
ct out extend_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
l
a
ege
introduce pet_typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
us
e
isl_*_
r
eset_user ins
t
ead
o
f *_anony
m
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
update isl
for support for member accesse
s
in AS
T
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
p
et_expr_
f
r
ee: return
s
truct pet_expr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetSca
n
::resol
v
e
_
nested(struct pet_stmt *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
ola
e
ge
P
e
tSca
n
::re
s
o
lve_nested(struct pet
_
expr *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
scan
.
c
c
: compute_wrapping
:
r
em
o
ve unused variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oo
l
aege
scan
.
cc:
extrac
t
_skip_seq: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: universally: remove un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
Pe
t
Scan:
:
extract_a
f
fine: remove unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
e
rdool
a
e
g
e
Makefile
.
am: a
d
d dummy C++ source
file to
p
e
t and pet_check_
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoola
e
ge
stop li
n
king in cla
n
g libraries directly into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
also p
r
i
nt clang
v
e
rsion when printing pet versi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
README: upda
t
e latest release o
f
LLVM/cla
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolaeg
e
parse
.
c: remove spurious dup
l
icate
declaration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven
V
erdoolaege
pet_scop_free: return struct pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Ver
d
o
o
l
aege
PetS
c
an::extrac
t
(StmtRange,
bool, bool): brea
k
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdool
a
ege
pet_scop_
c
olle
c
t_{
r
ead
s
,writes
}
: take arguments int
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
er
d
oola
e
ge
p
e
t_scop_collect_{reads,wr
i
tes}: interse
c
t ranges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
ven
V
erdoolaege
scan
.
cc:
e
xt
r
a
c
t_
d
epth:
u
se
c
o
rrect d
i
mens
i
o
n
t
y
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven
Verdoolae
g
e
pet_exp
r
_
f
rom_a
c
c
ess_and
_
ind
e
x
:
plug me
m
ory lea
k
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
S
v
en
V
erdoolaege
co
n
fig
u
re
.
ac: remove expl
i
cit de
p
ende
n
ce o
n
gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
v
e
n Verdool
a
eg
e
discar
d
incom
p
letely extracte
d
compound statement
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
fi
x
handling
o
f compound s
t
at
e
ments with initial p
a
r
tial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
o
l
aege
p
e
t
_transform_C_source: hand
l
e multiple explicitl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
o
l
ae
g
e
ad
d
pet_scop_
p
rint_original
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
add
p
e
t_tr
a
nsform_C
_
source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
extend
P
etASTConsumer to ext
r
a
ct a scop for ea
c
h functio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Verdo
o
laege
po
s
t-prosc
e
s
s scops i
n
s
ide Pet
A
STConsumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
add pet_stmt_build_ast_exprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdo
o
laege
add pet_stmt_print_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
V
er
d
oolaege
add
pe
t
_
s
cop_ha
s
_
data_
d
ependent_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add
p
e
t
_scop_has_data_depen
d
ent_
a
ccesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoo
l
aege
pet_check_code: use index expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next