GCC编译器优化选项分析及具体优化了什么

          

      起因:

      目前项目使用nios IDE作为开发平台,其使用的编译器为gcc的交叉编译器。在设定编译条件时,在debug模式下生成的程序正常,但是在release模式下会出现LCD显示的开端显示不全,缺少一个字节或字的状况。为了了解具体为什么造成该问题,对两种模式下的配置做了对比,编译器皆为nios2-elf-gcc交叉编译器,debug模式编译器参数为:-DALT_DEBUG -O0 -g –Wallrelease模式编译器参数为: -DALT_RELEASE -O2 -g –Wall

      两种模式下的参数简单说明如下

      -DALT_DEBUG:目前没有明确资料显示该项的具体作用,根据命名可认为与调试有关选项。且两种模式下都有,暂时认为不会造成差异。

      -O0: gcc编译器默认优化等级。

      -ggdb调试器支持选项用于在编译时生成相关调试信息。

      -Wall:打开所有编译器告警选项,即编译器最严格告警模式。

      -O2gcc编译高于O0低于O3的编译优化选项。

通过对比可以发现两种模式主要的不同在于编译器优化程度不同,那么编译器在两种优化下究竟做了什么优化那?是否由这些问题造成的显示丢失问题那??现在我们来看看gcc编译器的优化参数到底做了什么优化。(注:由于关于nios2-elf-gcc的文档资料十分稀少,不能形成可分析的文档,所以以通用的gcc作为分析,毕竟同出一源)

      正文:

  1. GCC编译器优化选项介绍:

GCC编译器在目前是不是用最多的编译器也相去不远,尤其在嵌入式领域很多编译器都是基于GCCcross 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 

你可能感兴趣的:(GCC编译器优化选项分析及具体优化了什么)