C语言对于volatile与gcc优化的探究

volatile是一个特征修饰符（type specifier） volatile的作用是作为指令关键字，确保本条指令不会因编译器的优化而省略，且要求每次直接读值。这是百度百科的介绍，那编译器是具体是怎么优化的呢。

我们知道gcc 是有O0 O1 O2 O3的优化等级的，其中O0优化最低，O3优化最高。

现在看下下面一段简单程序：

#include 
void task_delay(int count)
{
           count *= 50000;
           while(count--);
}
int main(int argc,char* argv[])
{
   printf("Task 0:Created!\n");
   printf("Task 0:Running ...\n");
   task_delay(1000);
    return 0;
}

不用优化编译下：

gcc -g  -O0 main.c

看下反汇编代码：

objdump -d a.out

看的出来最低等级的优化-O0 的执行程序task_delay函数的汇编指令非常多，性能损耗长。

现在看下O1的优化后效果：

xc@xc-virtual-machine:~$ gcc -g  -O1 main.c
xc@xc-virtual-machine:~$ objdump -d a.out

反汇编代码：

明显task_delay汇编指令比之前-O0优化的时候要少，提升了执行速度。现在在来看下-O3的优化后的反汇编代码

看的出是直接空指令返回的，且运行地址在1180在main函数是没调用，这个暂时不知道怎么回事，交给后面的自己了，哈哈。

好了上面都是准备工作，目的是告诉我们-O3能将程序优化极致。现在我们将count入参用volatile修饰，会怎样，根据百度百科的说法是不会进行优化的，我们测试下：

#include 
void task_delay(volatile int count)
{
           count *= 50000;
           while(count--);
}
int main(int argc,char* argv[])
{
   printf("Task 0:Created!\n");
   printf("Task 0:Running ...\n");
   task_delay(1000);
    return 0;
}

xc@xc-virtual-machine:~$ gcc -g  -O3 main.c
xc@xc-virtual-machine:~$ 
xc@xc-virtual-machine:~$ 
xc@xc-virtual-machine:~$ objdump -d a.out  

发现跟-O0的汇编代码一样，没进行优化。

到此这篇关于C语言对于volatile与gcc优化的探究的文章就介绍到这了,更多相关C语言volatile与gcc内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！