Content deleted Content added
→top: clean-up template; removed questionable paragraph |
No edit summary |
||
Line 18:
== Expression in terms of dataflow equations ==
Liveness analysis is a "backwards may" analysis. The analysis is done in a backwards order, and the dataflow [[confluence operator]] is [[set union]]. In
The dataflow equations used for a given basic block ''s'' and exiting block ''f'' in live variable analysis are the following:
|