forget-value-flow-temps ( insn expected state -- )


Vocabulary
compiler.cfg.register-allocation.verifier

Inputs
insnan object
expectedan object
statean object


Outputs
None

Definition
USING: accessors compiler.cfg.def-use sequences ;

IN: compiler.cfg.register-allocation.verifier

:: forget-value-flow-temps ( insn expected state -- )
insn temp-vregs expected temps>> [| location operand |
{ } location operand rep>> state value-flow-write
] 2each ;