assign-backtracking-registers ( cfg intervals -- )

Vocabulary

compiler.cfg.register-allocation.backtracking

Inputs

cfg	an object
intervals	an object

Outputs

None

Definition

USING: assocs compiler.cfg.register-allocation.ssa.phases
continuations kernel namespaces ;

IN: compiler.cfg.register-allocation.backtracking

:: assign-backtracking-registers ( cfg intervals -- )
    phase-insn-prefixes get :> previous backtracking-local-moves
    get clone phase-insn-prefixes set [
        intervals entry-transport-records :> records cfg
        intervals f records assign-phase-ssa-registers-recording
        records reify-entry-transports
        phase-insn-prefixes get dup assoc-empty?
        [ drop ] [ unconsumed-backtracking-moves ] if
    ] [ previous phase-insn-prefixes set ] finally ;