FMV.H.X 和 FCVT 有什么区别？
FMV 复制位模式；FCVT 执行数值转换，可能舍入并设置异常标志。
FMV.H.X
RISC-V FMV.H.X 指令详解
指令手册R-type把整数寄存器低位按位复制到半精度浮点寄存器。
指令语法
fmv.h.x rd, rs1
操作数说明
rd：浮点寄存器 f0–f31；f0 可写。
rs1：唯一的整数源 x0–x31；x0 读零。没有立即数或 rm 操作数。
编码 rs2=00000 是固定选择子，不是第二个源寄存器；同编号 x/f 属于不同寄存器文件。
ZfhZfhmin浮点位搬移
扩展条件：RV32/RV64，要求 Zfh 1.0 或 Zfhmin 1.0（均依赖 F）。 标准特权架构中，浮点状态 FS=Off 时访问浮点状态产生非法指令异常。
指令行为说明
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
假定所需扩展存在且浮点状态已启用。整数源输入覆盖 XLEN 位；浮点源输入只提供所选格式的位片段，上方 NaN-box 位被忽略。
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) = 0x0000C100
bit move
copy low 16 bits -> 0xC100; NaN-box upper 16 bits to all 1s
write
尚未写回
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；FMV 位搬移指令使用 opcode 1010011。
encoding: 0xF4058553
syntax : fmv.h.x fa0(f10), a1(x11)
result : 尚未写回
位模式搬移视图
integer low bits
0x0000C100
unchanged payload
0xC100
writeback
尚未写回
FMV.H.X 只取整数源的低 16 位，并将半精度结果 NaN-box 到浮点寄存器。
该动画只展示 RISC-V Zfh/Zfhmin 扩展 FMV 的 ISA 可见编码和位模式搬移；不模拟 FPU 流水线、浮点数值解释、异常处理或微架构实现。
快速理解与检索要点
FMV.H.X 的核心是“位模式搬移”。如果想按数值转换并舍入，应查 FCVT；如果想保留 NaN payload 或检查原始编码，才使用 FMV 类指令。
32 位 OP-FP 编码：funct7=1111010、rs2=00000、funct3=000、opcode=1010011；rs2 是固定选择子，不是汇编操作数。
FMV.H.X 可由 Zfh 或 Zfhmin 提供；两者都依赖 F。
FMV 类指令不使用 rm 字段。
位移动不规范化 NaN，也不按数值大小改变输入。
浮点位传出忽略高位 NaN-boxing；位传入在 FLEN 大于有效位宽时把高位全部置 1。
常见使用场景
浮点位移动
结合 «fmv.h.x f0, x10 # x10=0x1234C100; FLEN=64 -> f0=0xFFFFFFFFFFFFC100» 等实际代码理解该场景。
调试与位模式检查
结合 «fmv.h.x f0, x10 # x10=0x1234C100; FLEN=64 -> f0=0xFFFFFFFFFFFFC100» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd：浮点寄存器 f0–f31；f0 可写。
- rs1：唯一的整数源 x0–x31；x0 读零。没有立即数或 rm 操作数。
- 编码 rs2=00000 是固定选择子，不是第二个源寄存器；同编号 x/f 属于不同寄存器文件。
语义检查
- 确认这是位复制，不是浮点/整数数值转换。
- 确认目标寄存器方向、符号扩展或 NaN-boxing 规则符合该 FMV 变体。
容易混淆 / 常见误区
这是位复制，不是 FCVT 数值转换。
不使用 rm，也不会设置 fflags。
源整数寄存器只提供目标格式宽度的低位。
常见问题
FMV.H.X 会设置 fflags 吗？
不会。它不是算术或数值转换。