assign-ssa-block ( bb -- )

Vocabulary

compiler.cfg.register-allocation.ssa

Inputs

bb

an object

Outputs

None

Definition

USING: accessors compiler.cfg compiler.cfg.instructions
compiler.cfg.linear-scan.assignment
compiler.cfg.linear-scan.live-intervals kernel make namespaces
sequences ;

IN: compiler.cfg.register-allocation.ssa

:: assign-ssa-block ( bb -- )
    bb expire-at-block-entry bb basic-block set
    bb block-from unhandled-intervals get activate-new-intervals
    bb compute-ssa-live-in bb record-phi-locations bb [
        [
            [
                dup insn#>> prepare-insn dup ##phi?
                [ drop ]
                [ [ assign-all-registers ] [ emit-insn ] bi ] if
            ] each
        ] V{ } make
    ] change-instructions compute-ssa-live-out ;