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
S
ven Ver
d
oolaege
scan
.
h: less
_
name: gener
a
lize t
o
any TypeDe
c
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
P
etScan
:
:scan_arrays: st
o
r
e
record types into new PetT
y
pe
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoo
l
aege
s
can
.
cc: fix t
y
pos
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n
V
erdoolae
g
e
tree
.
c:
f
ix ty
p
o in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n Verdoolaege
ad
j
ust confi
g
ur
e
tes
t
to change i
n
argumen
t
n
a
me of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdool
a
ege
adjust to c
h
a
n
g
e
i
n
return typ
e
of getTy
p
eInfo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdool
a
ege
ad
j
ust to
cha
n
g
e
in c
l
a
ng's JobList
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n
V
e
r
d
oolaege
update isl for su
p
port for r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
PetScan::extract: improve error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
PetScan:
a
llow label on any statement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoola
e
ge
pe
t
_scop_c
m
p: do not consi
d
e
r
scops to be equal if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven
V
erdo
o
laege
tre
e
2sco
p
.
c:
s
cop_f
r
om_affine
_
if: check condition of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-14
Sven V
e
rdo
o
laege
pet
_
scop_from_pet_tree: a
v
oid clashes w
i
th exp
l
i
c
it
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
S
v
en Verdoolaeg
e
add su
p
port for __pe
n
c
il_kill
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sv
e
n V
e
rdoola
e
ge
tree2sc
o
p
.
c: extract
o
u
t
sco
p
_
from_tree_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdoolaege
PetS
c
an
:
:extract
_
a
rgument: on
l
y
perform wr
i
te de
t
e
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-16
Sven Verdoo
l
aege
encapsu
l
ate loop cont
a
ining c
o
ntinue/b
r
eak
w
hen
encapsulatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-21
Sven Verdoolaege
p
e
t_stmt_build_
a
st_exprs:
ignore expression
a
rgume
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
Sven
Ver
d
oo
l
aege
im
p
r
o
ve h
a
ndling
o
f function su
m
m
a
r
ie
s
with structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoo
l
aege
pe
t
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
Verdoolaege
update isl
to version
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdool
a
ege
PetScan::
s
e
t
_upper_boun
d
s: fi
x
typo breaking
n
o
n-1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
S
v
en Verdoolaeg
e
update isl for change in isl_map_sub
t
ract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sv
e
n Ver
d
oolaege
update for change in TargetOpt
i
o
n
s
r
efc
o
unting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven V
e
rdoolaege
updat
e
for
remo
v
al of llvm/A
D
T/Owni
n
g
Ptr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
erdoolae
g
e
i
nt
e
rfac
e
/extract_
i
nterface
.
cc: avoi
d
use of SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
e
rdo
o
l
aege
update
fo
r
remov
a
l
of Defa
u
ltImageNam
e
Driver constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verdoo
l
aege
upd
a
te isl
for support
for rec
e
nt
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
S
ve
n
Verdool
a
ege
p
et
_
expr_new_unar
y
: t
a
k
e type s
i
ze argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven Ver
d
oolaege
pet_s
c
op_
c
olle
c
t
_
d
omains:
properly handle statem
e
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
la
e
ge
pet_stm
t
_
p
rint
_
body: do
not print
anythi
n
g for kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
fix quasi_affin
e
test c
a
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaeg
e
p
e
t_tree_d
u
m
p: fix
t
ypo in o
u
tput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaege
scop
.
c: f
i
x t
y
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en
Verdoolaege
sc
o
p
.
c: scop_alloc:
p
lug m
e
m
o
r
y
leak on
err
o
r pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
expr
.
c:
e
xtract_affine_mul: a
b
o
rt
on error rat
h
er t
h
an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven V
e
rdool
a
ege
PetScan::set_u
p
per_bounds: hand
l
e arr
a
ys declared inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
derive access
r
e
l
ation
s
of call
e
xpre
s
sions from function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
a
d
d pet_expr_
m
ap_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_ex
p
r_access_ge
t
_
augmented_
d
oma
i
n
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
P
e
tScan:
:
extract_expr(Cal
l
Expr *)
:
extract function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
p
et_
e
xpr: keep track of functio
n
s
ummari
e
s in
c
all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_expr: put pet_
e
x
pr_call field i
n
sub
s
tructu
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
intr
o
duce pe
t
_function_
s
ummary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaeg
e
pet_
e
xpr_access_s
e
t_access: set
read
/
wr
i
te o
n
non
-
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
break up acces
s
relat
i
ons into m
a
y_read/may_writ
e
/must
_
write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
a
d
d pet_unio
n
_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
introduce pet_expr_acces
s
_
t
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
drop
p
et_expr_
f
rom_access_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
xplic
i
tly mark kill a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
pet_expr: rep
r
esent
read/write flags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdool
a
ege
pet_expr
:
document the read and write fiel
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
break up ac
c
e
ss
r
elations into may_read/may_wr
i
te/must_
w
rite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verd
o
olaege
pet_expr_tag_access: avoid u
s
e of ta
r
get spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
postpone
introducti
o
n
of ac
c
ess
r
e
l
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolaege
emit
.
c
:
e
mit_expr:
e
x
tract
o
ut
e
m
it_
a
ccess_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoolaege
drop
pet_ex
p
r_a
c
cess_get
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdo
o
l
a
ege
nest
.
c: mov
e
i
s_
s
ub_acces
s
to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
tree2scop
.
c: ext
r
act_kill: update kill expressio
n
rat
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_expr_i
s
_affine:
a
void using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
ge
p
et_expr_filt
e
r: avo
i
d us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr_access_update_domain: avoid using
a
c
c
e
ss
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_expr_a
c
cess_ge
t
_m
u
st_acc
e
ss: avoid using
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
p
e
t_ex
p
r_access_get_id: av
o
id using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
expr
.
c:
a
ccess_add_ref_id: avoid us
i
ng acces
s
r
e
latio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoolaege
s
c
op
.
c: access_collect_par
a
ms: avoid using access r
e
latio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: implie
s
_filter: avoid using access rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
sc
o
p
.
c: acc
e
ss_ext
r
a
ct_context: avoid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdool
a
e
g
e
scop
.
c
:
expr_e
x
t
ract_con
t
ext: avoid usi
n
g
access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
s
co
p
.
c: extract
o
u
t s
h
ared drop_
a
rguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
olae
g
e
pet_expr_access_
u
p
date_
d
omain: mi
n
or clean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdoolaege
f
urther generalize compute_
t
o_inner to sup
p
ort pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
rdoolaege
genera
l
i
z
e com
p
ute_t
o
_inner to support pet_sc
o
p_comput
e
_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: compute_to_inner:
m
i
cro-optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
t
r
ee2sc
o
p
.
c
:
is_nested
_
allo
w
ed
:
do not allow nest
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
P
e
tScan
:
:set
_
upper_b
o
unds: u
s
e decl
a
red size of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
r
doolae
g
e
sco
p
.
c:
r
estrict_skip:
upda
t
e do
c
u
men
t
ation to cha
n
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rd
o
olaege
tree2s
c
op
.
c: scop_add_in
c
: take into acc
o
u
n
t a
f
f
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
tr
e
e2sco
p
.
c
:
move up ap
p
l
y
_affine_co
n
tinue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
o
l
a
e
g
e
tre
e
2scop
.
c: sc
o
p_fr
o
m_non_affine_while: extract ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoola
e
ge
pe
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaege
update isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sv
e
n
Ver
d
oolaege
README: u
p
date LLVM/clang
i
nstallation inst
r
uc
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
in
t
erface/ext
r
a
ct_inte
r
fac
e
.
cc: ex
p
li
c
itly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update for change in arguments of CompilerInstanc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaege
pet
.
c
c
: add space between literal and i
d
enti
f
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
upd
a
t
e isl f
o
r
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaeg
e
pet_stmt_
f
rom_pet
_
t
ree: avoid free of uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven
V
erdoo
l
a
e
g
e
sca
n
.
cc: fix
t
yp
o
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
d
ool
a
eg
e
pet_scop_from
_
p
e
t_stmt: do not extra
c
t co
n
text
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaege
PetScan::ext
r
a
c
t
_
argu
m
ent: handle
p
assing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en
V
erdoolaege
Makefile
.
am: add dumm
y
C++ s
o
urce file to pet_
s
cop_c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
do
o
lae
g
e
h
andle
p
encil independent
p
ragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
PetScan: keep track of line number of current S
t
mt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc
:
e
xtrac
t
out Pet
A
STCo
n
s
u
m
e
r::
a
dd_pra
g
ma_
h
and
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
add encap
s
ul
a
te_d
y
n
amic_contr
o
l optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
et_scop_from_pet_tree: crea
t
e st
a
tements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Ver
d
oolaege
r
e
place
p
e
t_stmt_from_p
e
t_expr by
p
et_
s
tmt_from_pet_tre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rdo
o
laeg
e
pet_stmt: use pet_tree to rep
r
esent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: extract ou
t
p
et_stmt_i
s
_
aff
i
n
e
_assume
a
nd pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next