C/C++编译代码中asm("")语句具体会添加什么内容？

首先给明确结论：空的asm("")语句本身不会向最终生成的汇编代码中插入任何实际的CPU指令，它本质是给GCC类编译器的优化器传递的约束标记，而非实际生成代码的语句。

核心作用逻辑 #

GCC对不带输入、输出、寄存器破坏声明的基本内联汇编语句，默认遵循两个处理规则：

• 不会将这条语句判定为“无副作用的无效代码”而优化删除，也不会随意移动它在代码流中的位置
• 编译器会保守判定：这条内联汇编语句可能访问、修改它前后所有编译器可见的内存或寄存器值，因此不能随便把跨这条语句的、看似“无用”的计算逻辑优化掉

对你给出的示例代码的影响 #

你贴的循环代码如果去掉末尾的asm("")，在开-O2/-O3高优化等级时，编译器很容易做如下优化：

1. 判定循环内对p的计算、对x的加减操作都没有对外产生可观测的副作用（比如x是未被后续代码读取的局部变量）
2. 直接把整个循环完全删除，不生成任何对应指令

而加了asm("")之后，编译器无法确定这条空汇编会不会用到前面计算出的p、x的值，因此必须完整保留循环的所有计算逻辑，生成对应的汇编指令——但asm("")本身对应的位置，不会多生成任何一条指令，连nop空指令都不会插入。

注意：不要把asm("")和显式写asm("nop")混淆，后者才会实际生成一条空操作指令到汇编里，前者只是优化屏障。

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