目录选项(DIRECTORY OPTION)
下列选项指定搜索路径,用于查找头文件,库文件,或编译器的某些成员:
- -Idir
- 在头文件的搜索路径列表中添加dir 目录.
- -I-
- 任何在`-I-'前面用`-I'选项指定的搜索路径只适用于`#include "file"'这种情况;他们不能用来搜索`#include '包含的头文件.
如果用`-I'选项指定的搜索路径位于`-I-'选项后面,就可以在这些路径中搜索所有的 `#include'指令. (一般说来-I选项就是这么用的.)
还有,
`-I-'选项能够阻止当前目录(存放当前输入文件的地方)成为搜索`#include
"file"'的第一选择.没有办法克服`-I-'选项的这个效应.你可以指定
`-I.'搜索那个目录,它在调用编译器时是当前目录.这和预处理器的默认行为不完全一样,但是结果通常 令人满意.
`-I-'不影响使用系统标准目录,因此, `-I-'和`-nostdinc'是不同的选项.
- -Ldir
- 在`-l'选项的搜索路径列表中添加dir目录.
- -Bprefix
- 这个选项指出在何处寻找可执行文件,库文件,以及编译器自己的数据文件.
编译器驱动程序需要执行某些下面的子程序: `cpp', `cc1' (或C++的 `cc1plus'), `as'和`ld'.他把prefix当作欲执行的程序的 前缀,既可以包括也可以不包括`machine/version/'.
对于要运行的子程序,编译器驱动程序首先试着加上`-B'前缀(如果存在).如果没有找到文
件,或没有指定 `-B'选项,编译器接着会试验两个标准前缀`/usr/lib/gcc/'和
`/usr/local/lib/gcc-lib/'.如果仍然没能够找到所需文件,编译器就在`PATH'环境变量
指定的路径中寻找没加任何前缀的文件名.
如果有需要,运行时(run-time)支持文件`libgcc.a'也在`-B'前缀的搜
索范围之内. 如果这里没有找到,就在上面提到的两个标准前缀中寻找,仅此而已.如果上述方法没有找到这个文件,就不连接他了.多数
情况的多数机器上, `libgcc.a'并非必不可少.
你可以通过环境变量GCC_EXEC_PREFIX获得近似的效果;如果定义了这个变量,其值就和上面说的 一样用做前缀.如果同时指定了`-B'选项和GCC_EXEC_PREFIX变量,编译器首先使用 `-B'选项,然后才尝试环境变量值.
警告选项(WARNING OPTION)
警告是针对程序结构的诊断信息,程序不一定有错误,而是存在风险,或者可能存在 错误.
下列选项控制GNU CC产生的警告的数量和类型:
- -fsyntax-only
- 检查程序中的语法错误,但是不产生输出信息.
- -w
- 禁止所有警告信息.
- -Wno-import
- 禁止所有关于#import的警告信息.
- -pedantic
- 打开完全服从ANSI C标准所需的全部警告诊断;拒绝接受采用了被禁止的语法扩展的程序.
无论有没有这个选项,符合ANSI
C标准的程序应该能够被正确编译(虽然极少数程序需要`-ansi'
选项).然而,如果没有这个选项,某些GNU扩展和传统C特性也得到支持.使用这个选项可以拒绝这些程序.没有理由
使用这个选项,他存在只是为了满足一些书呆子(pedant).
对于替选关键字(他们以`__'开始和结束) `-pedantic'不会产生警告信息. Pedantic 也不警告跟在__extension__后面的表达式.不过只应该在系统头文件中使用这种转义措施,应用程序最好 避免.
- -pedantic-errors
- 该选项和`-pedantic'类似,但是显示错误而不是警告.
- -W
- 对下列事件显示额外的警告信息:
- *
- 非易变自动变量(nonvolatile automatic variable)可能在调用longjmp时发生改变. 这些警告仅在优化编译时发生.
编译器只知道对setjmp的调用,他不可能知道会在哪里调用longjmp,事实上一个 信号处理例程可以在程序的任何地点调用他.其结果是,即使程序没有问题,你也可能会得到警告,因为无法在可能出现问题 的地方调用longjmp.
- *
- 既可以返回值,也可以不返回值的函数. (缺少结尾的函数体被看作不返回函数值)例如,下面的函数将导致这种警告:
foo (a){ if (a > 0) return a;}由于GNU CC不知道某些函数永不返回(含有abort和longjmp),因此有可能出现 虚假警告.
- *
- 表达式语句或逗号表达式的左侧没有产生作用(side effect).如果要防止这种警告,应该把未使用的表达式强制转换 为void类型.例如,这样的表达式`x[i,j]'会导致警告,而`x[(void)i,j]'就不会.
- *
- 无符号数用`>'或`<='和零做比较.
- -Wimplicit-int
- 警告没有指定类型的声明.
- -Wimplicit-function-declaration
- 警告在声明之前就使用的函数.
- -Wimplicit
- 同-Wimplicit-int和-Wimplicit-function-declaration.
- -Wmain
- 如果把main函数声明或定义成奇怪的类型,编译器就发出警告.典型情况下,这个函数用于外部连接, 返回int数值,不需要参数,或指定两个参数.
- -Wreturn-type
- 如果函数定义了返回类型,而默认类型是int型,编译器就发出警告.同时警告那些不带返回值的 return语句,如果他们所属的函数并非void类型.
- -Wunused
- 如果某个局部变量除了声明就没再使用,或者声明了静态函数但是没有定义,或者某条语句的运算结果显然没有使用, 编译器就发出警告.
- -Wswitch
- 如果某条switch语句的参数属于枚举类型,但是没有对应的case语句使用枚举元素,编译器 就发出警告. ( default语句的出现能够防止这个警告.)超出枚举范围的case语句同样会 导致这个警告.
- -Wcomment
- 如果注释起始序列`/*'出现在注释中,编译器就发出警告.
- -Wtrigraphs
- 警告任何出现的trigraph (假设允许使用他们).
- -Wformat
- 检查对printf和scanf等函数的调用,确认各个参数类型和格式串中的一致.
- -Wchar-subscripts
- 警告类型是char的数组下标.这是常见错误,程序员经常忘记在某些机器上char有符号.
- -Wuninitialized
- 在初始化之前就使用自动变量.
这些警告只可能做优化编译时出现,因为他们需要数据流信息,只有做优化的时候才估算数据流信息.如果不指定 `-O'选项,就不会出现这些警告.
这些警告仅针对等候分配寄存器的变量.因此不会发生在声明为volatile的变量上面,不会发生在已经 取得地址的变量,或长度不等于1, 2, 4, 8字节的变量.同样也不会发生在结构,联合或数组上面,即使他们在 寄存器中.
注意,如果某个变量只计算了一个从未使用过的值,这里可能不会警告.因为在显示警告之前,这样的计算已经被 数据流分析删除了.
这些警告作为可选项是因为GNU CC还没有智能到判别所有的情况,知道有些看上去错误的代码其实是正确的.下面是 一个这样的例子:
{ int x; switch (y) { case 1: x = 1;
break; case 2: x = 4; break; case 3: x = 5; } foo (x);}如果y始终是1,
2或3,那么x总会被初始化,但是GNU CC不知道这一点.下面是 另一个普遍案例:
{ int save_y; if (change_y) save_y = y, y = new_y; ... if (change_y) y = save_y;}这里没有错误,因为只有设置了save_y才使用他.
把所有不返回的函数定义为volatile可以避免某些似是而非的警告.
- -Wparentheses
- 在某些情况下如果忽略了括号,编译器就发出警告.
- -Wtemplate-debugging
- 当在C++程序中使用template的时候,如果调试(debugging)没有完全生效,编译器就发出警告. (仅用于C++).
- -Wall
- 结合所有上述的`-W'选项.通常我们建议避免这些被警告的用法,我们相信,恰当结合宏的使用能够 轻易避免这些用法。
剩下的`-W...'选项不包括在`-Wall'中,因为我们认为在必要情况下,这些被编译器警告 的程序结构,可以合理的用在"干净的"程序中.
- -Wtraditional
- 如果某些程序结构在传统C中的表现和ANSI C不同,编译器就发出警告.
- *
- 宏参出现在宏体的字符串常量内部.传统C会替换宏参,而ANSI C则视其为常量的一部分.
- *
- 某个函数在块(block)中声明为外部,但在块结束后才调用.
- *
- switch语句的操作数类型是long.
- -Wshadow
- 一旦某个局部变量屏蔽了另一个局部变量,编译器就发出警告.
- -Wid-clash-len
- 一旦两个确定的标识符具有相同的前len个字符,编译器就发出警告.他可以协助你开发一些将要在某些 过时的,危害大脑的编译器上编译的程序.
- -Wpointer-arith
- 任何语句如果依赖于函数类型的大小(size)或者void类型的大小,编译器就发出警告. GNU C为了 便于计算void *指针和函数指针,就把这些类型的大小定义为1.
- -Wcast-qual
- 一旦某个指针强制类型转换以便移除类型修饰符时,编译器就发出警告.例如,如果把const char * 强制转换为普通的char *时,警告就会出现.
- -Wcast-align
- 一旦某个指针类型强制转换时,导致目标所需的地址对齐(alignment)增加,编译器就发出警告.例如,某些机器上 只能在2或4字节边界上访问整数,如果在这种机型上把char *强制转换成int *类型, 编译器就发出警告.
- -Wwrite-strings
- 规定字符串常量的类型是const char[length],因此,把这样的地址复制给 non-const char
*指针将产生警告.这些警告能够帮助你在编译期间发现企图写入字符串常量
的代码,但是你必须非常仔细的在声明和原形中使用const,否则他们只能带来麻烦;所以我们没有让 `-Wall'提供这些警告.
- -Wconversion
- 如果某函数原形导致的类型转换和无函数原形时的类型转换不同,编译器就发出警告.这里包括定点数和浮点数的 互相转换,改变定点数的宽度或符号,除非他们和缺省声明(default promotion)相同.
- -Waggregate-return
- 如果定义或调用了返回结构或联合的函数,编译器就发出警告. (从语言角度你可以返回一个数组,然而同样会 导致警告.)
- -Wstrict-prototypes
- 如果函数的声明或定义没有指出参数类型,编译器就发出警告. (如果函数的前向引用说明指出了参数类型,则允许后面 使用旧式风格的函数定义,而不会产生警告.)
- -Wmissing-prototypes
- 如果没有预先声明函数原形就定义了全局函数,编译器就发出警告.即使函数定义自身提供了函数原形也会产生这个警告. 他的目的是检查没有在头文件中声明的全局函数.
- -Wmissing-declarations
- 如果没有预先声明就定义了全局函数,编译器就发出警告.即使函数定义自身提供了函数原形也会产生这个警告.这个选项 的目的是检查没有在头文件中声明的全局函数.
- -Wredundant-decls
- 如果在同一个可见域某定义多次声明,编译器就发出警告,即使这些重复声明有效并且毫无差别.
- -Wnested-externs
- 如果某extern声明出现在函数内部,编译器就发出警告.
- -Wenum-clash
- 对于不同枚举类型之间的转换发出警告(仅适用于C++).
- -Wlong-long
- 如果使用了long long 类型就发出警告.该警告是缺省项.使用`-Wno-long-long' 选项能够防止这个警告. `-Wlong-long'和`-Wno-long-long'仅在 `-pedantic'之下才起作用.
- -Woverloaded-virtual
- (仅适用于C++.)在继承类中,虚函数的定义必须匹配虚函数在基类中声明的类型特征(type signature).当
继承类声明了某个函数,它可能是个错误的尝试企图定义一个虚函数,使用这个选项能够产生警告:就是说,当某个函数和基类
中的虚函数同名,但是类型特征不符合基类的任何虚函数,编译器将发出警告.
- -Winline
- 如果某函数不能内嵌(inline),无论是声明为inline或者是指定了-finline-functions 选项,编译器都将发出警告.
- -Werror
- 视警告为错误;出现任何警告即放弃编译.
调试选项(DEBUGGING OPTION)
GNU CC拥有许多特别选项,既可以调试用户的程序,也可以对GCC排错:
- -g
- 以操作系统的本地格式(stabs, COFF, XCOFF,或DWARF).产生调试信息. GDB能够使用这些调试信息.
在大多数使用stabs格式的系统上,
`-g'选项启动只有GDB才使用的额外调试信息;这些信息使GDB
调试效果更好,但是有可能导致其他调试器崩溃,或拒绝读入程序.如果你确定要控制是否生成额外的信息, 使用`-gstabs+',
`-gstabs', `-gxcoff+', `-gxcoff', `-gdwarf+',或`-gdwarf' (见下文).
和大多数C编译器不同, GNU
CC允许结合使用`-g'和`-O'选项.优化的代码偶尔制造
一些惊异的结果:某些声明过的变量根本不存在;控制流程直接跑到没有预料到的地方;某些语句因为计算结果是常量或已经确定而
没有执行;某些语句在其他地方执行,因为他们被移到循环外面了.
然而它证明了调试优化的输出是可能的.对可能含有错误的程序使用优化器是合理的.
如果GNU CC支持输出多种调试信息,下面的选项则非常有用.
- -ggdb
- 以本地格式(如果支持)输出调试信息,尽可能包括GDB扩展.
- -gstabs
- 以stabs格式(如果支持)输出调试信息,不包括GDB扩展.这是大多数BSD系统上DBX使用的格式.
- -gstabs+
- 以stabs格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序.
- -gcoff
- 以COFF格式(如果支持)输出调试信息.这是在System V第四版以前的大多数System V系统上SDB使用的 格式.
- -gxcoff
- 以XCOFF格式(如果支持)输出调试信息.这是IBM RS/6000系统上DBX调试器使用的格式.
- -gxcoff+
- 以XCOFF格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序.
- -gdwarf
- 以DWARF格式(如果支持)输出调试信息.这是大多数System V第四版系统上SDB使用的格式.
- -gdwarf+
- 以DWARF格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序.
-glevel
-ggdblevel
-gstabslevel
-gcofflevel -gxcofflevel
- -gdwarflevel
- 请求生成调试信息,同时用level指出需要多少信息.默认的level值是2.
Level 1输出最少量的信息,仅够在不打算调试的程序段内backtrace.包括函数和外部变量的描述,但是 没有局部变量和行号信息.
Level 3包含更多的信息,如程序中出现的所有宏定义.当使用`-g3'选项的时候,某些调试器支持 宏扩展.
- -p
- 产生额外代码,用于输出profile信息,供分析程序prof使用.
- -pg
- 产生额外代码,用于输出profile信息,供分析程序gprof使用.
- -a
- 产生额外代码,用于输出基本块(basic block)的profile信息,它记录各个基本块的执行次数,供诸如 tcov此类的程序分析.但是注意,这个数据格式并非tcov期待的.最终GNU gprof 将处理这些数据.
- -ax
- 产生额外代码,用于从'bb.in'文件读取基本块的profile参数,把profile的结果写到'bb.out' 文件. `bb.in'包含一张函数列表.一旦进入列表中的某个函数, profile操作就开始,离开最外层的函数后, profile操作就结束.以`-'为前缀名的函数排除在profile
操作之外.如果函数名不是唯一的,它可以写成 `/path/filename.d:functionname'来澄清.
`bb.out'将列出一些有效的文件名.这四个函数名具有 特殊含义:
`__bb_jumps__'导致跳转(jump)频率写进`bb.out'. `__bb_trace__'导致基本块序列通过
管道传到`gzip',输出`bbtrace.gz'文件. `__bb_hidecall__'导致从跟踪(trace)中排除call 指令.
`__bb_showret__'导致在跟踪中包括返回指令.
- -dletters
- 编译的时候,在letters指定的时刻做调试转储(dump).用于调试编译器.大多数转储的文件名 通过源文件名添加字词获得(例如`foo.c.rtl'或`foo.c.jump').
- -dM
- 预处理结束的时候转储所有的宏定义,不输出到文件.
- -dN
- 预处理结束的时候转储所有的宏名.
- -dD
- 预处理结束的时候转储所有的宏定义,同时进行正常输出.
- -dy
- 语法分析(parse)的时候在标准错误转储调试信息.
- -dr
- RTL阶段后转储到`file.rtl'.
- -dx
- 仅对函数生成RTL,而不是编译.通常和`r'联用.
- -dj
- 第一次跳转优化后转储到`file.jump'.
- -ds
- CSE (包括有时候跟在CSE后面的跳转优化)后转储到`file.cse'.
- -dL
- 循环优化后转储到`file.loop'.
- -dt
- 第二次CSE处理(包括有时候跟在CSE后面的跳转优化)后转储到`file.cse2'.
- -df
- 流程分析(flow analysis)后转储到`file.flow'.
- -dc
- 指令组合(instruction combination)后转储到`file.combine'.
- -dS
- 第一次指令安排(instruction schedule)后转储到`file.sched'.
- -dl
- 局部寄存器分配后转储到`file.lreg'.
- -dg
- 全局寄存器分配后转储到`file.greg'.
- -dR
- 第二次指令安排(instruction schedule)后转储到`file.sched2'.
- -dJ
- 最后一次跳转优化后转储到`file.jump2'.
- -dd
- 推迟分支调度(delayed branch scheduling)后转储到`file.dbr'.
- -dk
- 寄存器-堆栈转换后转储到`file.stack'.
- -da
- 产生以上所有的转储.
- -dm
- 运行结束后,在标准错误显示内存使用统计.
- -dp
- 在汇编输出加注指明使用了哪些模式(pattern)及其替代模式.
- -fpretend-float
- 交叉编译的时候,假定目标机和宿主机使用同样的浮点格式.它导致输出错误的浮点常数,但是在目标机上运行的时候, 真实的指令序列有可能和GNU CC希望的一样.
- -save-temps
- 保存那些通常是``临时''的中间文件;置于当前目录下,并且根据源文件命名.因此,用`-c -save-temps'选项编译`foo.c '会生成` foo.cpp'和`foo.s' 以及`foo.o'文件.
- -print-file-name=library
- 显示库文件library的全路径名,连接时会使用这个库---其他什么事情都不作.根据这个选项, GNU CC既不编译,也不连接,仅仅显示文件名.
- -print-libgcc-file-name
- 和`-print-file-name=libgcc.a'一样.
- -print-prog-name=program
- 类似于`-print-file-name',但是查找程序program如`cpp'.
优化选项(OPTIMIZATION OPTION)
这些选项控制多种优化措施:
- -O
-
- -O1
- 优化.对于大函数,优化编译占用稍微多的时间和相当大的内存.
不使用`-O'选项时,编译器的目标是减少编译的开销,使编译结果能够调试.语句是独立的:如果在 两条语句之间用断点中止程序,你可以对任何变量重新赋值,或者在函数体内把程序计数器指到其他语句,以及从源程序中 精确地获取你期待的结果.
不使用`-O'选项时,只有声明了register的变量才分配使用寄存器.编译结果比不用 `-O'选项的PCC要略逊一筹.
使用了`-O'选项,编译器会试图减少目标码的大小和执行时间.
如果指定了`-O'选项,
`-fthread-jumps'和`-fdefer-pop'选项将被 打开.在有delay slot的机器上,
`-fdelayed-branch'选项将被打开.在即使没有帧指针 (frame pointer)也支持调试的机器上,
`-fomit-frame-pointer'选项将被打开.某些机器上 还可能会打开其他选项.
- -O2
- 多优化一些.除了涉及空间和速度交换的优化选项,执行几乎所有的优化工作.例如不进行循环展开(loop unrolling)和函数内嵌(inlining).和-O选项比较,这个选项既增加了编译时间,也提高了生成代码的 运行效果.
- -O3
- 优化的更多.除了打开-O2所做的一切,它还打开了-finline-functions选项.
- -O0
- 不优化.
如果指定了多个-O选项,不管带不带数字,最后一个选项才是生效的选项.
诸如`-fflag'此类的选项描述一些机器无关的开关.大多数开关具有肯定和否定两种格式; `-ffoo'开关选项的否定格式应该是`-fno-foo'.下面的列表只展示了一种格式---那个不是 默认选项的格式.你可以通过去掉或添加`no-'构造出另一种格式.
- -ffloat-store
- 不要在寄存器中存放浮点变量.这样可以防止某些机器上不希望的过高精度,如68000的浮点寄存器(来自 68881)保存的精度超过了double应该具有的精度.
对于大多数程序,过高精度只有好处.但是有些程序严格依赖于IEEE浮点数的定义.对这样的程序可以使用 `-ffloat-store'选项.
- -fmemoize-lookups
-
- -fsave-memoized
- 使用探索法(heuristic)进行更快的编译(仅对C++).默认情况下不使用探索法.由于探索法只对某些输入文件 有效,其他程序的编译速度会变得更慢.
第一次编译器必须对成员函数(或对成员数据的引用)建立一个调用.它必须(1)判断出这个类
是否实现了那个名字的 成员函数; (2)决定调用哪个成员函数(涉及到推测需要做哪种类型转换);
(3)检查成员函数对调用者是否可见.所有这些构成
更慢的编译.一般情形,第二次对成员函数(或对成员数据的引用)建立的调用,必须再次经过相同长度的处理.这意味着象 这样的代码
cout << "This " << p << " has " << n << " legs.\n";
对整个三步骤要做六次遍历.通过使用软件缓存, ``命中''能够显著地减少这种代价.然而不幸的是,使用这种缓存 必须实现其他机制,带来了它自己的开销. `-fmemoize-lookups'选项打开软件缓存.
因为函数的正文环境不同,函数对成员和成员函数的访问权(可见性)也可能不同,
g++可能需要刷新缓存. 使用`-fmemoize-lookups'选项,每编译完一个函数就刷新缓存.而`-fsave-memoized'选项
也启用同样的缓存,但是当编译器发觉最后编译的函数的正文环境产生的访问权和下一个待编译的函数相同,编译器就
保留缓存内容.这对某个类定义许多成员函数时非常有用:除了某些其他类的友函数,每个成员函数拥有和其他成员函数完全一样 的访问权,因而无需刷新缓存.
- -fno-default-inline
- 默认为不要把成员函数内嵌,因为它们定义在类的作用域内(仅C++).
- -fno-defer-pop
- 一旦函数返回,参数就立即弹出.对于那些调用函数后必须弹出参数的机器,编译器一般情况下让几次函数调用的参数 堆积在栈上,然后一次全部弹出.
- -fforce-mem
- 做数学运算前把将要使用的内存操作数送入寄存器.通过把内存访问转换成潜在的公共子表达式,它可能产生较好的目标码. 如果它们不是公共子表达式,指令组合应该消除各自的寄存器载荷.我乐意倾听不同意见.
- -fforce-addr
- 做数学运算前把将要使用的内存地址常数送入寄存器.它可能和`-fforce-mem'一样产生较好的 目标码.我乐意倾听不同意见.
- -fomit-frame-pointer
- 对于不需要帧指针(frame pointer)的函数,不要在寄存器中保存帧指针.这样能够避免保存,设置和恢复 帧指针的指令;同时对许多函数提供一个额外的寄存器. 但是在大多数机器上将无法调试.
某些机器上,如Vax,这个选项无效,因为标准调用序列自动处理帧指针,通过假装不存在而不保存任何东西.机器描述宏 FRAME_POINTER_REQUIRED控制目标机是否支持这个选项.
- -finline-functions
- 把所有简单的函数集成进调用者.编译器探索式地决定哪些函数足够简单,值得这种集成.
如果集成了所有给定函数的调用,而且函数声明为static,那么一般说来GCC有权不按汇编代码输出函数.
- -fcaller-saves
- 允许在寄存器里分配数值,但是这个方案通常受到各个函数调用的冲击,因此GCC生成额外的代码,在函数调用的 前后保存和复原寄存器内容.仅当生成代码看上去优于反之结果时才实现这样的分配.
某些机器上该选项默认为允许,通常这些机器没有调用保护寄存器代替使用.
- -fkeep-inline-functions
- 即使集成了某个函数的所有调用,而且该函数声明为static,仍然输出这个函数一个独立的,运行时可调用 的版本.
- -fno-function-cse
- 不要把函数地址存入寄存器;让调用固定函数的指令显式给出函数地址.
这个选项产生效率较低的目标码,但是如果不用这个选项,某些不寻常的hack,改变汇编器的输出,可能因优化而带来 困惑.
- -fno-peephole
- 禁止任何机器相关的peephole优化.
- -ffast-math
- 这个选项出于速度优化,允许GCC违反某些ANSI或IEEE规则/规格.例如,它允许编译器假设sqrt 函数的参数是非负数.
这个选项不被任何`-O'选项打开,因为对于严格依靠IEEE或ANSI规则/规格实现的数学函数,程序可能 会产生错误的结果.
下列选项控制特定的优化. `-O2'选项打开下面的大多数优化项,除了`-funroll-loops'和 `-funroll-all-loops'项.
而`-O'选项通常打开`-fthread-jumps'和`-fdelayed-branch' 优化项,但是特定的机器上的默认优化项有可能改变.
如果特别情况下非常需要``微调''优化,你可以使用下面的选项.
- -fstrength-reduce
- 执行循环强度缩小(loop strength reduction)优化,并且消除重复变量.
- -fthread-jumps
- 执行优化的地点是,如果某个跳转分支的目的地存在另一个条件比较,而且该条件比较包含在前一个比较语句之内,那么 执行优化.根据条件是true或者false,前面那条分支重定向到第二条分支的目的地或者紧跟在第二条分支后面.
- -funroll-loops
- 执行循环展开(loop unrolling)优化.仅对循环次数能够在编译时或运行时确定的循环实行.
- -funroll-all-loops
- 执行循环展开(loop unrolling)优化.对所有循环实行.通常使程序运行的更慢.
- -fcse-follow-jumps
- 在公共子表达式消元(common subexpression elimination)的时候,如果没有其他路径到达某个跳转的
目的地,就扫过这条jump指令.例如,如果CSE遇到带有else从句的if语句,当条件测试为 false时, CSE就跟在jump后面.
- -fcse-skip-blocks
- 它类似于`-fcse-follow-jumps'选项,但是CSE跟在条件跳转后面,条件跳转跳过了 语句块(block).如果CSE遇到一条简单的if语句,不带else从句, `-fcse-skip-blocks'选项将导致CSE跟在if产生的跳转后面.
- -frerun-cse-after-loop
- 执行循环优化后,重新进行公共子表达式消元.
- -felide-constructors
- 如果看上去合理就省略构造子(仅C++).根据这个选项,对于下面的代码, GNU C++直接从调用foo 初始化y,而无需通过临时变量:
A foo (); A y = foo ();
如果没有这个选项, GNU C++首先通过调用类型A 合适的构造子初始化y;然后把 foo的结果赋给临时变量;最后,用临时变量替换`y'的初始值.
ANSI C++标准草案规定了默认行为(`-fno-elide-constructors').如果程序的构造子存在 副效应, `-felide-constructors'选项能够使程序有不同的表现,因为可能忽略一些构造子的调用.
- -fexpensive-optimizations
- 执行一些相对开销较大的次要优化.
- -fdelayed-branch
- 如果对目标机支持这个功能,它试图重新排列指令,以便利用延迟分支(delayed branch)指令后面的指令空隙.
- -fschedule-insns
- 如果对目标机支持这个功能,它试图重新排列指令,以便消除因数据未绪造成的执行停顿.这可以帮助浮点运算或内存访问 较慢的机器调取指令,允许其他指令先执行,直到调取指令或浮点运算完成.
- -fschedule-insns2
- 类似于`-fschedule-insns'选项,但是在寄存器分配完成后,需要一个额外的指令调度过程.对于 寄存器数目相对较少,而且取内存指令大于一个周期的机器,这个选项特别有用.