compute-ssa-intervals-in-block ( bb -- )

Vocabulary

compiler.cfg.register-allocation.ssa

Inputs

bb

an object

Outputs

None

Definition

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

IN: compiler.cfg.register-allocation.ssa

:: compute-ssa-intervals-in-block ( bb -- )
    bb block-from from set bb block-to to set bb handle-live-out
    bb instructions>> <reversed> [
        dup ##phi? [
            dst>> from get over phi-entry-positions get set-at
            from get t record-def
        ] [ compute-live-intervals* ] if
    ] each ;