无优化编译斐波那契C代码生成的汇编指令解析求助

针对你提到的三个疑惑，结合无优化编译（通常是-O0）的特性逐个解释：

1. %eax未加载却被保存 #

无优化模式下，编译器优先保证调试便利性与源码对应关系，而非执行效率。它会严格遵循栈帧保存规则：进入函数后先将所有可能涉及的寄存器（包括返回值寄存器%eax）保存到栈上，哪怕此时%eax还未被赋值。这种冗余操作是为了在调试时能随时恢复寄存器初始状态，同时让栈帧结构更规整，方便调试工具读取。开启优化（如-O2）后，这类冗余操作会被自动消除。

2. %edi初始加载后未再被修改或访问 #

x86-64的System V调用约定中，第一个函数参数通过%edi传递。无优化编译时，编译器会立即把寄存器中的参数复制到栈帧的局部变量区域（即你说的-0x10(%rbp)），之后所有对参数的操作都直接访问栈上副本，不再使用%edi。这么做是为了调试时能直接在栈上查看参数的实时值，避免寄存器被复用后丢失原始参数信息，属于牺牲效率换调试便捷性的典型操作。

3. 循环中n自增，比较逻辑与原代码相反 #

这是编译器对循环逻辑做的等价转换。只要最终循环次数、计算逻辑和原代码完全一致，编译器就可能调整循环变量的使用方式，生成看似反向的条件判断。比如原代码是while(pos <= n)，编译器可能转换成while(n >= pos)，甚至调换变量角色（将原n作为循环计数器自增，原pos作为上限），本质上循环执行的次数和计算逻辑没有变化。这种转换是为了让汇编代码更贴合CPU指令执行习惯，或是简化代码生成流程，对最终结果无影响。

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