ARM程序设计优化策略与技术.

1、程序优化是指软件编程结束后， 利用软件开发工具对程序进行调整和改进， 让程序充分利用 资源， 提高运行效率， 缩减代码尺寸的过程。按照优化的侧重点不同，程序优化可分为运行速度优化和代码尺寸优化。运行速度优化是指在充分掌握软硬件特性的基础上，通过应用程序结构调整等手段来降低完成指定任务所需执行的指令数。在同一个处理器上，经过速度优化的程序比未经优化的程序在完成指定任务时所需的时间更短，即前者比后者具有通常是例如而为在对 应更高的运行效率。 代码尺寸优化是指， 采取措施使应用程序在能够正确完成所需功能的前提 下， 尽可能减少程序的代码量。然而在实际的程序设计过程中，程序优化的两个目标（运行速度和代

2、码大小） 互相矛盾的。为了提高程序运行效率，往往要以牺牲存储空间、增加代码量为代价， 程序设计中经常使用的以查表代替计算、 循环展开等方法就容易导致程序代码量增加。 了减少程序代码量、压缩存储器空间，可能又要以降低程序运行效率为代价。因此， 程序实施优化之前， 应先根据实际需求确定相应的策略。 在处理器资源紧张的情况下，着重考虑运行速度优化；而在存储器资源使用受限的情况下，则应优先考虑代码尺寸的优化。1 程序运行速度优化程序运行速度优化的方法可分为以下几大类。1.1 通用的优化方法（1） 减小运算强度利用左 / 右移位操作代替乘 / 除 2 运算： 通常需要乘以或除以 2 的幂次方都可以通过

3、左移或右移 n 位来完成。实际上乘以任何一个整数都可以用移位和加法来代替乘法。 arm 7 中加法和移位可以通过一条指令来完成，且执行时间少于乘法指令。例如：i = iX5可来代替。以用 i = （i<<2） + i利用乘法代替乘方运算： arm7 核中内建有 来代替乘方运算以节约乘方函数调用的开销。例如： 代替。32X 8乘法器，因此可以通过乘法运算i = pow（i, 3.0） 可用 i = i器，利用与运算代替求余运算：有时可以通过用与（提高效率。例如： i = i % 8 可以用AND ）指令代替求余操作（ i = i & 0x07 来代替。% ）来（2） 优化循环

4、终止条件在一个循环结构中，循环的终止条件将严重影响着循环的效率，再加上arm件执行特性，所以在书写循环的终止条件时应尽量使用 count-down-to-zero 编译器可以用一条 BNE （若非零则跳转）指令代替 CMP （比较）和 BLE （若小于则跳 转）两条指令，既减小代码尺寸，又加快了运行速度。指令的条 结构。这样(3) 使用 inline 函数arm C 支持 inline 关键字，如果一个函数被设计成一个 inline 函数，那么在调用它 的地方将会用函数体来替代函数调用语句， 这样将会彻底省去函数调用的开销。 使用 inline 的最大缺点是函数在被频繁调用时，代码量将增大。1

5、.2 处理器相关的优化方法(1) 保持流水线畅通因此应该尽量保持 但可以利用延迟周期进行其它操作。auto-indexing )功能就是为利用流水线延迟周 处理器的执行单元被占用， 算术逻辑单元 ( ALU )从前面的介绍可知， 流水线延迟或阻断会对处理器的性能造成影响， 流水线畅通。流水线延迟难以避免，LOAD/STORE 指令中的自动索引(期而设计的。 当流水线处于延迟周期时，和桶形移位器却可能处于空闲状态， 此时可以利用它们来完成往基址寄存器上加一个偏移量的操作，供后面的指令使用。 例如：指令 LDR R1, R2, #4完成 R1= *R2 及 R2 += 4 两个操作，是后索引( p

6、ost-indexing )的例子；而指令 LDR R1, R2, #4!完成 R1 = *(R2+ 4) 和 R2 +=4 两个操作，是前索引( pre-indexing )的例子。流水线阻断的情况可通过循环拆解等方法加以改善。 一个循环可以考虑拆解以减小跳转 指令在循环指令中所占的比重， 进而提高代码效率。下面以一个内存复制函数加以说明。void memcopy(char *to, char *from, unsigned int nbytes)while(nbytes-)*to+ = *from+;为简单起见，这里假设 nbytes 为 16 的倍数(省略对余数的处理)。上面的函数每处理

7、一个字节就要进行一次判断和跳转， 对其中的循环体可作如下拆解：void memcopy(char *to, char *from, unsigned int nbytes)while(nbytes) *to+ = *from+;*to+ = *from+;*to+ = *from+;*to+ = *from+;nbytes - = 4;这样一来， 循环体中的指令数增加了，循环次数却减少了。跳转指令带来的负面影响得以削弱。利用 arm 7 处理器 32 位字长的特性， 上述代码可进一步作如下调整：void memcopy(char *to, char *from, unsigned int nb

8、ytes)int *p_to = (int *)to;int *p_from = (int *)from;while(nbytes) *p_to+ = *p_from+;*p_to+ = *p_from+;*p_to+ = *p_from+;*p_to+ = *p_from+;nbytes - = 16;经过优化后， 一次循环可以处理 16 个字节。 跳转指令带来的影响进一步得到减弱。过可以看出， 调整后的代码在代码量方面有所增加。(2) 使用寄存器变量将有CPU 对寄存器的存取要比对内存的存取快得多， 因此为变量分配一个寄存器， 助于代码的优化和运行效率的提高。 整型、 指针、浮点等类型的变

9、量都可以分配寄存器； 个结构的部分或者全部也可以分配寄存器。 给循环体中需要频繁访问的变量分配寄存器也能 在定程度上提高程序效率。1.3 指令集相关的优化方法有时可以利用arm7 指令集的特点对程序进行优化。(1) 避免除法arm 7 指令集中没有除法指令， 法通常需要 20140 个时钟周期。 用。有些除法可用乘法代替，例如：其除法是通过调用 C 库函数实现的。 因此， 除法成了一个程序效率的瓶颈， if ( (x / y) > z) 可变通为 if ( x > (y 满足精度，且存储器空间一个 32 位的除 应尽量避免使总)。在能冗余的情况下， 也可考虑使用查表法代替除法。当除

10、数为 2 的幂次方时， 操作代替除法。应用移位(2) 利用条件执行arm 指令集的一个重要特征就是所有的指令均可包含一个可选的条件码。当程序状态寄存器( PSR )中的条件码标志满足指定条件时， 带条件码的指令才能执行。利用条件执行通常可以省去单独的判断指令，因而可以减小代码尺寸并提高程序效率。(3) 使用合适的变量类型arm 指令集支持有符号 / 无符号的 8 位、16 位、 32 位整型及浮点型变量。恰当的 使用变量的类型， 不仅可以节省代码， 并且可以提高代码运行效率。 应该尽可能地避免使用 char 、short 型的局部变量，因为操作 8 位/16 位局部变量往往比操作 3 2 位变

11、量需要 更多指令， 请对比下列 3 个函数和它们的汇编代码。intwordinc(inta) wordinc ADD a1,a1,#1return a + 1; MOV pc,lr shortincshortshortinc(shorta) ADD a1,a1,#1 MOV a1,a1,LSL #16return a + 1; MOV a1,a1,ASR #16 MOV pc,lrcharcharinc(chara) charinc ADD a1,a1,#1return a + 1; AND a1,a1,#&ff MOV pc,lr可以看出， 操作 3 2 位变量所需的指令要少于操作

12、8位及 16 位变量。1.4 存储器相关的优化方法(1) 用查表代替计算在处理器资源紧张而存储器资源相对富裕的情况下， 可以用牺牲存储空间换取运行速 度的办法。 例如需要频繁计算正弦或余弦函数值时， 可预先将函数值计算出来置于内存中供 以后查找。(2) 充分利用片内 RAM一些厂商出产的 arm 芯片内集成有一定容量的 RAM ，如 Atmel 公司的AT91R40807 内有 128KB 的 RAM ，夏普公司的 LH75400/LH75401 内有 32KB 的RAM 。处理器对片内 RAM 的访问速度要快于对外部 RAM 的访问，所以应尽可能将程序调入片内 RAM 中运行。 若因程序太大

13、无法完全放入片内 RAM ，可考虑将使用最频繁的数据或程序段调入片内 RAM 以提高程序运行效率。1.5 编译器相关的优化方法多数编译器都支持对程序速度和程序大小的优化， 有些编译器还允许用户选择可供优化 的内容及优化的程度。相比前面的各种优化方法， 通过设置编译器选项对程序进行优化不 失为一种简单有效的途径。2 代码尺寸优化精简指令集计算机的一个重要特点是指令长度固定， 这样做可以简化指令译码的过程，但却容易导致代码尺寸增加。为避免这个问题，可以考虑采取以下措施来缩减程序代码量。2.1 使用多寄存器操作指令arm 指令集中的多寄存器操作指令 LDM/STM 可以加载 / 存储多个寄存器， 这

14、在保存 / 恢复寄存器组的状态及进行大块数据复制时非常有效。 例如要将寄存器 R4R12 及 R14 的内容保存到堆栈中，若用 STR 指令共需要 10 条，而一条 STMEA R13!, R4 ? R12, R14 指令就能达到相同的目的，节省的指令存储空间相当可观。不过需要注意的是， 虽 然一条 LDM/STM 指令能代替多条 LDR/STR 指令， 但这并不意味着程序运行速度得到了 提高。实际上处理器在执行 LDM/STM 指令的时候还是将它拆分成多条单独的 LDR/STR 指令来执行。2.2 合理安排变量顺序arm 7 处理器要求程序中的 32 位 /16 位变量必须按字 / 半字对齐

15、，这意味着如果变 量顺序安排不合理， 有可能会造成存储空间的浪费。 例如： 一个结构体中的 4 个 32 位 int 型变量 i1 i4 和 4 个 8 位 char 型变量 c1 c4 ，若按照 i1、c1、i2、c2 、i3、c3、 的顺序交错存放时， 由于整型变量的对齐会导致位于 2 个整型变量中间的那个 8 为避免这种情况， 的顺序连续存放。2 个整型变量中间的那个 位 char 型变量实际占用 32 位的存储器， 这样就造成了存储空间的浪费。型变量和 char 型变量按类似 i1 、i2 、i3 、i4 、c1 、c2 、c3 、c4i4 、 c4应将 int2.3 使用 Thumb指令为了从根本上有效降低代码尺寸， ARM 公司开发了 是 ARM 体系结构的扩充。 Thumb 指令集是大多数常用 指令的集合。在执行时， 16 位指令透明的实时解压成 而且程序在 Thumb 状态和 ARM 状态之间切换是零开销的。 比， Thumb 代码节省的存储器空间可高达指令集。Thumb32 位 ARM 指令压缩成 16 位宽位 ARM 指令并没有性能损失。与等价的 32 位 arm 代码相 35% 以上。16 位的 Thumb32结语综上所述， 优化的过程是在透彻了解软 / 硬件结构和