2011年（37）
分类：
2011-10-14 23:09:43
原文地址：GCC编译器优化选项分析及具体优化了什么 作者：zhiqiang0071
GCC编译器优化选项分析及具体优化了什么
起因：
目前项目使用nios IDE作为开发平台，其使用的编译器为gcc的交叉编译器。在设定编译条件时，在debug模式下生成的程序正常，但是在release模式下会出现LCD显示的开端显示不全，缺少一个字节或字的状况。为了了解具体为什么造成该问题，对两种模式下的配置做了对比，编译器皆为nios2-elf-gcc交叉编译器，debug模式编译器参数为：-DALT_DEBUG -O0 -g –Wall。release模式编译器参数为: -DALT_RELEASE -O2 -g –Wall。
两种模式下的参数简单说明如下
-DALT_DEBUG：目前没有明确资料显示该项的具体作用，根据命名可认为与调试有关选项。且两种模式下都有，暂时认为不会造成差异。
-O0: gcc编译器默认优化等级。
-g：gdb调试器支持选项用于在编译时生成相关调试信息。
-Wall：打开所有编译器告警选项，即编译器最严格告警模式。
-O2：gcc编译高于O0低于O3的编译优化选项。
通过对比可以发现两种模式主要的不同在于编译器优化程度不同，那么编译器在两种优化下究竟做了什么优化那？是否由这些问题造成的显示丢失问题那？？现在我们来看看gcc编译器的优化参数到底做了什么优化。（注：由于关于nios2-elf-gcc的文档资料十分稀少，不能形成可分析的文档，所以以通用的gcc作为分析，毕竟同出一源）
正文：
GCC编译器在目前是不是用最多的编译器也相去不远，尤其在嵌入式领域很多编译器都是基于GCC的cross gcc版本。毕竟功能成熟而且有开放的源代码。
这里只介绍优化编译的参数
-O用来开启优化编译选项。
-O0：默认模式，不做任何优化。
-O1：优化。该模式下对于一个大的函数或功能会花费更多的时间和内存。
在-O1下：编译会尝试减少代码体积和代码运行时间。但是并不执行会花费大量时间的优化操作。
在该模式下将打开一下优化选项:
-fdefer-pop
-fdelayed-branch
-fguess-branch-probability
-fcprop-registers
-floop-optimize
-fif-conversion
-fif-conversion2
-ftree-ccp
-ftree-dce
-ftree-dominator-opts
-ftree-dse
-ftree-ter
-ftree-lrs
-ftree-sra
-ftree-copyrename
-ftree-fre
-ftree-ch
-funit-at-a-time
-fmerge-constants
该模式下在不影响调试的状况下还会打开‘-fomit-frame-pointer优化项。
同时该模式不会为Ada编译器打开‘-ftree-sra’优化项，如需要则请使用命令参数输入‘-ftree-sra’进行优化。
-O2:进一步优化.GCC执行几乎所有支持的操作但不包括空间和速度之间权衡的优化。-O2优化等级下，并不执行循环展开和函数“内联”【注1】优化操作。与-O1比较该优化-O2将会花费更多的编译时间当然也会生成性能更好的代码。-O2除了打开-O1的所有优化参数外还打开以下优化选项。
-fthread-jumps
-fcrossjumping
-foptimize-sibling-calls
-fcse-follow-jumps -fcse-skip-blocks
-fgcse -fgcse-lm
-fexpensive-optimizations
-fstrength-reduce
-frerun-cse-after-loop -frerun-loop-o
-fcaller-saves
-fpeephole2
-fschedule-insns -fschedule-insns2
-fsched-interblock -fsched-spec
-fregmove
-fstrict-aliasing
-fdelete-null-pointer-checks
-freorder-blocks -freorder-functions
-falign-functions -falign-jumps
-falign-loops -falign-labels
-ftree-vrp
-ftree-pre
还要注意-fgcse下关于请求-O2优化等级的用于计算goto的程序。
-O3：更进一步优化。-O3打开-O2指定的所有优化操作并且打开：
-finline-functions
-funswitch-loops
-fgcse-after-reload
优化项。
-Os：针对程序空间大小优化（多用于嵌入式系统）。-Os使能-O2中除去会增加程序空间的所有优化参数。同时-Os还会执行更加优化程序空间的选项。
-Os会关闭以下优化选项：
-falign-functions
-falign-jumps
-falign-loops
-falign-labels
-freorder-blocks
-freorder-blocks-and-partition
-fprefetch-loop-arrays
-ftree-vect-loop-version
关于GCC编译的优化选项一共有-O0（默认），-O1，-O2，-O3及-Os五个参数。各个参数优选内容如上所示。但是各个优化内容到底是指什么那？继续分析。
2.优化具体参数含义。（共计49项）
-fdefer-pop
推迟推出函数调用的参数，对于那些需要在函数调用后必须取出（pop）函数参数的机器而言，打开该项编译器将把函数调用的参数压入栈，等必要时几个函数调用参数一起取出（pop）。这将节省处理时间。
-fdelayed-branch
如果对目标机支持这个功能,它试图重新排列指令,以便利用延迟分支(delayed branch)指令后面的指令空隙.
-fguess-branch-probability
使用启发式算法预测分之指令，增加指令的命中率，提升运行效果。
-fcprop-registers
使用寄存器之间copy-propagation传值;
因为在函数中把寄存器分配给变量, 所以编译器执行第二次检查以便减少
调度依赖性(两个段要求使用相同的寄存器)并且删除不必要的寄存器复制操作
-floop-optimize
通 过优化如何生成汇编语言中的循环， 编译器可以在很大程序上提高应用程序的性能。 通常, 程序由很多大型且复杂的循环构成。 通过删除在循环内没有改变值的变量赋值操作, 可以减少循环内执行指令的数量, 在很大程度上提高性能。 此外优化那些确定何时离开循环的条件分支， 以便减少分支的影响。
-fif-conversion
if-then语句应该是应用程序中仅次于循环的最消耗时间的部分。
简单的if-then语句可能在最终的汇编语言代码中产生众多的条件分支。 通过减少
或者删除条件分支, 以及使用条件传送 设置标志和使用运算技巧来替换他们, 编译
器可以减少if-then语句中花费的时间量。
-fif-conversion2
这种技术结合更加高级的数学特性， 减少实现if-then语句所
需的条件分支。
-ftree-ccp
Perform sparse conditional constant propagation (CCP) on trees. This pass
only operates on local scalar variables and is enabled by default at ‘-O’ and
higher.
-ftree-dce
编译器将消除无用的不会被执行的代码（dead code）
-ftree-dominator-opts
Perform a variety of simple scalar cleanups (constant/copy propagation, redun-
dancy elimination, range propagation and expression simplification) based on a
dominator tree traversal. This also performs jump threading (to reduce jumps
to jumps). This flag is enabled by default at ‘-O’ and higher.
-ftree-dse
-ftree-ter
Perform temporary expression replacement during the SSA->normal phase. Sin-
gle use/single def temporaries are replaced at their use location with their defin-
ing expression. This results in non-GIMPLE code, but gives the expanders
much more complex trees to work on resulting in better RTL generation. This
is enabled by default at ‘-O’ and higher.
-ftree-lrs
Perform live range splitting during the SSA->normal phase. Distinct live ranges
of a variable are split into unique variables, allowing for better optimization
later. This is enabled by default at ‘-O’ and higher.
-ftree-sra
-ftree-copyrename
-ftree-fre
-ftree-ch
-funit-at-a-time
-fmerge-constants
-fthread-jumps
-fcrossjumping
-foptimize-sibling-calls
-fcse-follow-jumps
-fcse-skip-blocks
-fgcse -fgcse-lm
-fexpensive-optimizations
-fstrength-reduce
-frerun-cse-after-loop
-frerun-loop-o
-fcaller-saves
-fpeephole2
-fschedule-insns
-fschedule-insns2
-fsched-interblock
-fsched-spec
-fregmove
-fstrict-aliasing
-fdelete-null-pointer-checks
-freorder-blocks
-freorder-functions
-falign-functions
-falign-jumps
-falign-loops
-falign-labels
-ftree-vrp
-ftree-pre
-finline-functions
允许编译器选择某些简单的函数在其被调用处展开，比较安全的选项，特别是在CPU二级缓存较大时建议使用。
-funswitch-loops
-fgcse-after-reload
