check-value-flow-inputs ( 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 compiler.cfg.def-use kernel sequences ;

IN: compiler.cfg.register-allocation.verifier

:: check-value-flow-inputs
    ( insn expected state snapshot -- )
    insn uses-vregs length expected inputs>> length =
    insn defs-vregs length expected outputs>> length = and
    insn temp-vregs length expected temps>> length = and
    [ ] [ insn invalid-allocation-operands ] if
    insn uses-vregs expected inputs>> [| location operand |
        location operand rep>> state value-flow-read
        :> available operand snapshot value-flow-token
        available member?
        [ ]
        [ insn operand location available bad-allocation-value ]
        if
    ] 2each ;