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
add support for __pencil_kill
2015-01-13
Sven Ve
r
d
o
olaege
a
d
d sup
p
ort f
o
r
_
_pencil
_
k
i
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven
V
erdool
a
ege
tree
2
sco
p
.
c: extr
a
ct out sc
o
p_from_tree_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdoolaege
Pet
S
can::extract_argument: only perfor
m
write detection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-16
Sv
e
n Verdoolae
g
e
encapsula
t
e loop co
n
ta
i
ning conti
n
ue/bre
a
k whe
n
encapsulatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-21
Sv
e
n Verd
o
ola
e
g
e
pet_stmt_build_ast
_
e
x
pr
s
:
ignore e
x
pre
s
s
ion arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
S
v
en Verdoo
l
aege
improve ha
n
dling of
function summaries wit
h
structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaege
pet 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdo
o
laege
u
p
date i
s
l to ve
r
s
i
on
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Ve
r
doolaege
P
etScan::
s
et_u
p
p
e
r
_bounds:
f
ix t
y
po breaking
n
on-1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
S
v
en
V
erd
o
olaege
updat
e
isl for change in isl_map_subt
r
act
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
update for chan
g
e in TargetOpt
i
o
ns refcounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Ver
d
oolaege
up
d
ate for removal of llv
m
/ADT/Ow
n
ingP
t
r
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolae
g
e
interface/extract_inte
r
face
.
cc: avoid use of Source
M
anager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update for removal of DefaultI
m
ageNa
m
e Driver constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolae
g
e
update
isl for support for recen
t
cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven Ver
d
oolaege
pet_expr_
n
ew_
u
nary: take type size ar
g
ument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verdo
o
laege
pet
_
scop_collect_domains:
p
r
o
perly handl
e
statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
pet_stmt_print_body: do not pr
i
nt anyt
h
ing for kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Ve
r
doolaege
fix quasi_a
f
fine
tes
t
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolaege
pet_tree_dump: fix typo in output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaeg
e
s
cop
.
c:
fix
t
y
po in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verdoolaege
s
c
op
.
c: scop_alloc: plug
memory leak
o
n error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
e
x
pr
.
c: extrac
t
_
affine_mul: abo
r
t on error rather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoola
e
ge
PetScan::set_uppe
r
_bounds: handle arr
a
ys d
e
clared i
n
side
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van
Haastregt
allow sp
e
ci
f
ication
o
f
summary f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en Verdool
a
ege
d
erive acc
e
ss rel
a
ti
o
ns
o
f
call
e
xpres
s
ions from functi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaeg
e
add pe
t
_expr_map_cal
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
add pet
_
expr_ac
c
ess_get_
a
ugmented_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
PetScan:
:
extr
a
ct_ex
p
r(CallExpr *): e
x
tract functio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr
:
k
e
e
p track of fu
n
ction summar
i
e
s in
call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
xpr: put
p
et
_
expr_call field in su
b
structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Ve
r
d
o
olaege
introdu
c
e
pet
_
fu
n
ction_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdool
a
ege
pe
t
_
expr
_
acce
s
s_set_access: s
e
t r
e
ad/
w
r
ite on non-
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
brea
k
up
a
ccess rela
t
ions into may_read/may_wr
i
t
e/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
l
aege
a
d
d
pet_union_map_move_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doolaege
introduce pet_expr_access_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
drop pet_expr_f
r
om_a
c
cess_a
n
d_ind
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
xplicitly mark
kill a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doolaege
pet_ex
p
r: r
e
pr
e
sent read/wr
i
te
f
lags a
s
b
its
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdool
a
ege
pet
_
expr: do
c
ume
n
t the read and w
r
ite fie
l
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoolaege
b
reak up access
r
elatio
n
s into may_re
a
d
/
may_
w
rite
/
must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr_tag_
a
c
c
ess: avoid
use
o
f target spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoo
l
a
e
ge
p
ostpon
e
in
t
rodu
c
tion of a
c
cess relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdool
a
ege
emit
.
c: e
m
it_exp
r
: ext
r
act out
e
mit_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
drop pet_expr_acc
e
ss_get
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
nest
.
c: mo
v
e
is_sub_
a
cc
e
ss to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c
:
e
xtract_kil
l
: updat
e
kill expressio
n
rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_ex
p
r_is_affine: avo
i
d using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolae
g
e
p
e
t
_
e
xpr_filter: avoid usin
g
acce
s
s relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaeg
e
pet_expr_acce
s
s_up
d
ate_
d
omain:
a
voi
d
us
i
ng a
c
c
e
ss relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr_access
_
get_m
u
st_access: avoid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
pet_expr_acce
s
s_get_id: avoid
u
si
n
g access re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doolaege
expr
.
c
:
access_
a
dd_ref_id: avoi
d
using acc
e
ss rel
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
l
a
ege
scop
.
c
:
a
c
ces
s
_collect_params: avoid using
a
c
cess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
c
o
p
.
c: implies_fil
t
er:
a
void
using ac
c
e
s
s relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolae
g
e
sc
o
p
.
c:
a
ccess_
e
xtrac
t
_contex
t
:
avoid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
scop
.
c
:
expr_extrac
t
_
c
ontext:
avoid usi
n
g access re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aeg
e
s
c
op
.
c: extract out shared drop_ar
g
umen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pet
_
ex
p
r_access_update_dom
a
in
:
minor
c
lean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
further generalize compute_t
o
_inner t
o
support pet_sco
p
_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
generali
z
e
c
ompute_to_inner to support pet_scop_co
m
pute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: c
o
mpute_to_inner: micro-opti
m
izatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven
V
erdoolae
g
e
tree2scop
.
c: is_nest
e
d_allowe
d
: do not
allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoo
l
aege
PetSc
a
n:
:
set_upper_bounds: use declared
s
ize of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
scop
.
c: restrict_skip: update
d
ocu
m
e
ntat
i
on to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tree2scop
.
c: scop
_
add_in
c
: take in
t
o account a
f
fi
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en V
e
r
doolaege
tr
e
e2
s
cop
.
c: move up apply_a
f
f
i
n
e
_con
t
inue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
lae
g
e
t
ree2scop
.
c: sco
p
_f
r
om_
n
on_affine_w
h
il
e
:
ext
r
act out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Ver
d
oolaeg
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
e
rdoolaege
u
pdate
isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Ver
d
o
o
l
aege
RE
A
D
M
E: update LL
V
M/clang in
s
tallation inst
r
uctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verd
o
olaeg
e
in
t
erface/extract_interface
.
cc
:
ex
p
lic
i
tly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdo
o
laege
update for change in arguments o
f
C
o
mpilerInstan
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Ver
d
oo
l
aege
pet
.
c
c
: add s
p
ac
e
betw
e
en liter
a
l
a
nd identifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoola
e
ge
update i
s
l
fo
r
support
for recent cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n V
e
r
d
oola
e
ge
pet_stmt_from_pet_tree: avo
i
d f
r
ee of un
i
n
itialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven V
e
rdo
o
lae
g
e
sc
a
n
.
cc: fix typo
in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet
_
scop_from_pet_stmt: do not extra
c
t context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Ve
r
dool
a
e
g
e
PetScan::extract_
a
rgument
:
h
a
n
d
le passing
of e
n
tire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
laeg
e
Makefile
.
a
m: a
d
d dummy C++ source file to
pet
_
scop_
c
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdoolaege
handle pencil independent
p
ragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
er
d
oolaege
P
e
tScan: keep
tra
c
k o
f
l
i
ne number of curren
t
Stm
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
pet
.
cc: extr
a
ct out PetASTConsumer::add
_
pragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
oolaege
add
encapsulate_dynamic_
c
ontrol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
doolaege
pet_s
c
op_from_
p
et_tree: create st
a
tement
s
direc
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
erdoolaege
replace pet_st
m
t_from_pet
_
expr by p
e
t_stmt
_
f
r
o
m_pet
_
tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoo
l
ae
g
e
pe
t
_stmt: use pet
_
tree to represent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
erdoolaege
s
cop
.
c: ex
t
ract
o
ut
p
et_st
m
t_is_affine_assume an
d
pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
scop
.
c: stmt_collect_accesses: use
pet_expr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_
p
arams: u
s
e pet_expr_fore
a
ch_acces
s
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdoola
e
ge
ke
e
p track
o
f indentati
o
n
o
f ext
r
acted
c
o
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
upd
a
t
e te
s
t
c
a
s
e outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
extrac
t
enu
m
c
o
nstants
a
s
t
h
eir integer value
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_int: separate
out extract
i
on
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdo
o
l
a
ege
PetScan::
e
xtract_uns
i
gned: turn
i
n
t
o a static functio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
scan
.
cc: c
h
a
n
ge tex
t
ual or
d
er of extra
c
t_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet
_
chec
k
_code
.
c: use
p
et_ex
p
r_
e
xtract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
export pet_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_co
n
t
e
xt
:
n
o lon
g
er keep track of "unk
n
own
"
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_expr_extrac
t
_affine:
no longer
c
r
eat
e
new parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
