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
scop.c: access_extract_context: avoid using access relation
2014-06-20
Sven Ve
r
doolae
g
e
scop
.
c: access_e
x
tract_context
:
avo
i
d using a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c:
e
x
p
r_extract_conte
x
t: avoid using acce
s
s re
l
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdool
a
ege
scop
.
c
: ext
r
act
out shared drop_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
pet
_
ex
p
r_a
c
c
ess_update_domain: minor clean-up of e
x
p
r
essio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolae
g
e
further
generalize compute_to
_
inner to support
pet_s
c
op_co
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
gene
r
al
i
ze compute
_
to_inner to support pet_scop_
c
ompute_o
u
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
sc
o
p
.
c:
c
o
m
pute_to_
i
nn
e
r: m
i
cro-optimizatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
ve
n
Verdoolaege
tree2sco
p
.
c: is_nested_all
o
w
ed: do no
t
al
l
o
w
n
e
s
t
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verd
o
ola
e
ge
P
etScan::s
e
t
_upper
_
bound
s
: u
s
e declared
size of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Ve
r
d
o
olaege
scop
.
c:
r
estr
i
ct_skip: update document
a
tion to chang
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Ver
d
oo
l
aege
tree2scop
.
c: scop_add_inc: take
i
nto acc
o
unt affin
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoola
e
ge
tree2scop
.
c: mo
v
e
u
p appl
y
_affin
e
_
c
ontinue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tree2sc
o
p
.
c: s
c
o
p
_from_
n
on_af
f
ine_
w
hile: ex
t
ract ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
e
g
e
update
i
sl
t
o versi
o
n 0
.
1
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README: update
L
L
VM/clang
i
nstall
a
tion instr
u
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
i
n
terface/
e
xtract_interface
.
cc
:
explicit
l
y include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
u
pda
t
e
for change in
arguments
of
C
ompiler
I
nst
a
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
pe
t
.
cc: a
d
d sp
a
ce b
e
tween lite
r
a
l
and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
u
p
date isl for
s
upport
for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_stmt_fro
m
_pet_tree:
a
void fre
e
of uninitia
l
ized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
v
e
n Ve
r
doolaege
scan
.
cc: fix typ
o
in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Ver
d
o
o
l
aege
pet_s
c
op_fr
o
m_p
e
t_stmt: do not ex
t
ract cont
e
xt from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Pe
t
Scan::extract_argumen
t
: hand
l
e
passing of
entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoolaege
Make
f
ile
.
am:
a
dd dummy C
+
+ source fil
e
to pet_scop
_
cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoo
l
aege
handle pencil i
n
d
ependent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
Pe
t
Scan: keep track
of line nu
m
b
e
r of curren
t
Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
p
e
t
.
cc
:
extract out
P
etAST
C
onsumer::add_pra
g
ma_
h
and
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
add
e
ncapsulate_
d
ynam
i
c_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaeg
e
pet_scop_from_pe
t
_tree: cr
e
a
t
e
s
t
at
e
ments directl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
r
e
p
l
ace pe
t
_
stmt_from_pet_
e
xpr
b
y pet_stm
t
_
f
rom_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
pet_stmt: use pet_tr
e
e to re
p
re
s
ent st
a
tement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
s
c
op
.
c: extr
a
ct
out pe
t
_s
t
mt_is_af
f
i
n
e_assu
m
e an
d
pe
t
_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stm
t
_
c
ollect_accesses: use pet_expr_foreach
_
ac
c
e
s
s_
e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
scop
.
c
:
stmt_coll
e
c
t_
p
arams: use pet_expr_foreach_ac
c
es
s
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
k
e
ep track of
indentati
o
n of extract
e
d code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
upda
t
e
t
e
s
t case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract e
n
um con
s
tan
t
s as
their int
e
ger
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_int: separat
e
ou
t
extracti
o
n
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extra
c
t_un
s
igned: turn into a static f
u
nct
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaeg
e
sc
a
n
.
cc: chan
g
e textual
order of extract_un
s
i
g
ned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
pet_chec
k
_c
o
de
.
c: use pet_expr_e
x
tract
_
affin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdoolaege
e
x
port pet_expr_extract
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_context: no longer
k
eep
tra
c
k
of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rd
o
o
laege
p
e
t_expr_extract_aff
i
ne: no longer create ne
w
parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
PetScan::ex
t
ra
c
t
_
sc
o
p: populat
e
p
e
t
_context with
p
ara
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
scan
.
c
c
: move up st
a
tic get_arra
y
_
t
ype f
u
n
c
tion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
P
e
tScan:
:
get_array_siz
e
: ca
c
he resu
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::set_upper_bound
s
: ex
t
ract
o
u
t P
e
tSc
a
n::g
e
t_arr
a
y_siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
g
e
pet_exp
r
_
i
s_
e
qual: compare
i
ndex e
x
pre
s
sions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pe
t
_expr_extract_affin
e
: exploit domain
i
nfor
m
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
ae
g
e
add pet_context_get_
g
ist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
tree2scop
.
c: scop_from_blo
c
k: colle
c
t a
f
fine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_scop_from_pet_tree
:
e
xtract pet_scop from
t
he
r
oot
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
add
f
u
n
ctions
for manip
u
l
ating the domain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_scop
_
r
estr
i
ct: als
o
r
estrict
v
irt
u
al array e
x
tents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_context_evaluate_expr: fi
r
st
i
n
sert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
g
e
pet_check_
c
o
d
e: remov
e
t
r
a
cking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
drop
p
e
t_s
c
op_
d
e
tect_
p
ara
m
eter_ac
c
esses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et
_
context_
e
valuate_expr
:
also pl
u
g in affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n V
e
rd
o
olaeg
e
s
epa
r
ate
ou
t
pet_contex
t
_e
v
aluate_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
drop
pet
_
con
t
e
xt_ma
r
k_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
PetScan:
:
extract_
s
cop: clear w
r
ites
at o
u
ter le
v
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
PetScan
:
:extract_scop: locally cons
t
ruct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetSca
n
::
e
xtract_scop: al
s
o add
all pet_array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
pet_e
x
pr
_
filter: a
v
oid introduc
t
ion of constrai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2sc
o
p
.
c: is
_
s
i
mp
l
e_bound:
handle
h
igher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
ree2
s
cop
.
c: valid_for_each_iteration
:
handle higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2scop
.
c: add_implication: handle
higher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c: m
a
p_to_previ
o
us: handl
e
highe
r
d
i
mensiona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
t
ree2scop
.
c:
after: handle higher dimensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
pet_extract_
n
ested_from_spa
c
e
:
add extra dimen
s
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoo
l
a
e
ge
pet_ext
r
a
ct_nested_
f
rom_
s
pace: embed
argumen
t
s in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
add pet_expr_
a
ccess_
g
et_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_expr_res
o
lve_nest
e
d:
a
llow specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
tr
e
e2scop
.
c: handle_w
r
ites:
separate out handling
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
tree2s
c
op
.
c
: handle_w
r
i
tes: remove redundant
p
et_context
_
mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaeg
e
t
ree2scop
.
c: extract_kill: allow
spec
i
fica
t
ion of stat
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pe
t
_
scop
_
add_boolean_array:
allow
specif
i
cation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_sk
i
p_
i
nfo_*_ext
r
act*: pass a
l
ong
p
et_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdo
o
laege
pet_scop con
s
tructors: a
l
low specificat
i
o
n
of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: scop_fr
o
m_{break,continue}: mi
n
or cl
e
an-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaeg
e
t
r
ee2scop
.
c: scop_from_{br
e
ak,
c
ontinu
e
}: al
l
ow
s
p
e
cification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_cr
e
a
t
e
_
t
es
t
_
index: allow specificatio
n
of doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_stmt_
f
rom_
p
et_expr: allow specifi
c
ation
of
statemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pe
t
_st
m
t_from_pet
_
expr: min
o
r
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
o
laeg
e
pet_
s
tmt_fr
o
m_
p
e
t_e
x
pr: rename "dim"
variable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
p
e
t
_
context
:
keep
track of domain set rather
t
han domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
ad
d
pet_ne
s
ted_remove_fro
m
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
tree
2
sco
p
.
c: sc
o
p_
f
rom_non_affine_if
:
drop
p
reallocatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
r
doola
e
ge
tree
2
scop
.
c: scop
_
from_non_affin
e
_
i
f: delay c
o
ns
t
ruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c: scop_from_aff
i
ne_for: delay constr
u
c
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
tr
e
e2scop
.
c:
scop_from_non_affine_while: drop prealloc
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tr
e
e2scop
.
c: scop_
f
rom_
n
on_affine_while: delay construc
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
scop_from
_
inf
i
nite_loop: dela
y
constru
c
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
tree2scop
.
c
:
i
nfin
i
te_doma
i
n: del
a
y intersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: ext
r
act out shared ap
p
ly_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
ree
2
scop
.
c:
scop_from_affine_for: remove
p
reallocatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tre
e
2scop
.
c:
scop_from_
a
ffine_f
o
r: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
a
e
ge
tree2scop
.
c:
s
cop_f
r
om_affi
n
e_for:
i
n
trod
u
ce
is_non_a
f
fine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next