dom-children ( bb -- seq )
A Simple, Fast Dominance Algorithm

Prev:needs-dominance ( cfg -- )
Next:dom-parent ( bb -- bb' )


Vocabulary
compiler.cfg.dominance

Inputs
bba basic-block


Outputs
seqa sequence


Word description
Maps bb -> {bb' | idom(bb') = bb} or in other words, all basic blocks dominated by the given basic block.

Definition