在未优化的-O0模式下，编译器主要考虑快速编译，而非生成高效代码。这导致变量被视为volatile，限制了编译器的优化能力，如常量传播和值范围简化。尽管如此，-O0代码在调试时保持一致性，允许在C抽象机上按预期运行。然而，这对于基准测试来说是不利的，因为未优化的代码性能受源代码细节影响，且与-O3优化后的代码相比差距较大。在查看编译器如何处理代码时，可以看到-O0会导致更多的内存交互和指令，而-O3则能生成更简洁高效的汇编代码。
-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关键字声明了该变量，并且从未使用过它的地址。可
最低0.47元/天 解锁文章
2933
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
