 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
• |
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
|
|