-O0(未优化)是默认设置。它告诉编译器您希望它快速编译(较短的编译时间),而不是花费额外的时间来编译高效的代码。
(-O0并不是真正的优化;例如,gcc仍将消除if(1 == 2){ }块内的代码。特别是gcc比大多数其他编译器仍然做更多的事情,例如使用乘法逆用于除法-O0,因为它仍然可以通过逻辑的多个内部表示来转换C源最终散发出asm。)
另外,即使在,“编译器总是正确的”实在是夸张-O3。编译器在很大程度上具有很好的性能,但是在单个循环中仍普遍存在较小的漏失优化。通常,其影响非常小,但循环中的指令(或uops)浪费了,可能会浪费无序的执行重新排序窗口中的空间,并且在与另一个线程共享内核时对超线程的友好程度也会降低。请参阅C ++代码以比手写程序集更快地测试Collatz猜想-为什么?有关在简单的特定情况下击败编译器的更多信息。
更重要的是,这-O0还意味着将所有变量都视为与volatile一致调试相同。即,您可以设置一个断点或单个步骤并修改 C变量的值,然后继续执行并使程序按照您希望在C抽象机上运行C源代码的方式工作。因此,编译器无法进行任何常量传播或值范围简化。(例如,一个已知为非负的整数可以简化使用它的过程,或者在条件始终为true或false时进行计算。)
(这没有那么糟糕volatile:在一个语句中多次引用同一个变量并不总是导致多次加载;在-O0编译器中,单个表达式中的优化仍然会有所优化。)
编译器必须-O0通过在语句之间将所有变量存储/重新加载到其内存地址来专门进行反优化。(在C和C ++中,每个变量都有一个地址,除非使用(现在已经过时的)register关键字声明了该变量,并且从未使用过它的地址。可