关于gcc编译器对for空循环的优化

上图是下面函数进行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空循环进行忽略了。