FMIN.Q 遇到一个 NaN 时会怎样？
普通 FMIN/FMAX 在恰好一个操作数为 NaN 时返回另一个非 NaN 操作数；两个操作数都是 NaN 时返回规范 NaN。
FMIN.Q
RISC-V FMIN.Q 指令详解
指令手册R-typeFMIN.Q 在两个四精度浮点操作数中选择较小的数值。
指令语法
fmin.q rd, rs1, rs2
操作数说明
rd、rs1、rs2：浮点寄存器 f0–f31 或对应 ABI 名称；f0 可写，rd 可与源重叠。
没有 rm、rs3 或立即数操作数；funct3=000 选择 FMIN。
Q浮点运算
指令行为说明
FMIN.Q 使用 OP-FP 编码和 Q 格式，在两个四精度源操作数中选择较小值。普通 FMIN/FMAX 在只有一个输入为 NaN 时返回非 NaN 操作数，两个输入都是 NaN 时返回规范 NaN；若任一输入为 signaling NaN，则设置 NV。官方规则规定 -0.0 小于 +0.0。
FMIN.Q 指令解析与执行动画
展示 Q 扩展四精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FMIN 语义并写回 rd。
rd
rs1
rs2
fmin.q
,
,
执行环境
FLEN=128 / fmt=Q (11)
funct3: FMIN 选择最小值
fflags: 初始 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
00101
FMIN
11
fmt=Q
01100
rs2
01011
rs1
000
funct3=000
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x2EC58553
opcode
1010011 -> OP-FP
funct5/fmt
00101 + Q(11) -> FMIN.Q
funct3
000 -> FMIN 选择最小值
rd/rs
fa0(f10) / fa1(f11) / fa2(f12)
read
尚未读取源寄存器
FP op
等待 Execute 计算
write
尚未写回；初始 fflags=0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；四精度浮点 OP-FP 指令使用 opcode 1010011。
encoding: 0x2EC58553
syntax : fmin.q fa0(f10), fa1(f11), fa2(f12)
result : 尚未写回；初始 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
结果
等待 Execute 计算
默认示例展示官方规定的有符号零排序：-0.0 小于 +0.0。若输入 NaN，普通 FMIN/FMAX 在单个 NaN 时返回非 NaN 操作数，两个 NaN 时返回规范 NaN；信号 NaN 会设置 NV。
假定所需扩展与 FS 启用、源正确 NaN-boxed、初始 fflags=0。有限值限精确白名单，另支持正负零、无穷、qNaN、sNaN；其他输入停止执行。同一源寄存器须有同一初始值；rd 可与源重叠，f0 可写。步骤为教学视图。
该动画只展示 RISC-V Q 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FMIN.Q 不是普通比较写 0/1，而是在浮点寄存器中选择一个四精度结果。学习重点是单个 NaN 返回非 NaN、两个 NaN 返回规范 NaN，以及 -0.0 小于 +0.0。
OP-FP opcode=1010011、funct5=00101、fmt=Q(11) 和 funct3=000 共同识别 FMIN.Q。
普通 FMIN/FMAX 的 NaN 规则和 signaling NaN 的 NV 标志来自官方 F 扩展语义，H/Q 形式按对应格式应用。
Q 扩展依赖 D 和 F，并提供 FLEN=128；Q 操作数占用完整 FLEN，不是更窄格式的 NaN-boxed 值。
该指令不读取 rm，也不执行会按舍入模式产生新尾数的算术运算。
常见使用场景
浮点比较
结合 «fmin.q f0, f1, f2 # f1=-0.0, f2=+0.0 -> f0=-0.0» 等实际代码理解该场景。
数值计算
结合 «fmin.q f0, f1, f2 # f1=-0.0, f2=+0.0 -> f0=-0.0» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd、rs1、rs2：浮点寄存器 f0–f31 或对应 ABI 名称；f0 可写，rd 可与源重叠。
- 没有 rm、rs3 或立即数操作数；funct3=000 选择 FMIN。
语义检查
- 确认所需扩展和浮点状态启用，源格式匹配，更宽 FLEN 中输入正确 NaN-boxed。
- 按本页 NaN 与有符号零规则选择结果；仅 sNaN 新增 NV，已有 fflags 不被清除，不使用 rm。
容易混淆 / 常见误区
普通 FMIN/FMAX 在只有一个输入为 NaN 时返回非 NaN 操作数；不要把它当作任一 NaN 都传播 NaN。
signaling NaN 会设置 NV；quiet NaN 与 signaling NaN 的异常标志行为不同。
-0.0 按官方规则小于 +0.0，这会影响 FMIN 与 FMAX 的结果符号。
FMIN/FMAX 不使用 rm 舍入字段，也不是加减乘除类舍入算术。
常见问题
FMIN.Q 会使用 rm 舍入吗？
不会。FMIN/FMAX 是选择操作，编码中的 funct3 选择最小值或最大值语义，而不是舍入模式。