Dominator tree computation

[vaivaswatha]

Provide a utility to compute the dominator tree for a region

[vaivaswatha]

Initially we can have the iterative (fixpoint) algorithm for finding dominators. A later improvement can be to use the Lengauer-Tarjan algorithm.

References:

• Algorithm 10.16 (iterative / fixpoint) in the dragon-book 1st edition.
• Lengauer-Tarjan algorithm described in Section 19.2 of Modern Compiler Implementation in C - Appel.

Additional references:

• https://www.cs.princeton.edu/techreports/2005/737.pdf
• https://www.cs.princeton.edu/courses/archive/fall03/cs528/handouts/a%20fast%20algorithm%20for%20finding.pdf