define-value-flow-outputs ( insn expected state snapshot -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

insn	an object
expected	an object
state	an object
snapshot	an object

Outputs

None

Definition

USING: accessors arrays compiler.cfg.def-use kernel math
sequences ;

IN: compiler.cfg.register-allocation.verifier

:: define-value-flow-outputs
    ( insn expected state snapshot -- )
    expected outputs>> [ snapshot value-flow-token ] map
    :> values expected constant>> integer?
    [ ] [ values state value-flow-forget ] if
    insn defs-vregs expected outputs>> [| location operand |
        operand snapshot value-flow-token
        1array location operand rep>> state value-flow-write
    ] 2each ;