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