|
@@ -5874,10 +5874,10 @@ challenge.
|
|
|
|
|
|
{\if\edition\racketEd
|
|
|
To motivate the need for move biasing we return to the running example
|
|
|
-but this time use all of the general purpose registers. So we have
|
|
|
+but this time we use all of the general purpose registers. So we have
|
|
|
the following mapping of color numbers to registers.
|
|
|
\[
|
|
|
- \{ 0 \mapsto \key{\%rcx}, \; 1 \mapsto \key{\%rdx}, \; 2 \mapsto \key{\%rsi} \}
|
|
|
+ \{ 0 \mapsto \key{\%rcx}, \; 1 \mapsto \key{\%rdx}, \; 2 \mapsto \key{\%rsi}, \ldots \}
|
|
|
\]
|
|
|
Using the same assignment of variables to color numbers that was
|
|
|
produced by the register allocator described in the last section, we
|
|
@@ -6025,8 +6025,8 @@ were \code{w} and \code{y}.
|
|
|
%
|
|
|
Last time we chose to color \code{w} with $0$. But this time we see
|
|
|
that \code{w} is not move related to any vertex, but \code{y} is move
|
|
|
-related to \code{t}. So we choose to color \code{y} the same color as
|
|
|
-\code{t}, $0$.
|
|
|
+related to \code{t}. So we choose to color \code{y} with $0$, the
|
|
|
+same color as \code{t}.
|
|
|
\[
|
|
|
\begin{tikzpicture}[baseline=(current bounding box.center)]
|
|
|
\node (rax) at (0,0) {$\ttm{rax}:-1,\{0,-2\}$};
|