|
@@ -4057,8 +4057,8 @@ generated x86 code on the right-hand side. Notice that variable
|
|
|
\code{x} is assigned to \code{rbx}, a callee-saved register. Thus, it
|
|
\code{x} is assigned to \code{rbx}, a callee-saved register. Thus, it
|
|
|
is already in a safe place during the second call to
|
|
is already in a safe place during the second call to
|
|
|
\code{read\_int}. Next, notice that variable \code{y} is assigned to
|
|
\code{read\_int}. Next, notice that variable \code{y} is assigned to
|
|
|
-\code{rcx}, a caller-saved register, because there are no function
|
|
|
|
|
-calls in the remainder of the block.
|
|
|
|
|
|
|
+\code{rcx}, a caller-saved register, because \code{y} is not in the
|
|
|
|
|
+live-after set of a \code{callq} instruction.
|
|
|
|
|
|
|
|
Next we analyze the example from the callee point of view, focusing on
|
|
Next we analyze the example from the callee point of view, focusing on
|
|
|
the prelude and conclusion of the \code{main} function. As usual the
|
|
the prelude and conclusion of the \code{main} function. As usual the
|
Jeremy Siek