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