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
expr.c: access_add_ref_id: avoid using access relation
2014-06-20
S
v
en Verdo
o
l
aege
e
x
pr
.
c: access_
a
dd_ref_id: a
v
oi
d
u
sing a
c
cess relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c:
a
ccess_col
l
ec
t
_params:
a
void using acce
s
s
r
elat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
V
erd
o
olaege
scop
.
c
: implies_
f
ilter: avoid using access relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
eg
e
scop
.
c: a
c
cess_extract_context: avo
i
d using acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c: exp
r
_extract
_
c
o
ntext: av
o
i
d usin
g
access
relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: extract o
u
t s
h
ared drop_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
p
e
t_expr_
a
c
c
ess_upd
a
te_d
o
main: m
i
nor c
l
ean-u
p
of expressi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
o
olaege
further genera
l
ize c
o
m
p
u
te_to_inner
to
support pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
g
e
n
e
ralize compute_to_inne
r
t
o
s
u
p
p
ort pet_scop_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
s
c
op
.
c: compute_to_inner:
m
i
c
ro-opt
i
m
i
zation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n Verdoolaege
tr
e
e2scop
.
c: is_nested_al
l
o
wed
:
do not allow nes
t
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sve
n
V
e
rdoolaege
PetScan::set_upper_bounds: use declared size of sta
t
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
e
n Ver
d
oolaege
sco
p
.
c
: r
e
s
t
rict_skip: u
p
date docum
e
ntat
i
on
t
o chang
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
l
aege
tree2sco
p
.
c: scop_add
_
inc: take into ac
c
ount affi
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdo
o
laege
tree2scop
.
c: move
u
p a
p
ply
_
affine_cont
i
nue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
r
doola
e
ge
t
r
ee2scop
.
c: scop_from
_
non_affine_whil
e
: ex
t
ract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdool
a
e
g
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n
Ve
r
doola
e
ge
update
isl
t
o v
e
rsion
0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
READM
E
: update LLVM/clang installation instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
interface/extra
c
t_int
e
rfac
e
.
cc: explicitly
i
ncl
u
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
update
f
or change
i
n arg
u
ment
s
o
f
CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Ve
r
doo
l
a
e
g
e
p
et
.
c
c
: add space
between literal and i
d
entif
i
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
upd
a
te isl
for
s
u
p
port
f
or recent c
l
an
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
dool
a
ege
pet_stmt_from_
p
et_tree:
a
void free
of u
n
ini
t
ia
l
i
zed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven
V
erdoolaege
scan
.
cc: fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaege
p
et
_
scop_from
_
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 V
e
rdool
a
ege
PetScan:
:
extrac
t
_argu
m
ent
:
h
andle passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ve
n
Verdoo
l
ae
g
e
Makefile
.
am: add dummy C++ source file
t
o
p
e
t_sc
o
p_c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdoolaege
handle pencil
i
n
d
ep
e
ndent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdo
o
laege
PetSc
a
n
:
keep
t
rack
of
l
ine num
b
er of current S
t
mt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaeg
e
pe
t
.
cc: extrac
t
out PetA
S
TConsumer::add_pragm
a
_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
add enca
p
sulate_
d
ynamic_c
o
ntrol optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
pet_scop_f
r
o
m
_p
e
t
_
tree: create statem
e
nts directl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
repl
a
ce pet_stm
t
_from_pet_exp
r
by p
e
t_s
t
mt_
f
rom_pet_
t
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdo
o
laege
pet
_
st
m
t: use p
e
t_t
r
ee to represen
t
s
tatement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
scop
.
c: ext
r
a
c
t out pet_stmt_
i
s_affine_a
s
sume
a
n
d pet_stmt_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c:
s
tmt_collect_acce
s
ses
:
use pet_expr_foreach_
a
ccess_e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
scop
.
c
:
stmt_collec
t
_
p
arams: use pe
t
_expr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ve
r
doo
l
a
e
ge
k
e
ep
t
r
a
ck of ind
e
ntation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolae
g
e
updat
e
t
est case outp
u
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
extract enum
c
o
nstants as th
e
ir integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
PetScan::extra
c
t
_i
n
t
:
separ
a
te o
u
t extraction f
r
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetScan::extrac
t
_unsigned: turn into
a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
scan
.
cc: change t
e
xtual order of ext
r
act_u
n
signed
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdool
a
ege
p
et_check_code
.
c: use pet_exp
r
_
e
xtr
a
ct_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
exp
o
rt pet_expr_extract
_
a
f
fine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_cont
e
xt: no long
e
r keep
t
rack of "unkn
o
wn" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoola
e
ge
pe
t
_expr_extract
_
affine: no l
o
nger crea
t
e
n
ew p
a
r
a
m
e
t
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
PetS
c
an::extract_
s
c
op
:
popul
a
te
p
et_context with
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
s
can
.
cc: move up static g
e
t_array_ty
p
e f
u
n
c
tion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
PetScan::
g
et_
a
r
ray_
s
i
z
e: cach
e
results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
PetScan::set
_
upper_bounds: extract
out PetScan::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ex
p
r_is_e
q
ual: compare
index expressions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_expr_extract
_
a
f
fine:
e
xploit d
o
main informati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
a
d
d pet_context_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
t
r
ee2scop
.
c: scop_from_block
:
co
l
l
e
ct af
f
in
e
conti
n
ue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
pet_scop_from_pet_tree
:
extract pet_scop from th
e
r
oot
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
add functi
o
ns
for m
a
n
i
pulati
n
g the domain of a pet_cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet
_
sc
o
p_restr
i
ct: also restrict virtual array exten
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
g
e
pet_context_evaluat
e
_e
x
pr
:
first insert
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
pet_c
h
eck_code:
r
e
move tr
a
cking
o
f
assignm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_scop
_
detect_par
a
meter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
pet_context_evaluate_exp
r
: also plu
g
in affine e
x
p
r
e
s
sio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
sep
a
rate out
p
et_context_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
d
r
op pet_
c
ontext_mark
_
assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
PetScan::extract_scop: clear writ
e
s
a
t
outer l
e
v
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::ex
t
ract_scop:
locall
y
constru
c
t
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
PetS
c
an::ext
r
act_scop: also
a
d
d a
l
l p
e
t_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_filter: avo
i
d introduction of
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: is_si
m
p
le_bound: handle higher
dimen
s
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c: valid_f
o
r_
e
ach_iter
a
tion: ha
n
dle higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c: add_impl
i
ca
t
ion: handle
hi
g
h
e
r dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c:
m
ap_to_pr
e
vious
:
han
d
le higher di
m
ension
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
tree2
s
c
op
.
c: after: handl
e
higher d
i
men
s
io
n
al do
m
ain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
p
e
t_
e
xtract_nested_from_
s
pac
e
: ad
d
extr
a
dimen
s
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ex
t
ract
_
ne
s
ted_from_spa
c
e: emb
e
d arguments in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
add p
e
t
_expr
_
access_
g
e
t
_doma
i
n_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_expr_resolve
_
nested: allow
specification
o
f d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
t
r
ee2scop
.
c: handle_writes: separate out
handling o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c: han
d
l
e_write
s
: remove red
u
ndant
pet_context_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tr
e
e2scop
.
c
: extract_kill:
a
llow specification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
p
et_scop_
a
d
d
_boo
l
ean_ar
r
a
y
: allow specifica
t
ion
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoo
l
aege
p
e
t_skip_info_*_
e
xt
r
act*: pass along p
e
t
_co
n
tex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_s
c
op constr
u
ctors: allow specificatio
n
of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoola
e
ge
tre
e
2sco
p
.
c: scop
_
from_{break,continue}: m
i
nor c
l
ea
n
-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2s
c
op
.
c: sc
o
p_f
r
o
m
_
{
brea
k
,
contin
u
e
}: allow specificat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
o
l
a
ege
pet_create
_
test_ind
e
x
:
allow
s
pecificati
o
n of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_s
t
mt_fro
m
_pet_expr
:
allow specificat
i
on of statemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_fr
o
m_pet_expr: min
o
r clean-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doo
l
aege
pet_stmt_from_pet_expr:
re
n
ame "dim" vari
a
ble to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
p
et_context: keep track of d
o
main set rath
e
r than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
add pe
t
_nested_r
e
mo
v
e_from_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
aege
tree2scop
.
c
:
scop_from_non_aff
i
ne_if: drop prealloca
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
tree2
s
c
o
p
.
c
:
sc
o
p_from_non_affine
_
if:
de
l
ay con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c: scop_fro
m
_a
f
f
i
ne
_
f
o
r: delay const
r
u
ct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: scop_from_non_affine_w
h
i
l
e: drop
p
r
eallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2s
c
op
.
c: scop_from
_
non_aff
i
ne_while: delay c
o
n
struction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2sc
o
p
.
c: s
c
op_from_infinite_l
o
op:
d
elay construct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
o
olae
g
e
tree2s
c
o
p
.
c
:
in
f
inite_domain: d
e
l
a
y interse
c
tion with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
tr
e
e2scop
.
c: extract out sha
r
ed apply_affine_b
r
ea
k
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
