x86_64汇编浮点运算问题：加法比较后无输出求助

核心问题：浮点数精度误差 #

十进制的3.14、5.72、8.86无法用单精度二进制浮点数精确存储，实际计算出的float1 + float2结果与cmp_float的存储值存在微小差异，直接的相等比较会失败，导致程序无输出。

代码优化与修复 #

方案1：用精确可表示的浮点数验证逻辑 #

如果只是验证汇编程序的逻辑正确性，可以改用能被单精度浮点数精确表示的数值（如整数、2的幂分数），同时简化FPU比较指令：

section .data
    float1: dd 1.0       ; 可精确存储的单精度浮点数
    float2: dd 2.0       ; 可精确存储的单精度浮点数
    cmp_float: dd 3.0    ; 可精确存储的单精度浮点数
    msg: db "Is equal!", 10, 0
    msg_len equ $-msg

section .text
    global _start

_start:
    fld dword [float1]   ; 加载float1到FPU栈
    fld dword [float2]   ; 加载float2到FPU栈
    faddp                ; 相加两个栈顶值，结果留在栈顶

    fucomip dword [cmp_float]  ; 比较栈顶值与cmp_float，同步结果到FLAGS寄存器并弹出栈顶
    je .equal            ; 相等时跳转到打印逻辑

    jmp .exit
.equal:
    mov rax, 1
    mov rdi, 1
    mov rsi, msg
    mov rdx, msg_len
    syscall
.exit:
    mov rax, 60
    mov rdi, 0
    syscall

这个版本会正常输出消息，因为数值无精度损失。

方案2：引入误差容忍范围（处理非精确浮点数） #

对于实际的非精确浮点数比较，应该判断两个数的差值是否在极小的误差范围内（如1e-6），而不是直接判断完全相等：

section .data
    float1: dd 3.14
    float2: dd 5.72
    cmp_float: dd 8.86
    epsilon: dd 1e-6     ; 定义误差容忍阈值
    msg: db "Is equal (within epsilon)!", 10, 0
    msg_len equ $-msg

section .text
    global _start

_start:
    fld dword [float1]
    fld dword [float2]
    faddp                ; 计算float1 + float2，结果在栈顶

    fld dword [cmp_float]
    fsubp                ; 计算(sum - cmp_float)，结果在栈顶
    fabs                 ; 取差值的绝对值

    fld dword [epsilon]
    fcomip               ; 比较差值绝对值与epsilon，同步结果到FLAGS
    jae .equal           ; 当差值绝对值 <= epsilon 时跳转

    jmp .exit
.equal:
    mov rax, 1
    mov rdi, 1
    mov rsi, msg
    mov rdx, msg_len
    syscall
.exit:
    mov rax, 60
    mov rdi, 0
    syscall

这个版本会在计算值与目标值的差异足够小时打印消息，符合浮点数运算的实际场景。

额外说明 #

• fucomip是x86_64平台更高效的FPU比较指令，直接将FPU状态同步到CPU的FLAGS寄存器，无需手动执行fstsw + sahf。
• 浮点数相等比较几乎只适用于测试精确可表示的数值，实际业务场景中必须使用误差容忍的方式。

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