FMINM.Q

RISC-V FMINM.Q 指令详解

指令手册R-type

返回两个四精度浮点操作数的最小值。

指令语法

fminm.q rd, rs1, rs2
操作数说明
rd:目标浮点寄存器,接收该格式的浮点结果。
rs1/rs2:源浮点寄存器;带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
ZfaQ浮点运算

指令行为说明

FMINM.Q 是 Zfa 的四精度 IEEE 754-2019 minimum 操作:如果任一输入是 NaN,结果为规范 NaN;否则返回数值较小的操作数,并按规范处理 -0.0 与 +0.0。

快速理解与检索要点

FMINM.Q 的核心搜索点是 NaN 处理。M 形式是 Zfa 版本,任一 NaN 都返回规范 NaN。

-0.0 与 +0.0 不相等地排序:-0.0 小于 +0.0。
该指令不使用 rm;它是选择操作而不是舍入算术。

常见使用场景

浮点比较

结合 «fminm.q f0, f1, f2 # f0 = IEEE 754-2019 min(f1,f2)» 等实际代码理解该场景。

数值计算

结合 «fminm.q f0, f1, f2 # f0 = IEEE 754-2019 min(f1,f2)» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认当前指令格式为 R-type。
  • 确认操作数排列顺序与示例一致。
语义检查
  • 确认目标寄存器用途和调用约定兼容。
  • 确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

与普通 FMIN/FMAX 不同,FMINM/FMAXM 在任一输入为 NaN 时返回规范 NaN。
信号 NaN 会设置 NV;quiet NaN 的处理取决于普通形式还是 M 形式。
-0.0 被认为小于 +0.0。

常见问题

FMINM.Q 和 FMIN.Q 的主要差异是什么?

M 形式在任一输入为 NaN 时返回规范 NaN;普通形式在只有一个 NaN 时返回另一个非 NaN 操作数。

FMINM.Q 会舍入吗?

不会。它从两个操作数中选择结果,不带 rm 舍入字段。