Automatic parallelization benefits from postdominance frontiers.
In hardware systems, dominators are used for computing signal probabilities for test generation, estimating switching activities for power and noise analysis, and selecting cut points in equivalence checking [REF].