RVOPcode
首页/指令库/FMIN-H
FMIN.H

RISC-V FMIN.H 指令详解

指令手册R-type

FMIN.H 在两个半精度浮点操作数中选择较小的数值。

指令语法

fmin.h rd, rs1, rs2
操作数说明
rd：目标浮点寄存器，接收该格式的浮点结果。
rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
Zfh浮点运算
相关检索词
FMIN.H 指令RISC-V FMIN.Hfmin.h 语法fmin.h 编码fmin.h NaN 规则fmin.h 零符号半精度浮点最小值

指令行为说明

FMIN.H 使用 OP-FP 编码和 Zfh 格式，在两个半精度源操作数中选择较小值。普通 FMIN/FMAX 在只有一个输入为 NaN 时返回非 NaN 操作数，两个输入都是 NaN 时返回规范 NaN；若任一输入为 signaling NaN，则设置 NV。官方规则规定 -0.0 小于 +0.0。

FMIN.H 指令解析与执行动画

展示 Zfh 扩展半精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FMIN 语义并写回 rd。

rd
rs1
rs2
fmin.h
,
,
执行环境
FLEN=>=32 / fmt=H (10)
funct3: FMIN 选择最小值
fflags: 示例 fflags 保持 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
00101
FMIN
10
fmt=H
01100
rs2
01011
rs1
000
funct3=000
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x2CC58553
opcode
1010011 -> OP-FP
funct5/fmt
00101 + H(10) -> FMIN.H
funct3
000 -> FMIN 选择最小值
rd/rs
fa0(f10) / fa1(f11) / fa2(f12)
read
-0.0, 0.0
FP op
FMIN(-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: 0x2CC58553
syntax : fmin.h 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
结果
FMIN(-0.0, 0.0) = -0.0

默认示例展示官方规定的有符号零排序：-0.0 小于 +0.0。若输入 NaN，普通 FMIN/FMAX 在单个 NaN 时返回非 NaN 操作数，两个 NaN 时返回规范 NaN；信号 NaN 会设置 NV。

该动画只展示 RISC-V Zfh 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。

快速理解与检索要点

FMIN.H 不是普通比较写 0/1，而是在浮点寄存器中选择一个半精度结果。学习重点是单个 NaN 返回非 NaN、两个 NaN 返回规范 NaN，以及 -0.0 小于 +0.0。

OP-FP 字段使用 Zfh 格式；funct5=00101，funct3 区分 FMIN 与 FMAX。
普通 FMIN/FMAX 的 NaN 规则和 signaling NaN 的 NV 标志来自官方 F 扩展语义，H/Q 形式按对应格式应用。
该指令不读取 rm，也不执行会按舍入模式产生新尾数的算术运算。
RISC-V Unprivileged ISA Manual：Zfh ExtensionRISC-V Unprivileged ISA Manual：F Extension

常见使用场景

浮点比较

结合 «fmin.h f10, f11, f12 ; f10 = min(f11, f12)» 等实际代码理解该场景。

数值计算

结合 «fmin.h f10, f11, f12 ; f10 = min(f11, f12)» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd：目标浮点寄存器，接收该格式的浮点结果。
  • rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
语义检查
  • 确认操作数的浮点格式后缀（.H/.S/.D/.Q）符合数据宽度。
  • 确认是否需要检查 fflags 中的 NV、DZ、OF、UF、NX 等标志。

容易混淆 / 常见误区

普通 FMIN/FMAX 在只有一个输入为 NaN 时返回非 NaN 操作数；不要把它当作任一 NaN 都传播 NaN。
signaling NaN 会设置 NV；quiet NaN 与 signaling NaN 的异常标志行为不同。
-0.0 按官方规则小于 +0.0，这会影响 FMIN 与 FMAX 的结果符号。
FMIN/FMAX 不使用 rm 舍入字段，也不是加减乘除类舍入算术。

常见问题

FMIN.H 遇到一个 NaN 时会怎样？

普通 FMIN/FMAX 在恰好一个操作数为 NaN 时返回另一个非 NaN 操作数；两个操作数都是 NaN 时返回规范 NaN。

FMIN.H 会使用 rm 舍入吗？

不会。FMIN/FMAX 是选择操作，编码中的 funct3 选择最小值或最大值语义，而不是舍入模式。