优化后代码效果如何？

Question

在研究编译器优化时，我简单地编译了以下代码：

#include<stdio.h>
struct fraction {
    int num ;
    int denum ;
};

int main()
{
  struct fraction pi;
  pi.num = 22;
  pi.denum = 7;
  return 0;
}

使用

gcc test.c -o test

当我拆解这个时，我得到：

push   %ebp
mov    %esp,%ebp
sub    $0x10,%esp
movl   $0x16,-0x8(%ebp)
movl   $0x7,-0x4(%ebp)
mov    $0x0,%eax
leave  
ret

但是如果我应用如下优化：

gcc test.c -o test -O3

我在反汇编中得到的只是：

push   %ebp
xor    %eax,%eax
mov    %esp,%ebp
pop    %ebp
ret

在没有优化的情况下，值 22 和 7 在反汇编中清晰可见，我可以清楚地理解代码是如何工作的，但是优化后这些值现在在哪里？代码现在运行得怎么样？请有人解释一下。

Answer 1

由于您的代码没有有效地执行任何外部可见的操作，从而产生不可预测的副作用，因此结构的创建被简单地完全消除了，现在您的代码所做的只是从

main()

返回0。

（如果你告诉编译器它确实需要创建结构体，因为它可能被其他人/其他东西修改，它不会删除代码。将你的变量声明为

volatile

，你就会看到它在汇编器中。）

Answer 2

编译器确定

pi

从未在该范围之外使用，并且由于没有副作用，因此优化了整个变量以及赋值。

生成的汇编代码几乎将

加载到

eax

中，摆弄堆栈指针，然后返回。