网站建设免费维护内容,多种昆明网站建设,织梦网站添加视频教程,如何查看网站的浏览量今天看到了一篇文章#xff0c;写的挺好就将其转载#xff0c;
https://blog.csdn.net/zhangzq86/article/details/80840927
Gcc 编译优化简介 gcc 提供了为了满足用户不同程度的的优化需要#xff0c;提供了近百种优化选项#xff0c;用来对{编译时间#xff0c;目标文…今天看到了一篇文章写的挺好就将其转载
https://blog.csdn.net/zhangzq86/article/details/80840927
Gcc 编译优化简介 gcc 提供了为了满足用户不同程度的的优化需要提供了近百种优化选项用来对{编译时间目标文件长度执行效率}这个三维模型进行不同的取舍和平衡。优化的方法不一而足总体上将有以下几类1精简操作指令2尽量满足cpu的流水操作3通过对程序行为地猜测重新调整代码的执行顺序4充分使用寄存器5对简单的调用进行展开等等。想全部了解这些编译选项并在其中挑选适合的选项进行优化无疑像个噩梦般的过程。单从gnu的官方网站上得到的手册来看描述依然比较苍白不足以完全了解选项的使用范围和原理。GCC has well over a hundred individual optimization flags and it would be insane to try and describe them all
幸而gcc提供了从O0-O3以及Os这几种不同的优化级别供大家选择在这些选项中包含了大部分有效的编译优化选项并且可以在这个基础上对某些选项进行屏蔽或添加从而大大降低了使用的难度毕竟在一定基础上进行取舍比万事从头开始要好得多。下面着重围绕这几个不同的级别进行简单介绍。由于gcc不同版本手册差异比较大以下主要以gcc-3.4.6为参考 -O0 不做任何优化这是默认的编译选项。
-O和-O1 对程序做部分编译优化对于大函数,优化编译占用稍微多的时间和相当大的内存。使用本项优化编译器会尝试减小生成代码的尺寸以及缩短执行时间但并不执行需要占用大量编译时间的优化。
打开的优化选项
l -fdefer-pop延迟栈的弹出时间。当完成一个函数调用参数并不马上从栈中弹出而是在多个函数被调用后一次性弹出。
l -fmerge-constants尝试横跨编译单元合并同样的常量(string constants and floating point constants)
l -fthread-jumps如果某个跳转分支的目的地存在另一个条件比较,而且该条件比较包含在前一个比较语句之内,那么执行本项优化.根据条件是true或者false,前面那条分支重定向到第二条分支的目的地或者紧跟在第二条分支后面.
l -floop-optimize执行循环优化,将常量表达式从循环中移除简化判断循环的条件并且optionally do strength-reduction或者将循环打开等。在大型复杂的循环中这种优化比较显著。
l -fif-conversion尝试将条件跳转转换为等价的无分支型式。优化实现方式包括条件移动minmax设置标志以及abs指令以及一些算术技巧等。
l -fif-conversion2基本意义相同没有找到更多的解释。
l -fdelayed-branch这种技术试图根据指令周期时间重新安排指令。 它还试图把尽可能多的指令移动到条件分支前, 以便最充分的利用处理器的治理缓存。
l -fguess-branch-probability当没有可用的profiling feedback或__builtin_expect时编译器采用随机模式猜测分支被执行的可能性并移动对应汇编代码的位置这有可能导致不同的编译器会编译出迥然不同的目标代码。
l -fcprop-registers因为在函数中把寄存器分配给变量, 所以编译器执行第二次检查以便减少调度依赖性(两个段要求使用相同的寄存器)并且删除不必要的寄存器复制操作。
-O2 是比O1更高级的选项进行更多的优化。Gcc将执行几乎所有的不包含时间和空间折中的优化。当设置O2选项时编译器并不进行循环打开loop unrolling以及函数内联。与O1比较而言O2优化增加了编译时间的基础上提高了生成代码的执行效率。
O2打开所有的O1选项并打开以下选项
l -fforce-mem在做算术操作前强制将内存数据copy到寄存器中以后再执行。这会使所有的内存引用潜在的共同表达式进而产出更高效的代码当没有共同的子表达式时指令合并将排出个别的寄存器载入。这种优化对于只涉及单一指令的变量, 这样也许不会有很大的优化效果. 但是对于再很多指令(必须数学操作)中都涉及到的变量来说, 这会时很显著的优化, 因为和访问内存中的值相比 ,处理器访问寄存器中的值要快的多。
l -foptimize-sibling-calls优化相关的以及末尾递归的调用。通常, 递归的函数调用可以被展开为一系列一般的指令 而不是使用分支。 这样处理器的指令缓存能够加载展开的指令并且处理他们, 和指令保持为需要分支操作的单独函数调用相比, 这样更快。
l -fstrength-reduce这种优化技术对循环执行优化并且删除迭代变量。 迭代变量是捆绑到循环计数器的变量, 比如使用变量, 然后使用循环计数器变量执行数学操作的for-next循环。
l -fcse-follow-jumps在公用子表达式消元时当目标跳转不会被其他路径可达则扫描整个的跳转表达式。例如当公用子表达式消元时遇到if...else...语句时当条为false时那么公用子表达式消元会跟随着跳转。
l -fcse-skip-blocks与-fcse-follow-jumps类似不同的是根据特定条件跟随着cse跳转的会是整个的blocks
l -frerun-cse-after-loop在循环优化完成后重新进行公用子表达式消元操作。
l -frerun-loop-opt两次运行循环优化 l -fgcse执行全局公用子表达式消除pass。这个pass还执行全局常量和copy propagation。这些优化操作试图分析生成的汇编语言代码并且结合通用片段 消除冗余的代码段。如果代码使用计算性的goto, gcc指令推荐使用-fno-gcse选项。
l-fgcse-lm全局公用子表达式消除将试图移动那些仅仅被自身存储kill的装载操作的位置。这将允许将循环内的load/store操作序列中的load转移到循环的外面只需要装载一次而在循环内改变成copy/store序列。在选中-fgcse后默认打开。
l -fgcse-sm当一个存储操作pass在一个全局公用子表达式消除的后面这个pass将试图将store操作转移到循环外面去。如果与-fgcse-lm配合使用那么load/store操作将会转变为在循环前load在循环后store从而提高运行效率减少不必要的操作。
l -fgcse-las全局公用子表达式消除pass将消除在store后面的不必要的load操作这些load与store通常是同一块存储单元全部或局部
l-fdelete-null-pointer-checks通过对全局数据流的分析识别并排出无用的对空指针的检查。编译器假设间接引用空指针将停止程序。 如果在间接引用之后检查指针它就不可能为空。
l -fexpensive-optimizations进行一些从编译的角度来说代价高昂的优化这种优化据说对于程序执行未必有很大的好处甚至有可能降低执行效率具体不是很清楚
l -fregmove编译器试图重新分配move指令或者其他类似操作数等简单指令的寄存器数目以便最大化的捆绑寄存器的数目。这种优化尤其对双操作数指令的机器帮助较大。
l -fschedule-insns编译器尝试重新排列指令用以消除由于等待未准备好的数据而产生的延迟。这种优化将对慢浮点运算的机器以及需要load memory的指令的执行有所帮助因为此时允许其他指令执行直到load memory的指令完成或浮点运算的指令再次需要cpu。 l
-fschedule-insns2与-fschedule-insns相似。但是当寄存器分配完成后会请求一个附加的指令计划pass。这种优化对寄存器较小并且load memory操作时间大于一个时钟周期的机器有非常好的效果。
l -fsched-interblock这种技术使编译器能够跨越指令块调度指令。 这可以非常灵活地移动指令以便等待期间完成的工作最大化。
l -fsched-spec-load允许一些load指令进行一些投机性的动作。具体不详相同功能的还有-fsched-spec-load-dangerous允许更多的load指令进行投机性操作。这两个选项在选中-fschedule-insns时默认打开。
l -fcaller-saves通过存储和恢复call调用周围寄存器的方式使被call调用的value可以被分配给寄存器这种只会在看上去能产生更好的代码的时候才被使用。如果调用多个函数, 这样能够节省时间, 因为只进行一次寄存器的保存和恢复操作, 而不是在每个函数调用中都进行。
l -fpeephole2允许计算机进行特定的观察孔优化(这个不晓得是什么意思)-fpeephole与-fpeephole2的差别在于不同的编译器采用不同的方式由的采用-fpeephole有的采用-fpeephole2也有两种都采用的。
l -freorder-blocks在编译函数的时候重新安排基本的块目的在于减少分支的个数提高代码的局部性。
l -freorder-functions在编译函数的时候重新安排基本的块目的在于减少分支的个数提高代码的局部性。这种优化的实施依赖特定的已存在的信息.text.hot用于告知访问频率较高的函数.text.unlikely用于告知基本不被执行的函数。
l -fstrict-aliasing这种技术强制实行高级语言的严格变量规则。 对于c和c程序来说, 它确保不在数据类型之间共享变量. 例如, 整数变量不和单精度浮点变量使用相同的内存位置。
l -funit-at-a-time在代码生成前先分析整个的汇编语言代码。这将使一些额外的优化得以执行但是在编译器间需要消耗大量的内存。有资料介绍说这使编译器可以重新安排不消耗大量时间的代码以便优化指令缓存。
l -falign-functions这个选项用于使函数对准内存中特定边界的开始位置。 大多数处理器按照页面读取内存并且确保全部函数代码位于单一内存页面内, 就不需要叫化代码所需的页面。
l -falign-jumps对齐分支代码到2的n次方边界。在这种情况下无需执行傀儡指令dummy operations
l -falign-loops对齐循环到2的n次幂边界。期望可以对循环执行多次用以补偿运行dummy operations所花费的时间。
l -falign-labels对齐分支到2的n次幂边界。这种选项容易使代码速度变慢原因是需要插入一些dummy operations当分支抵达usual flow of the code.
l -fcrossjumping这是对跨越跳转的转换代码处理 以便组合分散在程序各处的相同代码。 这样可以减少代码的长度 但是也许不会对程序性能有直接影响。
-O3 比O2更进一步的进行优化。
在包含了O2所有的优化的基础上又打开了以下优化选项
l -finline-functions内联简单的函数到被调用函数中。由编译器启发式的决定哪些函数足够简单可以做这种内联优化。默认情况下编译器限制内联的尺寸3.4.6中限制为600具体含义不详指令条数或代码size可以通过-finline-limitn改变这个长度。这种优化技术不为函数创建单独的汇编语言代码 而是把函数代码包含在调度程序的代码中。 对于多次被调用的函数来说, 为每次函数调用复制函数代码。 虽然这样对于减少代码长度不利, 但是通过最充分的利用指令缓存代码, 而不是在每次函数调用时进行分支操作, 可以提高性能。
l -fweb构建用于保存变量的伪寄存器网络。 伪寄存器包含数据, 就像他们是寄存器一样, 但是可以使用各种其他优化技术进行优化, 比如cse和loop优化技术。这种优化会使得调试变得更加的不可能因为变量不再存放于原本的寄存器中。
l -frename-registers在寄存器分配后通过使用registers left over来避免预定代码中的虚假依赖。这会使调试变得非常困难因为变量不再存放于原本的寄存器中了。
l -funswitch-loops将无变化的条件分支移出循环取而代之的将结果副本放入循环中。 -Os 主要是对程序的尺寸进行优化。打开了大部分O2优化中不会增加程序大小的优化选项并对程序代码的大小做更深层的优化。通常我们不需要这种优化Os会关闭如下选项 -falign-functions -falign-jumps -falign-loops -falign-labels -freorder-blocks -fprefetch-loop-arrays
优化介绍小结 O0选项不进行任何优化在这种情况下编译器尽量的缩短编译消耗时间空间此时debug会产出和程序预期的结果。当程序运行被断点打断此时程序内的各种声明是独立的我们可以任意的给变量赋值或者在函数体内把程序计数器指到其他语句,以及从源程序中 精确地获取你期待的结果.
O1优化会消耗少多的编译时间它主要对代码的分支常量以及表达式等进行优化。
O2会尝试更多的寄存器级的优化以及指令级的优化它会在编译期间占用更多的内存和编译时间。
O3在O2的基础上进行更多的优化例如使用伪寄存器网络普通函数的内联以及针对循环的更多优化。
Os主要是对代码大小的优化我们基本不用做更多的关心。 通常各种优化都会打乱程序的结构让调试工作变得无从着手。并且会打乱执行顺序依赖内存操作顺序的程序需要做相关处理才能确保程序的正确性。
优化代码有可能带来的问题
1调试问题正如上面所提到的任何级别的优化都将带来代码结构的改变。例如对分支的合并和消除对公用子表达式的消除对循环内load/store操作的替换和更改等都将会使目标代码的执行顺序变得面目全非导致调试信息严重不足。
2内存操作顺序改变所带来的问题在O2优化后编译器会对影响内存操作的执行顺序。例如-fschedule-insns允许数据处理时先完成其他的指令-fforce-mem有可能导致内存与寄存器之间的数据产生类似脏数据的不一致等。对于某些依赖内存操作顺序而进行的逻辑需要做严格的处理后才能进行优化。例如采用volatile关键字限制变量的操作方式或者利用barrier迫使cpu严格按照指令序执行的。
