C语言对于volatile与gcc优化的探究 |
volatile是一个特征修饰符(type specifier) volatile的作用是作为指令关键字,确保本条指令不会因编译器的优化而省略,且要求每次直接读值。这是百度百科的介绍,那编译器是具体是怎么优化的呢。 我们知道gcc 是有O0 O1 O2 O3的优化等级的,其中O0优化最低,O3优化最高。 现在看下下面一段简单程序:
|
C语言对于volatile与gcc优化的探究 |
||||
volatile是一个特征修饰符(type specifier) volatile的作用是作为指令关键字,确保本条指令不会因编译器的优化而省略,且要求每次直接读值。这是百度百科的介绍,那编译器是具体是怎么优化的呢。 我们知道gcc 是有O0 O1 O2 O3的优化等级的,其中O0优化最低,O3优化最高。 现在看下下面一段简单程序:
?
不用优化编译下:
看下反汇编代码:
看的出来最低等级的优化-O0 的执行程序task_delay函数的汇编指令非常多,性能损耗长。 现在看下O1的优化后效果:
反汇编代码:
明显task_delay汇编指令比之前-O0优化的时候要少,提升了执行速度。现在在来看下-O3的优化后的反汇编代码
看的出是直接空指令返回的,且运行地址在1180在main函数是没调用,这个暂时不知道怎么回事,交给后面的自己了,哈哈。 好了上面都是准备工作,目的是告诉我们-O3能将程序优化极致。现在我们将count入参用volatile修饰,会怎样,根据百度百科的说法是不会进行优化的,我们测试下:
?
|