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 Verdool
a
e
ge
PetSca
n
::sc
a
n_arrays:
st
o
re record ty
p
es int
o
n
ew PetTypes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
scan
.
c
c
: fix
typ
o
s in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven
V
erdoolaege
t
ree
.
c:
f
ix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ver
d
oolaege
adju
s
t confi
g
ure
t
e
s
t to cha
n
ge
i
n argument name
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdool
a
ege
ad
j
u
s
t
to chan
g
e
i
n
return type
o
f getTypeInfo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
adjust to ch
a
ng
e
in clang's JobList
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Ve
r
doolaege
update is
l
fo
r
s
upp
o
r
t
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdool
a
ege
PetScan::ext
r
act: imp
r
ove error
messa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolaege
PetScan: allow label on any sta
t
ement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sv
e
n Verdoolaege
pet_s
c
o
p_cmp: do not
c
onside
r
s
c
ops
to be eq
u
al
i
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven V
e
rdoolaege
tree2
s
cop
.
c
:
scop_
f
rom_affin
e
_if: check condition of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-14
Sven
V
erdoolaege
pet_scop
_
from_p
e
t_tree: avoid clashes with explici
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verd
o
o
l
ae
g
e
add support for __pencil_ki
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
S
v
e
n Verdoolaege
t
ree2
s
c
o
p
.
c: extract
o
ut scop_from_t
r
ee_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdoo
l
ae
g
e
PetScan::extract_
a
rgument: only per
f
or
m
write detection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-16
Sven Verdool
a
ege
encapsulate loop contai
n
ing continue/br
e
ak w
h
en enca
p
sulat
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-21
Sven Ve
r
d
oolaege
pet_stmt_b
u
ild_ast_exprs: i
g
n
or
e
expre
s
sion arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
S
ven Ve
r
doolaege
improve
h
a
n
dling of functi
o
n summar
i
es
w
ith s
t
r
ucts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verd
o
o
l
ae
g
e
pet 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven V
e
rdoolaeg
e
updat
e
isl
to version 0
.
1
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
PetScan::s
e
t_upp
e
r_
b
o
unds: fix t
y
po breaking non
-
1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
S
ven Verdoolaege
update
i
s
l for chang
e
in isl_map_subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoo
l
ae
g
e
u
p
date for change i
n
Ta
r
getO
p
tions refcounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
update for removal
of llvm/ADT/OwningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
interface
/
ex
t
ra
c
t
_
interface
.
cc: avoid use
o
f
SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Ve
r
d
oolaege
update
fo
r
remova
l
of DefaultImageNa
m
e
Driver construc
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
erdoolaeg
e
update isl for s
u
pport for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven Ver
d
oolaege
pet_
e
x
pr
_
new_u
n
ary: ta
k
e typ
e
size argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
S
v
en Verdo
o
la
e
ge
pe
t
_
scop_collect_domains:
p
rop
e
r
l
y
handl
e
s
t
atements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
oola
e
ge
p
e
t_stmt_print_body: do not print anything
f
or
kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
fix quasi_aff
i
n
e
test cas
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoolaege
pet_tree_du
m
p
: fix typo in output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoola
e
g
e
scop
.
c
:
fix ty
p
o in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoola
e
ge
s
cop
.
c
:
scop_alloc: plug memo
r
y leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
ol
a
ege
expr
.
c
:
extract
_
affine_m
u
l
: abor
t
on
e
rror rath
e
r than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
PetScan
:
:set_upper_bounds: han
d
le
a
rrays
d
ecl
a
red
i
ns
i
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sv
e
n van Haast
r
egt
allow specificat
i
on of s
u
mmary functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
derive access relatio
n
s of call expressions from function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolaege
add
pet
_
expr_
m
ap_
c
all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
olaege
add pet_exp
r
_
a
ccess_get_a
u
gmented_do
m
ain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolae
g
e
PetSca
n
::ext
r
act_
e
xpr(
C
allE
x
pr *):
extra
c
t
f
u
n
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_exp
r
:
keep track of function summaries in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_
e
x
pr: put
p
et_expr_call field
i
n
s
ubstruct
u
re
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
la
e
ge
in
t
roduc
e
pet_fu
n
ction_summa
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
laege
pet_expr_
a
c
c
ess
_
set_acc
e
ss: set read/write on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doolaege
brea
k
up
acc
e
s
s
rel
a
tions into may_read/m
a
y_w
r
i
t
e
/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoolaege
add
p
et_union_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
i
ntr
o
duce pet_expr_ac
c
e
ss_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
l
aege
drop pet_expr_from_a
c
cess
_
and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
explicitly mark kill a
c
c
e
sse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
expr: represent
read/write flags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
pet
_
expr:
d
ocument th
e
re
a
d
and write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
break up access
r
ela
t
ions in
t
o
m
ay_re
a
d/may_wr
i
te/must_wr
i
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr_tag_access: avoid use of targe
t
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
postp
o
ne int
r
oductio
n
of access rela
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
emit
.
c:
e
mit_expr: e
x
tract out em
i
t_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_expr
_
access_get_
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c:
m
ove
i
s_sub_acces
s
to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2
s
cop
.
c: extract_kill: update kill expression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr_is_affine: avoid using access rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_filter: avo
i
d using ac
c
ess
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr_
a
cce
s
s
_update_domain: avoid u
s
ing
access rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_
e
xpr_access_get_must_acc
e
ss: a
v
o
i
d
using acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pet_expr_access_ge
t
_id
:
avoid
u
s
ing
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
olaege
e
xpr
.
c: access_
a
dd_ref_id:
avoid usi
n
g access r
e
l
a
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
doolaege
scop
.
c: access_collect
_
params:
a
void us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
ol
a
ege
s
cop
.
c: imp
l
ies_filter: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
scop
.
c
: a
c
cess_extract_context: avoid using
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sco
p
.
c:
exp
r
_extract_context:
a
void u
s
ing acc
e
ss
r
el
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
aege
scop
.
c: extract
o
ut shar
e
d drop_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
l
aeg
e
p
et_expr
_
access_update_d
o
main:
minor clean
-
up of e
x
pression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
lae
g
e
further general
i
ze compute_to
_
inner
to
su
p
po
r
t pet_scop_co
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoolaege
ge
n
erali
z
e compute_to_inner to support pet
_
scop_compute_ou
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
scop
.
c: c
o
mpute_t
o
_inner
:
m
icro
-
op
t
imizat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n Verdoolaege
tree2scop
.
c
:
is_n
e
sted_allowed: do
n
o
t
allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ver
d
oolaege
P
e
tScan
:
:set_u
p
per
_
b
ounds: use
d
eclared siz
e
o
f
static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
sco
p
.
c: restrict_skip: u
p
date documentation t
o
chan
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tr
e
e2sco
p
.
c:
scop_add_inc: t
a
k
e
into
account affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
ree2scop
.
c:
move up apply_affine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tree2scop
.
c: scop_fr
o
m_no
n
_affi
n
e_while: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolae
g
e
u
pdate isl
t
o versi
o
n
0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
R
E
A
D
M
E: upd
a
te LLVM/cla
n
g i
n
stallation instru
c
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
interface/extract_i
n
terface
.
cc: ex
p
licitly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoo
l
aeg
e
update for change
i
n arguments of CompilerInstanc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
p
e
t
.
cc: add spac
e
between literal and
ident
i
fier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdoolaege
update isl for support for r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doolaege
pet_stmt_from_pet
_
t
ree: avo
i
d
free o
f
uninitiali
z
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
v
en Ver
d
oolaege
s
c
an
.
cc: fi
x
typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoolaege
pet_scop_from_pet_stmt:
d
o
not extract c
o
n
text from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
PetSc
a
n::ex
t
rac
t
_argument: handle
p
a
s
s
ing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
doolaege
Makefile
.
am: ad
d
d
ummy C+
+
source
f
ile to pe
t
_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
handle
p
e
ncil independent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rdoolaeg
e
Pe
t
Scan: keep trac
k
of line numbe
r
of curre
n
t Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oo
l
aege
p
e
t
.
cc: extr
a
ct out Pet
A
S
T
C
onsume
r
::
a
d
d_pragma_h
a
ndlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verd
o
olaege
a
d
d encapsu
l
ate_dynamic_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
e
r
d
o
o
laege
pet_scop_from_pet_tree: create statements di
r
ectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
replace pet_stmt_from_pet_exp
r
by pet_stmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
oolaege
pet_stmt: u
s
e
pet_tre
e
to
repr
e
sent statement
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
Verdoo
l
a
e
ge
s
cop
.
c
:
e
xtract out pe
t
_stmt_
i
s_affine_ass
u
m
e and pet_stm
t
_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next