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
pet_check_code.c: use pet_expr_extract_affine
2014-03-25
Sven Ve
r
doolaege
pet_check_co
d
e
.
c: use pe
t
_expr
_
ext
r
act_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
export pet_e
x
pr_
e
xtract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
pet_c
o
nte
x
t: no longer kee
p
t
rack of "unknown"
va
l
ues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_expr_extract_affi
n
e: no longer create n
e
w
p
a
rameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::extract
_
scop:
p
opulate pet_context with paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
l
a
ege
s
c
a
n
.
cc: move up static get
_
arr
a
y_type function i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::get_ar
r
ay_siz
e
: cach
e
resul
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetS
c
a
n
::s
e
t
_upper_bo
u
nds: e
x
tract out P
e
tScan::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
pet_exp
r
_is_
e
qual: compare index exp
r
es
s
ions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_
e
xpr
_
extract_affine: exploit doma
i
n informa
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
add pet_cont
e
xt
_
g
et_gist
_
doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
tre
e
2
s
c
op
.
c
:
s
c
op_f
r
o
m_block: col
l
ect
a
f
f
ine continu
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_scop
_
f
rom_pet_tree: extract pet_scop from the roo
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
add func
t
ions for ma
n
ipulating th
e
domain of
a
pe
t
_conte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doola
e
ge
pet_scop_restric
t
: al
s
o r
e
strict vi
r
tual arra
y
exten
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
lae
g
e
pet_context
_
evalu
a
te_expr:
first inse
r
t do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet
_
check_code:
r
emove
trac
k
ing of assignmen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
drop
p
et
_
scop_detect_parameter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_co
n
t
e
xt_evaluate_expr: also plug in affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
separ
a
t
e out pet_contex
t
_
e
valuate_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
drop pet
_
context_mark
_
a
s
sig
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetSca
n
:
:
extr
a
ct_scop: clear writes
a
t
o
uter level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan
:
:extract_scop: loca
l
ly c
o
nstruct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
PetScan::extract_scop
:
a
l
s
o add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_expr_filter: avoid i
n
troduct
i
on of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c:
is_sim
p
l
e_bou
n
d: handle highe
r
d
i
mensi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
tree2scop
.
c: valid
_
f
o
r
_each_iteration: handle
hig
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
t
ree2scop
.
c: a
d
d_impl
i
cation: ha
n
d
le hi
g
her dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
t
r
e
e
2scop
.
c: map_to_pr
e
v
iou
s
: h
a
ndle
higher dimension
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree
2
scop
.
c: aft
e
r: handle h
i
gher dimensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doo
l
ae
g
e
pet
_
extract_nested_from_space
:
add extra dim
e
nsions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
extract_neste
d
_from_s
p
ace
:
embed
a
rgume
n
ts in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
add pet
_
expr_access_get_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoola
e
ge
pet_
e
xpr_resolve_nested: allow specificatio
n
o
f
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
t
ree2scop
.
c: h
a
ndle_
w
rites: separ
a
te out h
a
ndling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
tree2sco
p
.
c:
handle_writes: remo
v
e redu
n
dant pet_context_m
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
ge
tree2scop
.
c
: extract_kill:
al
l
ow specification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aeg
e
pet_scop_add_b
o
ole
a
n_array: allow specification
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
p
et_skip_info_*_extract*
:
pass along pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
pet_sco
p
constructors
:
allow spe
c
ifi
c
ation of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolae
g
e
tree2s
c
op
.
c:
s
cop
_
from_{break,con
t
inue}:
m
ino
r
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_{break,continue}: allow specification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_create_test_index: a
l
low specifi
c
ation of d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_stmt_
f
ro
m
_pet_expr: allow sp
e
cification of
s
t
atement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_stmt
_
from_p
e
t_expr: m
i
nor c
l
e
a
n-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
ool
a
ege
pet_stmt_from_pet
_
expr: ren
a
me "dim"
v
ariable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context: ke
e
p trac
k
of d
o
ma
i
n se
t
rather than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
add pet_
n
est
e
d_r
e
mo
v
e_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoola
e
g
e
t
r
ee
2
sc
o
p
.
c: sco
p
_from_non
_
affin
e
_i
f
: drop pr
e
al
l
oc
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
l
aege
tree2scop
.
c:
s
cop_
f
rom_
n
on_affine_if: delay constr
u
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
tr
e
e2s
c
op
.
c: scop_from_affi
n
e_f
o
r
:
delay constructio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
tree2scop
.
c
:
sc
o
p_f
r
om_no
n
_affine_while: dro
p
p
r
eallocat
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
tree
2
s
cop
.
c
:
scop_from_
n
on_affine_while: de
l
ay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
tree
2
scop
.
c
: scop_from_inf
i
nite_loop: delay const
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c: i
n
finite_
d
o
m
ain:
d
el
a
y inte
r
section with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
t
r
ee2scop
.
c: ext
r
act out shared a
p
p
ly_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdool
a
ege
t
ree2scop
.
c
:
s
c
op_fr
o
m_a
f
fi
n
e_
f
or: remo
v
e
prea
l
location
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sc
o
p_
f
rom_affine_for: de
l
ay const
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: s
c
op_from_a
f
fine_for:
i
n
t
roduce is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoo
l
aege
tree2
s
cop
.
c: scop_from_affine_for: delay
i
ntersecti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
add p
e
t_s
c
op_intersect_doma
i
n_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
add
pet_
p
re
f
ix_projection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
scop
.
c: ext
e
nt_i
s
_vi
r
tual_arra
y
:
c
heck for members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
p
e
t
_
array_emb
e
d: separat
e
out e
x
tent_is_virt
u
al_ar
r
ay
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
drop pet_sco
p
_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
tree2scop
.
c: is_nested_
a
l
l
o
w
ed: t
a
k
e tree inste
a
d
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
p
e
t_skip
_
info_*_extract*: p
a
s
s
struct pet_state
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoo
l
ae
g
e
move extraction of pet
_
sc
o
p from pe
t
_t
r
ee to sepa
r
ate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaeg
e
construct
p
et_sco
p
from inter
m
ed
i
ate pet_tree data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
dool
a
ege
add pet_co
n
t
e
xt_c
l
ear
_
w
r
ites_i
n
_{expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
r
doolaege
intr
o
duce pet
_
t
r
ee objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
mov
e
PetSc
a
n::extrac
t
_while b
e
fore its f
i
rst use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
move Pe
t
Scan::is_nested_allowed before its
f
irst use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoola
e
ge
mo
v
e
PetScan::ext
r
act_
n
on_affine_condition
b
efore
i
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
Pe
t
Scan: drop allow_nested a
t
tribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
i
n
troduce
p
e
t
_
loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
doolaege
move pet_scop_extract
_
ne
s
ted to ne
s
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
move pe
t
_ex
p
r_extra
c
t_
n
ested to n
e
st
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
Pe
t
S
can::ext
r
a
ct_f
o
r:
u
se pet_expr_ex
t
ract_com
p
arison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
P
etScan::sc
a
n(FunctionDecl *):
c
on
s
t
ruct
a pet_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
r
e
move PetSc
a
n::try_extrac
t
_
a
ffine_conditi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
t
Scan::set_up
p
e
r
_boun
d
s
:
conve
r
t array bounds to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdoo
l
aege
scan
.
cc: u
p
date_size: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::ex
t
ra
c
t_affine(const ll
v
m::APInt &):
extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
postpone the de
t
e
c
tion of aff
i
ne assumptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdoolaege
extract out pet_expr_is
_
assume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoola
e
g
e
Pe
t
Scan::ext
r
act_ac
c
ess_exp
r
: delay plugging in th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
a
ege
PetSc
a
n
:
:
extract_affine(E
x
pr
*
)
:
s
t
op takin
g
into
a
ccount
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
o
o
laege
PetScan::e
x
tract_access_expr: cons
t
ruct
a
ccess expre
s
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::resolve_nested: h
a
n
dle sel
f
d
epe
n
dence
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ve
r
doolae
g
e
PetScan::resolve_ne
s
ted: han
d
l
e presen
c
e of
a
r
g
ume
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
add
funct
i
o
ns
f
or man
i
pulatin
g
expression ar
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
add pe
t
_expr_access_pullback_m
u
lti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdo
o
laege
sep
a
rate out arra
y
inde
x
manipul
a
tion functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoo
l
a
ege
PetScan::extr
a
ct_condi
t
ional_assignment: extra
c
t write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
PetSc
a
n
::ma
r
k_write:
t
u
rn in
t
o
a
s
tatic f
u
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
g
e
post
p
one clearing
as
s
igne
d
values
u
ntil the poi
n
t w
h
ere
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
p
ostpo
n
e
h
andling of assignme
n
ts until the
point wher
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
PetScan:
:
ass
i
gn: take pet_expr as i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoolaege
P
etSc
a
n::
e
xtract_expr(Condit
i
onalO
p
e
rator *): pr
e
serve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next