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
pet
_
expr_filte
r
: avoi
d
using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr_
a
c
c
es
s
_update_d
o
m
ai
n
: avoid using access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
la
e
g
e
pet_expr_
a
c
c
ess_g
e
t_mus
t
_
a
c
cess: avoid using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr_acces
s
_get_id: avoid
u
sin
g
acces
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
ege
expr
.
c:
access_a
d
d_r
e
f
_id
:
avoid
u
sing access r
e
lat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
oolaege
s
cop
.
c
:
acc
e
ss_c
o
llect_params:
a
vo
i
d usi
n
g
ac
c
ess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
c
o
p
.
c: implies_filter:
avoid
u
s
i
ng access re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
sc
o
p
.
c: access_extract
_
c
o
ntex
t
: a
v
o
i
d
us
i
ng access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaeg
e
scop
.
c: expr_extract_context: avoid usin
g
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
sc
o
p
.
c: extra
c
t out
s
h
ar
e
d drop_a
r
gum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr_access_update_domain:
m
i
n
or clean
-
up
o
f expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
further gen
e
ral
i
ze comput
e
_t
o
_
i
nner to support pet_scop
_
comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
general
i
ze compute_to
_
i
nner to s
u
pp
o
rt
p
et_scop
_
compute_out
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doola
e
g
e
scop
.
c: c
o
mpute_to_i
n
ner: micro-opt
i
mizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tre
e
2scop
.
c: is_nest
e
d_allowed:
d
o not a
l
low nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ve
r
do
o
laeg
e
P
etSca
n
::set_upper_bounds:
use de
c
l
a
red s
i
z
e of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdool
a
eg
e
s
cop
.
c: restrict_skip: upd
a
te documen
t
ation
to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoo
l
aege
tree2scop
.
c:
s
cop_add_inc: take
i
nto acc
o
un
t
affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
e
n
Verdool
a
ege
tree2scop
.
c: move up a
p
ply_affine
_
con
t
inue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n
V
erdoolaege
tree2scop
.
c: scop_
f
rom_non_affi
n
e_w
h
ile: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoolae
g
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoo
l
aege
update isl to ver
s
ion
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
erdoolaege
RE
A
DME: update L
L
VM/clang installat
i
o
n
inst
r
uctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doolaege
interface/extract_i
n
terface
.
cc: explici
t
ly i
n
clude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Verdoola
e
ge
u
p
d
a
te for
c
hange in arguments of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoola
e
ge
pet
.
cc: add sp
a
ce betwe
e
n liter
a
l
a
nd ide
n
t
i
f
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
e
ge
u
pdate isl for support f
o
r re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdool
a
ege
pet_stmt_from
_
pet_tree: avoid free of unin
i
t
ializ
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven V
e
rdo
o
laege
sc
a
n
.
cc
:
fix
typo
i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verd
o
olae
g
e
pet_scop_
f
rom_
p
e
t_stmt:
d
o
not ex
t
ract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolae
g
e
PetScan::extra
c
t_a
r
g
ument: handle passing
o
f enti
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oo
l
aeg
e
Ma
k
efil
e
.
am: add dummy C++
s
o
u
rce file to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
do
o
laege
handle pe
n
ci
l
in
d
ependent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaeg
e
P
e
tSc
a
n: keep track of line
numb
e
r of cur
r
en
t
Stm
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
dool
a
e
ge
p
et
.
cc: extract out PetASTConsumer::add
_
pr
a
gma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add encapsulate_dynamic_co
n
tr
o
l
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
erdoolaege
pe
t
_scop_fr
o
m_pet_tr
e
e: c
r
eate
s
tate
m
ents directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
replace pet_st
m
t_from_pet_
e
xpr
b
y pet_stmt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_stm
t
: use pet_tr
e
e to represent st
a
tement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
ool
a
ege
scop
.
c: extract out pet_stmt_is_affine_a
s
s
ume and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
o
l
aege
sco
p
.
c: stmt_collect_access
e
s:
u
se pet_expr_fore
a
ch_a
c
cess_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolae
g
e
sc
o
p
.
c: stmt_collect_params:
u
se p
e
t_ex
p
r_fore
a
ch_acc
e
ss_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep track of indent
a
tion
o
f
e
xtracted
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
ool
a
ege
u
p
date
test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ver
d
oolaege
extract enum constants as th
e
ir
int
e
ger
v
alues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaeg
e
Pe
t
Scan::e
x
t
r
ac
t
_
int
:
separate out extr
a
ctio
n
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan:
:
extr
a
ct_unsigned:
turn
i
nto a static
f
unctio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoola
e
ge
scan
.
cc: change textual
o
rder
of extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_check_code
.
c
:
us
e
pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
export p
e
t_expr_
e
xtract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
pet_context:
no longer keep track o
f
"unkn
o
w
n" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_ex
p
r_ex
t
ract_affine: no longer cr
e
a
t
e
new
p
aram
e
ters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
P
e
tSc
a
n::ext
r
act_s
c
op: popula
t
e
p
e
t_context with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
s
can
.
cc: move up stati
c
g
e
t_ar
r
ay_type functio
n
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
PetScan::get_array_size: cache
r
esults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tS
c
an::s
e
t_uppe
r
_bo
u
nds: extract out PetSc
a
n::
g
et_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
pe
t
_e
x
p
r
_
i
s_equal: comp
a
re inde
x
e
xpressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_
e
xpr_
e
x
tract_affine: exploit domain informatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
p
et
_
context_get_gi
s
t_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
tree2scop
.
c
:
scop_from_blo
c
k: collect affine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
pet
_
scop_from_pe
t
_
t
ree: extrac
t
pet_scop from th
e
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
ad
d
fu
n
ctio
n
s for
manipulati
n
g the
d
oma
i
n o
f
a
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_sco
p
_restrict: also restr
i
c
t virtu
a
l
a
r
r
ay extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pe
t
_context_evaluate_expr: firs
t
inse
r
t domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_check_code: r
e
m
ove tracking of assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aeg
e
drop
pet_s
c
op_detect_para
m
eter
_
acce
s
s
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
pet_cont
e
xt_evaluate_ex
p
r:
also p
l
ug in affine expre
s
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
separate out
pe
t
_context_
e
valuate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dr
o
p
pet_
c
ontext_mar
k
_a
s
s
i
gned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
d
o
olaege
PetScan::extract_s
c
o
p
: clear writes at o
u
ter level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetS
c
a
n
::e
x
tract
_
s
cop: locally construct pet
_
co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
P
et
S
can::e
x
tract_
s
cop:
a
lso ad
d
all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
pet_expr_filter: a
v
oid introduction of constra
i
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c
: is_simple_bound: handle hig
h
e
r dimensio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
tree2s
c
op
.
c
: valid_for_e
a
ch_iteration:
handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
tree2scop
.
c
:
a
d
d
_imp
l
icat
i
on: handl
e
h
igher dimension
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c
: map_to
_
previou
s
: h
a
ndl
e
higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaeg
e
tree2s
c
op
.
c: after:
h
andle higher dimension
a
l do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ve
r
d
o
ola
e
ge
pet_extract_nes
t
ed_from_space: ad
d
extra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_
e
xtract_nested_from_space:
e
mbed arguments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
lae
g
e
add pet_expr_acc
e
ss_
g
et_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
p
et_expr
_
r
e
s
o
l
ve_neste
d
: allow specification o
f
domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2sc
o
p
.
c: handle
_
writ
e
s: sep
a
ra
t
e out han
d
ling
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ver
d
o
o
laege
tree2scop
.
c
:
handle_w
r
ites
:
re
m
ove
redundant pet_
c
ontext_
m
ar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c
: extrac
t
_kill: allow
specification of st
a
tement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_
a
dd_boolean_array
:
allow spec
i
f
i
cation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
et_sk
i
p_info_*_extr
a
ct
*
: pass along pet_
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pe
t
_sco
p
c
o
n
structors: allow specif
i
cat
i
on of d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
t
r
ee2sc
o
p
.
c: sco
p
_from_{b
r
e
a
k
,
c
ontinue}: minor cle
a
n-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: scop_from_{br
e
ak,
c
o
ntinue}:
a
llow specification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
et_create_test_index
:
allow specif
i
c
a
tion
o
f domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
pet_st
m
t_from_pet_expr: a
l
l
ow sp
e
cification of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
pet_stmt_fr
o
m_pet_expr: min
o
r clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_st
m
t
_
from
_
pe
t
_ex
p
r:
r
e
n
ame "dim" variable
t
o "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_contex
t
: ke
e
p
track of domain
set
r
ather than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
add pet_nested_r
e
mov
e
_fr
o
m_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
t
ree2scop
.
c: s
c
op_from_non_affine_if: drop preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tre
e
2sc
o
p
.
c: sco
p
_
from_non_affin
e
_if:
d
elay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
tr
e
e2scop
.
c: scop_from_af
f
ine_f
o
r
:
delay co
n
str
u
ctio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdo
o
laege
tree2
s
cop
.
c: scop_from_non_affine_while: drop pr
e
a
llocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next