ATPCS标准详解.pdf

ATPCS ATPCS AATTPPCCSS ARM-THUMB procedurecall standard 即 的简称。 PCS规定了应用程序的函数可以如何分开地写，分开地编译，最后将它们连接在一起，所 以它实际上定义了一套有关过程（函数）调用者与被调用者之间的协议。PCS规范强制实 现如下约定： 1、调用函数如何传参（即压栈方法，以何种方式存放参数）， 2、被调用函数如何获取参数，以何种方式传递函数返回值。 PCS规范的制订是一系列指标的“tradeoff”（因为很大程度上涉及系统的一些性能）， 如会涉及生成代码的大小，调试功能的支持，函数调用上下文处理速度以及内存消耗。当然， 通过编译器的支持可以让生成的代码有不同的特性，如gcc编译选项可以支持或不支持 framepointer来支持深入调试功能或提高程序运行性能。 PCS是体系结构密切相关的，直接涉及编译器如何使用处理器提供的应用寄存器，如 编译器使用什么寄存器作为栈指针，利用哪些寄存器作直接传参等。值得注意的是，没有谁 规定说ATPCS是必须这样而不是那样的，它是应用相关的，任何一个操作系统和应用可以 处于它自身的考虑定义自己的PCS，当然，如果那样，也必须有自己的编译器，而实际上， 在一个处理器设计时，都会有某种假设，所以PCS某种程度上应该是一样的。 ATPCS是基于arm指令集和thumb指令集过程调用的规范。 寄存器的使用规则:::: 1. 子程序通过寄存器 R0~R3 来传递参数. 这时寄存器可以记作:A1~A4 , 被调用的 子程序在返回前无需恢复寄存器R0~R3的内容. 2. 在子程序中,使用 R4~R11 来保存局部变量.这时寄存器R4~R11可以记作: V1~V8.如果在子程序中使用到V1~V8的某些寄存器,子程序进入时必须保存这些寄存器 的值,在返回前必须恢复这些寄存器的值,对于子程序中没有用到的寄存器则不必执行 这些操作.在THUMB 程序中，通常只能使用寄存器R4~R7来保存局部变量. 3.寄存器 R12 用作子程序间 scratch 寄存器,记作IP; 在子程序的连接代码段中经常 会有这种使用规则. 4. 寄存器R13用作数据栈指针,记做SP,在子程序中寄存器R13不能用做其他用途. 寄 存器SP在进入子程序时的值和退出子程序时的值必须相等. 5. 寄存器R14用作连接寄存器,记作LR; 它用于保存子程序的返回地址,如果在子程序 中保存了返回地址,则R14可用作其它的用途. 6. 寄存器R15是程序计数器,记作PC; 它不能用作其他用途. 7.ATPCS 中的各寄存器在ARM编译器和汇编器中都是预定义的. 参数的传递规则 根据参数个数是否固定,可以将子程序分为参数个数固定的子程序和参数个数可变的子 程序.这两种子程序的参数传递规则是不同的. 1、参数个数可变的子程序参数传递规则 对于参数个数可变的子程序,当参数不超过4个时,可以使用寄存器R0~R3来进行参数传 递,当参数超过 4 个时,还可以使用数据栈来传递参数. 在参数传递时,将所有参数看做是 存放在连续的内存单元中的字数据。然后,依次将各名字数据传送到寄存器R0,R1,R2,R3; 如 果参数多于4个,将剩余的字数据传送到数据栈中,入栈的顺序与参数顺序相反,即最后一个字 数据先入栈. 按照上面的规则,一个浮点数参数可以通过寄存器传递,也可以通过数据栈传递, 也可能一半通过寄存器传递，另一半通过数据栈传递. 2、参数个数固定的子程序参数传递规则 对于参数个数固定的子程序,参数传递与参数个数可变的子程序参数传递规则不同,如果 系统包含浮点运算的硬件部件,浮点参数将按照下面的规则传递: 1）各个浮点参数按顺序处理; 2）为每个浮点参数分配FP寄存器; 3）分配的方法是,满足该浮点参数需要的且编号最小的一组连续的FP寄存器.第一个整 数参数通过寄存器R0~R3来传递,其他参数通过数据栈传递. 子程序结果返回规则 1.结果为一个32位的整数时,可以通过寄存器R0 返回. 2.结果为一个64位整数时,可以通过R0 和R1返回，依此类推. 3.结果为一个浮点数时,可以通过浮点运算部件的寄存器f0,d0或者s0来返回. 4.结果为一个复合的浮点数时,可以通过寄存器f0-fN或者d0~dN来返回.