参数的传递规则

Wenghezhong · 发表于 2016-7-13 14:57

EDA365欢迎您！

您需要登录才可以下载或查看，没有帐号？注册

x

根据参数个数是否固定可将之程序分为参数个数固定的子程序和参数个数可变的子程序。这2种子程序的参数传递规则是不同的。
1）
参数个数固定的子陈旭参数传递规则
对于参数个数固定的子程序，参数传递与参数个数可变的子程序参数传递规则不同。如果系统包含浮点运算的硬件部件，浮点参数将按照下面的规则传递：
各个浮点参数按顺序处理。
为每个浮点参数分配FP寄存器。分配的方法是，满足该浮点参数需要的且编号最小的一组连续的FP寄存器。
第一个整数参数，通过寄存器R0~R3来传递，其他参数通过数据栈传递。
2）
参数个数可变的子程序参数传递规则
对于参数个数可变的子程序，当参数不超过4小时，可使用寄存器R0~R3来书安迪参数；当参数超过4小时，还可使用数据栈来传递参数。
在参数传递时，将所有参数看作是存放在连续的内存单元中的字数据。然后，一次将各字数据传送到寄存器R0，R1，R2，R3中，如果参数多于4个，将剩余的字数据传送到数据栈中，入栈的顺序与参数顺序相反，即最后一个字数据先入栈。
按照以上传递规则，对于一个浮点数参数可通过寄存器传递，也可通过数据栈传递，也可能一般通过寄存器传递，一般通过数据栈传递。
3）
子程序结果返回规则
结果为一个32位的整数时，可通过寄存器R0返回。
结果为一个64位整数时，可通过寄存器R0和R1返回，依次类推；
结果为一个浮点数，可通过浮点运算部件的寄存器F0、D0或者S0来返回；
结果为复合型的浮点数时，可通过寄存器F0~Fn或者D0~Dn来返回；
对于位数更多的结果，需要通过内存来传递。
ARM程序和Thumb程序混合使用的ATPCS
为了适应一些特殊需求，对ATPCS规定的子程序间调用的基本规则进行修改，得到了几种不同的子程序调用规则，包括：
支持数据栈限制检查的ATPCS
支持只读段位置无关的ATPCS
支持可读/写段位置无关的ATPCS
支持ARM程序和Thumb程序混合使用的ATPCS
支持处理器浮点运算的ATPCS
在这里只是简单介绍支持ARM程序和Thumb程序混合实用化的ATPCS
。在编译和汇编时，通过使用/interwork告诉编译器生成的目标代码遵守支持ARM程序和Thumb程序混合使用的ATPCS。它一般用于以下场合：
程序中存在ARM程序调用Thumb程序的情况。
程序中存在Thumb程序调用ARM程序的情况。
需要链接器来进行ARM状态和Thumb状态切换的情况。
在下述情况下，使用选项/nointerwork：
程序中不包含Thumb程序；
用户自己进行ARM状态和Thumb状态切换。
其中，选项/nointerwork是默认的选项。
注意：在同一个C源程序中不能同时包含ARM指令个Thumb指令，但汇编可以。
如果程序遵守支持ARM程序和Thumb程序混合使用的ATPCS，则程序中ARM子程序和Thumb子程序可相互调用。对于C源程序，只要在编译时指定apcs/interwork选项，编译器生成地代码会自动遵守支持ARM程序和Thumb程序混合使用的ATPCS。而对于汇编源程序，必须保证编写的代码遵守支持ARM程序和Thumb程序混合使用的ATPCS。
当链接器发现有ARM子程序与Thumb子程序相互调用时，链接器将修改相应的调用和返回代码，或者添加一段veneers代码（通过将链接器生成的用于程序状态切换的代码段称为veneers代码）来完成程序状态的切换。