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
generalize compute_to_inner to support pet_scop_compute_outer_to_inner
2014-06-20
Sven
Ver
d
oolaeg
e
generalize comp
u
te_to_
i
nner to
s
u
pport pet_scop_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
scop
.
c
:
compute_
t
o_inner: micro-opt
i
m
i
zation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdoolaege
tree2scop
.
c
:
is_nested
_
a
llowed: do not allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven
V
erdoolaege
P
e
tSc
a
n::set_upper_bounds: use
d
eclar
e
d size of st
a
t
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoola
e
ge
s
c
o
p
.
c
: rest
r
ict_skip: updat
e
d
ocumentation to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verd
o
ola
e
ge
tre
e
2scop
.
c:
scop_add_inc:
t
ake
into
ac
c
ount affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoolae
g
e
tree2sc
o
p
.
c: mov
e
up apply_affine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Ve
r
doolaege
tree2s
c
op
.
c
: scop_from_non_affine_whi
l
e: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n
Verdoolaege
pet
0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolae
g
e
update
isl
t
o version 0
.
1
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
v
en
Verd
o
o
l
aege
R
E
A
DME
:
update L
L
VM/clan
g
installation
i
nstructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolae
g
e
interface/extract_inte
r
face
.
cc:
expl
i
citly incl
u
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aege
update for c
h
ange in
a
rgu
m
ents of CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Verdoolaege
pet
.
cc: add space between literal and i
d
entifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolae
g
e
update isl for support f
o
r
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
ege
pet
_
stmt_from_pe
t
_tree: avo
i
d free of uninitializ
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
v
e
n Ver
d
oolaege
scan
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolae
g
e
pet_scop_from_pet_stmt: do not extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoo
l
aege
PetScan
:
:extract_argument: handle pa
s
s
i
ng of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoolaege
Makefile
.
am: a
d
d du
m
m
y
C++ sour
c
e
f
ile to p
e
t_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Ve
r
doolaege
handle
penc
i
l indepe
n
d
e
nt
p
r
a
g
mas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
PetScan: keep tra
c
k of line number of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc: extract
o
ut PetASTCon
s
umer::add_p
r
agma_h
a
ndlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
r
dool
a
ege
add encapsu
l
ate_dynamic_con
t
rol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
pet_scop_from_pet_t
r
ee:
create statement
s
di
r
e
ctly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
replace pet
_
stmt_from_p
e
t_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_stmt: use
pet_tree
to
represent state
m
ent body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: e
x
t
r
act
o
ut pet_stmt_is
_
aff
i
ne_assume
a
nd pet_
s
tmt
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoo
l
ae
g
e
scop
.
c: stmt_c
o
llec
t
_
accesses: use pe
t
_expr_foreach_a
c
ces
s
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_colle
c
t_params: use pet_ex
p
r_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
e
ge
keep track o
f
i
n
dentation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
update test c
a
se o
u
tputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
extract
enum
c
o
n
stan
t
s as th
e
i
r
integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tSc
a
n::extrac
t
_int
:
separate out ex
t
r
a
ction f
r
om
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
PetSc
a
n::extract_unsigned: turn into a static
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc:
c
hange t
e
x
tua
l
o
r
der of extract_un
s
ig
n
ed a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
c
h
eck_cod
e
.
c
: use pet
_
expr_ext
r
act_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export
p
et_expr_ext
r
act_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
context: n
o
longer keep tra
c
k
of "un
k
nown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
l
aege
pet_expr_extract_affi
n
e: n
o
longer create
n
ew pa
r
a
meters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetSca
n
::extract_scop: popul
a
te pet
_
contex
t
with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
lae
g
e
scan
.
c
c
: mo
v
e up static
get_
a
rra
y
_type function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
P
etScan::
g
et_array_
s
ize: cache results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
Pe
t
S
can::
s
et_upper_bounds: extract out PetScan::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_ex
p
r
_
i
s_
e
q
ual: compare index
exp
r
essi
o
ns up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t
_expr_extract_af
f
ine: exploit domain information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaeg
e
add pet
_
context_ge
t
_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
aege
tree2s
c
op
.
c: scop
_
from_blo
c
k: c
o
llect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
pe
t
_scop_from_pet_t
r
e
e: extract pet_scop
f
rom the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
er
d
oo
l
ae
g
e
add functions for
man
i
pulating the
domain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
pet_s
c
op_restrict: also restrict vir
t
ual array
ext
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoola
e
ge
p
e
t
_
c
o
ntext
_
ev
a
luate_expr: first i
n
sert doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolae
g
e
pet_che
c
k_cod
e
: remove
t
racking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
drop
pe
t
_
scop
_
detect_pa
r
ameter_acce
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
p
et_context_eval
u
ate_expr: also pl
u
g in
affine e
x
pressio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
g
e
separat
e
out pet_context_e
v
alua
t
e
_
e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
drop pet_c
o
ntext_ma
r
k_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
PetSca
n
::extra
c
t_scop: clear
w
rites at outer l
e
vel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan:
:
ex
t
r
a
c
t
_sc
o
p: locally constru
c
t p
e
t_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
PetScan::ext
r
act_sco
p
: also add all pet_arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
p
et_expr_filter: avo
i
d introd
u
c
tion
of
c
o
nst
r
aint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
tree2scop
.
c: is_simple_bound: handle higher dimens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
tree2scop
.
c:
v
a
lid_
f
or_e
a
ch_it
e
ratio
n
: handle higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
ree
2
s
cop
.
c: add_im
p
lication: handle higher dime
n
s
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolae
g
e
tree2scop
.
c
: map_to_pre
v
ious: handle h
i
gher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tre
e
2
s
c
o
p
.
c
: after:
handle higher
d
imens
i
onal domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
pet_extract
_
nested
_
fr
o
m_space: add extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
pe
t
_extract_
n
e
s
t
ed_from_space: em
b
ed argu
m
ent
s
i
n given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
add pet_
e
xpr_
a
ccess_g
e
t_do
m
ain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_expr
_
resolve_nested: al
l
ow specification of dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree
2
s
c
op
.
c: handl
e
_
writes: separate out h
a
ndling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tre
e
2scop
.
c:
h
andle_wri
t
es: re
m
ove redundant pet_context_m
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: extract
_
kill:
a
llow spec
i
f
i
cat
i
on
of sta
t
eme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_sc
o
p_add
_
boolean_arr
a
y
:
allow specification
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
o
olaege
pet_
s
kip_info
_
*_extract*: pas
s
a
long pet_contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pe
t
_scop
co
n
s
tructors: all
o
w speci
f
icat
i
on of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
t
r
ee2scop
.
c: scop
_
f
rom_
{
break,continue}:
m
in
o
r clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doola
e
ge
t
ree2
s
cop
.
c: scop
_
from_{break,continue}: allow specification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_create_test_index: allow spe
c
ificat
i
on of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaeg
e
p
et_stmt_from_pet_ex
p
r: allow sp
e
cification of
state
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_stm
t
_from_pet_expr: min
o
r c
l
ean
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_stmt_
f
ro
m
_pet
_
exp
r
: rena
m
e "d
i
m" varia
b
l
e to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context: keep track of dom
a
in set
r
ather than
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
add pe
t
_n
e
sted_remove_from_s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2scop
.
c:
scop
_
from_non_
a
ffine_if: drop prea
l
loc
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
s
co
p
.
c: scop_from_non
_
a
f
fine_i
f
: delay const
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2scop
.
c: sc
o
p_
f
rom_affine_for: delay constructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
tree2scop
.
c: scop_from_non_affine_w
h
i
l
e: drop
p
realloc
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: scop_from_non_affin
e
_while: delay const
r
uct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
do
o
laege
tree2
s
cop
.
c: scop_fr
o
m_infinite_loop: delay
c
onstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
tree2sc
o
p
.
c: infinite
_
d
o
mai
n
: delay intersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
tree2sc
o
p
.
c
:
ext
r
act o
u
t
shared appl
y
_affine_b
r
eak
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c: s
c
op
_
from_affine_for
:
r
emove prealloc
a
tio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2s
c
op
.
c: scop_from
_
affine_
f
or:
dela
y
construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: scop_
f
r
om_a
f
f
ine_for: introduce is
_
n
o
n_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c:
s
cop_from_affine
_
f
or: delay intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
l
aege
a
d
d pet_scop_int
e
rsect_domain_pr
e
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
add pet_prefix_pro
j
ection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
o
laege
scop
.
c: extent_is_virt
u
al_arr
a
y
: c
h
eck for members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_arr
a
y_embed:
separate o
u
t extent_is_vir
t
ual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next