C编译器能否将条件存储优化为无条件存储？代码等价性疑问

两段对比代码 #

foo函数 #

#include <stdbool.h>

bool global;

bool foo(void) {
    if (global) {
        global = false;
        return true;
    }
    return false;
}

baz函数 #

#include <stdbool.h>

bool global;

bool baz(void) {
    bool tmp = global;
    global = false;
    return tmp;
}

问题背景 #

当global非volatile、无多线程/原子操作强制要求时，提问者认为foo与baz理论等价；且当分支成本远高于存储操作时，编译器应将foo优化为baz的无分支形式。但使用GCC 13.2.0 RISC-V编译器，搭配参数-std=gnu2x -march=rv32if -mabi=ilp32f -O3 -mbranch-cost=2000编译后，仍生成foo的分支版本，同时也无法将baz转换为foo的分支形式。提问者想明确：二者是否存在理论语义差异，还是仅仅是GCC未实现该优化？

解答 #

在单线程环境下，且global非volatile、无外部隐式修改（比如信号处理函数不会修改该变量）的前提下，foo和baz的语义完全等价，符合C标准的“as-if”规则——只要程序的可观测行为一致，编译器有权在二者之间任意转换。

至于GCC未执行该优化的原因，主要有几点：

• GCC的优化流程中，这类“分支转无分支”的特定转换属于专门的优化pass，当前RISC-V后端或通用优化逻辑中，可能未针对该场景启用对应转换，即便设置了极高的-mbranch-cost参数也无法触发。-mbranch-cost主要影响分支预测相关的成本模型，但并未覆盖“读取后无条件写入”这种分支消除场景。
• baz的逻辑是无条件向global写入false，而foo仅在global为true时执行写入。如果global被频繁读取但很少为true，baz的无条件写入会带来额外的存储开销——编译器默认更倾向于避免不必要的存储操作，即便设置了高分支成本，这种优先级权衡也未被调整。
• GCC的成本模型在计算时，可能未精准对比“无条件存储”与“分支+条件存储”的成本差异，在RISC-V架构下，存储指令的周期成本与分支延迟成本的估算未触发转换阈值。

简言之：二者不存在理论语义差异，问题源于GCC当前未实现针对该场景的双向转换优化，或是成本模型参数未覆盖该特定代码模式。

内容的提问来源于stack exchange，提问作者Cheiron