FMUL.H

RISC-V FMUL.H 指令详解

指令手册R-type

半精度浮点乘法:rd = rs1 * rs2。

指令语法

fmul.h rd, rs1, rs2, rm
操作数说明
rd:目标浮点寄存器,接收该格式的浮点结果。
rs1/rs2:源浮点寄存器;带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
Zfh浮点运算

指令行为说明

FMUL.H 按 fmul.h 的半精度格式执行浮点乘法,结果按 rm 字段或动态舍入模式舍入后写入 rd。特殊值、NaN、无穷、除零和异常标志遵循 RISC-V 浮点扩展的 IEEE 754 规则。

快速理解与检索要点

FMUL.H 是 Zfh 相关的半精度浮点乘法指令。它产生浮点寄存器结果,rm 控制需要舍入的结果,fflags 记录 NV、DZ、OF、UF、NX 等浮点异常标志。

后缀 .H 指定操作数和结果的浮点格式;窄格式在更宽 FLEN 寄存器中遵守 NaN-boxing 规则。
rm 是机器指令字段;汇编中省略 rm 时通常表示使用当前动态舍入模式或工具链默认写法。

常见使用场景

浮点基本运算

结合 «fmul.h f10, f11, f12, rne ; f10 = f11 * f12» 等实际代码理解该场景。

数值计算

结合 «fmul.h f10, f11, f12, rne ; f10 = f11 * f12» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认当前指令格式为 R-type。
  • 确认操作数排列顺序与示例一致。
语义检查
  • 确认目标寄存器用途和调用约定兼容。
  • 确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

舍入模式来自 rm 字段;rm=111 使用 frm 动态舍入模式。
浮点异常记录在 fflags,不是整数分支条件或整数异常。
NaN、无穷、上溢、下溢和不准结果按浮点异常标志记录。

常见问题

FMUL.H 会产生整数异常吗?

不会。RISC-V 浮点异常通过 fflags 记录;软件需要读取浮点状态寄存器来观察这些标志。

FMUL.H 的 rm 是什么?

rm 选择舍入模式;动态舍入模式由 frm 提供。对于精确结果,舍入模式不改变数值但字段仍是指令编码的一部分。