scala.scalanative.optimizer.analysis
Fixpoint-based method to build the dominator tree from the CFG.
Fixpoint-based method to build the dominator tree from the CFG. The dominator tree is simply represented as a Map from a CFG block to the set of blocks dominating this block.