精确加宽是否没有 rm？
仍有 rm 编码，汇编可以显式指定，也可以省略为 dyn；软件应选择 rne，合法模式不改变有限值结果，保留编码规则仍适用。
FCVT.Q.D
RISC-V FCVT.Q.D 指令详解
指令手册R-type双精度浮点转四精度浮点。RV32/RV64 Q。
指令语法
fcvt.q.d rd, rs1[, rm]
rd 选择浮点 f0–f31，f0 可写；rs1 选择浮点 f0–f31；rs2 是格式选择器，不是第二个源寄存器。
32 位 OP-FP：funct5=01000，fmt=11，rs2=00001，opcode=1010011；无立即数。
RV32/RV64 Q；启用所需扩展与浮点状态。rm 可省略，默认 dyn 使用 frm；静态 101/110 与动态 frm=101–111 的行为保留。有限值加宽精确；软件应选择 rne，合法模式不改变数值。
D 源窄于 FLEN 时检查 NaN-boxing；无效箱按源格式 canonical NaN 处理。Q 目标占全宽；重叠寄存器读取原源值。异常累积到 fflags；置位本身不产生浮点异常陷阱。
Q浮点转换
指令行为说明
fcvt.q.d 从浮点寄存器 rs1 读取双精度值，精确加宽为 Q 格式，写入浮点寄存器 rd；合法舍入模式不改变有限值结果。
FCVT.Q.D 指令解析与执行动画
展示 Q 扩展 FCVT 的 ISA 可见流程：解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段，读取浮点源并写回浮点目标。
rd
rs1
rm
fcvt.q.d
,
,
rm 可留空，按汇编默认 dyn（111）；DYN 示例固定 frm=RNE。仅接受小写 rne/rtz/rdn/rup/rmm/dyn。
执行环境
fmt=Q (11)
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.Q
11
fmt=Q
00001
rs2=D
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x46158553
opcode
1010011 -> OP-FP
funct5/fmt
01000 + 11 -> FCVT.Q.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 -> Q 1.25
write
fa0(f10) = Q 1.25 (numeric Q); 0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；FCVT 使用 opcode 1010011。
encoding: 0x46158553
syntax : fcvt.q.d fa0(f10), fa1(f11), rne
result : fa0(f10) = Q 1.25 (numeric Q); 0
D 到 Q 是浮点加宽转换；当前有限示例可精确表示，数值结果不需要 rm 舍入，示例 fflags 保持 0。
FCVT 转换视图
D FP source
D 1.25 (0x3FF4000000000000)
conversion
D 1.25 -> Q 1.25
writeback
fa0(f10) = Q 1.25 (numeric Q)
D 到 Q 是浮点加宽转换；当前有限示例可精确表示，数值结果不需要 rm 舍入，示例 fflags 保持 0。
该动画只展示 RISC-V Q 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags；不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。
快速理解与检索要点
fcvt.q.d 从浮点寄存器 rs1 读取双精度值，精确加宽为 Q 格式，写入浮点寄存器 rd；合法舍入模式不改变有限值结果。
RV32/RV64 Q。所需扩展与浮点状态须启用。
32 位 OP-FP：funct5=01000，fmt=11 选择Q，rs2=00001 选择源 D，opcode=1010011；rs2 不是源寄存器，没有立即数。
rm 可省略，默认 dyn（111）使用 frm；静态 101/110 及动态 frm=101–111 的行为保留。加宽仍有 rm 字段，软件应选择 RNE（000）。
Q 中 FLEN=128：D 源须正确 NaN-boxing，否则按源格式 canonical NaN 处理；Q 目标占全宽，不需要上部装箱位。
有限值精确加宽，不设置 NX。NaN 结果采用 canonical NaN；sNaN 置 NV，不能把转换当作 payload 位搬运。
rd 与 rs1 都是 f0–f31，f0 可写；同寄存器转换先读取原源值。动画仅计算列出的有限精确示例，特殊值路径不在动画范围内。
The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — Q 2.2The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — F 2.2: rounding and conversionThe RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — D 2.2: NaN BoxingRISC-V Assembly Programmer’s Manual — Floating-point rounding modes
常见使用场景
浮点格式加宽
结合 «# f1=1.25; valid D NaN-boxing; fflags=0 fcvt.q.d f0, f1, rne # f0=1.25 (Q); fflags=0» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd 选择浮点 f0–f31，f0 可写；rs1 选择浮点 f0–f31；rs2 是格式选择器，不是第二个源寄存器。
- 32 位 OP-FP：funct5=01000，fmt=11，rs2=00001，opcode=1010011；无立即数。
语义检查
- RV32/RV64 Q；启用所需扩展与浮点状态。rm 可省略，默认 dyn 使用 frm；静态 101/110 与动态 frm=101–111 的行为保留。有限值加宽精确；软件应选择 rne，合法模式不改变数值。
- D 源窄于 FLEN 时检查 NaN-boxing；无效箱按源格式 canonical NaN 处理。Q 目标占全宽；重叠寄存器读取原源值。异常累积到 fflags；置位本身不产生浮点异常陷阱。
容易混淆 / 常见误区
RV32/RV64 Q。所需扩展与浮点状态须启用。
rm 可省略，默认 dyn（111）使用 frm；静态 101/110 及动态 frm=101–111 的行为保留。加宽仍有 rm 字段，软件应选择 RNE（000）。
Q 中 FLEN=128：D 源须正确 NaN-boxing，否则按源格式 canonical NaN 处理；Q 目标占全宽，不需要上部装箱位。
有限值精确加宽，不设置 NX。NaN 结果采用 canonical NaN；sNaN 置 NV，不能把转换当作 payload 位搬运。
rd 与 rs1 都是 f0–f31，f0 可写；同寄存器转换先读取原源值。动画仅计算列出的有限精确示例，特殊值路径不在动画范围内。
常见问题
rs2 是第二个源寄存器吗？
不是。rs1 是浮点源寄存器，rs2=00001 选择源格式 D。