关于x86汇编递归函数F2的三个技术疑问

汇编代码片段 #

0x000000000000117c <+0>:     test   %edi,%edi
   0x000000000000117e <+2>:     jne    0x1186 <F2+10>
   0x0000000000001180 <+4>:     mov    $0x1,%eax
   0x0000000000001185 <+9>:     retq
   0x0000000000001186 <+10>:    push   %rbx
   0x0000000000001187 <+11>:    mov    %edi,%ebx
   0x0000000000001189 <+13>:    lea    -0x1(%rdi),%edi
   0x000000000000118c <+16>:    callq  0x117c <F2>
   0x0000000000001191 <+21>:    imul   %ebx,%eax
   0x0000000000001194 <+24>:    pop    %rbx
   0x0000000000001195 <+25>:    retq

问题1：在<+13>处，通过lea指令将-0x1(%rdi)赋值给%edi，而非直接对%edi的值减1，这种操作的必要性及意义是什么？

• lea是加载有效地址指令，它只做算术计算并将结果写入寄存器，完全不修改标志位（比如ZF、SF这些状态位）。如果用dec %edi，会改变标志寄存器的状态，而这段代码后续逻辑不需要依赖减1操作产生的标志位，用lea能避免意外破坏标志位状态，防止影响后续指令的判断。
• 从语义上看，这里需要的是把%rdi-1的结果存到%edi，而不是对%edi本身做递减操作，lea更贴合“计算后赋值”的逻辑，编译器也常习惯用lea来做这类简单算术运算，属于常见的代码生成风格。
• 现代CPU上lea和dec都是单周期指令，效率上没有差异，核心优势还是避免标志位污染。

问题2：该函数中存在两个retq指令，执行test %edi,%edi后通过jne跳转进入递归逻辑，为何<+9>和<+25>处各有一个retq，而非仅设置一个？

两个分支的栈状态完全不同，必须各自用retq收尾：

• 第一个分支（输入为0时）：直接给%eax赋值1后返回，全程没有操作栈（没执行push %rbx），如果强行跳去第二个分支的retq，会多执行一次pop %rbx，破坏栈平衡导致程序崩溃。
• 第二个分支（递归路径）：先执行了push %rbx保存寄存器，递归调用结束后必须pop %rbx恢复栈状态，再retq返回。如果复用第一个分支的retq，会漏掉pop操作，同样会导致栈错误。
• 简单来说，两个分支的执行流程和栈状态独立，必须各自完成收尾动作，保证栈平衡和寄存器状态正确。

问题3：作为汇编初学者，难以理解该函数核心功能，请问此函数具体执行何种运算操作？

这个函数是递归实现的阶乘计算，对应C语言的逻辑如下：

int F2(int n) {
    if (n == 0) {
        return 1; // 对应汇编中<+4>到<+9>的逻辑
    } else {
        return n * F2(n - 1); // 对应保存%rbx、递归调用、乘法计算的逻辑
    }
}

比如输入n=3时，会递归调用F2(2)→F2(1)→F2(0)，F2(0)返回1后，依次计算1*1=1、1*2=2、2*3=6，最终得到3的阶乘结果。

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