in[ n ] = use[ n ] u (out[ n ] – def[ n ] )
in[n] is the set of temporaries that are live-in at node n
out[ n ] = Union of the live-in temporaries to all
nodes in succ[ n ]
out[n] is the set of temporaries that are live-out at node n
Equations solved using an iterative approach to
filling the sets in[n] and out[n]
Repeatedy treat equations as assignment statements until
no change to in[n] and out[n] across an iteration
Text Box: ‹#›