本章将帮助读者在ARM处理器上编写高效的C代码。本章涉及的一些技术不仅适用于ARM处理器，也适用于其他RISC处理器。本章首先从ARM编译器及其优化入手，讲解C编译器在优化代码时所碰到的一些问题。理解这些问题，将有助于编写出在提高执行速度和减少代码尺寸方面更高效的C源代码。
本章假定读者熟悉C语言，并且有一些汇编语言编程方面的知识。有关ARM编程的详细信息，请参阅本书的相关章节。
14.1C编译器及其优化
本章主要讲解C编译器在代码优化时遇到的一些问题。要编写高效的C语言源代码，必须了解C编译器对什么形式的代码有所改动，编译器涉及的处理器结构的限制，以及一些特殊的C编译器的限制。
14.1.1为编译器选择处理器结构
在编译C源文件时，必须为编译器指定正确的处理器类型。这样可以使编译的代码最大限度地利用处理器的硬件结构，如对半字加载（HalfwordLoad）、存储指令（StoreInstructions）和指令调度（InstructionScheduling）的支持。所以编译程序时，应该尽量准确地告诉编译器该代码是运行在什么类型的处理器上。有些处理器类型编译器是不能直接支持，如SA-1100，这时可以使用与该类型处理器为同一指令集的基本处理器，比如对于SA-100，可以使用StrongARM。
注意
指定目标处理器可能使代码与其他ARM处理器不兼容。例如，编译时指定了ARMv6体系结构的代码，可能不能运行在ARM920T的处理器上（如果代码中使用了ARMv6体系结构中特有的指令）。
选择处理器类型可以使用--cpuname编译选项。该选项生成用于特定ARM处理器或体系结构的代码。
如果name是处理器名称。
·输入名称必须和ARM数据表中所示严格一致，例如ARM7TDMI。该选项不接受通配符字符。有效值是任何ARM6或更高版本的ARM处理器。
·选择处理器操作会选择适当的体系结构、浮点单元(FPU)以及存储结构。
·某些--cpu选择暗含--fpu选择。例如，当使用--arm选项编译时，--cpuARM1136JF-S暗含--fpuvfpv2。隐式FPU只覆盖命令行上出现在--cpu选项前面的显式--fpu选项。如果没有指定--fpu选项和--cpu选项，则使用--fpusoftvfp。
14.1.2调试选项
如果在编译C源程序时，设置了调试选项，这将很大程度地影响最终代码的大小和执行效率。因为带调试信息的代码映像，为了能够在调试程序时正确地显示变量或设置断点，包含很多冗余的代码和数据。所以如果想最大限度地提供程序执行效率、减少代码尺寸，就要在编译源文件时，去除编译器的调试选项。
以下选项指定调试表生成方法。
·-g（--debug）：该选项启用生成当前编译的调试表。无论是否使用-g选项，编译器都生成的代码是相同的。惟一差别是调试表的存在与否。编译器是否对代码进行优化是由-O选项指定调的。默认情况下，使用-g选项等价于使用：-g-dwarf2--debug_macros。
注意
编译程序时，只使用-g选项而没有使用优化选项，编译器会提示警告信息。
·--no_debug：该选项禁止生成当前编译的调试表。这是默认选项。
·--no_debug_macros：当与-g一起使用时，该选项禁止生成预处理程序宏定义的调试表条目（Entry）。这会减小调试映像的大小。-gt-p是-gtp的同义字。
--debug_macros当与-g一起使用时，该选项启用生成预处理程序宏定义的调试表条目。这是默认选项，会增加调试映像的大小。一些调试程序忽略预处理程序条目。
14.1.3优化选项
使用-Onum选择编译器的优化级别。优化级别分别为。
·-O0：除一些简单的代码编号之外，关闭所有优化。使用该编译选项可以提供最直接的优化信息。
·-O1：关闭严重影响调试效果的优化功能。使用该编译选项，编译器会移除程序中未使用到的内联函数和静态函数。如果与--debug一起使用，该选项可以在较好的代码密度下，给出最佳调试视图。
·-O2：生成充分优化代码。如果与--debug一起使用，调试效果可能不令人满意，因为目标代码到源代码的映射可能因为代码优化而发生变化。
如果不生成调试表，这是默认优化级别。
·-O3：最高优化级别。使用该优化级别，使生成的代码在时间和空间上寻求平衡。该选项常和-Ospace和-Otime配合使用。
·-O3–Otime：使用该选项编译的代码比-O2–Otime选项编译的代码，在执行速度上要快，但占用的空间也更大。
·-O3-Ospace：产生的代码比使用-O2-Ospace选项产生的代码尺寸小，但执行效率可能会差。
如果要使编译的代码更侧重于代码的尺寸或执行效率（两者往往不可兼得），可以使用下面的编译选项。
·-Ospace：指示编译程序执行优化，以延长执行时间为代价减小映像大小。例如，由外部函数调用代替内联函数。如果代码大小比性能更重要，则使用该选项。这是编译器的默认设置。
·-Otime：指示编译程序执行优化，以增大映像大小为代价缩短执行时间。如果执行时间比代码大小更重要，则使用该选项。例如，它编译：
while(expression)body;
为：
if(expression){
dobody;
while(expression);
}
如果既不指定-Otime也不指定-Ospace，则编译器默认使用-Ospace。可使用-Otime编译代码中对时间要求严格的部分，使用-Ospace编译其余部分。但不能在同一编译程序调用中同时指定-Otime和-Ospace。
14.1.4AAPCS选项
ARM结构过程调用标准AAPCS（ProcedureCallStandardfortheARMArchitecture）是ARM体系结构二进制接口ABI（ApplicationBinaryInterfacefortheARMArchitecture【BSABI】）标准的一部分。使用该标准可以很方便的执行C和汇编语言的相互调用。
编译程序时，使用--apcs选项可以指定所使用得AAPCS标准的版本。如果没有指定--apcs或--cpu选项，则编译器使用下面默认编译选项。
--apcs/noswst/nointer/noropi/norwpi--cpuARM7TDMI--fpusoftvfp
有关AAPCS的详细信息，请参加ARM相关文档。
14.1.5编译选项对代码生成影响示例
本节举例说明编译器的优化选项如何影响代码生成。
1．使用-O0选项
下面的例子显示了即使使用-O0编译选项对代码进行编译时，有些冗余代码还是会被编译器自动清除。
intf(int*p)
{
return(*p==*p);
}
使用armcc-c-O0对源程序进行编译，生成的汇编代码如下所示。
f
MOVr1,r0
MOVr0,#1
MOVpc,lr
通过上面的例子可以看到，编译出的最终代码中没有加载（Load）指针P的值，变量*p被编译器优化掉了。如果不想让编译器对变量*p做优化，可以使用“volatile”对变量进行声明。下面的例子，显示了将变量声明为“volatile”类型后，使用armcc编译（-O2的优化级别）后的结果。
f
LDRr1,[r0]
LDRr0,[r0]
CMPr1,r0
MOVNEr0,#0
MOVEQr0,#1
MOVpc,lr
另外，编译的代码中的“MOVr1,r0”并没有实际意义，只是为了方便调试程序时设置断点使用。