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 0.06
2014-10-26
Sven Ver
d
oolaege
pet 0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
ge
upd
a
te isl to versi
o
n
0
.
1
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
PetScan::s
e
t_upper_
b
ounds: fix t
y
po breakin
g
non-1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
Sv
e
n
Ve
r
do
o
la
e
g
e
upd
a
t
e
i
sl for ch
a
nge in
i
s
l
_
m
ap_
s
ubtr
a
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verd
o
olaege
update
for
c
ha
n
g
e in Target
O
ption
s
refcounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven
V
er
d
oolaege
update
for r
e
moval of
l
lvm/AD
T
/
O
w
ningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Ve
r
do
o
l
aeg
e
interface
/
extr
a
ct_interfa
c
e
.
c
c
:
av
o
id
use of Sourc
e
M
anager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verd
o
olaege
update
for removal of D
e
fa
u
ltImageName Driver construc
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update isl for
s
u
pport
for
r
ec
e
n
t cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
S
v
en
Ve
r
doolaege
pet_expr_new_unary: take type size argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven V
e
r
doola
e
ge
pet_s
c
o
p
_
c
ollect_dom
a
ins:
properly handle statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
o
olaege
p
et_stmt_print_body: do not print
a
nyth
i
ng for kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
V
erdoolaege
f
i
x quasi_affine test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verd
o
o
laeg
e
pet_t
r
ee_dump: fi
x
typo in output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c
: fix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
sc
o
p
.
c:
s
cop_alloc: plug
memo
r
y lea
k
on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
expr
.
c: extract_affine_m
u
l: abort on er
r
or rather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoolaege
PetScan:
:
set
_
upper_bounds: h
a
ndle array
s
d
e
c
l
ared insi
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Haas
t
regt
a
llow specification of summar
y
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
derive access re
l
at
i
ons of call expr
e
ssions from
function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
a
dd
pet_expr_map
_
call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laeg
e
add
pet_expr_access_get_augmented_d
o
m
ain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoo
l
aege
PetSca
n
::extract
_
expr(CallExpr
*
): extract f
u
nctio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
pet_exp
r
: keep track of fun
c
tion
summaries in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: put pet_e
x
pr_call
f
ield in substructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
o
ol
a
ege
introduce pet_function_summ
a
ry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
aege
p
et_e
x
pr_
a
ccess_set_acc
e
ss:
set r
e
ad/write on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
break up acce
s
s relations
into
m
ay_
r
e
a
d/may_write/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ola
e
ge
add pet
_
union_map_move
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
intro
d
uce
p
et_expr_ac
c
e
s
s_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_ex
p
r_from_access_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verd
o
olaege
explicitly
m
ar
k
kill accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr:
represent
r
ead
/
write flags
as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
pet_expr: do
c
u
ment the
r
ead
and write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
br
e
ak up
a
ccess
r
e
l
a
tions into may_
r
ea
d
/
m
ay_
w
rite
/
mu
s
t_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
p
e
t_expr_tag_acces
s
: avo
i
d use of targe
t
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
po
s
tpone introductio
n
of
access relat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
emit
.
c: emit_expr: extract out e
m
it_access_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_expr_access_get_acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c: move is
_
sub_access to exp
r
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c: extract_ki
l
l: u
p
date ki
l
l
e
xpression
r
ath
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_ex
p
r
_
i
s
_affi
n
e
: av
o
id using access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_expr_f
i
lter: avoid
using a
c
cess re
l
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr_acc
e
s
s
_
u
p
d
ate_domain: avoid usi
n
g access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
p
e
t_expr_ac
c
e
s
s
_get_m
u
st_access:
a
void using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
dool
a
ege
pet_e
x
pr_access
_
get
_
id: avoid using acce
s
s relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
expr
.
c:
a
ccess
_
add_
r
ef_
i
d: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access_co
l
lect_params: avoid using access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoo
l
aeg
e
scop
.
c
:
implies_filter:
avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access_
e
xtract_contex
t
: avoid using ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
scop
.
c: ex
p
r_extr
a
ct_context: avoid
usin
g
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c
: extract
o
ut s
h
a
r
ed
d
rop
_
a
rguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
expr_access_update
_
domain:
min
o
r
c
lean-up of expressi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
furt
h
er ge
n
e
r
al
i
ze compute
_
t
o
_inner
t
o
support pe
t
_sc
o
p_c
o
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
generalize
compute_to_inner to sup
p
ort
pet_scop_comp
u
te_out
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
scop
.
c
: co
m
pute
_
to_inner: micro
-
o
p
tim
i
zation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdoolaege
tre
e
2scop
.
c:
is_nested_allowed: do
n
ot al
l
ow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven V
e
rdoolaege
PetScan::set_upper_bounds: use
decl
a
red size of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doolaege
scop
.
c:
r
estrict_skip:
u
pdate docum
e
n
t
ation t
o
change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verd
o
ol
a
ege
tree2scop
.
c:
s
cop_add_inc: take i
n
to accoun
t
affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven V
e
rdoo
l
aege
tre
e
2scop
.
c: move
up
a
p
p
l
y_affine_continu
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en V
e
rdoolaege
tree2scop
.
c:
scop_from_non_affi
n
e_while: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaege
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
u
pda
t
e
isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
erdoolaege
README: update LLV
M
/cl
a
ng in
s
tallati
o
n
instructi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Verdoolaege
interface/extract_in
t
erface
.
cc:
expli
c
itly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
upda
t
e for change
in arguments of CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
e
rdo
o
laege
pet
.
cc: add space between literal a
n
d identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaege
update
isl for
s
upport for recent
cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaege
p
e
t_st
m
t_from_p
e
t
_
tree:
avoid free of uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
scan
.
c
c:
f
i
x
t
ypo in
commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolaege
pet_scop_from_
p
et_stmt
:
do not extract cont
e
xt from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Ve
r
doolaege
P
e
tScan
:
:
e
x
tract_argu
m
ent:
h
andle
p
assi
n
g of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Ve
r
doolaege
Makefile
.
am: add dummy C++ source file to pet
_
sco
p
_
cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en
Verdoolaeg
e
handle
p
encil independent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ver
d
oolaege
PetScan: keep trac
k
of line number of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
V
erdoolaege
pet
.
cc: ext
r
a
c
t out PetASTConsumer::add_pra
g
ma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdo
o
laege
add e
n
c
a
psul
a
te_d
y
n
am
i
c_co
n
t
ro
l
optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoo
l
ae
g
e
pe
t
_sco
p
_
f
ro
m
_
p
e
t_tree: c
r
eate statements direct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
replace
p
et_stmt_from_pet_expr b
y
p
e
t_stmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
doo
l
aege
p
e
t
_
stmt: use pet_tree to represent statem
e
nt bod
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
scop
.
c: e
x
tract out pet_stm
t
_i
s
_a
f
fine_assu
m
e and pet_
s
tmt
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verd
o
ola
e
g
e
sco
p
.
c: stmt_col
l
ect_accesses
:
u
s
e pet_expr_foreach_acce
s
s
_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
scop
.
c: st
m
t_c
o
llect_params:
use pet_e
x
pr_foreach
_
access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
keep track of
inde
n
t
at
i
on of extrac
t
ed code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolae
g
e
u
p
dat
e
test case out
p
uts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
e
xt
r
act e
n
u
m
constants as their int
e
ger val
u
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
Pe
t
S
can::extract_int: separate out extrac
t
i
o
n from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan::
e
xtract_uns
i
gned
:
t
u
rn into a stat
i
c
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
sc
a
n
.
cc: change textual orde
r
of e
x
tract_uns
i
g
n
ed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_code
.
c
:
u
se
pet_expr
_
extra
c
t_aff
i
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
export
p
e
t
_
e
xpr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_con
t
e
xt: no longer keep
tr
a
ck o
f
"unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_
e
xpr_e
x
tract_affin
e
: no long
e
r create new pa
r
a
meters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
ol
a
ege
PetScan:
:
e
x
tract
_
sco
p
: populate pet_context wi
t
h
p
a
r
ameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
scan
.
cc:
m
o
ve u
p
s
t
atic
get_arra
y
_type
function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::g
e
t_
a
rray_si
z
e:
cache
r
esults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetS
c
an::se
t
_
upper
_
b
ounds:
e
xtr
a
ct out Pe
t
Sca
n
::get_arr
a
y_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rd
o
ol
a
ege
pet_ex
p
r_is_equal: compare i
n
dex e
x
pre
s
sions
u
p to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_expr
_
extract_affine:
exploit domain
i
nfor
m
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next