|
@@ -3045,18 +3045,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 1\\
|
|
|
-\lstinline{movq $42, w}& $\ttm{w}$ interferes with $\ttm{v}$ by rule 1\\
|
|
|
-\lstinline{movq v, x}& $\ttm{x}$ interferes with $\ttm{w}$ by rule 1\\
|
|
|
-\lstinline{addq $7, x}& $\ttm{x}$ interferes with $\ttm{w}$ by rule 2\\
|
|
|
-\lstinline{movq x, y}& $\ttm{y}$ interferes with $\ttm{w}$ but not $\ttm{x}$ by rule 1\\
|
|
|
-\lstinline{movq x, z}& $\ttm{z}$ interferes with $\ttm{w}$ and $\ttm{y}$ by rule 1\\
|
|
|
-\lstinline{addq w, z}& $\ttm{z}$ interferes with $\ttm{y}$ by rule 2 \\
|
|
|
-\lstinline{movq y, t}& $\ttm{t}$ interferes with $\ttm{z}$ by rule 1 \\
|
|
|
-\lstinline{negq t}& $\ttm{t}$ interferes with $\ttm{z}$ by rule 2 \\
|
|
|
-\lstinline{movq z, %rax} & $\ttm{rax}$ interferes with $\ttm{t}$ by rule 1 \\
|
|
|
-\lstinline{addq t, %rax} & no interference by rule 2 \\
|
|
|
- \lstinline{jmp conclusion}& no interference by rule 2
|
|
|
+{\lstinline!movq $1, v!}& no interference by rule 1\\
|
|
|
+{\lstinline!movq $42, w!}& $\ttm{w}$ interferes with $\ttm{v}$ by rule 1\\
|
|
|
+{\lstinline!movq v, x!}& $\ttm{x}$ interferes with $\ttm{w}$ by rule 1\\
|
|
|
+{\lstinline!addq $7, x!}& $\ttm{x}$ interferes with $\ttm{w}$ by rule 2\\
|
|
|
+{\lstinline!movq x, y!}& $\ttm{y}$ interferes with $\ttm{w}$ but not $\ttm{x}$ by rule 1\\
|
|
|
+{\lstinline!movq x, z!}& $\ttm{z}$ interferes with $\ttm{w}$ and $\ttm{y}$ by rule 1\\
|
|
|
+{\lstinline!addq w, z!}& $\ttm{z}$ interferes with $\ttm{y}$ by rule 2 \\
|
|
|
+{\lstinline!movq y, t!}& $\ttm{t}$ interferes with $\ttm{z}$ by rule 1 \\
|
|
|
+{\lstinline!negq t!}& $\ttm{t}$ interferes with $\ttm{z}$ by rule 2 \\
|
|
|
+{\lstinline!movq z, %rax!} & $\ttm{rax}$ interferes with $\ttm{t}$ by rule 1 \\
|
|
|
+{\lstinline!addq t, %rax!} & no interference by rule 2 \\
|
|
|
+ {\lstinline!jmp conclusion!}& no interference by rule 2
|
|
|
\end{tabular}
|
|
|
\end{quote}
|
|
|
\caption{Interference results for the running example.}
|