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

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

指令手册R-type

将无符号 32 位整数转换为半精度浮点;按 rm 或 frm 舍入。

指令语法

fcvt.h.wu rd, rs1, rm

rd 选择浮点 f0–f31,f0 可写;rs1 选择整数 x0–x31,读取低 32 位,x0 恒为零;rs2 是格式选择器,不是第二个源寄存器。

32 位 OP-FP:funct5=11010,fmt=10,rs2=00001,opcode=1010011;无立即数。

RV32/RV64 Zfh;所需扩展与浮点状态须启用。rm 可省略,默认 dyn 使用 frm;静态 101/110 及动态 frm=101–111 的行为保留。

整数源无需 NaN-boxing。半精度结果在 FLEN>16 时高位写 1。适用异常累积到 fflags,置位本身不触发浮点陷阱。

Zfh浮点转换

指令行为说明

fcvt.h.wu 将 x[rs1] 的无符号 32 位整数转换为半精度结果并写入 f[rd]。OP-FP 编码中 funct5=11010、fmt=H(10)、rs2=WU(00001);不能精确表示时按 rm 或动态 frm 舍入,并记录适用的 fflags。

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

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

rd
rs1
rm
fcvt.h.wu
,
,

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

执行环境
fmt=H (10)
rs2=WU
舍入: RNE 最近偶数
fflags: OF|NX

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

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

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

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

encoding: 0xD4158553
syntax : fcvt.h.wu f10, x11, rne
result : fa0(f10) = +inf; OF|NX

当前 32 位整数示例溢出半精度有限范围;按 rm 选择无穷或同号最大有限值,示例设置 OF|NX。

FCVT 转换视图
WU source
4294967295
conversion
uint32 4294967295 -> H +inf
writeback
fa0(f10) = +inf

当前 32 位整数示例溢出半精度有限范围;按 rm 选择无穷或同号最大有限值,示例设置 OF|NX。

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

快速理解与检索要点

fcvt.h.wu 将 x[rs1] 的无符号 32 位整数转换为半精度结果,按 rm 或动态 frm 舍入后写入 f[rd]。

OP-FP 的 funct5=11010、fmt=H(10)、rs2=WU(00001) 选择 FCVT.H.WU;rs2 是整数宽度/有符号性选择器而非寄存器操作数。
读取 x[rs1] 的低 32 位,按无符号整数解释;RV64 中高 32 位不参与。rs1=x0 时读取 0。
整数源操作数来自 x[rs1],不是浮点寄存器,因此没有源 NaN-boxing 要求。
浮点结果在更宽 FLEN 寄存器中按目标格式 NaN-boxed。
rm 可省略,默认 dyn(111)使用 frm;静态 101/110 及动态 frm=101–111 的舍入行为保留。fflags 累积异常标志,不因标志置位自动产生浮点陷阱。

常见使用场景

整数到浮点转换

结合 «fcvt.h.wu f10, x11, rne # f10 = 4096; NX; Zfh/FP state enabled; x11 = 4097» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd 选择浮点 f0–f31,f0 可写;rs1 选择整数 x0–x31,读取低 32 位,x0 恒为零;rs2 是格式选择器,不是第二个源寄存器。
  • 32 位 OP-FP:funct5=11010,fmt=10,rs2=00001,opcode=1010011;无立即数。
语义检查
  • RV32/RV64 Zfh;所需扩展与浮点状态须启用。rm 可省略,默认 dyn 使用 frm;静态 101/110 及动态 frm=101–111 的行为保留。
  • 整数源无需 NaN-boxing。半精度结果在 FLEN>16 时高位写 1。适用异常累积到 fflags,置位本身不触发浮点陷阱。

容易混淆 / 常见误区

读取 x[rs1] 的低 32 位,按无符号整数解释;RV64 中高 32 位不参与。rs1=x0 时读取 0。
整数源操作数来自 x[rs1],不是浮点寄存器,因此没有源 NaN-boxing 要求。
浮点结果在更宽 FLEN 寄存器中按目标格式 NaN-boxed。

常见问题

fcvt.h.wu 的 rm 什么时候重要?

当整数值不能被目标浮点格式精确表示时,rm 或动态 frm 决定舍入方向。

结果不能由半精度精确表示时会怎样?

按 rm/frm 舍入并设置 NX;溢出按舍入方向产生带符号无穷或最大有限值,并设置 OF|NX。半精度结果按 NaN-boxing 规则写入。