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
PetScan::set_upper_bounds: fix typo breaking non-1D array declarations in loops
2014-10-26
Sven
V
erdoola
e
ge
PetScan::set_upper_boun
d
s: fix typo b
r
eaking non-1
D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
Sv
e
n
Verdoolaege
upd
a
te isl fo
r
cha
n
ge in isl_map_subtr
a
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoola
e
ge
update
f
o
r change in Tar
g
etOpti
o
ns refcounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sv
e
n Ve
r
doolaege
updat
e
f
or remov
a
l of
l
lv
m
/ADT/OwningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaeg
e
i
nterface/ext
r
act_interface
.
cc: avoi
d
use
o
f
SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Ve
r
doolae
g
e
update f
o
r remo
v
al
o
f
Def
a
ultImageName
Driver
constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdo
o
la
e
ge
update isl
for support for
r
ecent c
l
an
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven
Verdoolaege
p
et_expr_new_unary: take type size argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sve
n
Verdool
a
e
g
e
p
e
t
_scop_collect_domains: pro
p
erly handle stat
e
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoola
e
g
e
pe
t
_stmt_print_body: do not print
anything for kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
fix quasi_affi
n
e te
s
t
c
ase
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Ver
d
oolaege
pet_tree_dump: fix ty
p
o i
n
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
oola
e
g
e
scop
.
c: fix typo
i
n com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdool
a
eg
e
scop
.
c:
s
cop_a
l
loc:
plu
g
memory leak
o
n
e
rror
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verdoola
e
g
e
expr
.
c: ext
r
act_a
f
fine_mul: abort
o
n error
rather tha
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaege
PetScan:
:
set_upper_bounds: handle arrays d
e
clared inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sve
n
Ver
d
oolaege
derive access relat
i
ons
of call expressio
n
s
f
r
om funct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aege
add pet_expr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
add pet_
e
xpr_acc
e
ss_get_augmented_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
PetScan::extract_expr(CallE
x
pr
*): ex
t
ract functio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_expr: keep
t
rack of function sum
m
ari
e
s in ca
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
er
d
ool
a
ege
pet_
e
xpr: p
u
t pet_expr_c
a
l
l field in substructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
in
t
roduc
e
pet_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oola
e
ge
pet_
e
xpr_access_s
e
t_acces
s
:
set read/write on
n
on-e
m
pty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
break up acc
e
ss rel
a
t
ions in
t
o may_rea
d
/may_
w
rite/must_wr
i
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
add p
e
t_union_map_mo
v
e_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduce pet_expr_acc
e
s
s
_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
drop pet_expr_from_acce
s
s_and_i
n
dex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
x
plicitly mark kil
l
accesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: represent
read/write flags
a
s bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_e
x
pr: document the
r
ead an
d
write fie
l
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolaege
b
r
eak up acces
s
relations
into may_read
/
may_write/must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr_
t
a
g
_access: avoid use of targe
t
sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
postpone in
t
roduction
o
f access relatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
olaege
emit
.
c: emit_ex
p
r: ex
t
ract out emit_a
c
cess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_e
x
p
r_
a
ccess_get
_
acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
aege
n
e
st
.
c
:
move is_sub_access to
e
x
p
r
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2sco
p
.
c: extr
a
ct_kill:
update
k
i
l
l ex
p
ression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pe
t
_ex
p
r_is_affi
n
e:
avo
i
d using access
re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_f
i
l
ter: av
o
id using acce
s
s relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_expr_acces
s
_
u
pdate
_
d
o
m
ain: avoid
u
sing acces
s
r
e
l
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
a
e
ge
pet_
e
xpr_access_get_must_access: avoid
u
sing ac
c
e
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
r
d
o
olaege
pet_
e
xpr_access_get_id: av
o
id using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laeg
e
expr
.
c:
a
ccess
_
add
_
r
e
f_id: a
v
oid us
i
n
g access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aeg
e
scop
.
c: a
c
cess
_
collect_params:
avoid
u
sing a
c
cess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c: impli
e
s_fil
t
er: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoolaege
scop
.
c: acces
s
_e
x
tract_context:
a
void
using
a
ccess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
scop
.
c: exp
r
_e
x
tract_c
o
nt
e
xt:
avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdool
a
ege
sco
p
.
c: extract out shared drop
_
argum
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
p
et_exp
r
_access_upda
t
e
_
domain: minor
c
l
e
an-u
p
of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
furth
e
r generalize comp
u
t
e_to_inner to
support pe
t
_
sc
o
p
_
comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
generalize comput
e
_to_inner to
s
up
p
ort pet_scop_co
m
pute_out
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
scop
.
c
:
compute_t
o
_inne
r
: micro-o
p
t
i
m
i
zat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tree2s
c
op
.
c:
i
s_
n
e
ste
d
_allowed: do not
allo
w
ne
s
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sve
n
Verdoolaege
P
e
tScan::set_upper_bounds
:
use decla
r
ed
s
iz
e
of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
o
olae
g
e
scop
.
c: r
e
strict_skip
:
update documentation to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaeg
e
tree
2
scop
.
c:
scop_add_inc:
t
ake into account affi
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoolaege
tree2sc
o
p
.
c:
move
u
p apply
_
a
ffin
e
_cont
i
n
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdo
o
l
a
eg
e
t
ree2s
c
op
.
c
:
scop
_
from_non_affine_while: extrac
t
o
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
r
dool
a
ege
p
e
t 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
u
p
date
i
sl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sve
n
Verdoolaege
R
E
ADM
E
: upd
a
te LLVM/clang
i
nst
a
ll
a
tion instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdool
a
eg
e
in
t
e
rface/extract_interface
.
cc
:
explic
i
tl
y
inc
l
ude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolae
g
e
updat
e
f
o
r chan
g
e in arguments of Comp
i
lerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pe
t
.
cc: add sp
a
ce betw
e
en
lite
r
al and iden
t
ifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
update is
l
fo
r
su
p
port for
r
ecent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_st
m
t_
f
rom
_
pet_tree: avo
i
d fr
e
e of uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
ven Verdoo
l
ae
g
e
sc
a
n
.
cc: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
ool
a
ege
pet_scop_f
r
om_pet_stmt: do not extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
laege
PetSca
n
::ex
t
ract_argu
m
ent: handle pa
s
s
ing
of entir
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
M
akefi
l
e
.
am:
a
dd dummy C++ source f
i
le
t
o pet_scop
_
c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolaege
handle p
e
ncil
i
n
d
ependent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ve
r
doolaege
PetScan: kee
p
tr
a
c
k
of li
n
e number of curre
n
t Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
la
e
ge
pet
.
c
c: extract ou
t
PetAS
T
C
onsumer::ad
d
_pragma_
h
andlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add encap
s
ulate_dynamic_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_s
c
op_
f
rom_pet_
t
ree: create sta
t
e
ments directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoola
e
g
e
replace pet_stmt_
f
rom_pet_e
x
pr by pet_s
t
mt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
doolaege
pet_st
m
t: us
e
pet_
t
ree
t
o
represen
t
s
tatement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
sc
o
p
.
c: e
x
tract
o
ut pet
_
stmt
_
is_affine
_
assu
m
e
and pet_st
m
t_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
d
oolaege
scop
.
c
:
stmt_
c
ollect_a
c
c
esse
s
: use pet_expr
_
f
o
reach_
a
c
c
ess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n V
e
rdoolaege
scop
.
c
:
stmt_collect_params: use pe
t
_expr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
keep tr
a
c
k o
f
indentation o
f
extract
e
d
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rdoolaege
upd
a
t
e
t
e
st case
outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
extract enum constants a
s
their integ
e
r values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
Pet
S
can::
e
xt
r
act_int: separate out extract
i
on from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
PetS
c
an::e
x
tract_unsigned: turn into a
s
tatic funct
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
ol
a
ege
sc
a
n
.
c
c
: c
h
ange te
x
tual order of extract_u
n
signed
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pe
t
_check_code
.
c: use pet_expr_ext
r
act_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
e
xpo
r
t pet_ex
p
r_
e
xtract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
pe
t
_context: no
l
onge
r
keep track of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_exp
r
_extract_affine: no lo
n
ger crea
t
e
new parame
t
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
PetScan
:
:extract_s
c
op: populate p
e
t_context wi
t
h parame
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
scan
.
cc: move
u
p static
g
et_ar
r
ay_type
fun
c
tion
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Ve
r
do
o
laeg
e
PetScan::get_array_siz
e
: cac
h
e re
s
u
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
PetScan::set
_
upper_bounds
:
extr
a
ct out Pe
t
Scan::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_expr_
i
s_equal:
compare in
d
e
x
expressi
o
n
s
up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_
e
xpr_
e
xtract_affine: explo
i
t dom
a
in inf
o
r
mation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
a
dd pet_context_get_gist_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
g
e
tree2sco
p
.
c: scop_f
r
om_block: coll
e
ct affine continu
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_sco
p
_from_p
e
t_tree:
extract pet_
s
cop fro
m
the
r
o
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next