为何gcc -O3编译递归函数会生成多条ret指令？

先看原递归函数：

int get_steps_to_zero(int n)
{
    if (n == 0) {
        // 基线情况：已到0
        return 0;
    } else if (n % 2 == 0) {
        // 递归情况1：可除以2
        return 1 + get_steps_to_zero(n / 2);
    } else {
        // 递归情况2：可减1
        return 1 + get_steps_to_zero(n - 1);
    }
}

用x86-64 GCC 12.2 -O3编译后，汇编里出现两条ret指令，这不是编译bug，而是编译器优化后的正常结果，具体作用如下：

• .L9处的ret：对应处理非0输入的分支。函数开头就把eax置0，后续处理过程中直接在eax上累加步数，当循环处理完所有步骤后，直接通过这条ret返回结果。
• .L6处的ret：对应输入n=0的基线情况。此时eax已经被初始化为0，不需要任何额外计算，直接跳转到这里执行ret返回，省去了多余的操作。

从GCC版本差异来看，11.x开始的优化更高效：
GCC 10.x是在最后才把结果存入eax，而11.x版本在函数开头就将eax置零，后续直接修改eax来累计步数，省去了额外的mov指令。而多条ret的存在，是因为编译器为不同的代码路径保留了独立的出口，这样避免了不必要的跳转或寄存器操作，让局部路径的执行更直接高效。

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