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_stmt_build_ast_exprs: ignore expression arguments not appearing in index
2014-11-21
Sven Verd
o
ol
a
ege
pet_stmt_b
u
i
ld_ast_exprs: ignore expressio
n
a
rguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
Sv
e
n V
e
rdool
a
ege
improve handlin
g
o
f f
u
nc
t
ion su
m
maries
w
ith s
t
ructs
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
Sve
n
Verdoolaege
u
p
d
a
te
isl
to version
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaege
P
etScan:
:
set_upper_
b
oun
d
s:
f
ix typo breaking non-
1
D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
Sven
V
erdoolaege
update
i
sl fo
r
change in isl_map_subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verd
o
olae
g
e
update
f
or change
in
TargetOptions refcounti
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
u
pdate
f
or re
m
oval of llvm/ADT/Owni
n
gPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verdoolaege
interface/extra
c
t_int
e
rface
.
c
c
:
avoid use
o
f
Sou
r
ceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
ven Verdoolaege
upd
a
te for
re
m
oval of DefaultIma
g
e
N
ame Driver construct
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
ven Verdool
a
ege
up
d
ate isl for sup
p
o
r
t for recent clangs
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
t
yp
e
si
z
e
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sve
n
Verdoo
l
a
e
ge
p
e
t_scop_collect_doma
i
ns: pro
p
erly handle stateme
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
pet_
s
t
m
t_print_bod
y
: do not pr
i
nt
anything for kil
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdo
o
lae
g
e
fix
qua
s
i_affine tes
t
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdool
a
eg
e
p
et_tree_dump:
f
ix typ
o
in out
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c:
f
i
x
typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
la
e
ge
scop
.
c: sco
p
_alloc: plug memory
l
e
a
k on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
e
xpr
.
c
:
extrac
t
_
affine_mul:
a
bort on e
r
r
or
r
ather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
e
n Verd
o
olaege
P
e
t
S
can::
s
et_upper_
b
ounds: handle arrays d
e
clared
inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven va
n
Haastregt
allo
w
specificat
i
on of summary
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
S
ven Verdoolaege
d
e
riv
e
access rela
t
ions of call e
x
pressions from fu
n
c
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olaege
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_get_aug
m
ented_
d
omain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
PetScan::extra
c
t_expr(Ca
l
lExpr
*
): extract fu
n
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
olaege
p
et_expr:
keep
t
rack of function summaries in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoola
e
g
e
pet_expr: p
u
t pet
_
expr_call field in subst
r
ucture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduc
e
pet_funct
i
on_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaeg
e
pe
t
_expr_access_set_access
:
se
t
rea
d
/write o
n
non-e
m
pty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verdo
o
laege
break up a
c
cess relations
i
nto
m
a
y
_
read/may_write/mus
t
_writ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
a
dd pet_unio
n
_map_move
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdool
a
ege
i
ntroduce
p
e
t_
e
xpr_access_typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
drop pet_expr_fr
o
m
_acces
s
_an
d
_inde
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
exp
l
icitly mark kill accesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
o
laege
pet_expr: represent r
e
ad/write flags as
b
its
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr:
d
ocument
t
h
e rea
d
and write
f
ields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
b
reak
u
p
access relations into
m
ay_re
a
d/may_wri
t
e/must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr_tag_
a
cces
s
:
avoid use of target s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
postpo
n
e i
n
tro
d
uctio
n
of acces
s
r
elations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
ola
e
g
e
emit
.
c:
em
i
t_expr: extract out emit
_
access_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoo
l
a
e
ge
drop pet_
e
xpr_access_get_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
laege
nest
.
c
:
move is_su
b
_
a
c
c
ess t
o
ex
p
r
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree
2
scop
.
c: extra
c
t_kill: up
d
a
t
e
kill expressio
n
rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_is_affine: avoid u
s
ing acc
e
ss re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoola
e
ge
pet_expr_f
i
l
ter:
avoid using acc
e
ss r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aege
p
e
t_expr_access_update_d
o
ma
i
n
:
avoid usin
g
a
c
cess rel
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_
e
xp
r
_access
_
get_must_access: avoid u
s
ing a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
pet_
e
x
p
r
_acces
s
_get_id: avoid usin
g
access relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
oolaege
expr
.
c: access_a
d
d_ref_id: avoid usi
n
g access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
sc
o
p
.
c: acc
e
ss_colle
c
t
_
params:
av
o
id using acc
e
ss
r
e
l
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
dool
a
ege
sc
o
p
.
c:
implies_
f
ilter: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaeg
e
scop
.
c:
a
c
c
e
ss
_
extra
c
t
_
context: avoid
using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Ver
d
oolaeg
e
scop
.
c: ex
p
r_extr
a
ct_context: avo
i
d u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoola
e
g
e
scop
.
c
:
e
x
tract out shar
e
d drop_
a
rguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
dool
a
ege
p
e
t
_
e
xpr_access_update_
d
omain:
mi
n
or clean-up of
expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
fur
t
h
er generalize compute_to_inner t
o
sup
p
ort
p
et_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
generaliz
e
compu
t
e_
t
o_inner to support
pet_scop_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
s
c
o
p
.
c:
compute_to_inner: mi
c
ro-optimi
z
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaeg
e
t
r
ee2scop
.
c: is_neste
d
_allowed: do not
allow
nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ve
r
doolaege
PetScan::set_upper_bo
u
nds: use declared
size o
f
static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c: r
e
strict_s
k
ip: up
d
ate documentation to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tr
e
e2scop
.
c
:
s
c
op_
a
dd_inc:
take int
o
account aff
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Ve
r
dool
a
ege
tree2scop
.
c: move
u
p apply
_
affine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n
V
erdoo
l
aege
tree2
s
cop
.
c
: scop_from_
n
on_affin
e
_
whi
l
e: extrac
t
o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aeg
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n
Verdoolaege
update isl
t
o ver
s
i
o
n 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Ve
r
doolaege
README:
update L
L
V
M
/
cl
a
ng installation instructio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Ve
r
doolaege
inte
r
face/extract_
i
nterface
.
c
c
:
explicitly
i
nc
l
ude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
update fo
r
chang
e
in ar
g
u
men
t
s of CompilerInst
a
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdool
a
eg
e
pet
.
cc: add space between literal and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
e
rdoo
l
aege
update isl for
support f
o
r r
e
ce
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoo
l
aege
p
et_s
t
m
t
_from_pet_tree: avoid
f
ree o
f
uni
n
it
i
alized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaeg
e
scan
.
cc: fix
t
yp
o
i
n
commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoolaege
p
et
_
scop_from_pet_stmt
:
do
not extract context fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
e
n Verdoola
e
ge
Pe
t
Scan::extract_argument:
h
andle
p
assing
o
f
entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
e
n
Verdoolaege
Ma
k
efile
.
am: add dummy
C++ s
o
urce
file to pet_s
c
op_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n V
e
rdoolaege
han
d
le pencil independen
t
p
r
agmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
P
e
tScan: k
e
ep
t
r
ac
k
of line num
b
er o
f
current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pe
t
.
cc:
extract out P
e
t
A
STC
o
nsumer::add_
p
ra
g
m
a
_
handler
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doo
l
aege
add e
n
capsulate_dynamic_c
o
ntro
l
o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaeg
e
pet_scop_fro
m
_
p
et_tre
e
: create st
a
tements direct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
ol
a
e
ge
replace pet
_
stmt_from_pet_expr by pe
t
_stmt_from_
p
et_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
pet_
s
tmt:
u
se pet_t
r
ee to rep
r
e
s
en
t
statement b
o
dy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
sco
p
.
c: e
x
tract out pet_
s
tmt_is_aff
i
ne_assume and pet_stmt_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
scop
.
c:
s
t
m
t_collect_a
c
c
e
sses: use pet_e
x
p
r
_f
o
reach_acce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c
:
stmt_col
l
ect_p
a
ra
m
s:
use pet_expr_foreach_ac
c
ess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
d
oolaege
keep track of indentation of extra
c
ted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rdo
o
l
a
ege
u
p
d
a
te test case ou
t
p
uts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
ext
r
act enum cons
t
ants as their integer v
a
lu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
P
e
tScan::extract_int: separ
a
te out ex
t
rac
t
ion from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::ext
r
a
ct_unsigned:
turn into a st
a
ti
c
f
u
ncti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: change
textual o
r
der o
f
extract_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pe
t
_check_code
.
c
: use pe
t
_
e
xpr_e
x
tract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
expo
r
t
pet_expr_extract_af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
pet_context: no lon
g
er
k
eep trac
k
of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
pet_e
x
pr_extr
a
ct_affi
n
e: no longer create
n
ew parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::extract_scop: populate pet
_
cont
e
xt with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
scan
.
cc: move up static get_ar
r
ay_ty
p
e fun
c
tion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
PetScan::get_a
r
ray_siz
e
:
c
ache
r
esul
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
d
o
o
laege
P
etScan::set_upper_bounds: extract out P
e
tSca
n
::get_array_siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next