check-validation-insn-bank ( insn expected registers -- )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

insn	an object
expected	an object
registers	an object

Outputs

None

Definition

USING: accessors compiler.cfg.def-use compiler.cfg.instructions
compiler.cfg.register-allocation.verifier kernel sequences ;

IN: compiler.cfg.register-allocation.validation

:: check-validation-insn-bank ( insn expected registers -- )
    insn uses-vregs expected inputs>>
    [ rep>> registers check-validation-location ] 2each
    insn defs-vregs expected outputs>>
    [ rep>> registers check-validation-location ] 2each
    insn temp-vregs expected temps>> [| location operand |
        location spill-slot?
        [ insn invalid-allocation-temporary ] when
        location operand rep>> registers
        check-validation-location
    ] 2each ;