0 资料&工具
c
Cortex M3权威指南(中文).pdf
keil5(用于仿真查看汇编代码、栈变化)
1 C语言函数不同个数、大小形参对执行速度的影响:以Cortex-M3为例从汇编角度分析原因
C语言中有条不成文的规定:不建议函数的形参数量超过4个。为什么会有这样的规定呢,本文以Cortex-M3为例,分析C语言函数不同个数、大小形参对执行速度的影响。
1.1 理论分析
ARM架构的处理器使用R0-R3寄存器传递函数参数,假如有4个参数,则按照顺序依次将参数4写入R3、参数3写入R2、参数2写入R1、参数1写入R0。这是因为访问寄存器的速度要比访问内存(堆栈)要快。如果参数数量超过4个,或者参数太大不足以通过4个寄存器传递参数,则超出部分的参数将通过堆栈传递。使用堆栈传递参数时,参数按照从右往左的顺序压入堆栈,即第一个参数(超出寄存器的部分)会先被压入堆栈。
1.2 举例分析
1.2.1 函数参数个数不超过4个且参数大小均小于寄存器大小(32bit)
示例程序:
c
typedef unsigned long long int u64;
typedef unsigned int u32;
u32 fun1(u32 p1, u32 p2, u32 p3, u32 p4)
{
return p1 + p2 + p3 + p4;
}
u32 fun2(u32 p1, u32 p2, u32 p3, u32 p4, u32 p5)
{
return p1 + p2 + p3 + p4 + p5;
}
u64 fun3(u64 p1, u64 p2, u64 p3)
{
return p1 + p2 + p3;
}
/**
* 主函数
*/
int main(void)
{
fun1(1, 2, 3, 4);
}
对应的汇编代码:
在跳转fun1函数前依次将参数4-1压入R3-R0,没有使用到堆栈。
1.2.2 函数参数个数超过4个但总大小不超过4x32bit
示例程序:
c
typedef unsigned long long int u64;
typedef unsigned int u32;
u32 fun1(u32 p1, u32 p2, u32 p3, u32 p4)
{
return p1 + p2 + p3 + p4;
}
u32 fun2(u32 p1, u32 p2, u32 p3, u32 p4, u32 p5)
{
return p1 + p2 + p3 + p4 + p5;
}
u64 fun3(u64 p1, u64 p2, u64 p3)
{
return p1 + p2 + p3;
}
/**
* 主函数
*/
int main(void)
{
fun2(1, 2, 3, 4, 5);
}
对应的汇编代码:
这里关注一下进入mian函数的压栈指令(PUSH),PUSH之后堆栈指针的值为0x200003F8
操作如下:
(1)将参数5保存到R0
(2)将参数4保存到R3
(3)将参数3保存到R2
(4)将参数2保存到R1
(4)将参数5的值保存到堆栈
(5)将参数1保存到R0
我们再将函数参数大小fun2修改为u16,这样下来函数参数总大小为5x16=80bit没超过4x32=128bit,看看是否同样需要使用堆栈传递形参。对应代码如下:
c
typedef unsigned long long int u64;
typedef unsigned short int u16;
typedef unsigned int u32;
u32 fun1(u16 p1, u16 p2, u16 p3, u16 p4)
{
return p1 + p2 + p3 + p4;
}
u32 fun2(u16 p1, u16 p2, u16 p3, u16 p4, u16 p5)
{
return p1 + p2 + p3 + p4 + p5;
}
u64 fun3(u64 p1, u64 p2, u64 p3)
{
return p1 + p2 + p3;
}
/**
* 主函数
*/
int main(void)
{
fun2(1, 2, 3, 4, 5);
}
对应的汇编代码如下:
可以看到同样需要使用到堆栈传递参数。
1.2.3 函数参数大小超过4x32bit但参数个数不超过4个
示例程序:
c
typedef unsigned long long int u64;
typedef unsigned int u32;
u32 fun1(u32 p1, u32 p2, u32 p3, u32 p4)
{
return p1 + p2 + p3 + p4;
}
u32 fun2(u32 p1, u32 p2, u32 p3, u32 p4, u32 p5)
{
return p1 + p2 + p3 + p4 + p5;
}
u64 fun3(u64 p1, u64 p2, u64 p3)
{
return p1 + p2 + p3;
}
/**
* 主函数
*/
int main(void)
{
fun3(0x1ffffffff, 0x2ffffffff, 0x3ffffffff);
}
对应的汇编代码:
这里关注一下进入mian函数的压栈指令(PUSH),PUSH之后堆栈指针的值为0x200003F4
操作如下:
(1)将R1设置为0xffffffff
(2)将R0设置为0x03
(3)将R2的值设置为0xffffffff
(4)将R3的值设置为0x02
(5)将R0和R1依次压入堆栈
(6)将R0设置为0xffffffff
(7)将R1设置为0x1
此时R0、R1组成参数1:0x1ffffffff,R2、R3组成参数2:0x2fffffff,加上堆栈中的0x3ffffff便组成了函数的3个参数值。
2 结论
(1)当函数形参数量大于4个或函数形参总大小超过4x32bit(R0-R3寄存器总大小)则会使用堆栈来传递形参,降低函数执行效率。
(2)当我们调用的函数形参数量超过4个时,建议使用指针传递参数。