深入解析arm64函数调用约定：从寄存器分配到栈帧管理

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

函数调用约定是编译器生成代码的规则基础，直接影响二进制接口兼容性和优化空间。不同架构的设计差异会导致跨平台移植时的隐蔽问题，理解这些细节是性能调优和问题排查的关键。

1. arm64 与 x86_64 调用约定对比

2. 整数寄存器使用规则

1. x0-x7：前 8 个整型参数按顺序存放，超出的参数通过栈传递
2. x8：间接调用时保存函数地址（如动态链接）
3. x9-x15：临时寄存器，调用方不保存（caller-saved）
4. x16-x17：平台保留寄存器（如链接器使用）
5. x18：平台保留寄存器（某些系统用作 TLS 基址）
6. x19-x28：被调用方保存（callee-saved），使用前需压栈

示例：调用 func(a,b,c,d) 时，a- d 分别存入 x0-x3，无需栈操作

3. 栈帧 16 字节对齐原理

1. 硬件要求：arm64 的 SP 寄存器必须始终保持 16 字节对齐，否则访问向量类型时触发 SIGBUS
2. 实现方式：非叶子函数需在入口处计算：(参数区 + 本地变量) 向上对齐
3. 调试技巧 ：通过(sp & 0xF) == 0 检查栈指针，gdb 使用 p/x $sp 验证

典型栈帧布局：

+------------+
| 调用者栈帧 |
+------------+
| 返回地址   |  <-- sp+8 (LR 保存位置)
+------------+
| 被保存寄存器 | <-- sp (16 字节对齐后)
+------------+
| 本地变量   |
+------------+

4. 浮点寄存器处理

1. v0-v7：前 8 个浮点参数，与整型寄存器独立
2. v8-v15：被调用方保存，使用前需保存到栈
3. 混合参数：整型优先占用 x0-x7，浮点参数从 v0 开始独立计数

常见错误示例：

// 错误：混淆整型和浮点寄存器编号
foo:            // 正确应使用 v0 而非 x0 传递浮点数
    fmov d0, x0 // 这里会错误读取整型寄存器的值
    ret

5. 实战汇编示例

叶子函数（不调用其他函数）：

// int leaf(int a, int b)
leaf:
    add x0, x0, x1  // 直接使用 x0-x1 参数寄存器
    ret             // 无需栈操作

非叶子函数：

// void nonleaf(int a, float b)
nonleaf:
    stp x29, x30, [sp, #-16]!  // 保存 FP 和 LR (必须 16 字节对齐)
    mov x29, sp                 // 设置帧指针
    str s0, [sp, #-16]!         // 保存浮点参数到栈
    bl other_func               // 调用其他函数
    ldr s0, [sp], #16           // 恢复浮点参数
    ldp x29, x30, [sp], #16     // 恢复 FP 和 LR
    ret

6. 避坑指南

• 混合参数错误：
• 当函数同时接收整型和浮点参数时，确保编译器生成正确的寄存器分配

• 使用 -mabi=lp64 选项避免历史兼容性问题

• 栈不对齐调试：

• 在 gdb 中执行 catch signal SIGBUS 捕获错误
• 使用 disas 查看崩溃点的指令（通常是 NEON 指令）
• 检查 sp 值是否符合(sp % 16) == 0

7. 开放性问题思考

1. 可变参数处理：当参数超过 8 个时，如何确定哪些参数在寄存器 / 栈中？
2. 参考 AAPCS64 标准，可变参数的整型部分仍优先使用 x0-x7

3. 通过 va_list 结构体中的 __gr_top 字段判断寄存器参数数量

4. RISC- V 对比：

5. RISC- V 使用 a0-a7 传递参数，与 arm64 类似但无强制对齐要求
6. 两者都采用 caller-saved 临时寄存器设计，反映 RISC 架构的简洁哲学

通过理解这些底层机制，开发者可以：
– 编写更高效的嵌入式代码
– 诊断跨平台兼容性问题
– 优化关键路径的函数调用开销

下次遇到神秘的 SIGBUS 错误时，不妨先检查栈指针是否乖乖对齐了 16 字节边界？