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_access_get_id: avoid using access relation
2014-06-20
Sven Verd
o
o
l
aege
pet_ex
p
r_access_get_id: av
o
id using ac
c
ess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oolaege
expr
.
c:
access_add
_
ref_
i
d: avoid using
a
cce
s
s rel
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
doolaege
scop
.
c: access_collect_
p
arams: avoid using ac
c
ess re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
scop
.
c: impl
i
es_filter: avo
i
d
u
sing acces
s
rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
a
ege
scop
.
c: access_extract_contex
t
: avoid using acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
o
o
l
aege
s
co
p
.
c
: e
x
pr_extract_c
o
ntex
t
: avoid using access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c: extr
a
ct out shared drop_argumen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_expr
_
a
ccess_u
p
d
a
te_d
o
main: minor clea
n
-up of expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
f
u
rthe
r
generalize compute_to_in
n
er
to sup
p
ort
pe
t
_sc
o
p_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaeg
e
g
ene
r
a
l
ize co
m
pute
_
to
_
in
n
er t
o
support pe
t
_scop_co
m
pu
t
e_
o
ute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
scop
.
c: compute_to_i
n
ner: micro-optimiz
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Ve
r
doolaege
tree2sc
o
p
.
c: is_neste
d
_al
l
owed:
do not allow
n
e
sting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ver
d
ool
a
ege
P
etS
c
a
n::set
_
upper_bounds: use declared size of s
t
atic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
s
c
op
.
c:
restrict_skip: update d
o
c
u
m
e
ntatio
n
t
o
change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: scop_add_i
n
c
:
take
i
nt
o
account affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
tree2scop
.
c: move up
apply_affi
n
e_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
tree2sco
p
.
c: s
c
op_from_non_affin
e
_whi
l
e: ext
r
a
c
t out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
r
d
o
o
laeg
e
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update
isl t
o
version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
erd
o
olaege
READ
M
E:
u
pd
a
te LLVM
/
c
lan
g
installation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
interface/extract_int
e
rface
.
cc: explic
i
t
ly i
n
clude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update for change in arguments of CompilerIn
s
ta
n
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolae
g
e
pet
.
cc
:
add spa
c
e between lit
e
ral and i
d
e
nt
i
f
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
o
laege
update i
s
l for s
u
p
port fo
r
rec
e
nt
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoo
l
ae
g
e
pet
_
st
m
t_from_pet_tree: av
o
id
f
ree o
f
uninitia
l
ized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoola
e
ge
scan
.
cc: fix
t
yp
o
i
n
comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoola
e
ge
pet_
s
cop
_
from_
p
e
t
_
s
tm
t
: do not extract c
o
nt
e
xt
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
olaege
PetS
c
an::e
x
tract_argument: handle
passing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Ver
d
oolaege
Makefile
.
a
m:
a
d
d
dum
m
y C++ so
u
rce f
i
l
e t
o
pet_sco
p
_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n
V
erdoo
l
aege
handle pencil
i
ndepend
e
nt pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
PetScan: k
e
ep track
of
l
ine number of cu
r
rent S
t
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
pet
.
c
c:
ex
t
ract
o
u
t Pet
A
STCo
n
s
u
mer::add_pragma_han
d
lers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoo
l
aege
add encapsulate_
d
ynamic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
doolaeg
e
pet_scop_from
_
pet_tr
e
e: create stat
e
men
t
s directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
repl
a
ce p
e
t_
s
t
m
t_from_pet_
e
xpr by pet_s
t
mt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en V
e
r
d
oola
e
g
e
p
e
t_stmt
:
use pet_tree to represent statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
scop
.
c: extr
a
ct out pe
t
_stm
t
_is_affine_
a
ssume and
p
et_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laeg
e
sc
o
p
.
c:
s
tmt_colle
c
t_accesses: use p
e
t_exp
r
_foreach_a
c
cess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_params:
u
se pet_expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ver
d
oolaege
keep track of indentation of
extr
a
ct
e
d c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
oolaege
update te
s
t case ou
t
p
u
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
e
x
t
r
act
e
nu
m
constants as their integer
values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
PetScan
:
:ex
t
ract_int: sepa
r
a
t
e
out extraction f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
o
l
aege
P
e
tSca
n
::
e
x
t
ract_unsigned: turn into
a static function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdo
o
laege
scan
.
c
c
:
change textual
order
o
f extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
ola
e
ge
pe
t
_
check_code
.
c: u
s
e pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolae
g
e
export pe
t
_exp
r
_
e
x
tract
_
affin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_context: no longer keep trac
k
o
f "unknow
n
" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
p
e
t_expr_e
x
trac
t
_affine: no longer
c
r
eate
n
ew pa
r
ameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdo
o
la
e
ge
PetS
c
an::extract_sc
o
p
:
populate pet_context with p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
l
aege
scan
.
c
c
: move up static
get
_
a
r
ra
y
_type function
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
la
e
ge
PetSc
a
n::get
_
a
r
ray_size: cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan
:
:
s
et_upper_bounds:
extract out PetScan::get_arr
a
y_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet
_
expr_is_equa
l
: co
m
pare index expressions u
p
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_exp
r
_ex
t
ract_aff
i
ne: explo
i
t domain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
add pet_context_get_gist_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
lae
g
e
t
r
e
e
2sco
p
.
c: scop_f
r
om_block: collect affine
c
o
ntinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_scop_from_pet_tr
e
e: extract p
e
t_scop from the ro
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
ad
d
functions for
m
a
nipulating
t
he
domain of
a
pet_cont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
pet_sc
o
p_restrict: also restrict virtual array extent
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_contex
t
_evalu
a
te_
e
xpr: first insert dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_c
h
ec
k
_
c
od
e
: r
e
mov
e
tracking of
a
s
s
i
gnmen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
dr
o
p
p
et_sc
o
p_
d
et
e
ct_para
m
e
te
r
_access
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
et_c
o
n
text_eva
l
uate_expr:
a
l
s
o
p
l
ug in
affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
s
e
parate ou
t
pet_
c
ontext_evaluate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
drop pet_c
o
ntext_mark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
P
e
tScan::extr
a
ct_scop: clear writes
a
t outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
P
e
tScan::extract_sc
o
p: locally con
s
truc
t
pet_
c
onte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
PetScan::extra
c
t_scop
:
a
l
so add all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
p
e
t_expr_filter: avoid introduction
o
f const
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c: is_simple_bound: handle
h
igher
dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: valid_for_e
a
ch_
i
te
r
ation: handl
e
h
igher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tr
e
e2
s
cop
.
c: add_implication: handle highe
r
dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2sco
p
.
c: map_to_previous: handle hi
g
he
r
di
m
ensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2scop
.
c: after: ha
n
dl
e
higher dimensi
o
nal
d
omai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_e
x
t
r
a
c
t_neste
d
_
f
r
om
_
spa
c
e: add extra dimension
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_extract_nes
t
ed_from_
s
pace: e
m
bed
a
rguments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
e
g
e
add pet
_
expr
_
access_get_d
o
main_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_expr_
r
esol
v
e
_
nested
:
allow specific
a
tio
n
of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree
2
s
c
op
.
c:
h
a
ndle_writes: s
e
parate o
u
t hand
l
ing of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: han
d
le_writes: r
e
move redundan
t
pet_context_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
a
e
ge
tree2scop
.
c: extract_kill
:
all
o
w
s
p
ecification o
f
sta
t
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_sc
o
p_add_
b
oolean_array
:
allow s
p
ecificati
o
n
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_skip_info_*_
e
x
t
r
a
ct*: pass along pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
g
e
pet_sco
p
c
o
n
structor
s
: allo
w
specif
i
cation of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
t
r
ee2sc
o
p
.
c: scop_
f
rom_{break,con
t
inu
e
}: minor c
l
ean-u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laege
tr
e
e2sco
p
.
c
:
scop_from_{brea
k
,c
o
ntinue}: a
l
low
specification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
pet_create_test_
i
ndex: allow specificat
i
on of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_stmt_from_
p
et_ex
p
r: allow specification of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
s
tmt_from_pe
t
_expr: minor clea
n
-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aeg
e
pet_stmt_from_pet_expr: renam
e
"dim" variab
l
e
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_contex
t
: k
e
ep track of domain set rather
t
h
an
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
lae
g
e
a
d
d pet_nested_remov
e
_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
tree
2
s
cop
.
c: scop_from_non_
a
ff
i
ne_i
f
: drop p
r
eallocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_f
r
o
m
_non_af
f
i
n
e_if
:
delay
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: s
c
op_from_affine_for: d
e
l
a
y
con
s
truction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c
:
sco
p
_from_non_affine
_
wh
i
le:
d
rop preallocat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
tree2sco
p
.
c: scop_from_non_aff
i
n
e
_while: delay const
r
uction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tre
e
2sc
o
p
.
c: scop_f
r
om
_
i
n
finite_lo
o
p: delay co
n
s
truction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree
2
s
c
op
.
c: infini
t
e_d
o
main:
d
elay intersectio
n
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next