当我编译这段代码时
unsigned char A[] = {1, 2, 3, 4};
unsigned int
f (unsigned int x)
{
return A[x];
}
gcc 输出
mov edi, edi
movzx eax, BYTE PTR A[rdi]
ret
在 x86_64 机器上。
问题是：为什么有一个nop指令（mov edi，edi）呢？
我正在使用 gcc-4.4.4。
【问题讨论】：
在 64 位模式下，mov edi, edi 不是空操作。它的作用是将rdi的前32位设置为0。
这是所有 32 位操作在 64 位模式下清除目标寄存器的前 32 位这一一般事实的特殊情况。 （与保持它们不变相比，这允许更高效的 CPU，并且可能也更有用。）
【讨论】：
mov edi, edi 开头”，而是像“为什么这个 x86-64 汇编代码看起来像一个可热补丁函数”之类的问题。此外，代码甚至没有指定ms_hook_prologue attriubte，最新版本的 gcc 不支持 x86-64 的 ms_hook_prologue，似乎在 x86-64 上它将使用leaq [%rsp + 0], %rsp 序言而不是mov edi, edi（ tinyurl.com/39fye3w)。我将删除我的答案