Content deleted Content added
→History: Fix name spelling ("Cytron", not "Citron") |
Boostelixir (talk | contribs) mNo edit summary |
||
Line 82:
</pre>
Dominance frontiers define the points at which Φ functions are needed. In the above example, when control is passed to node 4, the definition of <code>result</code> used depends on whether control was passed from node 2 or 3. Φ functions are not needed for variables defined in a dominator, as there is only one possible definition that can apply.
| |||