fcvt.h.lu 的 rm 什么时候重要？
当整数值不能被目标浮点格式精确表示时，rm 或动态 frm 决定舍入方向。
FCVT.H.LU
RISC-V FCVT.H.LU 指令详解
指令手册R-type将无符号 64 位整数转换为半精度浮点结果 [RV64]；需要舍入时由 rm 或动态 frm 决定。
指令语法
fcvt.h.lu rd, rs1, rm
rd 选择 f0–f31；rs1 选择整数 x0–x31（x0 恒为零）；rs2 是 LU 格式选择器，不是第二个源寄存器。
32 位 OP-FP：funct5=11010，fmt=10，rs2=00011，opcode=1010011；没有立即数。
需要 RV64 Zfh；按 rm/frm 将 64 位整数转换到 H。rm 可省略，默认 dyn；保留舍入编码仍按保留规则处理。
执行前启用所需扩展与浮点状态；浮点源窄于 FLEN 时检查 NaN-boxing，目标窄于 FLEN 时高位写 1。fflags 累积适用异常；设置标志本身不产生浮点异常陷阱。
Zfh浮点转换
指令行为说明
fcvt.h.lu 将整数寄存器 rs1 中的无符号 64 位整数转换为半精度浮点结果并写入浮点寄存器 rd。不能精确表示时，转换按 rm 或动态 frm 舍入。
FCVT.H.LU 指令解析与执行动画
展示 Zfh 扩展 FCVT 的 ISA 可见流程：解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段，读取整数源并写回浮点目标。
rd
rs1
rm
fcvt.h.lu
,
,
rm 可留空，按汇编默认 dyn（111）；DYN 示例固定 frm=RNE。仅接受小写 rne/rtz/rdn/rup/rmm/dyn。
执行环境
fmt=H (10)
rs2=LU
舍入: RNE 最近偶数
fflags: NX
RV64-only
假定所需扩展与浮点状态已启用，源值满足适用的 NaN-boxing，初始 fflags=0。结果为当前输入的计算预览；Writeback 步表示提交。
31..27
26..25
24..20
19..15
14..12
11..7
6..0
11010
FCVT.H
10
fmt=H
00011
rs2=LU
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0xD4358553
opcode
1010011 -> OP-FP
funct5/fmt
11010 + 10 -> FCVT.H.LU
rs2
00011 -> LU source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / a1(x11)
read
a1(x11) = 4097
convert
uint64 4097 -> H 4096.0
write
fa0(f10) = 4096.0; NX
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；FCVT 使用 opcode 1010011。
encoding: 0xD4358553
syntax : fcvt.h.lu fa0(f10), a1(x11), rne
result : fa0(f10) = 4096.0; NX
当前 64 位整数示例不能被H 格式精确表示，按 rm 舍入后示例显示 NX。
FCVT 转换视图
LU source
4097
conversion
uint64 4097 -> H 4096.0
writeback
fa0(f10) = 4096.0
当前 64 位整数示例不能被H 格式精确表示，按 rm 舍入后示例显示 NX。
该动画只展示 RISC-V Zfh 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags；不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。
快速理解与检索要点
fcvt.h.lu 从 x[rs1] 读取无符号 64 位整数，在需要时按 rm 或动态 frm 舍入为半精度，并写入 f[rd]；该形式仅适用于 RV64。
OP-FP opcode 为 1010011；funct5=11010 表示整数到浮点 FCVT，fmt=10 表示目标 H。
rs2=00011 选择 LU 无符号 64 位整数源；rs1 是整数寄存器，rd 是浮点寄存器。
L/LU 64 位整数源形式仅适用于 RV64。
整数源操作数来自 x[rs1]，不是浮点寄存器，因此没有源 NaN-boxing 要求。
浮点结果在更宽 FLEN 寄存器中按目标格式 NaN-boxed。
结果因舍入改变时设置 NX；半精度范围溢出时还设置 OF。rm=111 使用 frm，保留 rm 编码不能作为普通动画输入。
可显式指定小写 rm；省略时默认 dyn（rm=111），使用当前 frm；保留舍入编码的行为是保留的。
示例假定所需扩展与浮点状态已启用、初始 fflags=0；异常标志累积，设置标志本身不产生浮点异常陷阱。
Zfh 的整数转换不属于 Zfhmin；x0 源始终读取 0。65504 可精确转换；2049 按 RNE 舍入为 2048 并设置 NX。
常见使用场景
整数到浮点转换
结合 «fcvt.h.lu f0, x10, rne # 2049 -> 2048, NX; RV64, initial x10=2049, fflags=0» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd 选择 f0–f31；rs1 选择整数 x0–x31（x0 恒为零）；rs2 是 LU 格式选择器，不是第二个源寄存器。
- 32 位 OP-FP：funct5=11010，fmt=10，rs2=00011，opcode=1010011；没有立即数。
语义检查
- 需要 RV64 Zfh；按 rm/frm 将 64 位整数转换到 H。rm 可省略，默认 dyn；保留舍入编码仍按保留规则处理。
- 执行前启用所需扩展与浮点状态；浮点源窄于 FLEN 时检查 NaN-boxing，目标窄于 FLEN 时高位写 1。fflags 累积适用异常；设置标志本身不产生浮点异常陷阱。
容易混淆 / 常见误区
L/LU 64 位整数源形式仅适用于 RV64。
整数源操作数来自 x[rs1]，不是浮点寄存器，因此没有源 NaN-boxing 要求。
浮点结果在更宽 FLEN 寄存器中按目标格式 NaN-boxed。
若舍入后的结果不同于整数源值，转换设置 NX；半精度范围溢出时还设置 OF。rm=111 时使用 frm，保留舍入编码的行为是保留的。
常见问题
fcvt.h.lu 和同族 FCVT 指令的区别是什么？
区别在源/目标格式、整数有符号性、RV64 限制以及是否需要按 rm/frm 舍入；本形式在舍入改变结果时设置 NX，半精度范围溢出时还设置 OF。