gcc优化疑问

youxia

源程序
pisqrt.c

#include <stdio.h>
#include <math.h>

int main(void)
{
        double pi = M_PI;
        double pisqrt;
        long i;

        for(i = 0; i < 100000000; i++)
        {
                pisqrt = sqrt(pi);
        }

        return 0;
}

youxia@zhouxy:~$ gcc -o pisqrt pisqrt.c -lm
youxia@zhouxy:~$ time ./pisqrt

real    0m2.144s
user    0m2.128s
sys     0m0.000s
youxia@zhouxy:~$ gcc -o pisqrt pisqrt.c -lm -O1
youxia@zhouxy:~$ time ./pisqrt

real    0m0.001s
user    0m0.000s
sys     0m0.000s
youxia@zhouxy:~$ gcc -o pisqrt pisqrt.c -lm -O2
youxia@zhouxy:~$ time ./pisqrt

real    0m0.001s
user    0m0.000s
sys     0m0.000s

差距怎么这么大，怎么做到的？

biinn

先看看编译出来的汇编代码有啥区别？

gamedragon

应该是优化完之后就剩下了一句
pisqrt = sqrt(pi);

因为这个循环不会改变pisqrt的值。

DoDo

gcc-help 的邮件列表里有过一篇讨论编译器究竟做了哪些优化的话题，里面有人提供了一些信息：

2. -fverbose-asm produces a list of
3. optimization passes.  The dumps "-da" and "-fdump-tree-all" produce a
4. lot of files, one per optimization pass, so you can see what each pass
5. did.  Once you know which pass does what, you can start to look at the
6. code.

复制代码

x11

sqrt(pi)是个常数，优化后应该是编译器直接计算了，然后循环被取消了

youxia

有可能，但是改成for(i = 0; i < 1000000000; i++)后执行时间为

real    0m0.001s
user    0m0.000s
[color="Red"]sys     0m0.004s

加了O2选项

gamedragon

Post by x11
sqrt(pi)是个常数，优化后应该是编译器直接计算了，然后循环被取消了

pi是常数，sqrt(pi)可不是，编译器是不会识别sqrt是个什么东西，然后去计算这个值。