|
@@ -2992,18 +2992,18 @@ Next we skip forward to the instruction \lstinline{movq x, y}.
|
|
|
\begin{figure}[tbp]
|
|
|
\begin{quote}
|
|
|
\begin{tabular}{ll}
|
|
|
-\lstinline{movq $1, v}& no interference by rule 3,\\
|
|
|
-\lstinline{movq $42, w}& $w$ interferes with $v$ by rule 3,\\
|
|
|
-\lstinline{movq v, x}& $x$ interferes with $w$ by rule 3,\\
|
|
|
-\lstinline{addq $7, x}& $x$ interferes with $w$ by rule 1,\\
|
|
|
-\lstinline{movq x, y}& $y$ interferes with $w$ but not $x$ by rule 3,\\
|
|
|
-\lstinline{movq x, z}& $z$ interferes with $w$ and $y$ by rule 3,\\
|
|
|
-\lstinline{addq w, z}& $z$ interferes with $y$ by rule 1, \\
|
|
|
-\lstinline{movq y, t}& $t$ interferes with $z$ by rule 3, \\
|
|
|
-\lstinline{negq t}& $t$ interferes with $z$ by rule 1, \\
|
|
|
-\lstinline{movq z, %rax} & no interference (ignore rax), \\
|
|
|
-\lstinline{addq t, %rax} & no interference (ignore rax). \\
|
|
|
- \lstinline{jmp conclusion}& no interference.
|
|
|
+\lstinline!movq $1, v!& no interference by rule 3,\\
|
|
|
+\lstinline!movq $42, w!& $w$ interferes with $v$ by rule 3,\\
|
|
|
+\lstinline!movq v, x!& $x$ interferes with $w$ by rule 3,\\
|
|
|
+\lstinline!addq $7, x!& $x$ interferes with $w$ by rule 1,\\
|
|
|
+\lstinline!movq x, y!& $y$ interferes with $w$ but not $x$ by rule 3,\\
|
|
|
+\lstinline!movq x, z!& $z$ interferes with $w$ and $y$ by rule 3,\\
|
|
|
+\lstinline!addq w, z!& $z$ interferes with $y$ by rule 1, \\
|
|
|
+\lstinline!movq y, t!& $t$ interferes with $z$ by rule 3, \\
|
|
|
+\lstinline!negq t!& $t$ interferes with $z$ by rule 1, \\
|
|
|
+\lstinline!movq z, %rax! & no interference (ignore rax), \\
|
|
|
+\lstinline!addq t, %rax! & no interference (ignore rax). \\
|
|
|
+ \lstinline!jmp conclusion!& no interference.
|
|
|
\end{tabular}
|
|
|
\end{quote}
|
|
|
\caption{Interference results for the running example.}
|