10、深入理解浮点指令与系统调用

深入理解浮点指令与系统调用

1. 浮点数学函数与指令

1.1 NaNs与浮点比较

在处理浮点数时，我们会遇到特殊值NaNs（Not a Number）。其中，安静的NaN（QNaN）可以在代码中安全传播而不引发异常，而信号NaN（SNaN）在生成时总是会引发异常。例如，程序可能会因信号导致的除零错误而失败。

浮点比较分为“有序”和“无序”两种。有序比较中，若任一操作数为QNaN或SNaN，会引发浮点异常；而无序比较仅在操作数为SNaN时引发异常。这里采用无序比较，相关指令如下：
- ucomiss ：用于比较单精度浮点数。
- ucomisd ：用于比较双精度浮点数。

这些指令的第一个操作数必须是XMM寄存器，第二个操作数可以是内存或XMM寄存器。它们通过设置零标志、奇偶标志和进位标志来指示结果类型，如无序（至少一个操作数为NaN）、小于、等于或大于。浮点条件跳转需要使用特定指令，如下表所示：
| 指令 | 含义 | 别名 | 标志 |
| ---- | ---- | ---- | ---- |
| jb | 若小于（浮点）则跳转 | JC Jnae | CF = 1 |
| jbe | 若小于等于（浮点）则跳转 | JC Jnae | CF = 1 或 ZF = 1 |
| Ja | 若大于