为何GCC会再次使用movzbl对已零扩展的寄存器进行零扩展？

原C++代码 #

size_t hash_word(const char* c, size_t size) {
    size_t hash = uchar(c[0]);
    hash ^= uchar(c[size - 1]);
    hash ^= uchar(c[size - 2]);
    return hash;
}

编译命令与生成的汇编代码 #

使用命令 g++ -Wall -O3 -S file.cpp 编译后，生成的汇编代码如下：

movzbl  -1(%rcx,%rdx), %eax
    xorb    -2(%rcx,%rdx), %al
    xorb    (%rcx), %al
    movzbl  %al, %eax            <- 此处存疑
    ret

疑问点 #

按逻辑分析：第一条movzbl已经将%eax的高位全部置零，后续两条xorb仅操作%al寄存器的低8位，不会改动高位部分，为什么编译器还要额外生成这条movzbl指令？

解答 #

这是GCC编译器在特定场景下的冗余指令残留，或是遵循ABI规范的保守行为：

• 从纯逻辑角度看，这条指令确实没必要——%eax高位已被置零，xorb操作不会影响高位状态。
• 但GCC优化器的数据流分析在处理跨宽度寄存器操作时，可能没完全追踪到%eax高位的确定性状态，导致未识别出该指令可省略。
• 另外，x86-64的System V ABI要求返回size_t（8字节类型）时，%rax寄存器的全部8字节必须有效且正确。虽然逻辑上高位已是0，但编译器为彻底规避潜在未定义行为（比如极端场景下的意外高位污染），会额外插入这条指令确保返回值完整性。

不同版本的GCC可能会优化掉这条冗余指令，比如GCC 12及以后版本编译这段代码时，该指令大概率会被移除。

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