如何阻止GCC跨RISC-V CSR写入指令进行浮点优化？

针对你遇到的GCC跨CSR写入操作进行公共子表达式消除的问题，无需修改变量属性，只需修改write_csr宏，通过添加内存屏障约束和优化屏障，强制编译器将CSR写入前后的代码作为独立优化单元处理。

修改后的write_csr宏 #

#define write_csr(reg, val) ({ \
    asm volatile ("csrw " #reg ", %0" \
                  : \
                  : "rK"(val) \
                  : "memory"); \
    __builtin_optimize_point(); \
})

原理说明 #

• "memory"约束：告知GCC这段汇编指令修改了内存状态，编译器会在执行该汇编前将所有缓存的变量值同步到内存，执行后重新读取变量值，彻底阻止跨操作的公共子表达式消除、常量传播等优化。
• __builtin_optimize_point()：GCC内置的优化屏障函数，明确标记优化边界，强制编译器将该点前后的代码分开优化，进一步强化隔离效果，适合复杂程序场景。

效果验证 #

使用修改后的宏编译你的示例代码（-O2级别），z = a/b和new_z = a/b会被编译器视为两个独立的计算任务，生成两条fdiv.s指令，分别在CSR写入前后执行，不会出现公共子表达式消除的问题。

兼容旧版GCC #

如果使用GCC 10以下版本（不支持__builtin_optimize_point()），可以仅保留"memory"约束，或者添加空汇编作为替代优化屏障：

#define write_csr(reg, val) ({ \
    asm volatile ("csrw " #reg ", %0" \
                  : \
                  : "rK"(val) \
                  : "memory"); \
    asm volatile("" ::: "memory"); \
})

内容的提问来源于stack exchange，提问作者Stephan Brüning