fast-math是浮点运算的免责协议，允许编译器绕过ieee 754规则以提升性能，通过启用nsz、nnan等标志实现指令合并、重排或融合乘加（如llvm.fmuladd），但会牺牲数学严谨性，例如-0.0与0.0被视为相等、sqrt(-1.0)可能返回0.0而非nan。
fast-math不是开关，是浮点运算的免责协议
它不加速单条指令，而是告诉编译器：“IEEE 754那套规则，我允许你绕过。”一旦启用，fadd、fsub等指令就可能被合并、重排、甚至替换成llvm.fmuladd这类融合乘加指令——这不是bug，是预期行为。
关键点在于：这个“快”来自放弃数学严谨性。比如nsz（no signed zeros）启用后，-0.0 == 0.0恒成立，1.0 / -0.0不再返回-inf而是+inf；nnan启用后，sqrt(-1.0)可能直接返回0.0而不是NaN，后续所有依赖它的计算都悄然失真。
Clang里怎么传fast-math标记：-ffast-math vs 细粒度控制
-ffast-math是粗粒度总开关，它等价于同时开启：-fno-signed-zeros、-fno-trapping-math、-fassociative-math、-freciprocal-math等一整套。但实际项目中往往只需要其中一两个——比如数值仿真必须保留-0.0语义，但可以接受nsz来换性能。
更安全的做法是手动指定：
- 用
-fno-signed-zeros禁用负零区分（对应nsz） - 用
-fno-trapping-math关闭浮点异常中断（对应nnan+ninf） - 避免直接用
-ffast-math，尤其在混合精度计算或需要严格收敛性的场景
MLIR里arith.addf的FastMathFlags怎么设
在MLIR中，arith.addf这类操作支持fastmath属性，本质是位掩码。常见组合有：
-
fastmath = #arith.fastmath<nnan></nnan>：三者全开，最激进 -
fastmath = #arith.fastmath<nsz></nsz>：仅放松零符号，对某些向量化循环很友好 - 不写该属性，默认严格遵循IEEE 754
注意：这个标记只影响当前算子。如果你在同一个函数里混用带/不带fastmath的arith.mulf，LLVM后端可能无法做跨指令优化（比如把连续的mulf+addf合成为fmuladd），因为约束不一致。
为什么你的IR里突然冒出llvm.fmuladd？
这是fast-math生效的典型信号。当你看到IR里原本分开的fmul和fadd变成一条llvm.fmuladd，说明编译器已启用融合乘加（FMA）优化——它比分开执行快，但也意味着中间结果不暴露，无法插入调试断点，且在x86上会绕过mxcsr的舍入控制位。
排查时重点看两点：
- 源码是否用了
#pragma clang fp(fast=1)或[[clang::fpmath("fast")]]这类局部标记 - MLIR lowering pass是否在
LowerArithToLLVM阶段注入了fastmath属性 - LLVM IR verify失败时，错误信息常含
"fast-math flags mismatch"，说明上下游算子约束不兼容
最隐蔽的坑是：同一份C++代码，在Clang 15和Clang 18里生成的IR可能因默认fast-math策略差异而不同——不是你改了什么，是编译器悄悄变了规矩。
