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 Verdoolaege
sco
p
.
c: access_extract
_
co
n
text
:
avoi
d
using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c: expr_extract_cont
e
xt: a
v
oid us
i
ng access r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: ex
t
ract o
u
t share
d
drop_ar
g
um
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
pet_expr_acce
s
s
_update
_
domain: minor clean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verd
o
o
l
a
ege
further gener
a
lize compute_to
_
inner to
s
upport
p
et_scop
_
c
o
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
generalize compute_to_inner to supp
o
rt p
e
t_scop_co
m
pute_o
u
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
s
c
o
p
.
c:
c
ompute_to_inner: micro-optimiza
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
t
r
ee2scop
.
c:
is_nested
_
allowed:
do not
allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sv
e
n Ve
r
d
oolaege
P
et
S
c
a
n::set_upper_bounds: use declared size of sta
t
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doolaege
scop
.
c: re
s
trict_skip:
u
pdate documentation
t
o chang
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tree2scop
.
c
:
scop_a
d
d_inc:
take
i
nto
acc
o
unt
aff
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2sco
p
.
c: mov
e
up apply_affine_
c
ontinue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tre
e
2
s
cop
.
c:
s
cop_fro
m
_non_affine_wh
i
le
:
ex
t
ract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Ver
d
oolaege
pe
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
update isl to
v
ersion 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdo
o
laege
README: update LLVM/clang installation
instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
in
t
erface/extract_interface
.
cc: explicitly
i
nclude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaege
update f
o
r change in argu
m
e
nts of CompilerInstanc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n Verdoo
l
aege
pet
.
cc:
add space between
lite
r
al a
n
d identi
f
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en V
e
rd
o
o
l
aeg
e
u
pdate isl
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
oolaeg
e
pet_stmt_from
_
pet_tree: avoid free of uninitializ
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven V
e
rdoo
l
ae
g
e
scan
.
cc: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
doolaege
pet_scop
_
f
rom
_
p
e
t_stm
t
:
do not
extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoolaege
Pet
S
can::ext
r
a
ct_argument: handle passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoolaege
Makef
i
l
e
.
am
:
add dummy C++
source file
t
o pet_scop
_
c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle
pencil inde
p
endent p
r
agmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
o
olaege
PetS
c
a
n: keep track of line numb
e
r of current
Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc:
e
xtract out PetAST
C
onsumer::
a
dd_
p
ra
g
ma_han
d
lers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoo
l
aege
add e
n
c
aps
u
late_dyn
a
mic
_
con
t
rol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
e
t
_
scop
_
from_pet_tree: cr
e
ate
stateme
n
ts directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
replace pet_stmt_from_pet_expr by pet
_
s
tmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_s
t
mt: use pet_tree
t
o repre
s
ent
s
tatement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: ext
r
act ou
t
pet_stmt_is_affine_assu
m
e
and pe
t
_stm
t
_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoo
l
aege
scop
.
c: stmt_collec
t
_accesses: us
e
pe
t
_ex
p
r_foreac
h
_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
g
e
scop
.
c: stmt_col
l
ect_params: use
p
et
_
expr
_
foreach_
a
ccess_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
keep tr
a
c
k of inden
t
ation of extra
c
t
e
d code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
up
d
ate te
s
t
case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
e
xtra
c
t e
n
um constants as
their integer valu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_int: s
e
parate
out extracti
o
n from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
l
a
ege
P
e
tScan
:
:extract_unsi
g
n
ed
:
turn int
o
a st
a
tic funct
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
scan
.
cc: cha
n
ge textual
o
rder of e
x
tract_u
n
signed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_check
_
co
d
e
.
c: use pet_expr_e
x
tra
c
t
_af
f
i
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
expor
t
p
e
t_
e
xp
r
_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_cont
e
x
t: no longer ke
e
p track of "u
n
known" va
l
ues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
pet_e
x
pr_e
x
tract_affine: no long
e
r
create new paramete
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
P
e
tSc
a
n::
e
xtract_sc
o
p
:
popula
t
e pet_context with
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
e
rdoo
l
aege
scan
.
cc: move up static
g
et_
a
rray
_
type functio
n
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
o
l
a
ege
PetScan::get_array_size:
c
ache results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ver
d
o
o
l
aege
PetScan::set_upper_bound
s
: extrac
t
out PetScan::get_ar
r
a
y_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ve
r
doolaege
pet_expr_is_
e
qual
:
c
o
mpare index expression
s
u
p to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
e
x
pr_extra
c
t_affine
:
expl
o
it domain
i
nformati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
add pet_co
n
text_get_
g
ist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2scop
.
c: sc
o
p_from_block: collect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_fr
o
m_pet_
t
ree:
e
xtract
pe
t
_scop from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
add functions fo
r
m
a
nipulating th
e
dom
a
in of a
p
et_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_restrict: also re
s
trict
virtual array ext
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet
_
co
n
tex
t
_
evaluate_expr: fi
r
st insert doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_check_code: re
m
ov
e
tracking o
f
ass
i
gnments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
drop pet_scop_de
t
ect_parameter_ac
c
ess
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_c
o
ntext_evaluate_expr: al
s
o plu
g
in
affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
separate
o
ut pet_context_eva
l
ua
t
e_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
drop
pet_c
o
ntext
_
mark_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extrac
t
_
s
cop: clear writes
a
t
outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
P
e
tS
c
an::extr
a
ct_scop: locally
construct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
PetScan::extract_scop: also add
all pet_
a
rrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet_expr_filter:
avoid introdu
c
tion o
f
co
n
straints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdool
a
ege
tr
e
e2scop
.
c: is_simple_bound:
handle higher di
m
ension
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
tree2scop
.
c: valid_for_each_iteratio
n
: han
d
le higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
tree2scop
.
c: add_impli
c
a
ti
o
n:
handle
h
i
ghe
r
dime
n
sional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
e
g
e
t
r
ee
2
scop
.
c: map_t
o
_previous: han
d
le
h
igher d
i
mensi
o
n
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree
2
scop
.
c: a
f
t
e
r: handle
h
igher dimensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_ext
r
act_nested_fro
m
_spa
c
e: add ex
t
ra dimensi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdo
o
laege
pet_ex
t
ract_n
e
sted_fr
o
m_
s
pa
c
e:
embed arguments in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add pet
_
expr_access
_
g
e
t
_
doma
i
n_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_expr_re
s
o
lve_
n
e
s
ted: allow specification o
f
d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c: handle
_
wr
i
te
s
: separa
t
e out
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
g
e
tree2scop
.
c:
handle_writes: rem
o
v
e r
e
d
un
d
ant pe
t
_
c
ont
e
xt_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
t
ree2scop
.
c: extract_k
i
ll:
allow
spe
c
ifi
c
ation of stat
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_scop_a
d
d_bool
e
an_arra
y
: al
l
ow specification of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip
_
info_*_extract*: pass along pet_contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_scop cons
t
ructor
s
: allow specification of d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: scop_f
r
om_{br
e
ak,continue
}
:
m
inor clea
n
-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2s
c
op
.
c: scop
_
from
_
{break,continue}: allow specification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
pet_crea
t
e_t
e
st_index: allow specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
p
e
t_stmt_f
r
o
m_pet_expr: a
l
low specific
a
tion of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
p
et_stmt_from
_
pet_exp
r
: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_stmt
_
fro
m
_pet_expr: ren
a
m
e
"
dim" variable to
"
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
l
aege
pet_c
o
ntext: keep track
of d
o
main set rather than d
o
ma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
add pe
t
_n
e
sted_remove_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
tree2s
c
o
p
.
c
:
scop_from_non_affine_if: drop pre
a
lloca
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c: s
c
op_
f
r
om
_
non_affine_if:
d
elay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
tree2
s
cop
.
c: scop_from_affi
n
e_for: d
e
l
a
y construc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
tr
e
e2
s
cop
.
c
:
scop_from_non_affine_
w
hi
l
e
: drop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tre
e
2s
c
o
p
.
c: s
c
op_fro
m
_non_a
f
fine_while: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2sco
p
.
c:
scop_from
_
infinite_loop: delay constr
u
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdool
a
eg
e
tree2scop
.
c: infinite_domain: delay interse
c
t
i
o
n
w
i
th
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: extr
a
ct out
s
hared a
p
ply_aff
i
ne_br
e
a
k
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
tree2sc
o
p
.
c:
s
cop_from_affine_for: remove preal
l
ocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c
: scop_from_affine
_
f
o
r: delay construct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tre
e
2scop
.
c
:
sco
p
_from_aff
i
ne_
f
o
r
: introduce is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
