FMAXM.S 和 FMAX.S 的主要差异是什么？
M 形式在任一输入为 NaN 时返回规范 NaN；普通形式在只有一个 NaN 时返回另一个非 NaN 操作数。
FMAXM.S
RISC-V FMAXM.S 指令详解
指令手册R-type返回两个单精度浮点操作数的最大值。
指令语法
fmaxm.s rd, rs1, rs2
操作数说明
rd：目标浮点寄存器，接收该格式的浮点结果。
rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
ZfaF浮点运算
指令行为说明
FMAXM.S 是 Zfa 的单精度 IEEE 754-2019 maximum 操作：如果任一输入是 NaN，结果为规范 NaN；否则返回数值较大的操作数，并按规范处理 -0.0 与 +0.0。
快速理解与检索要点
FMAXM.S 的核心搜索点是 NaN 处理。M 形式是 Zfa 版本，任一 NaN 都返回规范 NaN。
-0.0 与 +0.0 不相等地排序：-0.0 小于 +0.0。
该指令不使用 rm；它是选择操作而不是舍入算术。
常见使用场景
浮点比较
结合 «fmaxm.s f10, f11, f12 ; IEEE 754-2019 max» 等实际代码理解该场景。
数值计算
结合 «fmaxm.s f10, f11, f12 ; IEEE 754-2019 max» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
与普通 FMIN/FMAX 不同，FMINM/FMAXM 在任一输入为 NaN 时返回规范 NaN。
信号 NaN 会设置 NV；quiet NaN 的处理取决于普通形式还是 M 形式。
-0.0 被认为小于 +0.0。
常见问题
FMAXM.S 会舍入吗？
不会。它从两个操作数中选择结果，不带 rm 舍入字段。