FMAX.S 会使用 rm 舍入模式吗？
不会。该指令通过 funct3 区分 FMIN/FMAX，不带汇编语法中的 rm 舍入操作数。
FMAX.S
RISC-V FMAX.S 指令详解
指令手册R-type返回两个单精度浮点操作数的最大值。
指令语法
fmax.s rd, rs1, rs2
操作数说明
rd：目标浮点寄存器，接收该格式的浮点结果。
rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
F浮点运算
指令行为说明
FMAX.S 从两个 单精度 浮点操作数中选择数值较大者。普通 FMIN/FMAX 遵循官方 minimumNumber/maximumNumber 规则：只有一个输入为 NaN 时返回非 NaN 操作数，两个输入都是 NaN 时返回规范 NaN；信号 NaN 会设置 NV，且 -0.0 小于 +0.0。
FMAX.S 指令解析与执行动画
展示 F 扩展单精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FMAX 语义并写回 rd。
rd
rs1
rs2
fmax.s
,
,
执行环境
FLEN=32 / fmt=S (00)
funct3: FMAX 选择最大值
fflags: 示例 fflags 保持 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
00101
FMAX
00
fmt=S
01100
rs2
01011
rs1
001
funct3=001
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x28C59553
opcode
1010011 -> OP-FP
funct5/fmt
00101 + S(00) -> FMAX.S
funct3
001 -> FMAX 选择最大值
rd/rs
fa0(f10) / fa1(f11) / fa2(f12)
read
-0.0, 0.0
FP op
FMAX(-0.0, 0.0) = 0.0
write
fa0(f10) = 0.0; 示例 fflags 保持 0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；单精度浮点 OP-FP 指令使用 opcode 1010011。
encoding: 0x28C59553
syntax : fmax.s fa0(f10), fa1(f11), fa2(f12)
result : fa0(f10) = 0.0; 示例 fflags 保持 0
默认示例展示官方规定的有符号零排序：-0.0 小于 +0.0。若输入 NaN，普通 FMIN/FMAX 在单个 NaN 时返回非 NaN 操作数，两个 NaN 时返回规范 NaN；信号 NaN 会设置 NV。
单精度计算视图
rs1
fa1(f11) = -0.0
rs2
fa2(f12) = 0.0
结果
FMAX(-0.0, 0.0) = 0.0
默认示例展示官方规定的有符号零排序：-0.0 小于 +0.0。若输入 NaN，普通 FMIN/FMAX 在单个 NaN 时返回非 NaN 操作数，两个 NaN 时返回规范 NaN；信号 NaN 会设置 NV。
该动画只展示 RISC-V F 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FMAX.S 是 F 扩展的 OP-FP 选择指令，不执行舍入算术。学习重点是 funct5/fmt/funct3 如何识别 FMAX.S，以及 NaN 和 -0.0/+0.0 对选择结果的影响。
OP-FP opcode=1010011，funct5=00101，fmt=S，funct3=001 共同识别 FMAX.S。
普通 FMIN/FMAX 在单个 NaN 时返回非 NaN 操作数；两个 NaN 返回规范 NaN，信号 NaN 设置 NV。
-0.0 小于 +0.0；动画默认示例专门展示这个官方排序规则。
没有 rm 舍入操作数，不展示舍入路径；动画只展示 ISA 可见选择与写回。
常见使用场景
浮点比较
结合 «fmax.s f0, f1, f2 # f0 = max(f1,f2)» 等实际代码理解该场景。
数值计算
结合 «fmax.s f0, f1, f2 # f0 = max(f1,f2)» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd：目标浮点寄存器，接收该格式的浮点结果。
- rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
语义检查
- 确认操作数的浮点格式后缀（.H/.S/.D/.Q）符合数据宽度。
- 确认是否需要检查 fflags 中的 NV、DZ、OF、UF、NX 等标志。
容易混淆 / 常见误区
普通 FMIN/FMAX 在只有一个输入为 NaN 时返回非 NaN 操作数；不要与 Zfa 的 FMINM/FMAXM 混淆。
信号 NaN 会设置 NV；两个输入都是 NaN 时结果为规范 NaN。
-0.0 按官方规则小于 +0.0，因此有符号零会影响选择结果。
该指令没有 rm 舍入操作数；funct3 选择 FMIN 或 FMAX。
常见问题
FMAX.S 和 FMAXM.S 有什么区别？
普通形式在只有一个输入为 NaN 时返回另一个非 NaN 操作数；Zfa 的 M 形式在任一输入为 NaN 时返回规范 NaN。