10、浮点数指令与系统调用详解

浮点数指令与系统调用详解

1. 浮点数相关知识

1.1 NaNs与浮点数比较

在浮点数运算中，有两种特殊的非数字（NaN）值：安静的NaN（QNaN）和信号NaN（SNaN）。QNaN可以在代码中安全传播而不引发异常，而SNaN在生成时总是会引发异常。例如，程序可能会因信号导致的除零错误而失败。

浮点数比较分为“有序”和“无序”两种。有序比较中，若任一操作数为QNaN或SNaN，会引发浮点异常；无序比较仅在操作数为SNaN时引发异常。编译器通常使用无序比较。

无序浮点比较指令有 ucomiss （用于比较单精度浮点数）和 ucomisd （用于比较双精度浮点数）。第一个操作数必须是XMM寄存器，第二个操作数可以是内存或XMM寄存器。它们通过设置零标志、奇偶标志和进位标志来指示比较结果：无序（至少一个操作数为NaN）、小于、等于或大于。

以下是一些浮点条件跳转指令及其含义：
| 指令 | 含义 | 别名 | 标志 |
| ---- | ---- | ---- | ---- |
| jb | 若小于（浮点数）则跳转 | JC Jnae | CF = 1 |
| jbe | 若小于等于（浮点数）则跳转 | JC Jnae | CF = 1 或 ZF = 1 |
|