Handbook
Glossary
value-flow-root ( value aliases -- root )
Vocabulary
compiler
.
cfg
.
register-allocation
.
verifier
Inputs
value
an
object
aliases
an
object
Outputs
root
an
object
Definition
USING:
assocs
kernel
;
IN:
compiler.cfg.register-allocation.verifier
::
value-flow-root
( value aliases -- root )
value aliases
at
[
aliases
value-flow-root
]
[
value
]
if*
;