|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Liveness of the
temporaries flows around |
||||||||||||
| the edges of the
CFG |
|||||||||||||
| • | Terminology |
||||||||||||
| – | Pred[ n ], Succ[
n ] – direct predecessor, |
||||||||||||
| successor nodes
of n |
|||||||||||||
| – | Use[ n ], Def[ n
] – temporaries used or |
||||||||||||
| defined at node
n |
|||||||||||||
| – | Variable is live-in
if it is live on any incoming |
||||||||||||
| edge to a
node. Live-out similarly. |
|||||||||||||
