|
@@ -1656,7 +1656,7 @@ $\Rightarrow$
|
|
|
\end{minipage}
|
|
\end{minipage}
|
|
|
\end{tabular} \\
|
|
\end{tabular} \\
|
|
|
|
|
|
|
|
-Regarding the \RETURN{e} statement of $C_0$, we recommend treating it
|
|
|
|
|
|
|
+Regarding the \RETURN{\Arg} statement of $C_0$, we recommend treating it
|
|
|
as an assignment to the \key{rax} register and let the procedure
|
|
as an assignment to the \key{rax} register and let the procedure
|
|
|
conclusion handle the transfer of control back to the calling
|
|
conclusion handle the transfer of control back to the calling
|
|
|
procedure.
|
|
procedure.
|
Jeremy Siek