allocate-with-value-flow-check ( cfg -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg.register-allocation continuations namespaces
;

IN: compiler.cfg.register-allocation.verifier

:: allocate-with-value-flow-check ( cfg -- )
    cfg snapshot-value-flow :> snapshot
    active-value-flow-snapshot get :> previous snapshot
    active-value-flow-snapshot set [
        cfg current-register-allocator allocate-cfg
        cfg snapshot check-value-flow
    ] [ previous active-value-flow-snapshot set ] finally ;