Live-variable analysis: Difference between revisions

Content deleted Content added
Citation bot (talk | contribs)
m [405]Add: display-authors. Tweak: author. User-activated.
m Removed an open parenthesis that was not needed and had no close parenthesis.
Line 22:
</table>
 
The dataflow equations used for a given basic block ''s'' and exiting block ''f'' in live variable analysis are (GEN(s) means the set of variables used in s before any assignment; KILL (s) means the set of variables assigned a value in s (in many books, KILL (s) is also defined as the set of variables assigned a value in s ''before any use'', but this doesn't change the solution of the dataflow equation):
:<math>
{\mbox{LIVE}}_{in}[s] = {\mbox{GEN}}[s] \cup ({\mbox{LIVE}}_{out}[s] - {\mbox{KILL}}[s])