x86-64下Clang -O3为何未优化浮点数加0.0的冗余操作？

在x86-64架构下使用Clang 14.0.0编译器、开启-O3优化等级编译如下C代码：

double f (double x)
{
    return x + 5.0 + 0;
}

生成的汇编代码如下：

.LCPI0_0:
  .quad 0x4014000000000000 # double 5
f(double): # @f(double)
  addsd xmm0, qword ptr [rip + .LCPI0_0]
  xorpd xmm1, xmm1
  addsd xmm0, xmm1
  ret

编译结果可在Godbolt在线编译平台复现。
核心疑问是：汇编中如下的指令序列在什么场景下会对执行结果产生实际影响？

xorpd xmm1, xmm1
  addsd xmm0, xmm1

已知未开启-ffast-math时编译器不能随意做浮点数常量折叠，直观上看这段指令既不会修改xmm0的位模式，也不会触发浮点异常或其他副作用。

补充说明：Clang默认启用-fno-rounding-math配置，该配置说明可在Clang官方用户手册中查询，据此可安全判定x + 5.0的运算结果绝不会是-0.0，因此加+0.0的操作理应属于可被优化消除的空操作。

这段指令序列仅在程序手动开启x86 SSE的FTZ（Flush To Zero，冲零）非标准浮点模式时，才可能对执行结果产生实际影响。在默认的IEEE 754兼容模式下它确实是没有任何作用的冗余指令，属于Clang 14版本的浮点优化漏项，高版本Clang已修复该问题，会直接删除这两条冗余指令。

具体触发影响的场景满足两个条件：

• 程序通过修改MXCSR控制寄存器开启了FTZ位。该模式是x86平台提供的非标准快速浮点模式，会将所有浮点运算输出的非规格化数（绝对值小于2^-1022的浮点数）直接替换为对应符号的零，用于规避非规格化数运算的额外性能开销，不符合IEEE 754标准要求，编译器默认生成代码时不会假设该模式开启。
• 输入参数x满足：x + 5.0的精确结果是一个绝对值极小的负非规格化数，即x比-5.0小，且二者的差值小于最小的正规格化负双精度浮点数的绝对值。

该场景下的执行逻辑为：

1. 第一条addsd计算x + 5.0时，两个输入都是正规格化数，DAZ（非规格化输入视为零）模式不生效，但输出结果是负的非规格化数，触发FTZ规则，硬件直接返回-0.0存入xmm0寄存器。
2. 后续冗余的addsd指令执行-0.0 + +0.0操作，按照IEEE 754运算规则，该运算的结果为+0.0，最终函数返回+0.0。

如果这两条冗余指令被优化删除，函数会直接返回第一步得到的-0.0，和保留指令时的返回值符号相反，会对依赖零值符号的逻辑（比如1.0 / res得到正无穷还是负无穷、copysign类操作的结果）产生实际影响。

补充说明 #

在默认的IEEE 754兼容模式下（FTZ/DAZ关闭），这段指令确实不会产生任何作用：

• 若x = -5.0，x + 5.0的精确结果为0，按IEEE标准规定，两个绝对值相等、符号相反的数相加结果为+0.0，和舍入模式无关。
• 若x略小于-5.0，x + 5.0是合法的负非规格化非零值，加+0.0不会改变其位模式，结果和原值完全一致。
• 若x大于等于-5.0，x + 5.0是非负浮点数，加+0.0不会产生任何变化。

这种场景下保留冗余指令属于编译器优化逻辑的疏漏，没有实际语义意义。

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