ARM函数调用规约深度解析：如何避免栈溢出和寄存器污染

1次阅读

共计 1825 个字符，预计需要花费 5 分钟才能阅读完成。

在嵌入式开发中，ARM 架构的函数调用规约（AAPCS, ARM Architecture Procedure Call Standard）是确保代码稳定性的基石。它不仅规范了寄存器使用和栈操作，更是避免内存错误和性能问题的关键。今天我们就来深入聊聊这个话题。

想象一下，当你调用一个函数时，如果没有统一的规则：
– 寄存器可能被随意修改
– 栈空间可能不对齐
– 参数传递可能混乱

这就像交通没有红绿灯——迟早要出事故。AAPCS 就是 ARM 世界的 ” 交通规则 ”。

我遇到过这样一个 bug：在中断处理函数中修改了 R4 寄存器，但没保存原值，导致主程序随机崩溃。这就是典型的寄存器污染问题。

有一次，调用标准库函数时出现 hardfault，调试发现是因为栈指针 (SP) 没有 8 字节对齐。ARMv7 要求 SP 必须 8 字节对齐，否则访问某些指令会触发异常。

printf 这类可变参数函数特别容易出错。比如在 Thumb 模式下，前 4 个参数要通过寄存器传递，后面的才用栈，这个规则很多人都没注意。

AAPCS 将寄存器分为几类：

参数寄存器：R0-R3（用于前 4 个参数传递）
临时寄存器：R12(IP)，R0-R3，LR（可被调用者随意修改）
保存寄存器：R4-R11（调用者必须保存）
特殊寄存器：
SP（栈指针）：必须 8 字节对齐
LR（链接寄存器）：保存返回地址
PC（程序计数器）

保证 8 字节对齐的常用方法：

push {r4-r7, lr}    @ 保存寄存器
sub sp, sp, #8      @ 调整栈指针
and sp, sp, #0xFFFFFFF8  @ 强制对齐

或者更优雅的方式：

stmfd sp!, {r4-r7, lr}  @ 同时保存寄存器和自动对齐

使用 GNU 汇编器时，.fnstart和 .fnend 指令可以帮助维护栈帧：

.fnstart
push {r4-r6, lr}  @ 保存寄存器
@ 函数体...
pop {r4-r6, pc}   @ 恢复寄存器并返回
.fnend

下面是一个 ARM/Thumb 混合调用的例子：

@ ARM 模式函数
.global arm_func
.type arm_func, %function
arm_func:
.fnstart
push {r4-r6, lr}     @ 保存寄存器
bl thumb_func       @ 调用 Thumb 函数
@ 处理返回值...
pop {r4-r6, pc}      @ 恢复寄存器并返回
.fnend

@ Thumb 模式函数
.thumb
.global thumb_func
.type thumb_func, %function
thumb_func:
.fnstart
push {r4-r5, lr}     @ Thumb 模式下 push 指令有限制
@ 函数体...
pop {r4-r5, pc}      @ 返回
.fnend

当使用浮点运算时，需要特别注意 VFP 寄存器的保存：

.fnstart
vpush {d8-d15}      @ 保存浮点寄存器
push {r4-r6, lr}    @ 保存通用寄存器
@ 浮点运算代码...
pop {r4-r6, lr}      @ 恢复通用寄存器
vpop {d8-d15}       @ 恢复浮点寄存器
bx lr               @ 返回
.fnend

ISR 需要保存所有可能用到的寄存器，包括：

isr_handler:
push {r0-r12, lr}    @ 保存所有通用寄存器
vpush {d0-d7}        @ 保存浮点寄存器
@ ISR 处理代码...
vpop {d0-d7}         @ 恢复浮点寄存器
pop {r0-r12, lr}     @ 恢复通用寄存器
bx lr                @ 特殊返回方式

使用 -mapcs-frame 选项时，编译器会自动生成符合 AAPCS 的栈帧，但要注意：