FCVT.D.L 在 RV32 可用吗？
不可用。官方 F/D 转换规则把 L/LU 64 位整数形式定义为 RV64-only。
FCVT.D.L
RISC-V FCVT.D.L 指令详解
指令手册OP-FPRV64 有符号 64 位整数转双精度浮点，按 rm/frm 舍入并写入浮点 rd。
指令语法
fcvt.d.l rd, rs1[, rm]
语法 fcvt.d.l rd, rs1[, rm]；rd 是浮点、rs1 是整数寄存器；rm 可省略，默认为 dyn 使用 frm。
32 位 OP-FP：funct7=1101001、rs2=00010、funct3=rm、opcode=1010011；rs2 是固定选择子，不是第二源操作数。
仅 RV64 D 2.2（依赖 F）；所需扩展与浮点状态须启用。按 rm 将64位整数转为 D，不能精确表示时置 NX；不是位复制。
x0 源恒为零；f0 可正常写回。FLEN>64 时 D 结果将高位全部置1。静态 rm=101/110、动态 frm=101–111 的行为保留；动画 DYN 固定 frm=RNE。初始 fflags=0 仅为动画假设；指令不清除已有标志。
D浮点转换
指令行为说明
FCVT.D.L 是 RV64-only 整数到浮点转换指令。它把 x[rs1] 中的有符号 64 位整数按 rm 转换为双精度浮点并写入 f[rd]；目标浮点格式不能精确表示时设置 NX。
FCVT.D.L 指令解析与执行动画
展示 D 扩展 FCVT 的 ISA 可见流程：解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段，读取整数源并写回浮点目标。
rd
rs1
rm
fcvt.d.l
,
,
rm 可留空，按汇编默认 dyn（111）；DYN 示例固定 frm=RNE。仅接受小写 rne/rtz/rdn/rup/rmm/dyn。
执行环境
fmt=D (01)
rs2=L
舍入: RNE 最近偶数
fflags: 0
RV64-only
假定所需扩展与浮点状态已启用，源值满足适用的 NaN-boxing，初始 fflags=0。结果为当前输入的计算预览；Writeback 步表示提交。
31..27
26..25
24..20
19..15
14..12
11..7
6..0
11010
FCVT.D
01
fmt=D
00010
rs2=L
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0xD2258553
opcode
1010011 -> OP-FP
funct5/fmt
11010 + 01 -> FCVT.D.L
rs2
00010 -> L source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / a1(x11)
read
a1(x11) = -2049
convert
int64 -2049 -> D -2049.0
write
fa0(f10) = -2049.0; 0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；FCVT 使用 opcode 1010011。
encoding: 0xD2258553
syntax : fcvt.d.l fa0(f10), a1(x11), rne
result : fa0(f10) = -2049.0; 0
当前 64 位整数示例可被D 格式精确表示，示例 fflags 保持 0。
FCVT 转换视图
L source
-2049
conversion
int64 -2049 -> D -2049.0
writeback
fa0(f10) = -2049.0
当前 64 位整数示例可被D 格式精确表示，示例 fflags 保持 0。
该动画只展示 RISC-V D 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags；不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。
快速理解与检索要点
fcvt.d.l 是 RV64-only 的 FCVT.D.L 形式：从整数 rs1 读取有符号 64 位整数，按 rm/frm 转换为双精度浮点并写入浮点 rd。
OP-FP opcode 为 1010011；funct5=11010 表示整数到浮点 FCVT。
fmt=01 表示 D 格式；rs2=00010 选择 L 整数源，不是普通第二源寄存器。
rd 是浮点寄存器，rs1 是整数寄存器；较大的 64 位整数可能因目标浮点格式不能精确表示而设置 NX。
仅 RV64；所需扩展与浮点状态须启用。rm 可省略为 dyn 使用 frm；rm=101/110 或动态 frm=101–111 的行为保留。
常见使用场景
64 位数值转换
fcvt.d.l f0, x10, rne # RV64; x10=9007199254740993 -> f0=9007199254740992, NX。启用本页扩展与浮点状态并预置注释中的源值；结果按本页分类或舍入规则推导。
使用前检查清单
语法检查
- 语法 fcvt.d.l rd, rs1[, rm]；rd 是浮点、rs1 是整数寄存器；rm 可省略，默认为 dyn 使用 frm。
- 32 位 OP-FP：funct7=1101001、rs2=00010、funct3=rm、opcode=1010011；rs2 是固定选择子，不是第二源操作数。
语义检查
- 仅 RV64 D 2.2（依赖 F）；所需扩展与浮点状态须启用。按 rm 将64位整数转为 D，不能精确表示时置 NX；不是位复制。
- x0 源恒为零；f0 可正常写回。FLEN>64 时 D 结果将高位全部置1。静态 rm=101/110、动态 frm=101–111 的行为保留；动画 DYN 固定 frm=RNE。初始 fflags=0 仅为动画假设；指令不清除已有标志。
容易混淆 / 常见误区
L/LU 形式是 RV64-only；不要在 RV32 上使用。
rd 是浮点寄存器，rs1 是整数寄存器；rs2 字段只选择 L/LU 格式。
双精度不能表示所有 64 位整数；非精确结果按 rm 舍入并设置 NX。
rm 字段可编码静态舍入模式；DYN 使用 fcsr.frm。
常见问题
FCVT.D.L 的 rd 和 rs1 是哪类寄存器？
这是整数到浮点转换：rd 是浮点寄存器，rs1 是整数寄存器。
FCVT.D.L 的 rs2 字段表示什么？
rs2 字段选择 L 有符号 64 位整数格式；它不是汇编语法里的第二个源操作数。