21
Dominance Frontier 21 Marcus Denker SSA DF(D) = the set of all nodes N such that D dominates an immediate predecessor of N but does not strictly dominate N. Intuition: Nodes at the border of a region of dominance Dominance and SSA Creation