fcvt.l.h 的 rm 什么时候重要？
当转换需要舍入时，rm 或动态 frm 决定舍入方向；越界或 NaN 输入走官方无效转换规则。
FCVT.L.H
RISC-V FCVT.L.H 指令详解
指令手册R-type将半精度浮点转换为有符号 64 位整数 [RV64]；按 rm 或 frm 舍入。
指令语法
fcvt.l.h rd, rs1, rm
rd 选择整数 x0–x31，x0 丢弃结果；rs1 选择浮点 f0–f31；rs2 是格式选择器，不是第二个源寄存器。
32 位 OP-FP：funct5=11000，fmt=10，rs2=00010，opcode=1010011；无立即数。
仅 RV64 Zfh；所需扩展与浮点状态须启用。rm 可省略，默认 dyn 使用 frm；静态 101/110 及动态 frm=101–111 的行为保留。
浮点源窄于 FLEN 时检查 NaN-boxing，未正确装箱按源格式 canonical NaN 处理。整数结果无需 NaN-boxing。适用异常累积到 fflags，置位本身不触发浮点陷阱。
Zfh浮点转换
指令行为说明
fcvt.l.h 在 RV64 上将 f[rs1] 的半精度值转换为有符号 64 位整数并写入 x[rd]。OP-FP 编码中 funct5=11000、fmt=H(10)、rs2=L(00010)；按 rm 或动态 frm 舍入。越界、无穷或 NaN 的结果按官方无效转换规则截取到端点并设置 NV。
FCVT.L.H 指令解析与执行动画
展示 Zfh 扩展 FCVT 的 ISA 可见流程：解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段，读取浮点源并写回整数目标。
rd
rs1
rm
fcvt.l.h
,
,
rm 可留空，按汇编默认 dyn（111）；DYN 示例固定 frm=RNE。仅接受小写 rne/rtz/rdn/rup/rmm/dyn。
执行环境
fmt=H (10)
rs2=L
舍入: RNE 最近偶数
fflags: NX
RV64-only
假定所需扩展与浮点状态已启用，源值满足适用的 NaN-boxing，初始 fflags=0。结果为当前输入的计算预览；Writeback 步表示提交。
31..27
26..25
24..20
19..15
14..12
11..7
6..0
11000
FCVT.L
10
fmt=H
00010
rs2=L
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0xC4258553
opcode
1010011 -> OP-FP
funct5/fmt
11000 + 10 -> FCVT.L.H
rs2
00010 -> L target
rm
000 -> RNE 最近偶数
rd/rs1
a0(x10) / fa1(f11)
read
fa1(f11) = -42.75
convert
-42.75 -> int64 -43
write
a0(x10) = -43; NX
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；FCVT 使用 opcode 1010011。
encoding: 0xC4258553
syntax : fcvt.l.h x10, f11, rne
result : a0(x10) = -43; NX
当前示例按 rm 舍入为 64 位整数，因源值含小数部分，示例显示 NX 不精确标志。
FCVT 转换视图
H FP source
-42.75
conversion
-42.75 -> int64 -43
writeback
a0(x10) = -43
当前示例按 rm 舍入为 64 位整数，因源值含小数部分，示例显示 NX 不精确标志。
该动画只展示 RISC-V Zfh 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags；不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。
快速理解与检索要点
fcvt.l.h 在 RV64 上将 f[rs1] 的半精度值按 rm 或动态 frm 舍入为有符号 64 位整数，并写入 x[rd]。
OP-FP 的 funct5=11000、fmt=H(10)、rs2=L(00010) 选择 FCVT.L.H：fmt 是半精度源格式，rs2 是 64 位有符号整数目标选择器。
L/LU 64 位整数结果形式仅适用于 RV64。
−∞ 写入 −2^63；+∞ 或 NaN 写入 2^63−1，并设置 NV 而不设置 NX。有限 H 值均在 int64 范围内；非整数转换设置 NX。rd=x0 时丢弃整数结果，异常标志仍可累积。
FLEN>16 时，源上方所有位必须为 1；否则源按半精度 canonical NaN 处理。
rm 可省略，默认 dyn（111）使用 frm；静态 101/110 及动态 frm=101–111 的舍入行为保留。fflags 累积异常标志，不因标志置位自动产生浮点陷阱。
常见使用场景
浮点到整数转换
结合 «fcvt.l.h x10, f0, rtz # x10 = -42; NX; RV64, Zfh/FP state enabled; f0 holds H value -42.75» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd 选择整数 x0–x31，x0 丢弃结果；rs1 选择浮点 f0–f31；rs2 是格式选择器，不是第二个源寄存器。
- 32 位 OP-FP：funct5=11000，fmt=10，rs2=00010，opcode=1010011；无立即数。
语义检查
- 仅 RV64 Zfh；所需扩展与浮点状态须启用。rm 可省略，默认 dyn 使用 frm；静态 101/110 及动态 frm=101–111 的行为保留。
- 浮点源窄于 FLEN 时检查 NaN-boxing，未正确装箱按源格式 canonical NaN 处理。整数结果无需 NaN-boxing。适用异常累积到 fflags，置位本身不触发浮点陷阱。
容易混淆 / 常见误区
L/LU 64 位整数结果形式仅适用于 RV64。
−∞ 写入 −2^63；+∞ 或 NaN 写入 2^63−1，并设置 NV 而不设置 NX。有限 H 值均在 int64 范围内；非整数转换设置 NX。rd=x0 时丢弃整数结果，异常标志仍可累积。
FLEN>16 时，源上方所有位必须为 1；否则源按半精度 canonical NaN 处理。
常见问题
fcvt.l.h 和同族 FCVT 指令的区别是什么？
区别在源/目标格式、整数有符号性、RV64 限制以及是否可能舍入或触发无效转换。