Content deleted Content added
Define dominance frontiers and why they're important and stuff |
→Computing minimal SSA using dominance frontiers: er accuracy |
||
Line 61:
<!-- Need an example -->
Dominance frontiers capture the precise places at which we need φ functions: if the node A defines a certain variable, then that definition and that definition alone will reach every node A dominates. Only when we leave these nodes and enter the dominance frontier must be account for other flows bringing in other definitions of the same variable. Moreover, no other φ functions are needed in the control flow graph to deal with A's definitions
<!-- Describe the algorithm for finding dominance frontiers in the future -->
| |||