首页/指令库/无符号整数转单精度
FCVT.S.WU

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

指令手册OP-FP

无符号32位整数转单精度;不能精确表示时按 rm 舍入。

指令语法

fcvt.s.wu rd, rs1, rm

rd 为浮点 f0–f31(f0 可写),rs1 为整数 x0–x31;x0 始终读为0,W/WU 解释低32位。rs2 是源类型选择器;无立即数。

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

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

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

整数源不检查装箱。S 结果在 FLEN>32 时高位全置1。异常累积到 fflags,置位本身不产生浮点异常陷阱。动画有限示例假定初始 fflags=0。

F浮点转换

指令行为说明

fcvt.s.wu 将x[rs1] 的低 32 位按无符号整数解释转换为单精度,写入浮点 rd。按 rm/frm 舍入;结果不精确时设置 NX。

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

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

rd
rs1
rm
fcvt.s.wu
,
,

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

执行环境
fmt=S (00)
rs2=WU
舍入: RNE 最近偶数
fflags: NX

假定所需扩展与浮点状态已启用,源值满足适用的 NaN-boxing,初始 fflags=0。结果为当前输入的计算预览;Writeback 步表示提交。

31..27
26..25
24..20
19..15
14..12
11..7
6..0
11010
FCVT.S
00
fmt=S
00001
rs2=WU
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0xD0158553
opcode
1010011 -> OP-FP
funct5/fmt
11010 + 00 -> FCVT.S.WU
rs2
00001 -> WU source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / a1(x11)
read
a1(x11) = 0xFFFFFFFF (4294967295)
convert
uint32 0xFFFFFFFF (4294967295) -> S 4294967296.0
write
fa0(f10) = 4294967296.0; NX
当前步骤

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

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

encoding: 0xD0158553
syntax : fcvt.s.wu fa0(f10), a1(x11), rne
result : fa0(f10) = 4294967296.0; NX

当前 32 位整数示例不能被S 格式精确表示,按 rm 舍入后示例显示 NX。

FCVT 转换视图
WU source
0xFFFFFFFF (4294967295)
conversion
uint32 0xFFFFFFFF (4294967295) -> S 4294967296.0
writeback
fa0(f10) = 4294967296.0

当前 32 位整数示例不能被S 格式精确表示,按 rm 舍入后示例显示 NX。

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

快速理解与检索要点

无符号32位整数转单精度;不能精确表示时按 rm 舍入。

32位 OP-FP:funct5=11010,fmt=00(S),rs2=00001,opcode=1010011。
rd 是 f0–f31,rs1 是 x0–x31;W/WU 分别按有符号/无符号低32位解释。
整数源不检查 NaN-boxing;浮点目标窄于FLEN时高位全置1。
RV32/RV64;需F。所需扩展与浮点状态须启用。

常见使用场景

整数转浮点

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

使用前检查清单

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

容易混淆 / 常见误区

rs2 是源类型选择器,不是第二个寄存器操作数。
rm 可省略,默认 dyn 使用 frm;静态 101/110、动态 frm=101–111 的行为保留。
输入是低32位解释值;x0 始终读为0。
S 结果在 FLEN>32 时高位全置1;不精确转换设置NX。

常见问题

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

rd 是浮点寄存器;rs1 是整数寄存器,rs2 仅编码整数类型。

fcvt.s.wu 如何使用 rm?

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