needs-dominance ( cfg -- )
A Simple, Fast Dominance Algorithm

Next:

dom-children ( bb -- seq )

Vocabulary
compiler.cfg.dominance

Inputs

cfg

a cfg

Outputs
None

Word description
Recalculates predecessor and dominance info for the given cfg.

Definition

USING: accessors compiler.cfg.dominance.private
compiler.cfg.predecessors kernel ;

IN: compiler.cfg.dominance

: needs-dominance ( cfg -- )
    [ needs-predecessors ] [
        dup dominance-valid?>>
        [ drop ] [ t >>dominance-valid? compute-dominance ] if
    ] bi ;