check-value-flow-temps ( insn expected -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

insn	an object
expected	an object

Outputs

None

Definition

USING: accessors compiler.cfg.def-use compiler.cfg.instructions
kernel sequences sets ;

IN: compiler.cfg.register-allocation.verifier

:: check-value-flow-temps ( insn expected -- )
    insn uses-vregs expected inputs>>
    [ rep>> value-flow-locations ] 2map
    concat insn defs-vregs expected outputs>>
    [ rep>> value-flow-locations ] 2map concat append
    :> operands insn temp-vregs expected temps>>
    [ rep>> value-flow-locations ] 2map
    concat :> temps insn temp-vregs [ spill-slot? ] any?
    not temps all-unique? and temps operands intersect
    empty? and [ ] [ insn invalid-allocation-temporary ] if ;