【发布时间】：2021-04-08 11:58:57
【问题描述】：
由于某种原因，有时在我的程序中我看到了
cmpeqpd xmm3,xmm0
xmm0 == {0x2cd000000000, 0x2cd000000000}
和xmm3 == {0x0, 0x2011d0800000000}
碰巧在 xmm3 中返回 {0xffffffffffffffff, 0x0}，这是错误的，因为 (double)0x0 不等于 (double)0x2cd000000000。
我注意到它只是偶尔发生。我已经用 rr 记录了程序的执行，以便一致地重现它。有趣的是，在一个超级简化的简单程序中，我不能再重现这个问题了。我想知道，是否有任何隐藏的微架构状态可以改变 cmpeqpd (cmppd) 的行为？
请注意，我检查了相应 ymm 寄存器中的高 128 位是否为零。
【问题讨论】：
标签： assembly floating-point sse avx denormal-numbers