reify-register-transition ( before after -- )

Vocabulary

compiler.cfg.register-allocation.backtracking

Inputs

before	an object
after	an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.linear-scan.live-intervals
kernel math namespaces ;

IN: compiler.cfg.register-allocation.backtracking

:: reify-register-transition ( before after -- )
    before live-interval-end 1 +
    :> boundary boundary after live-interval-start =
    boundary backtracking-block-starts get key? not and
    boundary backtracking-point-blocks get at boundary 1 -
    backtracking-point-blocks get at eq? and [
        before f >>spill-to drop
        after before reg>> after reg>> =
        [ f ] [ before reg>> backtracking-register-home boa ] if
        >>reload-from drop backtracking-register-transitions inc
    ] when ;