transfer-value-flow-block ( bb state snapshot checking? -- state' )


Vocabulary
compiler.cfg.register-allocation.verifier

Inputs
bban object
statean object
snapshotan object
checking?an object


Outputs
state'an object


Definition
USING: accessors kernel sequences ;

IN: compiler.cfg.register-allocation.verifier

:: transfer-value-flow-block
( bb state snapshot checking? -- state' )
state clone :> result bb instructions>>
[ result snapshot checking? transfer-value-flow-insn ] each
result ;