开发8位处理器C子集编译器：局部变量应存储在何处？

一、局部变量：常规调用栈 vs 单独数据栈 #

优先选择常规调用栈存储局部变量，核心原因如下：

• 8位处理器普遍寄存器资源紧张（比如6502仅3个通用寄存器），维护两个独立栈指针（调用栈+数据栈）会额外占用寄存器，大幅增加编译逻辑和运行时开销，完全没必要。
• 常规调用栈天然兼容函数调用的上下文保存（返回地址、寄存器现场），局部变量可与这些数据连续存储，简化栈帧的整体管理逻辑。
• 单独数据栈仅适用于极端特殊场景（如硬实时系统强制隔离数据与调用栈），但老式8位处理器的应用场景极少需要这种设计。

二、函数栈帧的预留与清理 #

必须在函数开头预留局部变量空间，并在返回时清理，具体逻辑如下：

1. 函数入口处理
   • 调整栈指针预留空间：根据局部变量总字节数修改栈指针（比如栈向下生长时执行SP -= local_total_size）。
   • 初始化局部变量：对带有显式初始值的自动局部变量（C默认的auto类型），在入口处生成赋值代码，将初始值写入预留的栈空间；未初始化的局部变量无需处理（符合C标准中“未初始化自动变量值不确定”的要求）。
   • 若函数需要修改非调用者保存寄存器（如某些8位处理器的累加器），需在预留局部变量空间前/后将寄存器值压栈，避免被函数内代码破坏。
2. 函数返回处理
   • 恢复栈指针：将栈指针重置为函数入口前的状态（比如执行SP += local_total_size，或从栈中弹出之前保存的栈指针值）。
   • 恢复寄存器现场（若之前保存过），最后执行返回指令（比如6502的RTS）。

三、针对中断修改栈区域的防护 #

由于中断可能随时修改调用栈指针下方的区域，需注意以下两点：

• 明确栈生长方向：先确认目标处理器的栈生长方向（8位处理器多为向下生长，如6502、Z80）。函数入口预留局部变量空间后，局部变量的存储区域必须位于当前栈顶的“安全侧”：
  • 栈向下生长：预留空间后，局部变量地址高于栈指针当前值，中断触发时压栈只会让栈指针向更低地址移动，不会覆盖局部变量区域。
  • 栈向上生长：预留空间后，局部变量地址低于栈指针当前值，中断压栈向更高地址移动，同样不会覆盖局部变量。
• 中断栈与用户栈隔离（可选）：若目标处理器支持，可将中断处理程序的栈与用户程序的栈分开（比如使用不同内存区域），从根源避免中断对用户栈帧的干扰。但这种配置需要硬件支持，老式8位处理器可能不具备该能力，此时依赖上述栈帧管理逻辑即可保证局部变量安全。

内容的提问来源于stack exchange，提问作者Thomas S.