|
@@ -3992,7 +3992,7 @@ compilation we do not know which way the branch will go, so we do not
|
|
|
know which of the successor's live-before set to use. The solution
|
|
know which of the successor's live-before set to use. The solution
|
|
|
comes from the observation that there is no harm in identifying more
|
|
comes from the observation that there is no harm in identifying more
|
|
|
variables as live than absolutely necessary. Thus, we can take the
|
|
variables as live than absolutely necessary. Thus, we can take the
|
|
|
-union of the live-after sets from all the successors to be the
|
|
|
|
|
|
|
+union of the live-before sets from all the successors to be the
|
|
|
live-after set for the block. Once we have computed the live-after
|
|
live-after set for the block. Once we have computed the live-after
|
|
|
set, we can proceed to perform liveness analysis on the block just as
|
|
set, we can proceed to perform liveness analysis on the block just as
|
|
|
we did in Section~\ref{sec:liveness-analysis-r1}.
|
|
we did in Section~\ref{sec:liveness-analysis-r1}.
|
Jeremy Siek