FMV.X.H

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

指令手册R-type

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

指令语法

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

指令行为说明

FMV.X.H 由 Zfh 或 Zfhmin 提供(两者都依赖 F),将 f[rs1] 中的半精度浮点编码按位复制到 x[rd];bit 15 会复制到整数寄存器的高 XLEN-16 位。这是位移动,不是浮点到整数数值转换;不会舍入,也不会设置浮点异常标志。

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

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

rd
rs1
fmv.x.h
,
执行环境
fmt=H (10)
FLEN>=32; H payload=16
31..27
26..25
24..20
19..15
14..12
11..7
6..0
11100
funct5=to-x
10
fmt=H
00000
rs2=00000
01011
rs1
000
funct3=000
01010
rd
1010011
OP-FP
执行数据路径
instruction
0xE4058553
opcode
1010011 -> OP-FP
funct5/fmt
11100 + 10 -> funct7 1110010
rs2
00000 fixed for FMV.X.H
rd/rs1
a0(x10) / fa1(f11)
read bits
fa1(f11) = 0xC100
bit move
copy 16 bits; sign-extend bit15 -> 0xFFFFC100
write
a0(x10) = 0xFFFFC100; fflags unchanged
当前步骤

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

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

encoding: 0xE4058553
syntax : fmv.x.h a0(x10), fa1(f11)
result : a0(x10) = 0xFFFFC100; fflags unchanged
位模式搬移视图
FP source bits
0xC100
unchanged payload
0xC100
writeback
a0(x10) = 0xFFFFC100

FMV.X.H 将半精度 bit15 符号扩展到 XLEN=32 的高位;不进行数值转换。

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

快速理解与检索要点

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

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

常见使用场景

浮点位移动

结合 «fmv.x.h x10, f0 # x10 = sign_extend(f0[15:0]) to XLEN bits» 等实际代码理解该场景。

调试与位模式检查

结合 «fmv.x.h x10, f0 # x10 = sign_extend(f0[15:0]) to XLEN bits» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

这是位复制,不是 FCVT 数值转换。
不使用 rm,也不会设置 fflags。
目标整数寄存器保存的是编码位模式;高位按 bit 15 符号扩展,不是舍入后的整数。

常见问题

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

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

FMV.X.H 会设置 fflags 吗?

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