ARM架构中函数调用的底层原理与实战指南：从寄存器分配到栈帧管理

1次阅读

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

在物联网设备开发中，理解 ARM 架构的函数调用机制是至关重要的。高效的函数调用不仅能提升性能，还能避免内存错误导致的系统崩溃。ARM 处理器在嵌入式领域占据主导地位，掌握其调用约定（Calling Convention）是开发稳定固件的基础。

ARMv7（AArch32）架构使用 16 个通用寄存器（R0-R15），其中：

R0-R3：用于参数传递和返回值
R4-R11：被调用者保存寄存器（Callee-saved）
R12：临时寄存器（IP）
R13：栈指针（SP）
R14：链接寄存器（LR）
R15：程序计数器（PC）

ARMv8（AArch64）架构扩展到 31 个通用寄存器（X0-X30），关键变化：

X0-X7：用于参数传递
X8：间接结果寄存器
X9-X15：临时寄存器
X16-X17：平台保留寄存器
X18：平台保留寄存器
X19-X28：被调用者保存寄存器
X29：帧指针（FP）
X30：链接寄存器（LR）

ARMv7 前 4 个参数通过 R0-R3 传递，其余参数通过栈传递。ARMv8 则通过 X0-X7 传递前 8 个参数，多余参数使用栈空间。

ARMv7 要求栈指针（SP）在函数调用时保持 8 字节对齐。ARMv8 则要求 16 字节对齐，这是 SIMD 指令集的基本要求。

当函数参数超过寄存器容量时，需要正确使用栈空间。以下是 ARMv7 的 GCC 内联汇编示例：

// 函数定义：6 个参数（R0-R3 + 栈传递 2 个）int __attribute__((naked)) multi_args(int a, int b, int c, int d, int e, int f) {
    asm volatile("push {r4, r5, lr}       \n" // 保存被调用者保存寄存器和返回地址
        "ldr r4, [sp, #12]       \n" // 从栈加载第 5 个参数（e）"ldr r5, [sp, #16]       \n" // 从栈加载第 6 个参数（f）// 实际处理代码...
        "pop {r4, r5, pc}        \n" // 恢复寄存器并返回
        ::: "memory"
    );
}

对应的栈帧结构：

高地址
+------------+
|    f       | <-- SP+16
+------------+
|    e       | <-- SP+12
+------------+
| 返回地址   | <-- SP+8
+------------+
|  保存的 R5  | <-- SP+4
+------------+
|  保存的 R4  | <-- SP
低地址

使用栈保护（Stack Canary）技术可以有效检测栈溢出：

函数入口处将一个随机值（Canary）写入栈帧末端
函数返回前检查该值是否被修改
如果被修改，立即触发错误处理

GCC 编译器支持 -fstack-protector 选项自动插入 Canary 检查代码。

在中断服务程序（ISR）中必须保存所有可能被修改的寄存器：

void __attribute__((naked)) ISR_Handler(void) {
    asm volatile("push {r0-r12, lr}        \n" // 保存所有通用寄存器和返回地址
        "bl C_ISR_Handler         \n" // 调用 C 语言处理函数
        "pop {r0-r12, lr}         \n" // 恢复寄存器
        "bx lr                    \n" // 返回
        ::: "memory"
    );
}