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