FMV.H.X

RISC-V FMV.H.X 指令详解

指令手册R-type

把整数寄存器低位按位复制到半精度浮点寄存器。

指令语法

fmv.h.x rd, rs1
操作数说明
rd/rs 字段按指令方向分别表示整数寄存器或浮点寄存器。
FMV 类指令复制位模式,不执行 FCVT 数值转换,也不使用 rm。
ZfhZfhmin浮点位搬移

指令行为说明

FMV.H.X 由 Zfh 或 Zfhmin 提供(两者都依赖 F),将 x[rs1] 的低 16 位按位复制到 f[rd],并将半精度结果 NaN-boxing 写入浮点寄存器。这是位移动,不是数值转换。

FMV.H.X 指令解析与执行动画

展示 Zfh/Zfhmin 扩展 FMV.H.X 位模式搬移:解析 OP-FP 编码,读取源寄存器位模式,按官方规则不做数值转换地写回目标寄存器。

rd
rs1
fmv.h.x
,
执行环境
fmt=H (10)
FLEN>=32; H payload=16
31..27
26..25
24..20
19..15
14..12
11..7
6..0
11110
funct5=to-f
10
fmt=H
00000
rs2=00000
01011
rs1
000
funct3=000
01010
rd
1010011
OP-FP
执行数据路径
instruction
0xF4058553
opcode
1010011 -> OP-FP
funct5/fmt
11110 + 10 -> funct7 1111010
rs2
00000 fixed for FMV.H.X
rd/rs1
fa0(f10) / a1(x11)
read bits
a1(x11) = 0xC100
bit move
copy low 16 bits -> 0xC100; NaN-box in FP register
write
fa0(f10) = 0xC100; fflags unchanged
当前步骤

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

机器码按 R-type OP-FP 字段切分;FMV 位搬移指令使用 opcode 1010011。

encoding: 0xF4058553
syntax : fmv.h.x fa0(f10), a1(x11)
result : fa0(f10) = 0xC100; fflags unchanged
位模式搬移视图
integer low bits
0xC100
unchanged payload
0xC100
writeback
fa0(f10) = 0xC100

FMV.H.X 只取整数源的低 16 位,并将半精度结果 NaN-box 到浮点寄存器。

该动画只展示 RISC-V Zfh/Zfhmin 扩展 FMV 的 ISA 可见编码和位模式搬移;不模拟 FPU 流水线、浮点数值解释、异常处理或微架构实现。

快速理解与检索要点

FMV.H.X 的核心是“位模式搬移”。如果想按数值转换并舍入,应查 FCVT;如果想保留 NaN payload 或检查原始编码,才使用 FMV 类指令。

FMV.H.X 可由 Zfh 或 Zfhmin 提供;两者都依赖 F。
FMV 类指令不使用 rm 字段。
位移动不规范化 NaN,也不按数值大小改变输入。

常见使用场景

浮点位移动

结合 «fmv.h.x f0, x10 # f0 receives a NaN-boxed copy of x10[15:0]» 等实际代码理解该场景。

调试与位模式检查

结合 «fmv.h.x f0, x10 # f0 receives a NaN-boxed copy of x10[15:0]» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd/rs 字段按指令方向分别表示整数寄存器或浮点寄存器。
  • FMV 类指令复制位模式,不执行 FCVT 数值转换,也不使用 rm。
语义检查
  • 确认这是位复制,不是浮点/整数数值转换。
  • 确认目标寄存器方向、符号扩展或 NaN-boxing 规则符合该 FMV 变体。

容易混淆 / 常见误区

这是位复制,不是 FCVT 数值转换。
不使用 rm,也不会设置 fflags。
源整数寄存器只提供目标格式宽度的低位。

常见问题

FMV.H.X 和 FCVT 有什么区别?

FMV 复制位模式;FCVT 执行数值转换,可能舍入并设置异常标志。

FMV.H.X 会设置 fflags 吗?

不会。它不是算术或数值转换。