Handbook
Glossary
end-local-analysis ( basic-block -- )
Local stack analysis
Prev:
begin-local-analysis ( basic-block -- )
Next:
local-peek-set
Vocabulary
compiler
.
cfg
.
stacks
.
local
Inputs
basic-block
a
basic-block
Outputs
None
Word description
Called to end the local analysis of a block. The word fills in the blocks slots
replaces
,
peeks
and
kills
with what the blocks replaces, peeks and kill locations are.
Definition
USING:
accessors
assocs
hash-sets
kernel
namespaces
;
IN:
compiler.cfg.stacks.local
:
end-local-analysis
( basic-block -- )
replaces
get
remove-redundant-replaces
over
kill-block?>>
[
[
height-state
get
emit-insns
]
keep
]
unless
keys
>hash-set
>>replaces
local-peek-set
get
>>peeks
height-state
get
compute-local-kill-set
>>kills
drop
;