avr-gcc中Y寄存器相对调用/栈帧的偏移来源疑问

avr-gcc文档中提到，帧指针（Y寄存器）存在1字节偏移，Y+1指向栈帧底部。但我编译测试C函数生成汇编代码后发现，函数序言里Y寄存器和SP（栈指针）似乎指向同一位置，不存在帧偏移；但函数主体却确实按Y寄存器偏移1字节的方式来访问栈帧。

以下是编译器生成的函数汇编代码及我的疑问标记：

func:
  push r29
  push r28 <- 保存Y寄存器（因它是被保留寄存器）
  rcall . <- 这似乎用于每次将栈指针减2字节以分配栈空间
  rcall .
  rcall .

  in r28,__SP_L__
  in r29,__SP_H__ <- 栈指针与Y寄存器应对齐，且均指向最后一个局部变量
/* prologue: function */

/* frame size = 6 */
  std Y+4,r24
  std Y+6,r23 <- 这难道不会覆盖已保存的r28寄存器吗？
  std Y+5,r22
  ldi r24,lo8(97)
  std Y+3,r24
  ldi r24,lo8(23)
  ldi r25,hi8(23)
  std Y+2,r25
  std Y+1,r24 <- 确实看起来Y寄存器比栈帧偏移1字节，但经过多次减操作后

  ldd r24,Y+4
  mov r18,r24
  clr r19
  sbrc r18,7
  com r19
  ldd r24,Y+5
  ldd r25,Y+6
  add r18,r24
  adc r19,r25
  ldd r24,Y+3
  clr r25
  sbrc r24,7
  com r25
  add r18,r24
  adc r19,r25
  ldd r24,Y+1
  ldd r25,Y+2
  add r24,r18
  adc r25,r19

/* epilogue start */
  adiw r28,6
  in __tmp_reg__,__SREG__
  cli
  out __SP_H__,r29
  out __SREG__,__tmp_reg__
  out __SP_L__,r28
  pop r28
  pop r29
  ret

我原本预期要么Y寄存器有额外的减操作，要么函数主体使用Y..Y+3而非Y+1..Y+4。这个偏移或减操作的来源对我来说并不明显，我查阅了指令集手册也未找到合理的解释。

解答 #

这是avr-gcc针对AVR架构设计的栈帧布局特性，核心逻辑围绕指令限制与编译约定展开：

1. Y寄存器的偏移约定
   avr-gcc规定Y寄存器始终指向栈帧的前一字节，Y+1才是栈帧的真正起始位置（栈帧底部）。这个设计是为了适配AVR的std/ldd指令——这类指令仅支持0~63的正偏移，如果Y直接指向栈帧底部，访问栈帧上方的保存寄存器（如push的r28/r29）需要负偏移，而std/ldd不支持负偏移。通过让Y指向栈帧前一字节，所有栈内访问都可以用正偏移，统一指令使用逻辑。

2. 序言中Y与SP对齐的原因
   你看到的in r28,__SP_L__/in r29,__SP_H__是把当前SP的值加载到Y寄存器，此时的SP已经刚好指向栈帧前一字节：

   • 进入函数后先push r29/r28（占2字节，SP向下移动2）
   • 3条rcall .指令每条会压入2字节返回地址，共分配6字节栈空间（SP再向下移动6）
   • 最终SP的位置完全符合Y寄存器的偏移约定，因此直接加载SP到Y即可满足Y+1指向栈帧底部的要求，无需额外减操作。

3. 关于覆盖保存寄存器的疑问
   你担心的std Y+6,r23会覆盖r28是不存在的：
   假设进入函数前SP=0x100：

   • push r29 → SP=0x0FF（r29存在0x100）
   • push r28 → SP=0x0FE（r28存在0x0FF）
   • 3条rcall后SP=0x0F8
   • Y=SP=0x0F8，Y+6=0x0FE，而r28存在0x0FF，两者地址不同，不会发生覆盖。

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