为何GCC在寄存器可用时仍将变量存入栈中（Cortex-M0场景）

你在Cortex-M0设备上编写了如下基础C延迟函数：

void delay(void) {
for (int x=0;x<0xffff;x++) ;
}

使用默认无优化配置的Rowley Crossworks 4.10自带GCC编译后，生成的汇编代码会反复将变量x存入栈再读取，存在明显的冗余操作。而你手动编写的寄存器实现汇编要高效得多：

# Counter reset
  movs r0, #0x0
  ldr r1, =0xffff

loopone:
  adds r0,#0x1
  cmp r0,r1
  bne loopone

按照AAPCS规范，有r0-r3这4个调用者保存的可用寄存器可以避免栈操作，你疑惑为何无优化GCC不优先使用寄存器，反而选择效率更低的栈操作。

• 无优化模式的核心定位：GCC默认的-O0无优化模式，目标从来不是生成高效代码，而是最大化还原C代码的逻辑结构，方便调试。在这个模式下，编译器会把所有局部变量都绑定到栈内存上，每一次对变量的读写操作都会直接对应到内存的存取——这样你在调试时，能随时通过内存地址查看变量x的实时值，不会因为寄存器被复用导致调试信息和实际代码执行脱节。

• 保守的寄存器分配策略：虽然AAPCS规范允许使用r0-r3这类寄存器，但无优化模式下GCC会采用最保守的策略：它不会去分析变量的作用域、使用频率，也不会做任何寄存器分配优化，直接把所有局部变量丢进栈里。这种做法简化了编译流程，同时保证了调试时的一致性，哪怕牺牲运行效率也在所不惜。

• 手动优化与编译逻辑的差异：你手写的汇编是针对性做了循环计数器寄存器化的优化，但无优化GCC不会做这类逻辑分析。它只会严格按照C代码的定义执行：x是一个局部变量，那就必须给它分配栈空间，每次循环的自增、比较操作都要先从栈里读出x，修改后再写回栈，完全复刻C代码中“变量存储在内存”的逻辑，不会主动把变量放进寄存器。

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