首页/指令库/FCVT-D-W
FCVT.D.W

RISC-V FCVT.D.W 指令详解

指令手册R-type

将有符号 32 位整数转换为双精度;数值结果精确。

指令语法

fcvt.d.w rd, rs1, rm

rd 选择 f0–f31;rs1 选择整数 x0–x31(x0 恒为零);rs2 是 W 格式选择器,不是第二个源寄存器。

32 位 OP-FP:funct5=11010,fmt=01,rs2=00000,opcode=1010011;没有立即数。

D 扩展支持 RV32/RV64;转换精确,软件应选 rne。rm 可省略,默认 dyn;保留舍入编码仍按保留规则处理。

执行前启用所需扩展与浮点状态;浮点源窄于 FLEN 时检查 NaN-boxing,目标窄于 FLEN 时高位写 1。fflags 累积适用异常;设置标志本身不产生浮点异常陷阱。

D浮点转换

指令行为说明

fcvt.d.w 将有符号 32 位整数转换为双精度浮点结果。该转换是精确转换,因此编码的舍入模式不会改变数值结果。

FCVT.D.W 指令解析与执行动画

展示 D 扩展 FCVT 的 ISA 可见流程:解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段,读取整数源并写回浮点目标。

rd
rs1
rm
fcvt.d.w
,
,

rm 可留空,按汇编默认 dyn(111);DYN 示例固定 frm=RNE。仅接受小写 rne/rtz/rdn/rup/rmm/dyn。

执行环境
fmt=D (01)
rs2=W
舍入: RNE 最近偶数
fflags: 0

假定所需扩展与浮点状态已启用,源值满足适用的 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
00000
rs2=W
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0xD2058553
opcode
1010011 -> OP-FP
funct5/fmt
11010 + 01 -> FCVT.D.W
rs2
00000 -> W source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / a1(x11)
read
a1(x11) = -42
convert
int32 -42 -> D -42.0
write
fa0(f10) = -42.0; 0
当前步骤

Fetch:展示 32-bit OP-FP 编码

机器码按 R-type OP-FP 字段切分;FCVT 使用 opcode 1010011。

encoding: 0xD2058553
syntax : fcvt.d.w fa0(f10), a1(x11), rne
result : fa0(f10) = -42.0; 0

32 位整数到双精度浮点可精确表示,示例 fflags 保持 0。

FCVT 转换视图
W source
-42
conversion
int32 -42 -> D -42.0
writeback
fa0(f10) = -42.0

32 位整数到双精度浮点可精确表示,示例 fflags 保持 0。

该动画只展示 RISC-V D 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags;不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。

快速理解与检索要点

fcvt.d.w 从整数寄存器 rs1 读取有符号 32 位整数,转换为双精度浮点并写入 f[rd];32 位整数到 double 可精确表示,因此数值结果不依赖 rm。

OP-FP opcode 为 1010011;funct5=11010 表示整数到浮点 FCVT,fmt=01 表示 D 目标格式。
rs2=00000 选择 W 有符号 32 位整数源;rs1 是整数寄存器。
rd 是浮点寄存器,结果按 D 格式写入;32 位整数到双精度转换是精确的。
编码包含 rm;可显式指定小写舍入模式,省略时为 dyn。软件应使用 rne;合法 rm 不改变精确结果,保留编码仍按保留规则处理。
该指令不读取浮点源寄存器,因此没有源 NaN-boxing 要求。
示例假定所需扩展与浮点状态已启用、初始 fflags=0;异常标志累积,设置标志本身不产生浮点异常陷阱。
RV32 和 RV64 均支持;W/WU 读取源的低 32 位,按有符号/无符号解释;x0 始终读取 0。

常见使用场景

整数到浮点转换

结合 «fcvt.d.w f0, x10, rne # 42 -> 42.0; initial x10=42, fflags=0» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd 选择 f0–f31;rs1 选择整数 x0–x31(x0 恒为零);rs2 是 W 格式选择器,不是第二个源寄存器。
  • 32 位 OP-FP:funct5=11010,fmt=01,rs2=00000,opcode=1010011;没有立即数。
语义检查
  • D 扩展支持 RV32/RV64;转换精确,软件应选 rne。rm 可省略,默认 dyn;保留舍入编码仍按保留规则处理。
  • 执行前启用所需扩展与浮点状态;浮点源窄于 FLEN 时检查 NaN-boxing,目标窄于 FLEN 时高位写 1。fflags 累积适用异常;设置标志本身不产生浮点异常陷阱。

容易混淆 / 常见误区

W/WU 形式读取 32 位有符号或无符号整数源值。
整数源操作数来自 x[rs1],不是浮点寄存器,因此没有源 NaN-boxing 要求。
浮点结果在更宽 FLEN 寄存器中按目标格式 NaN-boxed。

常见问题

fcvt.d.w 的 rd 和 rs1 分别是哪类寄存器?

这是整数到浮点转换:rs1 是整数寄存器,rd 是浮点寄存器。

fcvt.d.w 的 rm 字段如何处理?

编码包含 rm;可显式指定小写舍入模式,省略时为 dyn。软件应使用 rne;合法 rm 不改变精确结果,保留编码仍按保留规则处理。

fcvt.d.w 的 rs2 字段有什么作用?

rs2 不是普通源寄存器;它在 FCVT 编码中选择 W 有符号 32 位整数格式。