sco518 发表于 2013-5-9 12:30

test2.png (28.09 KB, 下载次数: 0)

下载附件

test2

2013-5-10 12:45 上传

这两个函数的区别就在于p、q的有效范围，可以看到：

test1() 中的p、q是共用了R5，因为 p 的有效范围在块外已经结束了（或者说生存期结束了），所以下面编译器又把R5分配给了q。

test2() 中的p、q是分别使用了R5、R6，因为两者在整个函数块范围内都有效。

因为这两个函数用到的局部变量不多，所以ARM的通用寄存器是够用的。但当局部变量增多后，编译器必然得使用栈，RISC最快的指令一般都是寄存器之间的操作，而栈却需要访问内存空间，用到栈就意味着速度的下降（虽然就现在MHz级别的时钟来说是很微小，但内存的速度却不一定能那么快）。所以如果能让局部变量有效范围提前结束，那么就能更多地复用寄存器，而不是用栈。

当然，现在的编译器优化能力是非常出 {MOD}的，比如用 avr gcc 的新手经常会发现局部变量无法监视，一般就是因为优化后局部变量的生存期变短了，寄存器被反复地复用。即使局部变量有效范围是定义在函数块级别，像gcc这样的编译器也会自动识别判断其实际的有效范围，而减少其生存期。