26、深入探索浮点运算：指令、状态管理与优化策略

深入探索浮点运算：指令、状态管理与优化策略

1. 浮点值比较的注意事项

在进行浮点值比较时，要特别注意精度问题。当浮点值加载到 FPU 寄存器时，会转换为双扩展精度浮点值，这可能导致舍入误差。因此，单精度或双精度值加载到 FPU 寄存器后，可能与原始值不相等。所以，不建议直接测试浮点值是否相等，而应测试它们是否在预期值的小容差范围内。

2. FCOMI 指令家族

从 Pentium Pro 处理器开始，FCOMI 指令可用于执行浮点比较，并将结果存储在 EFLAGS 寄存器中，使用进位、奇偶和零标志。以下是 FCOMI 指令家族的相关信息：
| 指令 | 描述 |
| ---- | ---- |
| FCOMI | 比较 ST0 寄存器与 ST(x) 寄存器 |
| FCOMIP | 比较 ST0 寄存器与 ST(x) 寄存器，并弹出栈 |
| FUCOMI | 在比较前检查无序值 |
| FUCOMIP | 在比较前检查无序值，然后弹出栈 |

FCOMI 指令家族的一个限制是只能比较 FPU 寄存器中的两个值，不能将 FPU 寄存器与内存中的值进行比较。FUCOMI 和 FUCOMIP 指令可确保比较的值是有效的浮点数字，若存在无序值，会抛出异常。FCOMI 指令的输出使用 EFLAGS 寄存器，具体情况如下：
| 条件 | ZF | PF | CF |
| ---- | ---- | ---- | ---- |
| ST0 > ST(x) | 0 | 0 | 0 |
| ST0 < ST(x) | 0 | 0 | 1 |
| ST0