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_scop_from_pet_tree: avoid clashes with explicit labels
2015-01-14
S
v
e
n Verd
o
olaege
pet_scop
_
from_pet_tr
e
e:
a
void clashes with
e
xplicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sv
e
n Ver
d
oolaege
ad
d
s
u
pport for __p
e
ncil_kil
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
S
v
en Verdoolae
g
e
tree2scop
.
c: extract out s
c
op_from
_
tree
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven V
e
rdoolaege
PetScan::
e
xt
r
act_argumen
t
: only perform write detecti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-16
Sven V
e
rdoolaege
encapsulate loop containing continue/b
r
eak when encap
s
u
latin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-21
S
ven Verd
o
o
l
aege
pet_stmt_build_a
s
t_exprs: ignore expr
e
ssion arg
u
ment
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-06
Sven Verdoolae
g
e
i
m
pro
v
e han
d
ling of function summ
a
ries w
i
t
h
s
tructs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdool
a
eg
e
pet 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
u
pdate isl to ver
s
ion
0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
P
e
tScan::set_upper_b
o
u
n
ds: fix typ
o
breaking non
-
1D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sven Verdoolaege
update isl for change in isl_map_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaeg
e
upda
t
e for c
h
a
nge
in TargetO
p
t
ions refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
u
p
d
ate fo
r
removal
o
f llvm/ADT/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
int
e
rface
/
ex
t
ract_i
n
terface
.
c
c: avoid use of So
u
rceMan
a
ger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verd
o
olaeg
e
upda
t
e for removal of DefaultImageName
D
river
c
onstructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
er
d
o
olaege
up
d
ate isl fo
r
support for
r
ec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sv
e
n Verdoolaege
pet_expr_n
e
w_una
r
y: take type size a
r
gument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
S
ve
n
Verdoolaege
pe
t
_scop_collect_dom
a
ins: prop
e
rly ha
n
dle stateme
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
V
e
rdoolaege
pet_st
m
t_print_body: do not
p
rin
t
any
t
hing for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoolaege
fix qu
a
si_affine test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verd
o
olaege
pet_tree_dump: fix typo in output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoola
e
ge
sco
p
.
c
: fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olae
g
e
scop
.
c: scop_
a
lloc: p
l
ug
memor
y
l
ea
k
o
n erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
exp
r
.
c
:
extr
a
ct_
a
ff
i
n
e
_mul: ab
o
rt on error
rather than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolae
g
e
Pet
S
can::set
_
up
p
er
_
bounds: handle arra
y
s de
c
lared in
s
ide
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en Ve
r
doolaege
deriv
e
a
c
ce
s
s
relat
i
ons
of call expre
s
sions from function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
add pet_expr_m
a
p_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_
e
xpr_
a
cce
s
s_get_a
u
g
m
e
nted_d
o
main_
s
p
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
PetS
c
an::extract_ex
p
r(CallExpr *): extract
functio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_ex
p
r:
keep track of function summaries
i
n call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr: put pet_ex
p
r_call
field in s
u
bstr
u
cture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
introduce
p
et_function_
s
umma
r
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaeg
e
pe
t
_expr_a
c
c
ess
_
s
et_access: set read/write
o
n n
o
n-em
p
ty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
bre
a
k up a
c
cess relat
i
ons
into m
a
y_rea
d
/
may_write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
add pet_
u
nion
_
map_mov
e
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
introduce pet_e
x
pr_access_typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_expr_from_acce
s
s_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
xplici
t
ly mark
kill
a
ccesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet_expr: represent read/write
flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aeg
e
pet_expr: docu
m
ent the rea
d
and write fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up
acce
s
s relation
s
i
n
t
o m
a
y_read
/
may_write/must_
w
r
i
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet
_
e
x
pr_tag_access: avoid
us
e
of
target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
postpone introducti
o
n of access rela
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
em
i
t
.
c:
e
mit_expr: extract out emit
_
a
c
cess_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
dro
p
pet_expr_
a
ccess_get
_
a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olaege
n
est
.
c: move is_sub_
a
cc
e
ss to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
t
r
e
e2sc
o
p
.
c: ext
r
act
_
kill
:
update kill expression rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_expr_is_a
f
f
i
n
e:
avoid using acc
e
ss
r
elati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t
_e
x
pr_filte
r
: avoid
using acces
s
relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoolaege
pet_exp
r
_access_update_domain: avoid using
access
r
ela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
erdo
o
lae
g
e
pet_exp
r
_
a
ccess_get
_
mu
s
t_access: avo
i
d
using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_expr
_
access_
g
et_id: avoid using a
c
c
es
s
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verd
o
olaege
expr
.
c: ac
c
ess_add_
r
ef_
i
d
:
a
void using access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
r
doolaege
scop
.
c: acces
s
_c
o
llect_params: avoid usi
n
g access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
sc
o
p
.
c
: impl
i
e
s_filte
r
:
av
o
id usin
g
a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
scop
.
c: acces
s
_e
x
tract_
c
ontext: a
v
o
id usin
g
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdool
a
ege
sco
p
.
c: ex
p
r_ex
t
ract_
c
ontext:
avoid using access re
l
at
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
s
c
op
.
c: e
x
tr
a
ct
out
sha
r
e
d
dr
o
p_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr_
a
ccess_u
p
date_
d
omai
n
: minor clean-up of expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further generalize com
p
u
t
e_to_inner to support pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
general
i
ze compu
t
e_to_inner to support pet_scop_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: c
o
m
p
ute
_
to_i
n
ner: mic
r
o-o
p
timi
z
at
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven
V
erdoolaege
tree
2
s
cop
.
c: is_nested_allowed: do n
o
t
allo
w
nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
PetS
c
an:
:
set_upper_
b
ounds
:
use declared size
o
f static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doolaege
s
c
o
p
.
c: restrict_skip: update documen
t
ation to c
h
ange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: scop_add_inc: take into a
c
count affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
o
l
a
eg
e
tr
e
e2
s
cop
.
c: move up
a
pply_affine_con
t
inue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c
:
scop_from_non_affine_while: extrac
t
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaege
p
et 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
upda
t
e isl
to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven V
e
rdoolaege
README: update LLVM/clan
g
i
nstallation inst
r
uctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
interface/ex
t
ract_i
n
ter
f
ace
.
cc
:
explicitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
V
erdoolaege
update
for change in argume
n
ts
o
f CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
pet
.
cc: add space betwee
n
literal and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en
V
erdoolaege
u
pdate isl for s
u
pport
f
o
r
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n
V
e
rdoo
l
a
e
ge
pet_stmt_
f
r
om
_
p
e
t_tree: avoid free of uni
n
itialize
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verd
o
olaeg
e
scan
.
cc: fix t
y
po in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoolaege
pet
_
scop_from
_
p
e
t_stmt: do not ext
r
act context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoolaege
PetScan::extract_argument: handle passing o
f
e
ntire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
Makefile
.
am
:
add d
u
mmy C+
+
sour
c
e fil
e
to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Ve
r
doo
l
aege
handle pencil inde
p
endent prag
m
as
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
PetScan: keep
t
rack
of li
n
e number
of curr
e
nt Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pe
t
.
cc: extract out P
e
tASTCon
s
u
m
er::add_pragma_handle
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdo
o
la
e
g
e
add e
n
capsulate_dyna
m
ic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
_
scop_from_pe
t
_tree:
create state
m
e
n
ts dire
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
replace
p
et_stmt_from_pet_e
x
pr
by pet_
s
t
m
t_from_pet
_
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
g
e
p
et_stmt: use pe
t
_tree to represent statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdool
a
ege
scop
.
c: extra
c
t out pet_stmt_is_affine_assume an
d
pet_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
sco
p
.
c: stmt
_
collect_ac
c
esses:
use pet_expr_foreach_acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_pa
r
am
s
: use pet
_
expr_f
o
reach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep track
o
f
i
n
denta
t
ion
o
f ex
t
r
act
e
d cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
V
e
r
d
oola
e
g
e
update
t
est case
outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
extract
e
num constants
as their
i
nteger
v
a
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdool
a
ege
PetScan::extr
a
ct_int: se
p
arate out ext
r
action
f
r
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
PetScan::ex
t
ract_un
s
igned
:
turn int
o
a static
f
u
n
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
scan
.
cc: change textual order of ex
t
ract_un
s
igned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pe
t
_c
h
eck_code
.
c: use pet_expr_extract
_
af
f
ine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
export pet_e
x
pr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_context: no lo
n
ger keep track of "
u
n
k
nown" va
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_extr
a
ct_affin
e
:
n
o
longer create ne
w
p
a
r
a
mete
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
