value-flow-clobber ( state -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

state

an object

Outputs

None

Definition

USING: assocs kernel sequences ;

IN: compiler.cfg.register-allocation.verifier

:: value-flow-clobber ( state -- )
    state keys [ first "spill" = not ] filter
    [ state delete-at ] each ;