GCC编译C代码生成冗余xor指令？C++与Clang为何无此情况

测试用C代码 #

int foo(int *a, int *b)
{
    *a += 1;
    *b += 1;
    *a += 1;
}

int foo2(int *a, int *b)
{
    *a += 1;
    *b += 1;
    *a += 1;
}

GCC生成的汇编代码 #

foo:
    add     DWORD PTR [rdi], 1
    add     DWORD PTR [rsi], 1
    add     DWORD PTR [rdi], 1
    ret
foo2:
    add     DWORD PTR [rdi], 1
    xor     eax, eax
    add     DWORD PTR [rsi], 1
    add     DWORD PTR [rdi], 1
    ret

疑问 #

上述代码编译后，foo2函数比foo多了一条xor eax, eax指令，请问这条指令的作用是什么？另外发现GCC编译C++版本时不会插入该指令，Clang也从未生成过该指令。

指令作用及原因分析 #

xor eax, eax是x86架构下高效清零EAX寄存器的指令，它的出现和C语言的函数返回规则、GCC的编译策略直接相关：

• C语言未定义行为的兜底处理：C标准规定，非void类型函数若没有显式return语句，返回值属于未定义行为。但GCC在x86-64的System V调用约定（返回值通过EAX寄存器传递）下，会在部分场景插入这条指令，强制将返回值置为0，作为对未定义行为的一种“友好兜底”。
• 优化路径差异导致的生成区别：foo和foo2的汇编差异源于GCC优化器的处理路径不同——函数顺序、内部指令序列的细微差别触发了不同的优化逻辑，使得其中一个函数被插入了清零指令，另一个没有。
• C++与Clang的差异原因：
  • C标准对非void函数缺失return语句的约束更严格（main函数除外），GCC编译C时不会做这种兜底处理，因此不会生成该指令。
  • Clang严格遵循标准的未定义行为规则，不主动干预返回值，因此从未生成过这条指令。

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