x8086汇编中压入0.0001至栈变为9.99999…的问题排查

哈哈，这个坑我踩过！你遇到的问题本质是浮点常量的内存格式和FPU加载指令不匹配，导致fld读出了错误的数值（比如你看到的9.999）。下面是具体的修正步骤：

1. 正确声明浮点常量 #

x8086的FPU遵循IEEE 754浮点标准，你必须用对应精度的内存格式存储0.0001，不能用整数或者错误的字节宽度定义：

• 如果你用NASM，正确的单精度/双精度定义方式：

  section .data
      ; 单精度浮点数（4字节），对应fld dword指令
      accuracy_single dd 0.0001
      ; 双精度浮点数（8字节），对应fld qword指令
      accuracy_double dq 0.0001
  

• 如果你用MASM/TASM，需要用REAL4（单精度）或REAL8（双精度）关键字：

  .data
      accuracy_single REAL4 0.0001
      accuracy_double REAL8 0.0001
  

2. 确保fld指令匹配常量精度 #

fld指令的操作数宽度必须和你定义的常量一致：

• 加载单精度常量：用fld dword [accuracy_single]
• 加载双精度常量：用fld qword [accuracy_double]

如果你只写fld accuracy，部分汇编器可能会默认错误的宽度（比如把4字节的单精度当成8字节解析），导致读出完全错误的数值。

3. 终极验证：直接写入IEEE 754十六进制编码 #

如果还是有问题，可以直接用0.0001的IEEE 754十六进制编码定义常量，彻底避免汇编器的解析误差：

• 单精度0.0001的十六进制编码：0x38800000
• 双精度0.0001的十六进制编码：0x3FB999999999999A
  示例代码（NASM）：

section .data
    accuracy dd 0x38800000  ; 单精度0.0001，绝对准确

用fld dword [accuracy]加载后，ST0的值就会精确显示为0.0001。

额外提示：浮点比较的正确姿势 #

在牛顿迭代的while循环里，比较浮点值的时候，记得用FPU专用的比较指令（比如fcom/fcomp），然后通过fnstsw ax读取状态字，再检查标志位判断结果，不要用整数的cmp指令，否则会导致逻辑错误。

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