为什么gcc会生成详细的汇编代码？[副本]

Question

我有一个关于GCC（-S选项）生成的汇编代码的问题。因为我对汇编语言不熟悉，对它了解很少，所以这个问题将非常原始。不过，我希望有人会回答：

假设我有一个C代码：

main(){

    int x = 15; 

    int y = 6;

    int z = x - y;


    return 0;
}

如果我们查看汇编代码（特别是对应于int z=x-y的部分），我们会看到：

主要内容：

...
subl    $16, %esp
movl    $15, -4(%ebp)
movl    $6, -8(%ebp)
movl    -8(%ebp), %eax
movl    -4(%ebp), %edx
movl    %edx, %ecx
subl    %eax, %ecx
movl    %ecx, %eax
movl    %eax, -12(%ebp)
...

为什么海湾合作委员会不生成这样的东西，这样就不会复制东西。

主要内容：

...
movl    $15, -4(%ebp)
movl    $6, -8(%ebp)
movl    -8(%ebp), %edx          
movl    -4(%ebp), %eax          
subl    %edx, %eax              
movl    %eax, -12(%ebp)
...

P. S.

Linux-zion-52.6。32-21-generic#32 Ubuntu SMP Fri Apr 16 08:10:02 UTC 2010 i686 GNU/Linux gcc版本4.4。3（Ubuntu 4.4.3-4ubuntu5）

Answer 1

首先，正如Mystical所评论的，您应该启用一些优化。尝试将-O2（或-O3，或只是-O1）传递到gcc。如果您想进一步了解生成的汇编代码，请同时传递-fverbose asm。如果您想了解生成（或不生成）代码的原因，请学习GCC内部（可能还需要传递-fdump tree all和-fdump rtl all，它们会生成大量内部转储文件）。

MELT上的一些幻灯片（MELT是扩展GCC的领域特定语言）可能会有所帮助，并提供其他参考。

当你被要求时，你可能会惊讶于GCC能给你的优化量。默认情况下，GCC不优化。有一些您应该明确要求的优化（甚至在-O3中也不做）。

GCC的最新版本可能比旧版本优化更多。目前的GCC版本在2021是GCC 11。

另外，我不再在MELT上工作（2017年放弃）。在2021，也见BISMON，RefSysS，FRAMA-C。