|
@@ -3179,8 +3179,6 @@ One further caveat is that the second argument of the \key{cmpq} instruction
|
|
|
cannot be an immediate value. If you are comparing two immediates, you must insert another \key{movq} instruction to put the second argument in
|
|
cannot be an immediate value. If you are comparing two immediates, you must insert another \key{movq} instruction to put the second argument in
|
|
|
\key{rax}.
|
|
\key{rax}.
|
|
|
|
|
|
|
|
-There is no unary x86 instruction that we can translate \code{(not x)} into.
|
|
|
|
|
-However, we can achieve the same results using the bitwise \key{xor} instruction.
|
|
|
|
|
|
|
|
|
|
% The translation of the \code{not} operator is not quite as simple
|
|
% The translation of the \code{not} operator is not quite as simple
|
|
|
% as it seems. Recall that \key{notq} is a bitwise operator, not a boolean
|
|
% as it seems. Recall that \key{notq} is a bitwise operator, not a boolean
|
Jeremy G. Siek