Abstract: Compilers use dominance information extensively during program analysis and optimization, such as data-flow analysis and the computation of static single-assignment forms. The iterative method to compute dominators was discussed in detail, in which domina

Key words: CFG, Iterative formulation, Bit vector, Dominator