FEQ.D 的 rd 是浮点寄存器吗？
不是。rd 是整数寄存器，保存布尔结果 0 或 1。
FEQ.D
RISC-V FEQ.D 指令详解
指令手册R-type双精度浮点相等比较，条件成立时 x[rd]=1，否则 x[rd]=0。
指令语法
feq.d rd, rs1, rs2
操作数说明
rd：目标整数寄存器，接收 0 或 1 的比较结果。
rs1/rs2：源浮点寄存器；比较指令不使用 rm 舍入模式。
D浮点比较
指令行为说明
FEQ.D 比较 f[rs1] 与 f[rs2] 的双精度浮点值，并把布尔结果写入整数寄存器 rd。这是 quiet 比较：静默 NaN 不设置 NV，信号 NaN 设置 NV；任一 NaN 时结果为 0。结果不是浮点值，不受 rm 舍入模式影响。
快速理解与检索要点
FEQ.D 把浮点比较结果写到整数寄存器 x[rd]。它属于 quiet 比较语义，适合不希望 quiet NaN 触发 NV 的比较场景。
条件 rs1 == rs2 成立写 1，否则写 0；任一 NaN 时写 0。
该指令不产生浮点结果，也没有 rm 舍入字段。
常见使用场景
比较与判断
结合 «feq.d x10, f0, f1 # x10 = (f0==f1)» 等实际代码理解该场景。
浮点条件判断
结合 «feq.d x10, f0, f1 # x10 = (f0==f1)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
quiet 比较只对信号 NaN 设置 NV；静默 NaN 只让结果为 0。
rd 是整数寄存器，写入 0 或 1，不是浮点寄存器。
比较不使用 rm 舍入模式。
常见问题
FEQ.D 遇到 NaN 怎么办？
任一 NaN 结果为 0；只有信号 NaN 设置 NV。