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 V
e
rd
o
olaege
pet_
e
xpr_f
i
lte
r
:
avoi
d
us
i
ng acces
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_a
c
cess_u
p
d
a
te_domain: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
laege
pet_expr_access_
g
et_must_acces
s
: avoid
using a
c
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
la
e
ge
pet_expr_acc
e
s
s_get_i
d
: a
v
oi
d
using
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
e
x
pr
.
c:
a
c
c
ess_add
_
ref_id:
a
void using ac
c
ess rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
scop
.
c: access_collect_param
s
:
avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
doolaege
s
c
op
.
c: implies_filter: avoid u
s
ing access relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
cop
.
c: access_extract_context
:
a
vo
i
d using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
g
e
scop
.
c: ex
p
r_ex
t
ract_context: avoid
usi
n
g access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verd
o
o
laege
scop
.
c
:
extract
out s
h
ared drop_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_upda
t
e_domain:
mi
n
or clean-up of ex
p
re
s
si
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
lae
g
e
furt
h
er g
e
nera
l
ize comp
u
t
e_to_inne
r
t
o su
p
port pet_sc
o
p_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
generalize compute
_
to_inner
t
o support pet_scop_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c: compu
t
e_to_inner:
micro-o
p
timization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
v
en Verdoolaege
tree2sco
p
.
c: is_nested_allowed: do
not al
l
ow
n
esting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
S
v
e
n Verdoolaege
PetScan::set_upper_bounds: use declared size of
static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdo
o
lae
g
e
scop
.
c
:
restrict_ski
p
: u
p
date document
a
tion to ch
a
nge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
ege
t
r
ee2sco
p
.
c: scop_add
_
i
n
c: take
i
nto acco
u
nt a
f
f
ine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolae
g
e
tree2scop
.
c: move up ap
p
ly_af
f
ine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
r
ee2scop
.
c: sco
p
_from_n
o
n_affine_
w
hile: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verd
o
o
laege
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
l
a
e
g
e
u
p
dat
e
isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
RE
A
DME: update LLVM/clang install
a
tion instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
interfa
c
e/extract_i
n
terface
.
c
c
: explicitly
i
nc
l
u
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n
Ve
r
d
o
ola
e
ge
u
pdate for change in arguments of C
o
mpi
l
er
I
nstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaege
pet
.
cc: add
s
pace
between l
i
t
e
ral and identif
i
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven
V
erdoolaege
u
p
date isl for su
p
p
o
rt for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolae
g
e
pet
_
st
m
t_from_pet_tree
:
avoid free of uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
v
e
n Verdoolaege
scan
.
cc: fix
t
ypo
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
pet_
s
cop_from_pet_st
m
t:
d
o not extract con
t
ext f
r
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdo
o
l
a
ege
Pe
t
S
c
an::extract_a
r
gument
:
han
d
le
p
a
s
sing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ve
n
Verdoolae
g
e
Makefile
.
am: add
d
u
m
my C+
+
source fi
l
e to pet
_
scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoo
l
aege
ha
n
dl
e
penc
i
l inde
p
endent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
PetScan:
k
eep track
of line number o
f
current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ver
d
oolaege
pet
.
cc: extract out P
e
t
AS
T
Consumer::a
d
d_pragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add
e
ncapsula
t
e_dyn
a
mic_contr
o
l op
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
ol
a
e
g
e
pet
_
scop_from_pet_tree: create statemen
t
s
directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
l
aeg
e
replace pet_stmt
_
from_pet_expr by
p
e
t_stmt_
f
rom_pet_t
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
e
t_stmt: use pet_tree to represent statement bod
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
scop
.
c: e
x
trac
t
out pet
_
stmt_is_
a
f
f
i
n
e
_assu
m
e and
p
e
t_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
s
c
op
.
c
: stmt_collect_ac
c
esses: use pet_expr_for
e
ach_access_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_c
o
llect_
p
a
r
ams: use pe
t
_expr_f
o
reach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
k
e
e
p track of i
n
d
entation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
update test case ou
t
puts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extr
a
ct enu
m
constants as
their
i
nteger value
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan:
:
e
x
tract_int
:
s
e
p
ar
a
t
e ou
t
e
xtraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
c
a
n::extract_unsigned:
turn
in
t
o a static
f
unction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
sc
a
n
.
cc: change text
u
al order of extract_un
s
igned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_check_code
.
c: use pet_expr_e
x
tract_aff
i
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
e
xpo
r
t pet_expr_extract_af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_cont
e
xt: no l
o
nger ke
e
p track
o
f
"
unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pe
t
_expr_
e
xtra
c
t_
a
ffine: no
longer
create new parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
PetScan
:
:ex
t
ract_scop: p
o
pul
a
te p
e
t_context with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
scan
.
cc
:
move u
p
static get_arra
y
_type func
t
ion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ver
d
oolaege
PetS
c
an:
:
get_array_size: cache resu
l
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
P
etScan::
s
et_upper_bo
u
nds: ex
t
ract
out PetScan::get
_
array
_
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaeg
e
pet_expr_is_equal: compare index exp
r
ession
s
up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_exp
r
_extract_affine: exploit domain information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
add pet_context_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c: scop_
f
rom_block: collect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ve
r
doolaege
pet_scop_
f
rom_pet_tree
:
e
xtract pet
_
scop f
r
om the roo
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
add functions f
o
r manipulat
i
ng
t
he do
m
ain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdool
a
ege
pet_scop_restrict: also restrict
v
i
rtual
a
rray ex
t
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
p
e
t_conte
x
t_evaluat
e
_exp
r
: fi
r
s
t
ins
e
rt domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
pet_check_
c
ode: remo
v
e tracking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop p
e
t_scop_detect_parameter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolae
g
e
pet_context
_
eval
u
ate_
e
x
pr: also
plug in affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separat
e
out pet_co
n
t
e
xt_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
drop pet_con
t
ext
_
mark_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
t
S
can::e
x
tract_sco
p
: clear writes
a
t
outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
PetScan
:
:
e
xtract_scop: l
o
cally construct pet_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
Pet
S
can:
:
extract
_
scop
:
also add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaeg
e
pet_expr_filter: avoid introduction of const
r
aint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
ge
tree2scop
.
c:
i
s_simple_
b
ou
n
d
:
han
d
l
e higher dimen
s
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c: valid_fo
r
_ea
c
h_iteration: handle
h
igher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
e
ge
tre
e
2sc
o
p
.
c: a
d
d_implication: handle
h
ig
h
er d
i
m
e
nsiona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: map_t
o
_previou
s
: ha
n
d
l
e
higher d
i
mensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
tree2sc
o
p
.
c:
a
fte
r
: handle
h
igher dimensi
o
nal
d
o
m
ains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaege
pet_extract_nested_from_space: add extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ex
t
ract_nested_from_sp
a
ce
:
embed argumen
t
s in gi
v
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olae
g
e
ad
d
pet
_
expr_access
_
get_domain_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
pet_expr_resolve_n
e
sted: allow speci
f
ic
a
tion of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
tree2scop
.
c
: handle_writes: sep
a
r
ate ou
t
ha
n
dl
i
ng of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
t
r
ee2sco
p
.
c: handle_w
r
ites: remove red
u
n
dant p
e
t
_con
t
ext_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c
:
ext
r
act_kill: allow
specification
o
f stateme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
pet_scop_add_boolean_a
r
ray:
allow specifi
c
ation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoola
e
ge
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
Sven Verdoolaege
pet_
s
cop constr
u
ctor
s
: allow
specifi
c
ation of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: sc
o
p_from_{break,co
n
tinue}: min
o
r clean
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tr
e
e2scop
.
c: scop_from_{
b
reak
,
continu
e
}
:
allow spec
i
f
ic
a
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pe
t
_crea
t
e_
t
e
st_i
n
dex: allo
w
s
p
ecif
i
cation of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_stmt_from_pet_expr
:
allow
specif
i
c
at
i
on of
s
tate
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_s
t
m
t
_from_pet_ex
p
r: minor
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaeg
e
pe
t
_s
t
m
t
_from_pet_
e
xpr: rena
m
e
"dim
"
variable t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
o
ntext:
k
eep track of do
m
ain set rather
tha
n
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
a
dd pe
t
_nested
_
remove_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tre
e
2scop
.
c: scop_from_non_affi
n
e_if: drop
pre
a
ll
o
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
t
ree
2
sc
o
p
.
c
:
scop_fr
o
m_non_
a
ff
i
ne_if: delay const
r
u
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
tree2s
c
op
.
c
:
sco
p
_f
r
om_affi
n
e_for:
delay
c
o
nstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
tree2sco
p
.
c:
scop_from_n
o
n_affine_whil
e
: d
r
o
p
preallocatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next