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::scan_arrays: store record types into new PetTypes object
2015-02-04
Sven
V
e
rdoolaege
PetScan::
s
can_arrays: store reco
r
d type
s
into new PetType
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdoolaege
sc
a
n
.
cc
:
fix typos in
c
o
m
me
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdoolaege
t
ree
.
c
:
fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ve
r
doolaege
a
djust con
f
igu
r
e t
e
st to change in argument
n
ame of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ve
r
doolae
g
e
adjust to ch
a
nge in
re
t
urn type of getType
I
nfo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoo
l
ae
g
e
adjus
t
to chang
e
in
c
l
a
ng'
s
JobList
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
update i
s
l f
o
r
s
upp
o
rt
for recen
t
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
PetScan:
:
ex
t
ract: imp
r
o
ve er
r
o
r me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
d
o
olaege
Pe
t
Scan: allow lab
e
l on any sta
t
em
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven
Verdoolaege
pet_sco
p
_cmp: do
n
o
t consider scops
to be
e
qual i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
V
erdoolaege
t
ree2scop
.
c: scop_fr
o
m_a
f
fin
e
_i
f
:
check
c
o
nditi
o
n
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-14
Sv
e
n Verdoolaege
pet_sc
o
p_from_p
e
t_t
r
ee:
a
void clas
h
e
s with
e
xplicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verd
o
olaege
add
supp
o
rt
f
or __p
e
ncil_kil
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdo
o
laege
t
ree2scop
.
c: e
x
tract out scop_from_tree_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven
Verdoo
l
a
e
ge
PetScan:
:
extrac
t
_
argument:
o
n
ly p
e
rform
wr
i
te de
t
ection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-16
Sven
V
e
rdoo
l
aege
encaps
u
late loop containin
g
c
ontinue/break
when encap
s
u
lati
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-21
Sven Verdoolaege
pet_
s
tmt_b
u
ild_
a
st_exprs:
i
gnore expression arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-06
Sv
e
n
V
e
rdo
o
l
aege
improv
e
handling of
f
un
c
ti
o
n summaries with
st
r
ucts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
pet 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
a
e
ge
update
i
sl to version 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
PetScan::set_upper_bounds: fix
typo
breaking non-1D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sven Verdo
o
laege
u
pdate isl
f
or change in
i
s
l
_m
a
p_s
u
btract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
upd
a
te fo
r
ch
a
nge
in
T
argetOpt
i
ons refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
S
ven Verdoolaege
upda
t
e for rem
o
val of llvm
/
ADT/OwningP
t
r
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven V
e
rdoolaege
i
n
terface/ext
r
act_interface
.
c
c: avoid use of Sourc
e
Man
a
ge
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verd
o
olaege
update for removal of DefaultImageName Driver constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven V
e
rdoolaege
u
p
da
t
e isl for su
p
port for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdoolaeg
e
pet_expr_new_unary: t
a
ke type size argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sve
n
Verdoolaege
pet_scop_collect_domains: properl
y
handle stateme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
er
d
o
o
laege
pet_stmt_print
_
body: do not print anything
f
or kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
V
er
d
oolaege
fi
x
quasi_
a
ffine te
s
t case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdoolaege
p
e
t_tree_dump:
fix typo
i
n output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: fix typ
o
in comm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaeg
e
sco
p
.
c: scop_alloc: plug me
m
ory
leak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
expr
.
c: extract
_
affine
_
mul:
a
bort on
er
r
o
r
rather than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
r
doolaeg
e
P
e
t
Scan::set_upper
_
bounds:
handle arrays decl
a
red in
s
ide
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en Ve
r
doolaege
d
e
r
ive ac
c
es
s
relat
i
ons of
cal
l
expressions
from function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_expr
_
map
_
call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
a
d
d
p
et_exp
r
_access_get_augmented_domain_s
p
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
P
et
S
can::extract_expr
(
CallExpr *): extr
a
ct
f
unction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pet_expr: keep track
o
f funct
i
o
n
s
u
m
m
a
r
ies in call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_expr: pu
t
pet_expr_call field in
sub
s
tructur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
introd
u
c
e pe
t
_
f
unction_sum
m
ar
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet
_
expr_acces
s
_se
t
_access:
s
et
read/
w
rite on non
-
empt
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
break up access relations into
m
a
y
_
re
a
d/m
a
y_write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_union_
m
ap_move_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
aege
introduce pet
_
e
xpr_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
ege
drop pe
t
_
exp
r
_
fro
m
_access_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
expli
c
it
l
y mark kill a
c
cesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaeg
e
pet
_
expr: represen
t
read/writ
e
flags as
b
its
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_expr: document the read a
n
d writ
e
fi
e
l
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
brea
k
up access relations int
o
m
a
y_read/ma
y
_write/must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verdool
a
ege
pet_
e
xpr_tag_acc
e
ss: avoid use of tar
g
et space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
d
o
olaege
post
p
one int
r
oduction of
access relatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
a
ege
em
i
t
.
c: emi
t
_expr: extract
out emit_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoolaege
drop pet_
e
xpr_access_ge
t
_
a
c
c
es
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoola
e
ge
n
es
t
.
c: move is_su
b
_
a
ccess to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
g
e
tree2sc
o
p
.
c: extract_kill: update kil
l
e
x
pression rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
ge
p
et_expr_is_affine: av
o
id using
access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
oolaege
pe
t
_
e
x
pr_f
i
l
ter:
a
voi
d
u
s
ing acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr_access_updat
e
_domain:
a
void using acc
e
s
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
p
et_expr_acce
s
s
_get_must_acce
s
s: avoid using a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_
a
c
c
e
s
s_get_i
d
:
avoid us
i
ng
acces
s
relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Ver
d
oolaege
expr
.
c: access
_
add_ref_id: avoid using ac
c
ess
r
elati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
scop
.
c
:
ac
c
e
s
s_collect_p
a
ram
s
:
avoid usin
g
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
scop
.
c: implies_filt
e
r:
a
vo
i
d us
i
ng access re
l
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolae
g
e
scop
.
c: a
c
ces
s
_extract_
c
o
n
t
ext: avoid u
s
ing acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c:
expr_
e
x
t
ract_conte
x
t: avoid using
access
r
elatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaege
scop
.
c: extr
a
c
t out
shared drop_arg
u
me
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdool
a
ege
pet_expr_access_update
_
domai
n
: minor
c
l
ean-up
o
f expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
further generalize compute_to_inner
t
o s
u
pport pet_sco
p
_c
o
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
general
i
z
e co
m
p
ute
_
to_inner to
suppo
r
t
p
e
t_scop_compute
_
oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verd
o
olaege
scop
.
c: compute_to_
i
n
n
e
r
: m
i
cro-optimizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
t
r
ee2scop
.
c: is_n
e
sted_al
l
owed: do not a
l
l
ow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
S
ven Verdoolaege
PetScan::
s
et_up
p
er_bounds: use decla
r
ed siz
e
o
f
sta
t
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
scop
.
c: re
s
trict_ski
p
: update
docume
n
tati
o
n to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en
Ve
r
doolaege
t
r
ee2sco
p
.
c: scop_add_i
n
c
:
tak
e
into accoun
t
aff
i
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
tree2scop
.
c: move up
a
pply
_
aff
i
ne_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaeg
e
t
r
ee2scop
.
c: scop
_
f
rom
_
non_aff
i
ne
_
while
:
e
x
tract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoo
l
ae
g
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdoolaege
update isl to versio
n
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
e
r
doolaege
README:
up
d
a
t
e LLVM/c
l
ang installation instruc
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
int
e
rface/ext
r
act_interface
.
cc: e
x
pl
i
c
it
l
y
incl
u
de
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ve
r
d
o
olaege
u
pdate for chan
g
e in argum
e
n
t
s of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdo
o
laeg
e
pe
t
.
cc: add
s
pace between
l
itera
l
and identifie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n
Verdoola
e
g
e
update isl
f
o
r sup
p
ort fo
r
recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdo
o
l
aege
pet_s
t
m
t
_f
r
om
_
pet_tree:
avoid free of uninitiali
z
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven
Verdoolaege
scan
.
cc: fix typ
o
i
n comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_scop_fro
m
_
p
et_stmt: do n
o
t extrac
t
context
fr
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
PetScan::ex
t
ract_argument: handle passin
g
o
f
ent
i
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Makefile
.
a
m
: add dummy C
+
+ so
u
rc
e
file to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n Verdoolaege
h
and
l
e
pencil i
n
dependent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
PetS
c
an
:
keep t
r
ack of l
i
ne number of current
S
t
mt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doo
l
aege
pet
.
cc: extract out PetA
S
TConsumer
:
:ad
d
_
p
ragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
a
e
g
e
add
e
nca
p
s
u
lat
e
_dyna
m
i
c_cont
r
o
l
o
pt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
a
e
ge
pet_scop_
f
r
o
m_pe
t
_tree:
create sta
t
ements
direc
t
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdo
o
laege
replace pet_s
t
m
t
_
fro
m
_pet_expr by pet_st
m
t_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rdoolaege
pet_stmt:
use
p
e
t_tree t
o
repres
e
n
t statement
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
do
o
la
e
ge
scop
.
c: extrac
t
out pet_stmt_is_affine_assume and pet_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolae
g
e
scop
.
c
:
stmt_col
l
e
c
t
_accesses: use
pet_e
x
p
r
_forea
c
h_acces
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next