assign-phase-ssa-block-recording ( bb records -- )

Vocabulary

compiler.cfg.register-allocation.ssa.phases

Inputs

bb	an object
records	an object

Outputs

None

Definition

USING: accessors compiler.cfg
compiler.cfg.linear-scan.assignment
compiler.cfg.register-allocation.ssa compiler.cfg.utilities
kernel make namespaces sequences ;

IN: compiler.cfg.register-allocation.ssa.phases

:: assign-phase-ssa-block-recording ( bb records -- )
    bb expire-at-block-entry bb basic-block set bb [
        [
            bb phase-block-from :> entry entry
            unhandled-intervals get [ = ] with heap-pop-while
            :> entering entering [ reload-from>> ] filter
            :> reloads records [
                entering
                [ records activate-recorded-entry ] each
            ] [ entering [ activate-interval ] each ] if
            bb reloads record-phase-entry-locations
            [ assign-phase-insn ] each
        ] V{ } make
    ] change-instructions compute-ssa-live-out ;