此问题在此处已有答案：

Once more volatile: necessary to prevent optimization?（3个答案）
16天前关闭。
我使用gcc编译了一个简单的ARM Cortex-M4测试代码，它会优化全局变量的使用，这让我很困惑。gcc优化全局变量使用的规则是什么？
GCC编译器：gcc-臂-无-eabi-8-2019-第3季度-更新/bin/臂-无-eabi-gcc
优化级别：- 奥斯
我的测试代码：
以下代码位于“foo.c”中，并且在任务A中调用了函数foo 1（）和foo 2（），在任务B中调用了函数global_cnt_add（）。

int g_global_cnt = 0;

void dummy_func(void);

void global_cnt_add(void)
{
    g_global_cnt++;
}

int foo1(void)
{
    while (g_global_cnt == 0) {
        // do nothing
    }

    return 0;
}

int foo2(void)
{
    while (g_global_cnt == 0) {
        dummy_func();
    }

    return 0;
}

The function dummy_func() is implemented in bar.c as following:

void dummy_func(void)
{
    // do nothing
}

函数foo 1（）的汇编代码如下所示：

int foo1(void)
{
    while (g_global_cnt == 0) {
  201218:   4b02        ldr r3, [pc, #8]    ; (201224 <foo1+0xc>)
  20121a:   681b        ldr r3, [r3, #0]
  20121c:   b903        cbnz    r3, 201220 <foo1+0x8>
  20121e:   e7fe        b.n 20121e <foo1+0x6>
        // do nothing
    }

    return 0;
}
  201220:   2000        movs    r0, #0
  201222:   4770        bx  lr
  201224:   00204290    .word   0x00204290

函数foo 2（）的汇编代码如下所示：

int foo2(void)
{
  201228:   b510        push    {r4, lr}
    while (g_global_cnt == 0) {
  20122a:   4c04        ldr r4, [pc, #16]   ; (20123c <foo2+0x14>)
  20122c:   6823        ldr r3, [r4, #0]
  20122e:   b10b        cbz r3, 201234 <foo2+0xc>
        dummy_func();
    }

    return 0;
}
  201230:   2000        movs    r0, #0
  201232:   bd10        pop {r4, pc}
        dummy_func();
  201234:   f1ff fcb8   bl  400ba8 <dummy_func>
  201238:   e7f8        b.n 20122c <foo2+0x4>
  20123a:   bf00        nop
  20123c:   00204290    .word   0x00204290

在函数foo 1（）的汇编代码中，全局变量“g_global_cnt”只被加载一次，while循环永远不会被打断，编译器优化了“g_global_cnt”的使用，我知道我可以添加volatile来避免这种优化。
在函数foo 2（）的汇编代码中，在每个while循环中加载并检查全局变量“g_global_cnt”，可以中断while循环。
gcc的优化规则有哪些？