fcvt.d.s 的 rs2 是源寄存器吗？
不是。汇编语法只包含 rd、rs1；编码中的 rs2 字段选择源 S 浮点格式。
FCVT.D.S
RISC-V FCVT.D.S 指令详解
指令手册R-type单精度浮点转双精度浮点；加宽转换精确且不使用 rm。
指令语法
fcvt.d.s rd, rs1
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
D浮点转换
指令行为说明
fcvt.d.s 从浮点寄存器 rs1 读取单精度源值，转换为双精度浮点结果并写入浮点寄存器 rd。OP-FP 编码中 fmt=D(01) 表示目标格式，rs2=S(00) 表示源格式；该加宽转换是精确的，汇编语法没有 rm 操作数。
FCVT.D.S 指令解析与执行动画
展示 D 扩展 FCVT 的 ISA 可见流程：解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段，读取浮点源并写回浮点目标。
rd
rs1
fcvt.d.s
,
执行环境
fmt=D (01)
rs2=S
舍入: 不使用 rm
fflags: 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
01000
FCVT.D
01
fmt=D
00000
rs2=S
01011
rs1
000
rm=000
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x42058553
opcode
1010011 -> OP-FP
funct5/fmt
01000 + 01 -> FCVT.D.S
rs2
00000 -> S source
rm
000 -> no rounding operand
rd/rs1
fa0(f10) / fa1(f11)
read
fa1(f11) = S 1.5 (0x3FC00000)
convert
S 1.5 -> D 1.5
write
fa0(f10) = D 1.5 (0x3FF8000000000000); 0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；FCVT 转换指令使用 opcode 1010011。
encoding: 0x42058553
syntax : fcvt.d.s fa0(f10), fa1(f11)
result : fa0(f10) = 1.5; 0
S 到 D 是浮点加宽转换；当前有限示例可精确表示，数值结果不需要 rm 舍入，示例 fflags 保持 0。
FCVT 转换视图
S FP source
S 1.5 (0x3FC00000)
conversion
S 1.5 -> D 1.5
writeback
fa0(f10) = D 1.5 (0x3FF8000000000000)
S 到 D 是浮点加宽转换；当前有限示例可精确表示，数值结果不需要 rm 舍入，示例 fflags 保持 0。
该动画只展示 RISC-V D 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags；不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。
快速理解与检索要点
fcvt.d.s 是浮点格式到浮点格式转换：rd 和 rs1 都是浮点寄存器，fmt 编码目标 D，rs2 编码源 S。加宽转换精确，不使用 rm。
OP-FP opcode 为 1010011；funct5=01000 表示浮点格式到浮点格式 FCVT。
fmt=01 选择目标 D (双精度)；rs2=00 选择源 S (单精度)。
rd 和 rs1 都是浮点寄存器；rs2 字段是源格式选择器，不是语法操作数。
加宽转换是精确转换，不需要舍入，汇编语法没有 rm。
NaN-boxing 适用于更宽 FLEN 寄存器中的源检查和目标写回；动画不展开所有 NaN payload 或特殊值组合。
常见使用场景
浮点格式转换
结合 «fcvt.d.s f0, f1 # f0 = (double-precision)(f1 as single-precision)» 等实际代码理解该场景。
类型转换
结合 «fcvt.d.s f0, f1 # f0 = (double-precision)(f1 as single-precision)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
fmt=D 选择目标双精度格式；rs2=S 选择源单精度格式，不是第二个源寄存器。
这是浮点加宽转换，官方语义为精确转换；不要在汇编语法中添加 rm。
源浮点操作数在更宽 FLEN 寄存器中必须满足 NaN-boxing 规则；目标结果按目标格式 NaN-boxed。
动画只展示有限可核算示例；NaN、无穷、上溢、下溢和 payload 细节以官方手册文本为准。
常见问题
fcvt.d.s 什么时候使用 rm？
不使用。该加宽转换是精确转换，汇编语法没有 rm 操作数。
fcvt.d.s 和整数 FCVT 有什么区别？
本页形式的 rd 和 rs1 都是浮点寄存器；W/WU/L/LU 形式才在整数寄存器和浮点寄存器之间转换。