preserved-ssa-liveness-step ( bb -- predecessors )

Vocabulary

compiler.cfg.register-allocation.ssa.liveness

Inputs

bb

an object

Outputs

predecessors

an object

Definition

USING: accessors compiler.cfg.liveness kernel ;

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

: preserved-ssa-liveness-step ( bb -- predecessors )
    [
        dup update-live-out
        [ update-preserved-ssa-live-in ] [ drop f ] if
    ] keep predecessors>> { } ? ;