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 Verdoolaege
add support fo
r
__pencil_kill
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
S
ven Ve
r
doolaege
t
r
e
e
2
s
c
op
.
c:
e
x
trac
t
out scop_from_t
r
ee_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven
V
erdoo
l
a
ege
PetScan::extract_argument: o
n
l
y
perf
o
rm wri
t
e
d
e
t
ection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-16
Sven Verd
o
olaege
encapsul
a
te loop co
n
taining continue/
b
r
e
ak whe
n
encapsulatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-21
Sven Verdoo
l
aege
pet
_
stmt_build
_
ast_exprs: ignore expression argu
m
en
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
Sven Verdoolaege
impro
v
e ha
n
dl
i
ng
of function summaries with stru
c
t
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
Sven Ve
r
d
o
olaege
update isl t
o
ver
s
ion 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Ver
d
ool
a
ege
Pet
S
c
an::set_upper_bounds: fix
t
y
p
o
bre
a
k
i
n
g
no
n
-1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
Sve
n
Verdoo
l
aege
update isl for cha
n
ge i
n
isl_m
a
p_subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdo
o
laege
update for
c
ha
n
ge in TargetO
p
t
ion
s
refcounti
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven V
e
r
doola
e
ge
u
pdate
for removal of ll
v
m
/
A
DT/Owning
P
tr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n Verdoolaege
interface/extract_interface
.
cc: a
v
oid use of SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
u
p
date
f
or re
m
oval o
f
DefaultImageName D
r
ive
r
construc
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolae
g
e
update isl for support
f
or recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdoolaege
pet_expr_new_una
r
y: tak
e
type s
i
ze arg
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sv
e
n Verdoolaege
pet_scop_
c
ollect
_
domains: properly han
d
le statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdo
o
la
e
ge
pet_stmt
_
p
r
i
nt_body: do no
t
print a
n
ything for
ki
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
fi
x
qua
s
i_affine t
e
s
t
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
oolae
g
e
pet_tr
e
e_du
m
p: f
i
x
typo
i
n outpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ve
n
Verdoolaege
s
c
o
p
.
c: sco
p
_alloc: plug mem
o
ry
l
ea
k
on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoolae
g
e
expr
.
c: ex
t
ract_affine_mul: abort on e
r
r
or rather th
a
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdool
a
ege
PetScan::set_upper_bounds: ha
n
dle arrays declared ins
i
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven va
n
Haastregt
allo
w
specif
i
cation of
sum
m
ary
f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven
V
erdoola
e
g
e
derive access
r
elations
o
f call
e
xpressions from function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdool
a
e
g
e
add pet_expr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
add pet_expr_access_ge
t
_
a
ugmented
_
d
omain_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
P
e
tS
c
a
n
::ex
t
rac
t
_exp
r
(C
a
llExpr
*): ex
t
r
a
ct fu
n
ct
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
doolaege
pet
_
expr: keep track of fun
c
tion
s
umm
a
ries in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_expr: put pet
_
e
xpr_
c
all f
i
eld in
substructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
i
n
troduce
pe
t
_fu
n
ction_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Ve
r
doolaege
pet_
e
xpr_access_set_
a
ccess: set
read/write on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
break up acce
s
s re
l
ations into may_
r
ead/
m
ay_
w
ri
t
e/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
add pet_un
i
on_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
laege
introduce pet_
e
xpr_access_typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
drop
p
et_expr_
f
rom_ac
c
e
ss_and_in
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
d
o
olaege
ex
p
licitly mark kill
accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
p
e
t
_e
x
pr: represent
r
e
ad/wri
t
e flags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr:
d
o
c
ument the re
a
d and wr
i
te fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
r
doolae
g
e
break
u
p access relations in
t
o may_read/may_writ
e
/must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_tag_acce
s
s: avoid u
s
e o
f
t
a
r
g
et s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
eg
e
postpone introduction
o
f a
c
cess
r
elations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
m
it
.
c: emi
t
_expr: e
x
tract out emit_ac
c
ess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
d
r
op pet_e
x
pr_access_get_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c: m
o
v
e
i
s_sub_access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
tre
e
2scop
.
c: extract_kill: update
k
ill expression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
pet_expr
_
is_affine: avoid using a
c
cess rela
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoola
e
ge
pet_expr_
f
ilter: avoi
d
usi
n
g
a
cc
e
ss r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolaege
pet_expr_a
c
cess_update_domain: avoid
u
sing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
ola
e
ge
p
e
t
_
expr_acc
e
ss_g
e
t_must_acces
s
:
a
void u
s
ing
acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_
e
xpr_a
c
ces
s
_ge
t
_id: avoid us
i
ng access
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
expr
.
c:
access_add_ref_id: avoi
d
using a
c
ce
s
s rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
scop
.
c
:
access_col
l
e
ct_params: avoid using access relat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
do
o
la
e
ge
scop
.
c: impl
i
es_fi
l
ter: avoid u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
sco
p
.
c:
a
ccess_extract
_
context:
a
voi
d
using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c
:
expr_extract_context
:
avo
i
d using acc
e
ss
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: e
x
t
ract out
s
hared
d
rop_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
pet
_
expr_access_
u
pdate_
d
omai
n
: minor clean-up of expre
s
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further generali
z
e compute_to_inner to su
p
port
pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
genera
l
ize
c
om
p
ute_to_i
n
ner t
o
support pe
t
_scop_co
m
pute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
s
cop
.
c:
c
ompute_to_inner: micro-optim
i
zation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven V
e
rdo
o
l
aege
t
r
e
e
2scop
.
c:
i
s_ne
s
ted_
a
ll
o
wed: do n
o
t allow nesti
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaeg
e
P
e
tSca
n
::set_u
p
per_bounds: u
s
e declared size of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
oolaege
scop
.
c: restri
c
t_
s
k
ip:
update docu
m
entation
to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
t
ree2scop
.
c:
scop_add_inc:
take in
t
o
a
ccount aff
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
olaege
tree2scop
.
c: move
u
p apply_affi
n
e_c
o
n
tinue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tre
e
2scop
.
c: sc
o
p
_fr
o
m
_
non_aff
i
n
e
_wh
i
l
e
:
e
xtract 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
V
erdool
a
e
ge
u
p
da
t
e isl
t
o vers
i
o
n 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdool
a
e
ge
README: up
d
a
t
e LLVM/
c
lang in
s
t
a
llation i
n
structions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
o
l
aege
i
nterface/extract_interf
a
ce
.
cc:
e
xplicitly i
n
clude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
update f
o
r
change in arguments
of
C
omp
i
lerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doolaege
pet
.
c
c: a
d
d space between
literal and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
up
d
ate isl for support for
r
ecen
t
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en
V
erdoolae
g
e
pet_stm
t
_from_pet_tree: a
v
oid free
o
f u
n
initialize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Ver
d
oola
e
g
e
sca
n
.
cc: fix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdool
a
eg
e
p
e
t
_
sco
p
_from_pe
t
_stmt: do
not ex
t
rac
t
c
ont
e
x
t
fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
P
etScan::
e
xtract_
a
rgument: handle pa
s
sing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaege
Makefile
.
am: add dummy C++ sourc
e
file to pet_s
c
op_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n Ve
r
dool
a
ege
ha
n
dl
e
pencil independent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdo
o
l
a
eg
e
PetScan: keep track of
l
ine n
u
mber
o
f
current St
m
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
pe
t
.
cc: extract
o
u
t PetA
S
T
Cons
u
m
e
r:
:
add_pr
a
gma
_
handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
o
olaege
add encapsulate_dynamic_control o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
pet_scop_from_pet_tre
e
:
c
r
eate statements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
replace pet_st
m
t
_
from_pet
_
expr by
p
et_stmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
pet_stmt:
u
se pet_t
r
ee to rep
r
esent st
a
tement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n V
e
rdoolaege
scop
.
c:
ex
t
ract o
u
t pet_stmt_is_af
f
ine_assume and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
olaege
scop
.
c: stmt_col
l
e
c
t
_
accesses: use pet_expr_fo
r
each_
a
cce
s
s_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
scop
.
c
:
stmt_collect
_
p
arams: use pet_e
x
p
r
_
fore
a
c
h
_a
c
cess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
doolaege
k
e
ep tr
a
ck
o
f indentation of
e
xtracte
d
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rd
o
ola
e
ge
update test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extr
a
c
t
enum con
s
tants as their
i
n
teger va
l
ues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetS
c
an::ex
t
ract_int:
s
eparate out ext
r
a
ct
i
on from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
PetSca
n
:
:extract_unsigned: turn
into
a
st
a
tic function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
scan
.
cc: cha
n
ge textual order of extract_unsig
n
ed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_check_co
d
e
.
c
: use pet_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export pet_expr_e
x
tract
_
affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_context: no lo
n
ge
r
keep track of "unknown
"
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_extra
c
t_affine: no lon
g
er create new p
a
ra
m
eters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next