value-flow-write ( values location rep state -- )


Vocabulary
compiler.cfg.register-allocation.verifier

Inputs
valuesan object
locationan object
repan object
statean object


Outputs
None

Definition
USING: assocs kernel sequences ;

IN: compiler.cfg.register-allocation.verifier

:: value-flow-write ( values location rep state -- )
location rep value-flow-locations
[ values swap state set-at ] each ;