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
Verdoolaege
p
et_e
x
p
r_f
i
lter: avoid using acc
e
ss re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolae
g
e
pet_expr_acc
e
ss_update_d
o
main: avoid using acces
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaege
pet_expr_access_get_must_
a
ccess: avoid usi
n
g access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laeg
e
pet_expr_access_get
_
id: avoid using access relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
expr
.
c: access_add_ref_id: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
scop
.
c:
a
c
ce
s
s_coll
e
ct_param
s
: avoid
u
sing acces
s
r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
oola
e
ge
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_extract_conte
x
t: avoid using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
s
co
p
.
c: expr_ex
t
ract_c
o
ntext: avoid usi
n
g access relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaeg
e
scop
.
c:
extract out s
h
a
red drop_a
r
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr
_
access_update
_
domai
n
: mi
n
or clean
-
up of e
x
pression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
further generalize
c
ompute_to_inner
to support pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
l
aege
generalize co
m
pute_to_inner to supp
o
rt p
e
t_
s
c
o
p_c
o
m
pute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
sc
o
p
.
c: compute
_
to_inner: micro-opti
m
ization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven
V
erdoolaege
tree2scop
.
c: is_nested_allo
w
ed: do n
o
t allow nes
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ve
r
doolaege
PetScan::
s
et
_
up
p
er_bounds: u
s
e declared si
z
e
of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
ege
scop
.
c: restrict_
s
ki
p
: u
p
date docu
m
entation
to chan
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoola
e
ge
tree2sco
p
.
c
: scop_add
_
inc
:
take into accoun
t
a
ffine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: move up apply_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: sco
p
_
from_non_
a
ffi
n
e_whi
l
e: extra
c
t out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verd
o
olaege
p
et 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
upda
t
e
isl to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
S
v
en Verdoolaege
R
EADME: update LLVM/cla
n
g install
a
tion instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdool
a
ege
interface
/
extra
c
t_interface
.
cc: explicitly in
c
lude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Ve
r
doola
e
ge
update
f
or change
in argument
s
of Compil
e
r
Ins
t
ance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
o
l
aege
pet
.
cc: add space betwe
e
n literal and
ide
n
ti
f
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update isl for support for
r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
p
e
t_st
m
t
_f
r
o
m
_
pet_tree: av
o
id free o
f
unini
t
ialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
scan
.
c
c
: fix typo i
n
comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolae
g
e
p
et_scop_fr
o
m_pet_stm
t
: do not extr
a
ct
c
ontext f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
la
e
ge
PetScan:
:
extract_argument: handle passi
n
g
of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
Makefil
e
.
am:
add dummy
C
+
+
so
u
rce file to pe
t
_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
doola
e
ge
handle pencil
i
nde
p
end
e
nt pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
PetScan:
k
eep track o
f
line n
u
mb
e
r o
f
current Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
pet
.
cc:
extract
o
ut Pet
A
ST
C
o
nsumer::
a
dd_pragma_handler
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
a
d
d
encapsulate_dynamic_contr
o
l o
p
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
_
scop_f
r
om_pet
_
tree: cre
a
te statements directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doo
l
ae
g
e
r
e
p
l
a
c
e
pet_stmt_from_pe
t
_
e
xpr by
p
et_stmt_from_p
e
t
_
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
pet_stmt: use pet_tree
t
o represent state
m
ent body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
V
erdoolae
g
e
scop
.
c: extrac
t
ou
t
pet_stmt
_
is
_
affine_assume an
d
pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
sco
p
.
c:
stmt_col
l
e
ct_ac
c
esses: u
s
e p
e
t_exp
r
_
f
oreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdoolaege
scop
.
c: stmt_collect_p
a
ram
s
: use pet_expr_for
e
a
ch_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
Verdoolaege
k
eep
track of indentation of extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
u
pdate test case ou
t
puts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
ol
a
ege
extract
enum constants as their integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doo
l
a
e
ge
PetScan::e
x
tract
_
i
nt: separat
e
out extraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
Pe
t
Scan::
e
xtract_unsigned:
turn into a static function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
scan
.
cc: change textual or
d
er
of
e
xtract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
p
e
t_
c
he
c
k_code
.
c
: use pet_e
x
p
r
_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
rdoolaege
export pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
o
nte
x
t
:
n
o longer keep tra
c
k o
f
"u
n
known
"
values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
e
g
e
pet_expr_extract_a
f
f
i
ne: no lo
n
ger create new param
e
ters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
PetScan::ext
r
act_scop: popula
t
e pet_context w
i
th parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
scan
.
c
c
: m
o
ve up static g
e
t
_
array_t
y
pe funct
i
on in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
PetS
c
an::
g
e
t
_array_size: ca
c
he r
e
sults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
ol
a
ege
Pet
S
can::set_upper
_
bounds: extrac
t
out PetS
c
a
n
::get_a
r
ray_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
expr_is_e
q
u
a
l
:
comp
a
re index expr
e
s
s
ion
s
up t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolae
g
e
pe
t
_expr_extract_affine: e
x
ploit d
o
main
informat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
add
p
et_co
n
tex
t
_get_gist_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
tree2scop
.
c: scop_from_block: c
o
llect affine
c
ontinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_s
c
op_from_pet_tree: ex
t
ract pet_scop from
t
he root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add fu
n
ctions for manipulating
the domain of a pet_
c
onte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_scop_re
s
trict: also r
e
s
t
rict virt
u
al array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_evalu
a
te_expr: first insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_ch
e
ck_code: remove tracking of
assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
drop pet_sc
o
p_dete
c
t_parameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
pe
t
_cont
e
xt_eval
u
ate
_
expr: also plug in affine ex
p
res
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
separate out pet_context_ev
a
l
u
at
e
_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
drop pet_c
o
n
t
ext_m
a
r
k_assign
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
Pet
S
can::
e
xtract_
s
cop:
c
lear wri
t
es at outer l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
PetScan::ex
t
ract_scop: lo
c
ally
c
onstruct
p
et_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
Pe
t
Scan::extract_scop: also add all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaeg
e
p
et_expr_
f
ilter: a
v
o
i
d
i
ntroducti
o
n of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c:
is_simpl
e
_bound:
h
andl
e
hig
h
er
d
imensiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
aege
tree
2
scop
.
c: valid_f
o
r_eac
h
_
i
teration: han
d
le
h
igher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: add_
i
mpli
c
ation: h
a
ndle
h
igher dimensi
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2sco
p
.
c: ma
p
_to_p
r
evious: handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
t
ree2scop
.
c
:
afte
r
: handl
e
higher dimensional doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_
e
xt
r
a
ct_nested_from_space: ad
d
ex
t
ra
d
i
mensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
et_extract_nested_from_space: embed arguments in gi
v
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
add pet_expr_access_ge
t
_domain_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdoolaege
pet_expr_resolve_nested: allow specif
i
catio
n
o
f
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
t
ree2scop
.
c: handl
e
_w
r
ites: separa
t
e out ha
n
dling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tre
e
2scop
.
c: handle_wri
t
es
:
remove redundant pet_cont
e
xt_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
ola
e
g
e
tree2scop
.
c: ext
r
act_kill: allow specifi
c
ation
o
f statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
ge
pet_scop_add_boole
a
n
_array: allow specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ski
p
_i
n
fo_
*
_e
x
tract
*
: pass
a
l
ong pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
p
e
t
_
scop
c
o
n
structor
s
: allow s
p
ecification of doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_{break,c
o
ntinue
}
: minor clean
-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
t
r
ee2sco
p
.
c: scop_from_{bre
a
k,continue}:
allow specificati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoola
e
ge
pet_create_t
e
st_in
d
ex: allow spe
c
ification of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
p
e
t_stmt_from_pet_expr: allow s
p
ecification of s
t
atement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
pet_stmt_from_pe
t
_expr: min
o
r clea
n
-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_stmt
_
from_pet_expr:
rename "di
m
" variable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_context:
k
eep track of
doma
i
n set
r
ather than
d
omai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
add
p
et_
n
ested
_
remove_from
_
s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c: scop_from_no
n
_affine
_
if: drop preallocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
a
e
ge
tree2scop
.
c: s
c
op_from_non
_
a
f
f
ine_if: dela
y
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
tree2scop
.
c
:
s
c
op_from_affi
n
e_f
o
r:
delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c: scop_fr
o
m_non_affine_whi
l
e: drop
p
realloca
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next