ARM函数调用规约详解：从寄存器分配到栈帧管理

1次阅读

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

在 ARM 嵌入式开发中，函数调用规约（Calling Convention）是确保程序正确运行的基础。然而，许多新手开发者往往会忽略这一点，导致一些难以调试的问题。比如：

寄存器污染：函数调用后，某些寄存器的值被意外修改，导致调用方的逻辑出错。
栈不对齐：ARM 架构要求栈指针（SP）在某些情况下必须 8 字节对齐，否则可能触发 HardFault 异常。
参数传递混乱：在混合调用 C 和汇编时，如果参数传递规则不明确，会导致数据读取错误。

这些问题通常表现为程序崩溃或数据错误，且难以通过常规调试手段发现。因此，理解 ARM 的函数调用规约（AAPCS）是嵌入式开发的必备技能。

ARM 架构的函数调用规约主要有两种：AAPCS（ARM Architecture Procedure Call Standard）和 ATPCS（ARM-Thumb Procedure Call Standard）。AAPCS 是当前的主流标准，而 ATPCS 主要用于早期的 Thumb 模式。以下是 AAPCS 的核心规则：

寄存器分配：
参数传递 ：前 4 个整型参数通过r0-r3 传递，多余的参数通过栈传递。
返回值 ：整型返回值通过r0 返回，64 位值通过 r0 和r1返回。
调用者保存寄存器 ：r0-r3 和r12是调用者保存（Caller-saved），函数可以自由使用这些寄存器，但调用方需负责保存它们。
被调用者保存寄存器 ：r4-r11 是被调用者保存（Callee-saved），函数如果使用这些寄存器，必须在返回前恢复它们的值。
栈对齐：
AAPCS 要求栈指针（SP）在函数入口和出口时必须 8 字节对齐（ARMv7- M 架构）。
中断服务程序（ISR）中必须强制 8 字节对齐，否则可能触发 HardFault。
浮点寄存器（VFP）：
如果使用硬件浮点，浮点参数通过 s0-s15 传递，返回值通过 s0 返回。
浮点寄存器 s16-s31 是被调用者保存的。

以下是一个 ARMv7- M 架构下的汇编与 C 混合编程示例，展示如何正确保存和恢复寄存器，并遵守栈对齐规则：

; 汇编函数示例：调用 C 函数并保存寄存器
.global asm_function
asm_function:
    PUSH {r4-r6, lr}      ; 保存被调用者保存寄存器和 LR
    SUB sp, sp, #8        ; 为局部变量预留栈空间（保持 8 字节对齐）; 调用 C 函数
    MOV r0, #42           ; 第一个参数通过 r0 传递
    MOV r1, #100          ; 第二个参数通过 r1 传递
    BL c_function         ; 调用 C 函数

    ADD sp, sp, #8        ; 恢复栈指针
    POP {r4-r6, pc}       ; 恢复寄存器并返回

; C 函数示例
int c_function(int a, int b) {return a + b;}

以下是函数调用时的栈帧布局：

高地址
|----------------|
|      LR        | <- 调用方的返回地址
|----------------|
|      r6        | <- 被调用者保存寄存器
|----------------|
|      r5        |
|----------------|
|      r4        |
|----------------|
|  局部变量区    | <- 8 字节对齐
|----------------|
低地址