接下来我们再通过几个小例子熟悉一下C函数与汇编函数的调用过程。下面的C函数TestFunc1与汇编函数TestFunc2的功能是一样的。
unsigned int TestFunc1(void)
{
unsigned int arg_ret = 100;
return arg_ret;
}
.func TestFunc2
TestFunc2:
STMDB R13!, {R5 - R6, R10} @R5,R6,R10寄存器压栈
LDR R1, =1
LDR R3, =2
LDR R4, =3
LDR R5, =4
LDR R6, =5
LDR R10, =6
ADD R0, R1, R3
ADD R0, R0, R4
ADD R0, R0, R5
ADD R0, R0, R6
ADD R0, R0, R10
LDMIA R13!, {R5 - R6, R10} @R5,R6,R10寄存器出栈
.endfunc
TestFunc2函数使用了R0、R1、R3、R4、R5、R6、R10共7个寄存器,遵循AAPCS规则,在使用R0、R1和R3之前并没有对它们压栈,但对R5、R6和R10寄存器进行了压栈保存,在函数返回前又出栈还原了这3个寄存器,这样TestFunc2函数返回到它的父函数之后,R5、R6和R10寄存器的数值是没有改变的,而R0、R1和R3则分别被改写为了1、2和3。
unsigned int TestFunc3(void)
{
return TestFunc4(1, 2);
}
.func TestFunc4
TestFunc4:
ADD R0, R0, R1
BX R14;
.endfunc
TestFunc3函数在调用TestFunc4函数前已经将参数1和2分别存入R0和R1,并将返回地址存入到R14中,然后才跳转到TestFunc4函数,发生函数调用。这时程序将运行TestFunc4函数,它将R0和R1相加,将结果放入R0,需要通过R0将返回值返回给TestFunc3函数。此时R14中保存的就是返回TestFunc3函数的返回地址,最后TestFunc4函数跳转到R14就返回到了TestFunc3函数,TestFunc3函数从R0就可以取出TestFunc4函数计算的结果了。
下面我们再来看看汇编函数TestFunc5调用C函数TestFunc6完成1+2的运算。
.func TestFunc5
TestFunc5:
MOV R0, #1
MOV R1, #2
SUB R13, R13, #4
STR R14, [R13]
BL TestFunc6
LDR R14, [R13]
ADD R13, R13, #4
BX R14
.endfunc
unsigned int TestFunc6(U8 ucPara1, U8 ucpara2)
{
return ucPara1 + ucPara2;
}
TestFunc5函数先将参数1和2存入R0和R1寄存器,准备调用TestFunc6函数并传递入口参数,然后将R14寄存器压栈,以防止使用BL指令时存入的R14返回地址破坏R14原有的数据,然后调用TestFunc6函数。在调用TestFunc6函数时BL指令会自动将“LDR R14, [R13]”这条指令的地址存入R14,这样就开始运行TestFunc6函数了。TestFunc6函数会自动从R0和R1寄存器中取出参数,将计算结果存入R0,通过R0将返回值返回给TestFunc5函数。TestFunc6函数跳转回TestFunc5函数后,TestFunc5函数从栈中恢复原有的R14寄存器,完成函数调用,此时R0中的数值就是TestFunc6函数的计算结果。