首页/指令库/FCVT.H.Q
FCVT.H.Q

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

指令手册R-type

四精度浮点转半精度浮点;缩窄转换按 rm 舍入。

指令语法

fcvt.h.q rd, rs1, rm

rd 选择浮点 f0–f31,f0 可写;rs1 选择浮点 f0–f31;rs2 是格式选择器,不是第二个源寄存器。

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

RV32/RV64 Zfhmin+Q(Zfh 也包含该转换);所需扩展与浮点状态须启用。rm 可省略,默认 dyn 使用 frm;静态 101/110 及动态 frm=101–111 的行为保留。

浮点源窄于 FLEN 时检查 NaN-boxing,未正确装箱按源格式 canonical NaN 处理。半精度结果在 FLEN>16 时高位写 1。适用异常累积到 fflags,置位本身不触发浮点陷阱。

ZfhminQ浮点转换

指令行为说明

fcvt.h.q 从浮点寄存器 rs1 读取四精度源值,转换为半精度浮点结果并写入浮点寄存器 rd。OP-FP 编码中 fmt=H(10) 表示目标格式,rs2=Q(11) 表示源格式;该缩窄转换在目标格式不能精确表示源值时按 rm/frm 舍入,并可能设置浮点异常标志。

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

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

rd
rs1
rm
fcvt.h.q
,
,

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

执行环境
fmt=H (10)
rs2=Q
舍入: RNE 最近偶数
fflags: 0

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

31..27
26..25
24..20
19..15
14..12
11..7
6..0
01000
FCVT.H
10
fmt=H
00011
rs2=Q
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x44358553
opcode
1010011 -> OP-FP
funct5/fmt
01000 + 10 -> FCVT.H.Q
rs2
00011 -> Q source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / fa1(f11)
read
fa1(f11) = Q 1.25 (numeric Q)
convert
Q 1.25 -> H 1.25
write
fa0(f10) = H 1.25 (0x3D00); 0
当前步骤

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

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

encoding: 0x44358553
syntax : fcvt.h.q f10, f11, rne
result : fa0(f10) = H 1.25 (0x3D00); 0

Q 到 H 是浮点缩窄转换;当前示例可由目标格式精确表示,fflags 保持 0。

FCVT 转换视图
Q FP source
Q 1.25 (numeric Q)
conversion
Q 1.25 -> H 1.25
writeback
fa0(f10) = H 1.25 (0x3D00)

Q 到 H 是浮点缩窄转换;当前示例可由目标格式精确表示,fflags 保持 0。

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

快速理解与检索要点

fcvt.h.q 是浮点格式到浮点格式转换:rd 和 rs1 都是浮点寄存器,fmt 编码目标 H,rs2 编码源 Q。缩窄转换按 rm/frm 舍入,可能设置 NX/OF/UF 等浮点异常标志。

OP-FP opcode 为 1010011;funct5=01000 表示浮点格式到浮点格式 FCVT。
fmt=10 选择目标 H (半精度);rs2=00011 选择源 Q (四精度)。
rd 和 rs1 都是浮点寄存器;rs2 字段是源格式选择器,不是语法操作数。
需要 Q,且半精度支持可来自 Zfh 或 Zfhmin。
缩窄转换在需要时按 rm 或动态 frm 舍入,并通过 fflags 记录适用的浮点异常标志。
rm 可省略,默认 dyn(111)使用 frm;静态 101/110 及动态 frm=101–111 的舍入行为保留。fflags 累积异常标志,不因标志置位自动产生浮点陷阱。
半精度结果写入低 16 位,FLEN>16 时其余位全为 1。源格式窄于 FLEN 时,未正确 NaN-boxed 的源按该格式 canonical NaN 处理。

常见使用场景

浮点格式转换

结合 «fcvt.h.q f0, f1, rne # H result 1.25; no new fflags; f1: Q value 1.25; required extensions/FP state enabled» 等实际代码理解该场景。

类型转换

结合 «fcvt.h.q f0, f1, rne # H result 1.25; no new fflags; f1: Q value 1.25; required extensions/FP state enabled» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd 选择浮点 f0–f31,f0 可写;rs1 选择浮点 f0–f31;rs2 是格式选择器,不是第二个源寄存器。
  • 32 位 OP-FP:funct5=01000,fmt=10,rs2=00011,opcode=1010011;无立即数。
语义检查
  • RV32/RV64 Zfhmin+Q(Zfh 也包含该转换);所需扩展与浮点状态须启用。rm 可省略,默认 dyn 使用 frm;静态 101/110 及动态 frm=101–111 的行为保留。
  • 浮点源窄于 FLEN 时检查 NaN-boxing,未正确装箱按源格式 canonical NaN 处理。半精度结果在 FLEN>16 时高位写 1。适用异常累积到 fflags,置位本身不触发浮点陷阱。

容易混淆 / 常见误区

fmt=H 选择目标半精度格式;rs2=Q 选择源四精度格式,不是第二个源寄存器。
需要 Q,且半精度支持可来自 Zfh 或 Zfhmin。
这是浮点缩窄转换,目标格式不能精确表示时由 rm 或动态 frm 决定舍入方向。
半精度结果写入低 16 位,FLEN>16 时其余位全为 1。源格式窄于 FLEN 时,未正确 NaN-boxed 的源按该格式 canonical NaN 处理。

常见问题

fcvt.h.q 的 rs2 是源寄存器吗?

不是。汇编语法只包含 rd、rs1、rm;编码中的 rs2 字段选择源 Q 浮点格式。

fcvt.h.q 什么时候使用 rm?

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

fcvt.h.q 和整数 FCVT 有什么区别?

本页形式的 rd 和 rs1 都是浮点寄存器;W/WU/L/LU 形式才在整数寄存器和浮点寄存器之间转换。

NaN 和无穷如何处理?

无穷保持符号;NaN 结果使用目标格式 canonical NaN,sNaN 设置 NV。有限值缩窄可能产生 NX、OF 或 UF;动画仅演示列出的有限精确示例。