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
scan.h: less_name: generalize to any TypeDecl
2015-02-04
Sven Ve
r
doo
l
aege
scan
.
h:
less_nam
e
: generalize to any Type
D
ecl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
S
v
en Verdoola
e
ge
PetScan::sc
a
n_array
s
: store
record types into
new PetTyp
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sve
n
Verdoolaege
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
tree
.
c
:
fix typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ver
d
oola
e
ge
adjust confi
g
ure test to change in argument name of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
adjust to cha
n
g
e
in return type
o
f
g
e
tTypeIn
f
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven
Verd
o
olaege
adjust to c
h
a
n
ge i
n
clang'
s
JobList
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
update isl for suppo
r
t for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdool
a
ege
PetS
c
an
:
:extr
a
ct: improve
error
m
essa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
d
o
olaege
PetScan: allow label
on any statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaeg
e
pet_scop_cm
p
: do
no
t
consider scops to be equal
i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Verdoo
l
aege
tree2scop
.
c: sco
p
_
from_affi
n
e_if: check
condition of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-14
Sven Verdoo
l
aege
pet_scop_fro
m
_pet_tree: avoi
d
clashes with explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven Ver
d
o
o
l
aege
add su
p
port for __pe
n
cil
_
kill
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdoolaege
t
ree2scop
.
c: extract ou
t
s
cop_from_tree_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdo
o
laege
PetScan::extract
_
a
r
g
u
ment: only perfor
m
write detecti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-16
Sven
V
er
d
oola
e
ge
enca
p
sul
a
te
l
oop
c
ontaining continue/bre
a
k when enca
p
sula
t
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-21
Sven Verdoolaege
pet_stmt_
b
uild_ast_exprs: ig
n
o
re
e
x
pression arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-06
Sven
V
erdoolaege
improve han
d
ling of f
u
nc
t
i
o
n su
m
m
a
ries w
i
th struct
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
pet
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
update isl
to
version 0
.
1
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verdoolaege
PetScan
:
:set_upper_bou
n
ds:
f
i
x
typo breaking
n
on-1D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sven Verdoolaege
update isl for change i
n
isl_map_
s
ubtrac
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven V
e
r
d
oo
l
aege
u
pdate for change in Ta
r
getOpti
o
ns refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
update for remov
a
l of llvm/A
D
T/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaeg
e
interf
a
ce/ext
r
a
c
t_interface
.
cc:
avoid use of
S
ourceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Verdoolaeg
e
update for removal of Def
a
u
l
tImageName Dr
i
ver
c
onstructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update isl for support fo
r
rec
e
nt cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdoolaege
pet_expr_new_unary
:
tak
e
type
s
i
z
e argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven Ve
r
do
o
lae
g
e
pet_
s
c
o
p_collect
_
domains: prop
e
rly hand
l
e
statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdool
a
ege
p
e
t_stmt_print_body: do
not print anyth
i
ng for
k
ill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
e
rdoolaeg
e
fix quasi_affine test c
a
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
p
et
_
tree_dump: fix typo in ou
t
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
e
n Verdoolaege
scop
.
c
:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
doolaege
scop
.
c: scop_alloc: pl
u
g memory leak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verdoolaege
expr
.
c: ext
r
act_aff
i
ne_mu
l
:
abort o
n
error ra
t
her than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erd
o
olae
g
e
P
etScan::se
t
_upper_bounds: h
a
ndle arrays declared in
s
ide
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sve
n
Verdoola
e
ge
deriv
e
a
c
ce
s
s relations of call express
i
ons fr
o
m
f
u
nction
.
.
.
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
v
en Verdoolaege
add p
e
t_expr_
a
cce
s
s_get
_
a
u
gmen
t
ed_domai
n
_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
PetScan::extract_expr(
C
a
l
lExp
r
*
)
: extrac
t
function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
rdoolaege
pet
_
expr: k
e
ep track of
function summaries
in ca
l
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_e
x
pr: put pet_expr_
c
all
f
ield
i
n substructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
laege
introduce pet_function_sum
m
ary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_exp
r
_acce
s
s_s
e
t_access: set
read/write
o
n non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
bre
a
k
up acces
s
relatio
n
s into ma
y
_
read/may_wri
t
e/mus
t
_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
olaege
add pet_
u
nion_m
a
p_move_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
introduce pe
t
_ex
p
r_access_
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
dr
o
p
p
et_expr_f
r
om_access_and
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
lae
g
e
explici
t
ly mark kill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_
e
xp
r
:
r
e
presen
t
read/write flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
pe
t
_exp
r
: do
c
ume
n
t the rea
d
and
wri
t
e fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verdoolaege
brea
k
up a
c
cess relatio
n
s into may_read/may_write/must
_
wri
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pe
t
_exp
r
_tag_access: avo
i
d
u
se of t
a
rget space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
postpone in
t
r
o
duction of access r
e
lations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verd
o
olaege
emit
.
c: emit_expr: extra
c
t o
u
t emit
_
acces
s
_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
dro
p
pet
_
expr_
a
ccess_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdo
o
laege
n
est
.
c:
m
ove is
_
sub_
a
ccess to
e
xp
r
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaege
t
ree2scop
.
c
:
extract
_
kill: update kill expression
rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdoo
l
a
e
ge
pet_expr_is
_
affine: avoid using
a
ccess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_filter: avoi
d
u
sing
ac
c
ess
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoola
e
ge
p
e
t_expr_access_u
p
date_dom
a
i
n
:
av
o
i
d using
a
ccess relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoola
e
ge
pet_
e
xpr_ac
c
ess_get
_
must_access: avoid using acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
olaege
pet_expr_
a
cc
e
ss_get_id:
a
vo
i
d using
access re
l
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
expr
.
c: acces
s
_add_ref_id: avoid using acc
e
ss relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
e
r
doolaeg
e
sco
p
.
c: a
c
ce
s
s_
c
ollect_params: avoid us
i
n
g
acc
e
ss relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
scop
.
c: i
m
plies_filter: avoid using acce
s
s re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c: access_ex
t
r
a
c
t_con
t
ext: avoid using ac
c
es
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: expr_extract
_
context: avoi
d
using a
c
cess re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c: ex
t
ract
out sh
a
red dr
o
p_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolaege
pet_
e
x
p
r_
a
ccess_update_domain: mi
n
or clean-up of ex
p
ressi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
f
urther ge
n
eraliz
e
compute_
t
o_inner to support pet_sc
o
p_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
gene
r
alize compute_to
_
inner t
o
s
upport p
e
t_sc
o
p_c
o
mp
u
te_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
do
o
laege
scop
.
c: compute_to_inn
e
r
:
m
icro-optimi
z
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Ver
d
oolaege
tree2scop
.
c
:
is
_
n
e
sted_allowed: do not allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verd
o
olaege
P
etScan::s
e
t_
u
pper_bound
s
: use dec
l
ared
s
ize o
f
stati
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
s
c
op
.
c: restrict_
s
kip: u
p
date do
c
umenta
t
io
n
to
c
h
a
nge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
tree2sc
o
p
.
c:
s
c
o
p_add_inc: t
a
ke into account
a
f
fine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c:
m
o
ve up ap
p
ly_a
f
fine
_
continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolaege
tree2scop
.
c: scop_from_non_affi
n
e_while: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
ool
a
e
g
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
update isl to
v
ersion 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Ve
r
doolae
g
e
README: upda
t
e LLV
M
/clang installati
o
n instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en V
e
rdo
o
laeg
e
interface/e
x
tra
c
t_int
e
r
fa
c
e
.
cc: exp
l
icitly i
n
c
l
ud
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Ver
d
oolae
g
e
update for
ch
a
nge in a
r
gumen
t
s of Comp
i
lerInsta
n
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet
.
cc
:
add sp
a
ce
b
etween literal and ide
n
tifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
V
e
r
d
oolaege
update
isl for supp
o
rt for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ve
n
Verdoola
e
ge
pet_stmt_from_pet_tree: avoid free o
f
uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verd
o
olaege
scan
.
c
c: f
i
x typo i
n
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
pet_scop_from_pet_stmt: do not extract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolaege
PetS
c
an::ext
r
act_a
r
gum
e
nt: han
d
l
e
pa
s
sing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoola
e
ge
Makefile
.
a
m
: add dummy
C
++ source
f
i
le
to pet_scop_cm
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n Verdo
o
lae
g
e
hand
l
e pencil independent
p
ragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
P
etScan: keep t
r
ack of
line
n
umber of curre
n
t Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoo
l
a
e
ge
pet
.
cc: e
x
tract out Pe
t
ASTConsu
m
er
:
:
add_pragma_
h
a
ndl
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoo
l
a
ege
add encapsulate_dynamic_control op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
pet_scop_from_pet_t
r
ee: crea
t
e
statemen
t
s di
r
ectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doo
l
aege
replace p
e
t_stmt_from_pet_expr
b
y pet_stm
t
_from_pet_tr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
e
t_stmt:
use pe
t
_tre
e
to rep
r
esent s
t
a
tem
e
nt body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdo
o
laege
scop
.
c: extr
a
ct
out pet_s
t
m
t
_is_affine_assume and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next