首页/指令库/双精度转单精度
FCVT.S.D

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

指令手册OP-FP

双精度转单精度浮点;不能精确表示时按 rm 舍入。

指令语法

fcvt.s.d rd, rs1, rm

rd 为浮点 f0–f31(f0 可写),rs1 为浮点 f0–f31;源目的可重叠。rs2 是源类型选择器;无立即数。

32位 OP-FP:funct5=01000,fmt=00(目标 S),rs2=00001,opcode=1010011。

RV32/RV64;需 D,依赖 F,所需扩展与浮点状态须启用。

rm 可省略,默认 dyn 使用 frm;静态101/110、动态frm=101–111 的行为保留。不能精确表示时按 rm 舍入并设置 NX。

源格式窄于 FLEN 时须满足 NaN-boxing;无效箱按 canonical NaN 处理。S 结果在 FLEN>32 时高位全置1。异常累积到 fflags,置位本身不产生浮点异常陷阱。动画有限示例假定初始 fflags=0。

D浮点转换

指令行为说明

fcvt.s.d 将浮点寄存器 rs1 的双精度值转换为单精度,写入浮点 rd。按 rm/frm 舍入;结果不精确时设置 NX。

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

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

rd
rs1
rm
fcvt.s.d
,
,

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

执行环境
fmt=S (00)
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.S
00
fmt=S
00001
rs2=D
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x40158553
opcode
1010011 -> OP-FP
funct5/fmt
01000 + 00 -> FCVT.S.D
rs2
00001 -> D source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / fa1(f11)
read
fa1(f11) = D 1.5 (0x3FF8000000000000)
convert
D 1.5 -> S 1.5
write
fa0(f10) = S 1.5 (0x3FC00000); 0
当前步骤

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

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

encoding: 0x40158553
syntax : fcvt.s.d fa0(f10), fa1(f11), rne
result : fa0(f10) = S 1.5 (0x3FC00000); 0

D 到 S 是浮点缩窄转换;当前示例可由目标格式精确表示,fflags 保持 0。

FCVT 转换视图
D FP source
D 1.5 (0x3FF8000000000000)
conversion
D 1.5 -> S 1.5
writeback
fa0(f10) = S 1.5 (0x3FC00000)

D 到 S 是浮点缩窄转换;当前示例可由目标格式精确表示,fflags 保持 0。

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

快速理解与检索要点

双精度转单精度浮点;不能精确表示时按 rm 舍入。

32位 OP-FP:funct5=01000,fmt=00(S),rs2=00001,opcode=1010011。
rd、rs1 均为 f0–f31;f0 可写,源目的可重叠。
D 源在 FLEN=128 时须 NaN-boxing;无效箱按 canonical NaN 处理。
RV32/RV64;需D(依赖 F)。所需扩展与浮点状态须启用。

常见使用场景

浮点格式转换

结合 «# f1 = 16777217; rm=rne; initial fflags=0 fcvt.s.d f0, f1, rne # f0 = 16777216; fflags=NX» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd 为浮点 f0–f31(f0 可写),rs1 为浮点 f0–f31;源目的可重叠。rs2 是源类型选择器;无立即数。
  • 32位 OP-FP:funct5=01000,fmt=00(目标 S),rs2=00001,opcode=1010011。
语义检查
  • RV32/RV64;需 D,依赖 F,所需扩展与浮点状态须启用。
  • rm 可省略,默认 dyn 使用 frm;静态101/110、动态frm=101–111 的行为保留。不能精确表示时按 rm 舍入并设置 NX。
  • 源格式窄于 FLEN 时须满足 NaN-boxing;无效箱按 canonical NaN 处理。S 结果在 FLEN>32 时高位全置1。异常累积到 fflags,置位本身不产生浮点异常陷阱。动画有限示例假定初始 fflags=0。

容易混淆 / 常见误区

rs2 是源类型选择器,不是第二个寄存器操作数。
rm 可省略,默认 dyn 使用 frm;静态 101/110、动态 frm=101–111 的行为保留。
缩窄可能产生 NV/OF/UF/NX;浮点异常标志累积而非自动清除。
S 结果在 FLEN>32 时高位全置1;动画只演示列出的有限源值。

常见问题

fcvt.s.d 使用哪些寄存器?

rd、rs1 为浮点寄存器;rs2 仅编码源格式。

fcvt.s.d 如何使用 rm?

不能精确表示时按 rm 舍入并设置 NX。省略 rm 默认 dyn 使用 frm,保留编码规则仍适用。