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: extract out pet_stmt_is_affine_assume and pet_stmt_assume_get_index
2014-03-31
Sven Verdoolaege
scop
.
c: ex
t
ract out pet_stmt_is_affine_assume and p
e
t_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_access
e
s: use
pet_expr_forea
c
h_
a
ccess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoo
l
aege
scop
.
c: stmt_
c
ol
l
ect
_
params: use pet_expr_
f
oreach_access_e
x
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep track of
i
n
de
n
tation of ext
r
acted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolae
g
e
u
p
date test case out
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract enu
m
constants as t
h
eir integer valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetS
c
a
n::extr
a
ct_
i
nt: se
p
arat
e
out extr
a
c
t
i
on from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
PetScan::extract_unsigned: turn into a static fun
c
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
scan
.
cc:
c
hange tex
t
ual order of
ext
r
act_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_check_c
o
de
.
c: us
e
pet_ex
p
r_extract_
a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
ex
p
ort pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_contex
t
:
n
o
long
e
r
keep
track of "
u
nknown" value
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_e
x
p
r
_extract_af
f
ine: no
longer
c
r
e
ate new param
e
ters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaeg
e
P
etScan::extract_scop: po
p
ula
t
e pet_con
t
ext with p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
s
c
an
.
cc:
move
u
p static get_array_type function
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
PetSca
n
::get_array_size: cache r
e
s
ults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oo
l
aege
PetScan::set_
u
pper_bou
n
d
s
: extract
out PetSc
a
n::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet
_
expr_is
_
equal: compa
r
e index
e
xpressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
pet_expr_extract_affine: e
x
ploit domain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
a
d
d pet_context_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
tree
2
scop
.
c: s
c
op_from_block: colle
c
t af
f
ine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_s
c
op_fro
m
_pet_tre
e
: extract pet_scop from t
h
e
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add functions for manipulating
the domain of
a
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
pet
_
scop_rest
r
ict: also restrict virtual array
extent
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_context_evaluate_exp
r
: firs
t
i
n
sert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
pet_
c
he
c
k_code: remove tracking of a
s
s
i
gnmen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pe
t
_
scop_detect
_
par
a
meter
_
acces
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_context_evaluate_expr
:
a
lso plug in af
f
ine exp
r
essi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
s
e
parate
out pet_
c
o
n
t
ext_evalua
t
e_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
drop pet_cont
e
xt_
m
a
r
k_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
Pe
t
Scan::extrac
t
_
sc
o
p: clear writes at outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetScan:
:
ext
r
act_scop: locally construc
t
pet
_
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetScan::extra
c
t_scop
:
a
lso add
all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_filter: avoid
i
ntro
d
uct
i
on
o
f constrain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
d
o
olaege
tree2s
c
op
.
c:
is_
s
imple_bo
u
n
d
: handle higher dimensi
o
na
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laeg
e
tree2scop
.
c
:
valid_for_each_iteration: handl
e
higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
t
ree2scop
.
c: add_implicatio
n
: handle highe
r
d
i
mensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doola
e
ge
t
r
ee2sco
p
.
c:
m
ap
_
to_
p
revious: handl
e
higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
r
e
e
2scop
.
c: after: ha
n
d
le
higher dimensional
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_extract_nested_from_space:
a
dd e
x
t
r
a
dimens
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extr
a
c
t_n
e
sted_from_space: e
m
be
d
a
r
gument
s
in
g
iven
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoo
l
a
e
ge
add p
e
t_e
x
p
r
_access_g
e
t_do
m
ain_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
e
x
pr
_
resolve
_
n
ested: allow
specific
a
tion of
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2sco
p
.
c
:
handle_writes:
separate o
u
t handlin
g
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c:
handle_
w
r
i
te
s
: remove redu
n
dant pet_context
_
mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e
2
scop
.
c: e
x
tract_k
i
ll:
allow speci
f
i
cation of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_sco
p
_
a
dd_boolean
_
array: allow spec
i
f
i
cati
o
n
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_skip_info_*_
e
x
tract*: pa
s
s along pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
s
c
op co
n
structors:
allow specificatio
n
o
f
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c: scop_
f
rom_{break,conti
n
ue}:
m
inor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
t
ree2scop
.
c: scop_fro
m
_{break,con
t
inue}: al
l
o
w
sp
e
cification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
cre
a
t
e
_
t
e
s
t
_index: allow specification
o
f domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
pet_s
t
mt_from_pet_expr
:
allow spec
i
ficatio
n
of statem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
eg
e
pet_stm
t
_from_pet_expr: minor clean
-
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet
_
st
m
t_
f
rom_pet_expr: rename "dim" va
r
iable to
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
pet_con
t
ext: keep track of do
m
ain
set
r
ather than doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
add p
e
t_nested_rem
o
ve
_
f
rom_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_non_affine_if: drop pr
e
a
l
location
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2sc
o
p
.
c
: scop_
f
rom
_
non_a
f
fine_if: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: scop_fr
o
m_affine_for:
de
l
ay co
n
struction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
tre
e
2scop
.
c: scop_from
_
non_aff
i
ne_while
:
drop p
r
eall
o
cation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2sco
p
.
c: scop_f
r
om_non_affine_while: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c
: scop_from
_
infini
t
e_loop: de
l
ay constructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2scop
.
c: infinite_domain:
d
ela
y
in
t
ersecti
o
n
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c
:
extract out shared
a
p
p
ly_a
f
fine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c
: scop_f
r
om_
a
f
fi
n
e_for: remove preallocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2sc
o
p
.
c
:
scop_fro
m
_a
f
fine_for: de
l
ay constr
u
c
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoo
l
aege
tree2scop
.
c: scop_from_affin
e
_
for: introd
u
ce
i
s_
n
on_affin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
tree2s
c
o
p
.
c
: scop_from_aff
i
ne_fo
r
:
delay intersect
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet
_
sco
p
_int
e
r
sect_doma
i
n_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
add pet_p
r
efix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
s
c
o
p
.
c: extent_is_virtual_array: check for membe
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
pet_a
r
ray_e
m
bed: separate out extent_is
_
v
irtual_
a
rra
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
d
r
op pet_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee
2
s
c
op
.
c: is_nested
_
allowed: take tree
in
s
tead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
pet_skip_info_*_extract*: pass struct pet_sta
t
e instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
move ext
r
act
i
on of pet_scop
f
r
o
m pet_tree to separ
a
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoola
e
ge
construct pet_scop fr
o
m intermediate pet_
t
re
e
data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdo
o
laege
add pet_context
_
clear_writes_in_{expr
,
tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
introduce pet_tree objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaeg
e
move PetSca
n
::extract
_
w
hile be
f
ore its firs
t
us
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
move PetScan::i
s
_
neste
d
_allowed b
e
fo
r
e i
t
s first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verd
o
olaege
move PetScan::ext
r
act_non_aff
i
ne_condition befo
r
e its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetS
c
an: dr
o
p allow_n
e
s
t
ed attribu
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
introduce pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
mo
v
e
pet_scop_ex
t
ract_n
e
sted to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
erdo
o
lae
g
e
move pet_expr_e
x
tract_nested to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
PetScan
:
:ex
t
ract_for: use
pet_expr_ext
r
act_c
o
mparison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan
:
:scan(
F
unctionDecl *): construct
a
pet_context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
remove Pet
S
can:
:
try
_
extract_a
f
fine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdo
o
laege
PetScan::set_upper_
b
o
u
nds:
c
onver
t
array bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
scan
.
cc: u
p
d
a
te_si
z
e: ha
n
d
l
e NULL
i
npu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan:
:
extra
c
t_affine(const llvm::API
n
t &): ex
t
ract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pos
t
p
o
n
e t
h
e
de
t
ectio
n
o
f
affine assumptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
e
x
tra
c
t
o
u
t pe
t
_ex
p
r_is_a
s
sume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdo
o
l
a
ege
Pe
t
Scan::extract_access_exp
r
: delay plugging in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
P
e
tS
c
an::extract
_
a
ff
i
ne(Exp
r
*): stop taking into
accoun
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetS
c
an::ex
t
ract_access_expr: construct access expressi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
PetSc
a
n::resol
v
e_nested
:
hand
l
e self
d
epe
n
dences i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
er
d
oolaege
PetScan
:
:res
o
lve_nest
e
d: ha
n
dle pres
e
nce of arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next