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_expr_filter: avoid using access relation
2014-06-20
Sven Verdoo
l
aege
pe
t
_expr_fil
t
er
:
a
v
oid using access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t
_expr
_
a
c
cess_upda
t
e_domain: avoid us
i
ng access r
e
l
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aeg
e
pet_expr_access_ge
t
_m
u
st_access: av
o
id using
a
ccess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
o
o
laege
p
e
t
_expr_access_get_id: av
o
id usi
n
g access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
expr
.
c:
ac
c
e
s
s_a
d
d_ref_id
:
avoid using
a
c
cess relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access
_
c
o
llect_p
a
rams: avoid
u
sing acces
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
scop
.
c: implies_
f
ilt
e
r: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
cop
.
c: ac
c
ess_extract_cont
e
xt: avoid u
s
in
g
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
scop
.
c: expr_ext
r
act_context:
a
void using ac
c
ess relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
o
l
aege
scop
.
c
:
e
x
tract out share
d
drop_ar
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
pet_expr_access_update_do
m
ain: minor c
l
ean-up of
e
xpressio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
furt
h
er generaliz
e
co
m
pute
_
to
_
i
nner
to
support pet_scop_
c
o
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
generaliz
e
compute
_
to_inner to supp
o
r
t pet_scop_comp
u
te_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
scop
.
c: compute
_
to_
i
nne
r
: m
i
c
r
o
-
optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
v
en Verdoola
e
ge
tree2scop
.
c
: is_nested_al
l
owed: d
o
n
ot
a
l
lo
w
nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ver
d
oolae
g
e
PetSca
n
::
s
et_upper_bounds:
u
s
e declared size o
f
stat
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
ege
scop
.
c: restrict_skip: u
p
date documentatio
n
t
o
c
hange
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdool
a
ege
tree2sc
o
p
.
c: s
c
o
p
_add
_
i
n
c: take into
a
ccount affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven
V
erdoolaege
t
r
ee
2
scop
.
c: move up a
p
p
l
y_affi
n
e_con
t
i
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
olaege
tree
2
scop
.
c: scop_fro
m
_non_affine_while: extr
a
ct ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ve
n
V
erdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolae
g
e
update isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolae
g
e
REA
D
ME: update LLVM
/
clang in
s
tallation i
n
structio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoo
l
aege
inter
f
ace/extract_
i
nt
e
rface
.
cc: explic
i
tly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
updat
e
for cha
n
ge i
n
argume
n
ts of
C
ompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
d
o
olaege
pet
.
cc
:
add
s
p
a
c
e
b
etween literal and identifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ver
d
oolaege
update isl for support for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_st
m
t_from_pe
t
_tree:
a
void free
o
f
u
nini
t
ialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
v
en
Ve
r
d
oolae
g
e
scan
.
cc: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
r
d
oolaege
pe
t
_scop_fr
o
m_pe
t
_stmt: do not
e
xtract co
n
text from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
PetScan::ex
t
ract_argument: hand
l
e pa
s
sing of e
n
tire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaeg
e
M
a
kefile
.
a
m
: add dummy
C++ sour
c
e file to pet_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
h
a
n
d
le penc
i
l independent pra
g
mas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoo
l
a
e
g
e
PetScan: keep track o
f
line number of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pe
t
.
cc: extract out PetASTConsumer::add_pragma_hand
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Ve
r
d
o
olaege
add encapsulate_dyna
m
i
c
_contro
l
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
pe
t
_scop_from_pet_tree: creat
e
statem
e
nts d
i
rectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
l
ae
g
e
replace pet_stm
t
_from_p
e
t_expr
b
y
p
et_stmt_from_
p
e
t_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
erdoolaege
p
et_stmt:
use pe
t
_tree to repre
s
e
n
t
statement bod
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verdo
o
la
e
ge
sc
o
p
.
c: extract out
p
e
t_st
m
t_is_af
f
i
ne_assume
a
n
d
pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c
: stmt_collect_accesses: use
p
et_
e
xpr_foreach_ac
c
ess_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
s
cop
.
c: stmt_coll
e
ct_params: u
s
e
pet_expr_f
o
r
each
_
a
c
cess_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Ver
d
oo
l
aege
kee
p
trac
k
of
ind
e
ntation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
up
d
a
t
e t
e
s
t case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
e
xtract enum constants
a
s their integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tScan::extract_int: separate
o
u
t
e
xtraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
P
e
t
S
c
an::extract_un
s
ign
e
d: turn in
t
o a sta
t
ic function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
scan
.
cc: chan
g
e textu
a
l
o
rder of extract_u
n
s
ig
n
ed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_check_code
.
c: use pet_expr_
e
xtract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
export
p
et_
e
xpr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_context: no
l
o
nger keep t
r
a
ck of "unknown" v
a
lues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_expr_ext
r
a
c
t_
a
ffine: n
o
longer
create n
e
w par
a
m
eters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetScan::extract_scop: popula
t
e
pet_context
w
i
t
h
paramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
scan
.
c
c: mov
e
up static get_
a
rray_type function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetScan:
:
ge
t
_array_size: cache resu
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
P
etSc
a
n::se
t
_
upper_bounds: e
x
trac
t
o
u
t Pet
S
can::get
_
a
rray_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_is_e
q
ual:
comp
a
r
e
index express
i
o
ns up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
o
laege
pet_expr_extract_af
f
i
n
e: e
x
ploit d
o
main infor
m
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
add pet_context_ge
t
_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_
f
rom_b
l
o
c
k: collect a
f
fine contin
u
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
pet_scop_f
r
om_pet_tree: e
x
tract pe
t
_scop from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
a
d
d
fu
n
ctions for manipu
l
ating
the domain o
f
a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
pet_
s
cop_restrict: also
r
estr
i
ct vi
r
tual a
r
ray extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
a
e
ge
pet_co
n
text_evaluate_
e
xpr:
f
irst ins
e
rt domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_che
c
k_code: remov
e
tracking of a
s
si
g
nments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
drop pet_scop_detect
_
parameter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_
c
ontext_evaluate_exp
r
:
also
plug
i
n
aff
i
ne
e
xpressi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
sepa
r
a
t
e out pet_context_eval
u
ate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pe
t
_
c
ontext_mark_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetScan::extrac
t
_scop: clear writ
e
s at outer lev
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoo
l
aeg
e
PetScan:
:
extract
_
s
c
o
p
: locally construct pe
t
_c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetScan:
:
extract_scop:
a
lso add
a
ll
pe
t
_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
pet_expr_filter
:
avoi
d
introduction of const
r
a
i
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
tree2scop
.
c: is_simple_bound: handle higher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c: valid_for_each_iteration: handle hi
g
he
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
ad
d
_implicati
o
n:
h
a
ndle h
i
g
her dimens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2scop
.
c
: map_to_pre
v
ious:
h
a
n
dle higher di
m
ens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: after
:
handle higher di
m
ension
a
l domai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_extract_neste
d
_
from_
s
p
a
ce: add extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_extra
c
t
_
nested_from
_
space: embed arguments
i
n given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
add
p
et_expr_acce
s
s_get_d
o
main_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
pet
_
expr_res
o
l
v
e
_
nes
t
ed: all
o
w
s
p
e
c
ificatio
n
o
f domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
h
andle_w
r
ites
:
s
eparate ou
t
handl
i
n
g of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: handl
e
_
w
rites: r
e
mov
e
red
u
ndant pet_
c
ontext_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2
s
cop
.
c: ex
t
ract_kill:
a
llow
s
pec
i
fication of stat
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
pet_s
c
op_a
d
d_
b
ool
e
an_array: a
l
lo
w
sp
e
c
ification
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_s
k
ip_info_*_extract*: pass along pet_co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
pet_
s
cop co
n
st
r
uctors: allow specifica
t
io
n
of
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
tree2sco
p
.
c: s
c
op_from_{break,continu
e
}: minor cle
a
n
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
tree2scop
.
c: scop_from
_
{break,co
n
t
i
nue}: allo
w
spec
i
fication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_create_test_index: all
o
w specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
pet_stmt_
f
rom_p
e
t_expr: allow specification of
s
t
a
tement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
pet_
s
tmt_from_pet_expr: m
i
n
o
r clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pe
t
_stm
t
_
f
r
o
m_pet_expr:
r
e
n
a
me "dim" variable
t
o "
s
pa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
a
e
ge
pet
_
co
n
text: kee
p
track
of domain set
rather than
d
o
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
a
d
d pet_n
e
sted
_
remove_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sc
o
p_from_n
o
n_affin
e
_if: drop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolae
g
e
t
r
ee2scop
.
c
:
s
co
p
_fro
m
_n
o
n_af
f
ine_if: delay
constru
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaege
t
r
e
e2scop
.
c
:
scop_from_
a
ffi
n
e
_
for: delay
con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdool
a
ege
tree2scop
.
c: scop_fr
o
m
_non
_
af
f
i
n
e_while: d
r
op preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next