上图是下面函数进行gcc编译不添加-O2优化选项的反汇编程序,可以看出不优化时,汇编出来的程序确实是我们所期待的。进行了循环延时。
void delay(unsigned long dly)
{
for(; dly > 0; dly--);
}
上图是前一个函数进行gcc编译添加-O2优化选项的反汇编结果,可以看出使用了-O2优化后,整个delay函数里面的for空循环被直接忽略了。这样没有实现了循环延时。
为什么会这样优化,这些是做编译器的人决定的。我个人猜测是,只要是一个变量做了编译器认为毫无意义的事,编译器都会忽略掉这部分代码的编译来减少时间及CPU的开销,但是这样跟我们要的延时刚好相反了,编译器并不知道我们是故意增加无意义的时间在这里实现延时的。上面因为for循环里的dly虽然每次都自减,但是它并不对外界的操作有任何关联,所以它并不需要放到内存里,被认为是无意义的。
下面可以通过使用volatile关键字来修饰这个变量,这样就告诉编译器dly变量不要暂存在寄存器里,而是每对其操作一次都把它读写到内存。
void delay(volatile unsigned long dly)
{
for(; dly > 0; dly--);
}
反汇编结果如下:
通过volatile就可以强迫编译器无法对for空循环进行忽略了。