record-phase-entry-locations ( bb reloads -- )

Vocabulary

compiler.cfg.register-allocation.ssa.phases

Inputs

bb	an object
reloads	an object

Outputs

None

Definition

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

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

:: record-phase-entry-locations ( bb reloads -- )
    reloads empty?
    [ bb compute-ssa-live-in bb record-phi-locations ] [
        pending-interval-assoc get clone :> incoming reloads [|
        interval |
            interval reload-from>> interval vreg>> incoming
            set-at
        ] each incoming pending-interval-assoc
        [ bb compute-ssa-live-in bb record-phi-locations ]
        with-variable
    ] if ;