灵动微课堂 (第181讲) | Cortex-M0中断控制和系统控制（七）

前四个寄存器R0~R3用于将参数值传递到例程中并将结果值传递出例程，并在例程中保存中间值（但通常仅在子例程调用之间），子程序通过寄存器R0~R3来传递参数，这时寄存器可以记作：A1~A4，被调用的子程序在返回前无需恢复寄存器R0~R3的内容。

在子程序中，使用R4~R11来保存局部变量，这时寄存器R4~R11可以记作：V1~V8 。如果在子程序中使用到V1~V8的某些寄存器，子程序进入时必须保存这些寄存器的值，在返回前必须恢复这些寄存器的值，对于子程序中没有用到的寄存器则不必执行这些操作。在THUMB程序中，通常只能使用寄存器R4~R7来保存局部变量。

寄存器R12用作子程序间暂存寄存器，记作IP；在子程序的连接代码段中经常会有这种使用规则。

寄存器R13用作数据栈指针，记做SP，在子程序中寄存器R13不能用做其他用途。寄存器SP在进入子程序时的值和退出子程序时的值必须相等。

寄存器R14用作连接寄存器，记作LR；它用于保存子程序的返回地址，如果在子程序中保存了返回地址，则R14可用作其它的用途。

寄存器R15是程序计数器，记作PC；它不能用作其它用途。

ATPCS中的各寄存器在ARM编译器和汇编器中都是预定义的。
2.2  数据栈的使用规则
栈指针通常可以指向不同的位置，当栈指针指向栈顶元素(即最后一个入栈的数据元素)时，称为Full栈。当栈指针指向与栈顶元素相邻的一个元素时，称为Empty栈。数据栈的增长方向也可以不同，当数据栈向内存减小的地址方向增长时，称为Descending栈。当数据栈向着内存地址增加的方向增长时，称为Ascending栈。

综合这两种特点可以由以下4种数据栈：
FD(FULL Descending)：递增满栈
ED(Empty Descending)：递增空栈
FA(FULL Ascending)：递减满栈
EA(Empty Ascending)：递减空栈

ATPCS规定数据栈为FD类型，并对数据栈的操作是8字节对齐的，下面是一个数据栈的示例及相关的名词：
1、数据栈栈指针，stack pointer指向最后一个写入栈的数据的内存地址。
2、数据栈的基地址，stack base是指数据栈的最高地址。由于ATPCS中的数据栈是FD类型的，实际上数据栈中最早入栈数据占据的内存单元是基地址的下一个内存单元。
3、数据栈界限，stack limit是指数据栈中可以使用的最低的内存单元地址。
4、已占用的数据栈，used stack是指数据栈的基地址和数据栈栈指针之间的区域，其中包括数据栈栈指针对应的内存单元。
5、数据栈中的数据帧(stack frames) 是指在数据栈中，为子程序分配的用来保存寄存器和局部变量的区域。VAL(SP) <= stack base,
VAL(SP) >= VAL(SL) >= stack limit + 256,
VAL(LR) = return address异常中断的处理程序可以使用被中断程序的数据栈，这时用户要保证中断的程序数据栈足够大。使用ADS编译器产生的目标代码中包含了DRFAT2格式的数据帧。在调试过程中，调试器可以使用这些数据帧来查看数据栈中的相关信息。而对于汇编语言来说，用户必须使用FRAME伪操作来描述数据栈中的数据帧。ARM汇编器根据这些伪操作在目标文件中产生相应的DRFAT2格式的数据帧。
在ARMv5TE中，批量传送指令LDRD/STRD要求数据栈是8字节对齐的，以提高数据的传送速度。用ADS编译器产生的目标文件中，外部接口的数据栈都是8字节对齐的，并且编译器将告诉连接器：本目标文件中的数据栈是8字节对齐的。而对于汇编程序来说，如果目标文件中包含了外部调用，则必须满足以下条件：外部接口的数据栈一定是8位对齐的，也就是要保证在进入该汇编代码后，直到该汇编程序调用外部代码之间，数据栈的栈指针变化为偶数个字；在汇编程序中使用PRESERVE8伪操作告诉连接器，本汇编程序是8字节对齐的。