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