compute-live-out ( basic-block -- live-out )

Vocabulary

compiler.cfg.liveness

Inputs

basic-block

an object

Outputs

live-out

an object

Definition

USING: accessors assocs kernel sequences ;

IN: compiler.cfg.liveness

:: compute-live-out ( basic-block -- live-out )
    H{ } clone :> result basic-block successors>> :> succs succs
    [ live-in result swap assoc-union! drop ] each succs [
        basic-block swap edge-live-in result swap assoc-union!
        drop
    ] each result ;