FSQRT.H

RISC-V FSQRT.H 指令详解

指令手册R-type

半精度浮点平方根:rd = sqrt(rs1)。

指令语法

fsqrt.h rd, rs1, rm
操作数说明
rd:目标浮点寄存器,接收平方根结果。
rs1:唯一的源浮点寄存器;FSQRT 编码中的 rs2 字段固定为 00000,不是语法操作数。
rm:舍入模式字段,rm=111 时使用 frm 动态舍入模式。
Zfh浮点运算

指令行为说明

FSQRT.H 计算半精度浮点平方根,结果按 rm 字段或动态舍入模式舍入后写入 rd。负的非零有限数和 -∞ 产生规范 NaN 并设置 NV;-0 的平方根仍为 -0。

FSQRT.H 指令解析与执行动画

展示 Zfh 扩展半精度 OP-FP 指令的 ISA 可见流程:解析编码字段,读取浮点寄存器,执行 FSQRT 语义并写回 rd。

rd
rs1
rm
fsqrt.h
,
,
执行环境
FLEN=>=32 / fmt=H (10)
舍入: RNE 最近偶数
fflags: 示例 fflags 保持 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
01011
FSQRT
10
fmt=H
00000
rs2
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x5C058553
opcode
1010011 -> OP-FP
funct5/fmt
01011 + H(10) -> FSQRT.H
rm
000 -> RNE 最近偶数
rd/rs
fa0(f10) / fa1(f11) / rs2=00000
read
2.25
FP op
sqrt(2.25) = 1.5
write
fa0(f10) = 1.5; 示例 fflags 保持 0
当前步骤

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

机器码按 R-type OP-FP 字段切分;半精度浮点 OP-FP 指令使用 opcode 1010011。

encoding: 0x5C058553
syntax : fsqrt.h fa0(f10), fa1(f11), rne
result : fa0(f10) = 1.5; 示例 fflags 保持 0

当前默认示例 sqrt(9.0)=3.0 可精确表示,因此示例 fflags 保持 0。

半精度计算视图
rs1
fa1(f11) = 2.25
结果
sqrt(2.25) = 1.5

当前默认示例 sqrt(9.0)=3.0 可精确表示,因此示例 fflags 保持 0。

该动画只展示 RISC-V Zfh 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系;不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。

快速理解与检索要点

FSQRT.H 是 Zfh 半精度浮点平方根。它使用 OP-FP 编码,funct5=01011、fmt=H(10),rs2 编码字段固定为 00000;指令只读取 rs1 的半精度值,按 rm 或动态 frm 舍入后写回 rd。

FSQRT.H 的 rs2 是固定编码字段,不是汇编语法操作数;语法只包含 rd、rs1 和 rm。
负的非零有限输入和 -inf 属于 invalid-operation 路径;sqrt(-0) 仍保留 -0。
动画默认使用 sqrt(9.0)=3.0 这类精确示例,NaN、无穷、负输入和非精确舍入由静态说明覆盖。

常见使用场景

浮点基本运算

结合 «fsqrt.h f10, f11, rne ; f10 = sqrt(f11)» 等实际代码理解该场景。

数值计算

结合 «fsqrt.h f10, f11, rne ; f10 = sqrt(f11)» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd:目标浮点寄存器,接收平方根结果。
  • rs1:唯一的源浮点寄存器;FSQRT 编码中的 rs2 字段固定为 00000,不是语法操作数。
  • rm:舍入模式字段,rm=111 时使用 frm 动态舍入模式。
语义检查
  • 确认操作数的浮点格式后缀(.H/.S/.D/.Q)符合数据宽度。
  • 确认是否需要检查 fflags 中的 NV、DZ、OF、UF、NX 等标志。

容易混淆 / 常见误区

舍入模式来自 rm 字段;rm=111 使用 frm 动态舍入模式。
浮点异常记录在 fflags,不是整数分支条件或整数异常。
负输入的平方根边界要区分 -0 与其他负数。

常见问题

FSQRT.H 为什么没有 rs2 操作数?

FSQRT 是一元浮点运算。机器编码仍有 rs2 字段,但该字段固定为 00000,页面动画会把它作为编码字段展示,而不是语法输入。

FSQRT.H 对负数如何处理?

负的非零有限数和 -∞ 产生 invalid-operation 标志并得到 NaN 结果;-0 是特殊零值,sqrt(-0) 仍为 -0。