为何-O2优化编译生成的汇编指令数多于未优化编译？

结论：现象完全符合预期 #

1. 未优化编译（-O0）的行为 #

未优化模式下，编译器严格遵循源码结构，不做激进优化：

• 直接通过bl std::atomic<int*>::load(std::memory_order) const调用标准库的原子加载函数，main函数自身指令量较少。
• 总指令数（43条）仅包含main函数的调用逻辑，原子加载的核心实现隐藏在外部库函数中，并未展开到当前编译单元。

2. -O2优化编译的行为 #

-O2开启函数内联、指令重排抑制等优化，针对原子操作的内存语义做针对性处理：

• 函数内联展开：原本的库函数std::atomic::load被内联到main函数中，替换了单一的bl调用，将原子加载的硬件指令直接生成在当前代码流里，这会直接增加指令数量。
• 内存屏障的添加：由于代码使用std::memory_order_consume语义，ARM架构需要通过dmb ish数据内存屏障保证依赖链可见性——确保后续对local的解引用操作（print函数中）能看到原子变量p的最新值，这是为了满足C++内存模型要求，而非“拆分load指令”。

3. 指令数变化的原因 #

未优化版本指令数少，是因为大量逻辑隐藏在外部库函数调用中；而-O2版本指令数（49条）增多，是因为库函数逻辑被内联展开，加上为保证consume语义必须添加的内存屏障指令，属于正常的优化结果。

代码关联分析 #

你的代码中，local的取值依赖p.load(consume)的结果，且后续print(local)的解引用操作直接依赖local。memory_order_consume要求编译器和硬件不能重排依赖链上的操作，ARM架构下必须通过dmb ish确保这种依赖可见性，这就是-O2版本出现该指令的核心原因。

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