x86-64 GCC 11.2 -O2优化下为何生成mov esi, esi寄存器自移动指令

你编译的C代码如下：

int index(int *arr, unsigned int i) {
    return arr[i];
}

使用x86-64 gcc 11.2并开启-O2优化后得到的汇编为：

index(int*, unsigned int):
    mov     esi, esi
    mov     eax, DWORD PTR [rdi+rsi*4]
    ret

核心原因 #

这行mov esi, esi并非无意义的空操作，它有明确的语义作用，符合x86-64架构规则和C语言类型要求：

• x86-64架构有固定的指令行为：任何对32位通用寄存器的写入操作，都会自动将对应64位寄存器的高32位清零。esi是64位寄存器rsi的低32位部分，所以mov esi, esi本质是把rsi的高32位强制清零。
• 按照System V AMD64调用约定，第二个参数i通过rsi寄存器传递。而i的类型是32位无符号整数，C语言要求它的有效取值只存在于低32位，高32位应当为0。由于当前函数是外部可见的，编译器无法确认所有调用方传入rsi时高32位是否干净，必须主动做一次零扩展，避免后续用rsi计算内存地址时出现错误。
• 如果你给函数加上static修饰符限制为内部链接，让编译器可以看到所有调用方的代码，且确认调用方传递参数时已经保证rsi高32位为0，这条指令就会被优化删除。
  你之前看到的资料中将寄存器自移动描述为低效空操作，对应的是不需要做零/符号扩展、寄存器高位本身已经符合使用要求的场景，和当前场景的语义并不冲突。

内容的提问来源于stack exchange，提问作者konsolas