第三章 ARM64寄存器体系与AAPCS64调用约定

ARM64（AArch64）架构的寄存器体系是理解整个指令集、函数调用、中断处理与性能优化的基石。与x86架构依赖栈操作不同，ARM64采用Load/Store架构，绝大多数运算都在寄存器中完成，因此寄存器的分类、位宽与使用规则直接决定了汇编代码的质量。本章将系统梳理通用寄存器、特殊寄存器、向量寄存器与系统寄存器的分类与用途，并深入解析AAPCS64（ARM Architecture Procedure Call Standard for AArch64）中关于参数传递、返回值、栈帧维护与寄存器保存义务的硬性规定。

3.1 通用寄存器：运算与寻址的核心

3.1.1 核心原理：31个通用寄存器与零寄存器

ARM64架构提供了31个通用寄存器，分别命名为X0至X30（64位视图）和W0至W30（32位视图）。W寄存器是X寄存器的低32位别名，写入W寄存器会自动将高32位清零，这一设计简化了32位与64位数据混用的场景。此外，还有一个特殊的零寄存器（XZR/WZR），读取时始终返回0，写入时则丢弃数据，常用于比较操作或初始化。

通用寄存器中，X30还有一个特殊身份——链接寄存器（LR），用于保存函数调用的返回地址。当执行BL（Branch with Link）指令时，当前PC+4被自动写入X30。X29通常用作帧指针（FP），指向当前栈帧的底部，便于调试器回溯调用栈。栈指针SP独立于通用寄存器，但同样支持64位寻址。

3.1.2 判断方法：区分寄存器角色

在实际编码中，判断一个寄存器属于哪种角色，可以依据以下规则：

• X0-X7：参数寄存器，用于传递函数的前8个参数，同时也是返回值寄存器（X0/X1）。
• X8：间接结果寄存器，用于返回大结构体或内存地址。
• X9-X15：临时寄存器，调用者保存，可自由使用。
• X16-X17：IP0/IP1（内部过程调用寄存器），用于PLT跳转和动态链接，编译器生成的代码可能随时修改。
• X18：平台寄存器，在Linux中指向当前任务的TPIDR_EL0，一般不建议应用程序修改。
• X19-X28：被调用者保存寄存器，函数若使用必须保存原值。
• X29（FP）：帧指针，可选使用，但使用后需在栈帧中保存。
• X30（LR）：链接寄存器，保存返回地址。

3.1.3 实战场景：函数调用中的寄存器流转

考虑一个简单的C函数调用：int add(int a, int b) { return a + b; }。编译为汇编后，参数a和b分别放入X0和X1，执行ADD X0, X0, X1后结果留在X0中返回。调用者无需保存X0-X1，因为它们是调用者保存寄存器。但如果被调函数需要使用X19，则必须先将X19压栈，函数返回前再恢复。

// 被调函数使用X19的典型模式
func:
    STP X29, X30, [SP, #-16]!   // 保存FP和LR
    MOV X29, SP                  // 建立帧指针
    MOV X19, X0                  // 保存参数到X19（被调用者保存）
    // ... 使用X19进行运算 ...
    LDP X29, X30, [SP], #16     // 恢复FP和LR
    RET                          // 返回

3.1.4 常见误区与总结

总结：通用寄存器是ARM64运算的基石，理解其角色分工是编写正确汇编代码的前提。调用者保存寄存器（X0-X18）适合存放临时值，被调用者保存寄存器（X19-X29）适合存放跨函数调用的持久数据。

3.2 特殊寄存器：程序状态与异常控制

3.2.1 核心原理：NZCV与系统控制

特殊寄存器包括NZCV（条件标志位）、FPCR（浮点控制寄存器）、FPSR（浮点状态寄存器）以及异常处理相关的ELR_ELx（异常链接寄存器）和SPSR_ELx（保存的程序状态寄存器）。NZCV是唯一可直接访问的条件标志寄存器，其中N（负数）、Z（零）、C（进位）、V（溢出）位由算术指令自动更新，供条件分支指令（如B.EQ、B.NE）使用。

FPCR控制浮点运算的舍入模式、默认NaN行为等；FPSR则记录浮点异常标志（如除零、溢出）。在ARM64中，浮点异常默认不触发陷阱，而是置位标志位，需要软件主动检查。

3.2.2 操作流程：读取与修改特殊寄存器

特殊寄存器不能通过普通MOV指令访问，必须使用MRS（Move from System Register）和MSR（Move to System Register）指令。例如：

MRS X0, NZCV        // 读取条件标志到X0
MSR NZCV, X1        // 将X1的值写入NZCV
MRS X2, FPCR        // 读取浮点控制寄存器
MSR FPCR, X3        // 设置浮点控制

对于异常处理，当发生异常时，硬件自动将当前PC保存到ELR_ELx，将PSTATE保存到SPSR_ELx。异常返回指令ERET会从这两个寄存器恢复现场。

3.2.3 实战场景：条件分支与标志位

假设需要实现一个循环计数：

    MOV X0, #10        // 循环10次
loop:
    SUBS X0, X0, #1    // 减1并更新NZCV
    B.NE loop          // 若Z=0（非零）则跳转
    // 循环结束

这里SUBS指令更新了Z标志，B.NE根据Z标志决定是否跳转。如果误用SUB（不更新标志），循环将无法终止。

3.2.4 常见误区与总结

特殊寄存器是程序状态的核心，理解NZCV的更新规则和异常处理流程，对于编写可靠的低层代码和中断服务程序至关重要。

3.3 向量寄存器：SIMD与浮点加速

3.3.1 核心原理：128位SIMD架构

ARM64提供32个128位向量寄存器（V0-V31），支持NEON SIMD指令集。每个向量寄存器可以视为多个小元素组成的数组，例如：

• 16个8位整数（8B）
• 8个16位整数（8H）
• 4个32位整数（4S）
• 2个64位整数（2D）
• 4个单精度浮点（4S）
• 2个双精度浮点（2D）

向量寄存器同时支持标量浮点运算（如FMOV、FADD），在AArch64中，浮点参数通过V0-V7传递，返回值通过V0返回。

3.3.2 判断方法：何时使用向量寄存器

当需要对大量数据进行相同操作时（如像素处理、音频采样、矩阵运算），使用SIMD指令可以显著提升性能。判断依据：

1. 数据量是否足够大（通常超过4个元素）？
2. 操作是否具有数据并行性（每个元素独立计算）？
3. 数据类型是否匹配（整数/浮点）？

3.3.3 实战场景：向量加法

// 将两个4元素浮点向量相加
    LDR Q0, [X0]        // 加载第一个向量到Q0（128位）
    LDR Q1, [X1]        // 加载第二个向量到Q1
    FADD V0.4S, V0.4S, V1.4S  // 4路单精度浮点加法
    STR Q0, [X2]        // 存储结果

这段代码一次处理4个浮点数，相比标量循环效率提升4倍。注意Q寄存器是V寄存器的128位视图，D寄存器是64位视图，S是32位视图。

3.3.4 常见误区与总结

向量寄存器是ARM64性能优化的利器，尤其在多媒体、科学计算和加密领域。掌握SIMD编程需要理解数据布局和指令集，建议从简单的向量加法开始逐步深入。

3.4 系统寄存器：控制硬件资源

3.4.1 核心原理：特权级访问

系统寄存器控制处理器的核心功能，包括内存管理单元（MMU）、缓存、中断控制器、定时器等。它们通过MRS/MSR指令访问，且访问权限受当前异常级别（EL0-EL3）限制。例如，EL0（用户态）无法直接访问TTBR0_EL1（页表基地址寄存器），必须通过系统调用陷入EL1。

3.4.2 操作流程：系统寄存器访问示例

// 读取当前异常级别
MRS X0, CurrentEL
// 读取CPU频率（在EL1）
MRS X1, CNTFRQ_EL0
// 读取缓存类型
MRS X2, CTR_EL0

系统寄存器名称中的ELx后缀表示可访问的最低异常级别。例如，CNTPCT_EL0可在EL0访问，而MAIR_EL1只能在EL1及以上访问。

3.4.3 实战场景：性能计数器

在性能调优中，常使用PMU（性能监控单元）寄存器统计缓存命中率、分支预测率等指标：

// 启用PMU计数器（需在EL1）
MSR PMCR_EL0, X0        // 配置计数器
MSR PMCNTENSET_EL0, X1  // 使能计数器
// 读取计数器值
MRS X2, PMCCNTR_EL0

3.4.4 常见误区与总结

系统寄存器是操作系统与硬件交互的桥梁，理解其分类和访问规则是开发设备驱动、Bootloader和虚拟化软件的基础。

3.5 AAPCS64调用约定：寄存器使用的黄金法则

3.5.1 核心原理：参数传递与保存义务

AAPCS64定义了函数调用时寄存器的使用规则，确保不同编译器和汇编器生成的代码可以互相调用。核心规则如下：

3.5.2 判断方法：栈帧布局

一个标准的函数序言（Prologue）和尾声（Epilogue）如下：

func:
    STP X29, X30, [SP, #-16]!   // 分配16字节栈空间，保存FP和LR
    MOV X29, SP                  // 设置帧指针
    // 如果有被调用者保存寄存器需要保存
    STP X19, X20, [SP, #-16]!
    // ... 函数体 ...
    LDP X19, X20, [SP], #16     // 恢复X19/X20
    LDP X29, X30, [SP], #16     // 恢复FP/LR，释放栈空间
    RET

栈指针SP必须保持16字节对齐，这是AAPCS64的硬性要求。函数入口时SP指向返回地址，序言中先压栈再移动SP。

3.5.3 实战场景：混合编程与内联汇编

在C代码中嵌入汇编时，必须遵守AAPCS64规则。例如，调用一个外部汇编函数：

// C代码
extern int asm_add(int a, int b);
int result = asm_add(3, 4);

// 汇编实现
.global asm_add
asm_add:
    ADD X0, X0, X1   // X0=a, X1=b
    RET

这里C编译器自动将参数放入X0/X1，汇编函数直接使用并返回结果，无需额外处理。

3.5.4 常见误区与总结

AAPCS64是ARM64生态的基石，无论是编写汇编函数、内联汇编还是逆向分析，都必须深刻理解这些规则。建议在编写汇编代码时，始终先列出使用的寄存器及其保存责任，再设计栈帧布局。