为何Clang在ARM函数入口会多次加载值到ip寄存器？

先看你用来测试的C代码：

int test(int a, int b, int c, int d, int e, int f, int g) {
  return a + b + c + d + e + f + g;
}

在 -O0 编译选项下生成的汇编里，开头那三条加载 ip 寄存器的指令确实显得完全冗余——它们读取栈上的 e、f、g 参数（对应 [sp, #16]、[sp, #20]、[sp, #24]）到 ip，但后续既没使用 ip 的值，也没把它存回栈内存，看起来毫无作用。

核心原因：-O0 模式的调试导向代码逻辑 #

-O0 是 Clang 的无优化编译模式，这个模式下编译器的首要目标是保留所有变量的内存可访问性，方便调试器随时读取变量值，完全不考虑代码的执行效率。这里的冗余指令本质是代码生成过程中的保守残留：

• 按照 ARM ABI 规则，前4个参数 a-d 通过 r0-r3 寄存器传递，剩下的 e、f、g 会被调用者压入栈中，位置就在当前栈指针上方（也就是汇编里的 sp+16、sp+20、sp+24）。
• 在 -O0 模式下，Clang 会尝试“触及”所有参数的内存位置，哪怕没有实际业务逻辑需要这么做——这是为了确保调试时这些参数的内存地址是有效的，或者是代码生成阶段某个步骤的遗留逻辑（比如原本计划把这些参数存入栈帧，但后续逻辑调整后，这部分加载代码没被清理）。
• 另外，ip（即 r12 寄存器）是 ARM 架构里的临时寄存器，在 -O0 下编译器会随意用它做临时操作，哪怕后续没有实际用途，因为此时完全不考虑代码精简。

验证：优化后冗余指令会消失 #

如果用 -O1 或更高优化级别编译，这些无意义的加载指令会被彻底消除。编译器会直接利用寄存器完成加法运算，甚至如果参数是常量的话，会直接把整个函数优化成返回常量结果的指令。

简单来说，这就是 Clang 在 -O0 调试模式下，为了保证调试友好性产生的冗余代码，属于未优化状态下的正常现象，没有特殊的隐藏用途，也不是编译器 bug。

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