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：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
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
,
,
执行环境
fmt=H (10)
rs2=LU
舍入: RNE 最近偶数
fflags: NX
RV64-only
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 编码不能作为普通动画输入。
常见使用场景
信号处理与DSP
结合 «fcvt.h.lu f0, x10, rne # f0 = (half)(ulong)x10 (RV64)» 等实际代码理解该场景。
浮点基本运算
结合 «fcvt.h.lu f0, x10, rne # f0 = (half)(ulong)x10 (RV64)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认 rd、rs1、rs2（及 rs3）是合法 GPR。
- 确认 funct3 与 funct7 字段编码正确。
语义检查
- 确认结果是否会影响后续分支或地址计算。
- 确认 rd 寄存器不会被其他指令覆盖。
容易混淆 / 常见误区
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。