fcvt.d.h 的 rs2 是源寄存器吗？
不是。rd、rs1 是浮点寄存器；可追加的舍入操作数控制 rm，编码 rs2 则选择源 H 格式。
FCVT.D.H
RISC-V FCVT.D.H 指令详解
指令手册R-type半精度浮点转双精度浮点；有限值加宽精确，数值不受合法舍入模式影响。
指令语法
fcvt.d.h rd, rs1, rm
操作数说明
rd：目标双精度浮点寄存器；rs1：源半精度浮点寄存器。
编码 fmt=01 选择目标 D，rs2=00010 选择源 H；rs2 不是汇编语法中的第二个源寄存器。
有限值加宽精确，不受合法舍入模式影响；编码仍有 rm，软件应设 RNE（000），保留编码规则仍适用。
ZfhminD浮点转换
指令行为说明
fcvt.d.h 从浮点寄存器 rs1 读取半精度源值，转换为双精度浮点结果并写入浮点寄存器 rd。OP-FP 编码中 fmt=D(01) 表示目标格式，rs2=H(10) 表示源格式；有限值加宽是精确的；编码仍有 rm，软件应设为 RNE（000），合法/保留编码规则仍适用。
FCVT.D.H 指令解析与执行动画
展示 Zfhmin + D 扩展 FCVT 的 ISA 可见流程：解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段，读取浮点源并写回浮点目标。
rd
rs1
rm
fcvt.d.h
,
,
rm 可留空，按汇编默认 dyn（111）；DYN 示例固定 frm=RNE。仅接受小写 rne/rtz/rdn/rup/rmm/dyn。
执行环境
fmt=D (01)
rs2=H
舍入: RNE 最近偶数
fflags: 0
假定所需扩展与浮点状态已启用，源值满足适用的 NaN-boxing，初始 fflags=0。结果为当前输入的计算预览；Writeback 步表示提交。
31..27
26..25
24..20
19..15
14..12
11..7
6..0
01000
FCVT.D
01
fmt=D
00010
rs2=H
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x42258553
opcode
1010011 -> OP-FP
funct5/fmt
01000 + 01 -> FCVT.D.H
rs2
00010 -> H source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / fa1(f11)
read
fa1(f11) = H 1.25 (0x3D00)
convert
H 1.25 -> D 1.25
write
fa0(f10) = D 1.25 (0x3FF4000000000000); 0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；FCVT 使用 opcode 1010011。
encoding: 0x42258553
syntax : fcvt.d.h fa0(f10), fa1(f11), rne
result : fa0(f10) = D 1.25 (0x3FF4000000000000); 0
H 到 D 是浮点加宽转换；当前有限示例可精确表示，数值结果不需要 rm 舍入，示例 fflags 保持 0。
FCVT 转换视图
H FP source
H 1.25 (0x3D00)
conversion
H 1.25 -> D 1.25
writeback
fa0(f10) = D 1.25 (0x3FF4000000000000)
H 到 D 是浮点加宽转换；当前有限示例可精确表示，数值结果不需要 rm 舍入，示例 fflags 保持 0。
该动画只展示 RISC-V Zfhmin + D 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags；不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。
快速理解与检索要点
fcvt.d.h 是浮点格式到浮点格式转换：rd 和 rs1 都是浮点寄存器，fmt 编码目标 D，rs2 编码源 H。有限值加宽精确，数值不受合法舍入模式影响。
OP-FP opcode 为 1010011；funct5=01000 表示浮点格式到浮点格式 FCVT。
fmt=01 选择目标 D (双精度)；rs2=10 选择源 H (半精度)。
rd 和 rs1 都是浮点寄存器；rs2 字段是源格式选择器，不是语法操作数。
Zfhmin 与 D 组合支持该 H/D 转换。
有限值加宽精确，不需要数值舍入；rm 字段仍存在，软件应设 RNE（000）。带 rm 字段的指令可追加小写舍入操作数；省略时汇编默认 dyn。
当源格式或目标格式窄于 FLEN 时，分别检查源 NaN-boxing 或将目标高位填 1；源装箱无效时按规范 NaN 处理。sNaN 转换设置 NV，NaN 结果为规范 NaN。动画仅演示有限值。
The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — Zfh and Zfhmin, Version 1.0The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — D, Version 2.2The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — F, Version 2.2RISC-V Assembly Programmer's Manual — Floating-point rounding modes
常见使用场景
浮点格式转换
结合 «fcvt.d.h f0, f1, rne # f0 = (double-precision)(f1 as half-precision)» 等实际代码理解该场景。
类型转换
结合 «fcvt.d.h f0, f1, rne # f0 = (double-precision)(f1 as half-precision)» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd、rs1 都选择 f0–f31；编码 fmt 选择目标 D，rs2 选择源格式，不是源寄存器。
- rm=111 使用 frm；只使用合法舍入模式。精确加宽仍有 rm 字段，软件应设 RNE。
语义检查
- 确认所需扩展可用且浮点状态已启用；FS=Off 时访问浮点状态会引发非法指令异常。
- 源窄于 FLEN 时检查 NaN-boxing；目标窄于 FLEN 时高位写 1。转换异常标志累积到 fflags。
容易混淆 / 常见误区
fmt=D 选择目标双精度格式；rs2=H 选择源半精度格式，不是第二个源寄存器。
Zfhmin 与 D 组合支持该 H/D 转换。
Zfh 依赖 F；D 依赖 F。
有限值加宽不需要舍入；rm 字段仍存在，软件应设为 RNE（000）。不能把保留 rm 编码当成合法编码。
源浮点操作数在更宽 FLEN 寄存器中必须满足 NaN-boxing 规则；目标结果按目标格式 NaN-boxed。
动画只展示有限可核算示例；NaN、无穷、上溢、下溢和 payload 细节以官方手册文本为准。
常见问题
fcvt.d.h 什么时候使用 rm？
有限值的数值结果不受合法舍入模式影响，但仍有 rm 字段。软件应选择 RNE（000）；保留舍入编码的规则仍适用。
fcvt.d.h 和整数 FCVT 有什么区别？
本页形式的 rd 和 rs1 都是浮点寄存器；W/WU/L/LU 形式才在整数寄存器和浮点寄存器之间转换。