9

作为回答另一个问题的一部分,我想表明gcc( -O3) 的疯狂优化水平基本上会去除 main 中未使用的任何变量。代码是:

#include <stdio.h>
int main (void) {
   char bing[71];
   int x = 7;
   bing[0] = 11;
   return 0;
}

gcc -O3输出是:

    .file "qq.c"
    .text
    .p2align 4,,15
.globl main
    .type main, @function
main:
    pushl %ebp
    xorl %eax, %eax
    movl %esp, %ebp
    popl %ebp
    ret
    .size main, .-main
    .ident "GCC: (Ubuntu 4.4.3-4ubuntu5) 4.4.3"
    .section .note.GNU-stack,"",@progbits

现在我可以看到它已经删除了局部变量,但那里仍然有相当多的浪费。在我看来,整个:

    pushl %ebp
    xorl %eax, %eax
    movl %esp, %ebp
    popl %ebp
    ret

部分可以替换为更简单的:

    xorl %eax, %eax
    ret

有谁知道为什么gcc不执行此优化?我知道这会为自己节省很少的main钱,但是,如果这也使用普通函数完成,那么在大规模循环中不必要地调整堆栈指针的效果将是相当可观的。

用于生成程序集的命令是:

gcc -O3 -std=c99 -S qq.c
4

2 回答 2

9

-fomit-frame-pointer您可以使用编译器标志启用该特定优化。这样做会使某些机器上的调试变得不可能,并且在其他所有机器上都变得更加困难,这就是它通常被禁用的原因。

尽管您的 GCC 文档可能会说-fomit-frame-pointer在不同的优化级别启用了它,但您可能会发现情况并非如此——您几乎肯定必须自己显式地启用它。

于 2011-02-23T02:14:25.043 回答
6

打开-fomit-frame-pointersource)应该摆脱额外的堆栈操作。

GCC 显然将它们留在了其中,因为它们有助于调试(在需要时获取堆栈跟踪),尽管文档指出这-fomit-frame-pointer是从 GCC 4.6 开始的默认设置。

于 2011-02-23T02:14:00.973 回答