首页/指令库/VFRSQRT7-V
VFRSQRT7.V

RISC-V VFRSQRT7.V 指令详解

指令手册R-type

计算vs2每个浮点元素的1/√x近似值(7位精度),写入vd。

指令语法

vfrsqrt7.v vd, vs2, vm
操作数说明
vd:目标向量寄存器组。
vs2/vs1 或标量源:按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm:若语法包含 vm,vm=0 使用 v0 作为执行掩码,vm=1 为未掩码。
VZvfh向量运算浮点

指令行为说明

VFRSQRT7.V 产生官方 V 扩展定义的 7 位浮点估算结果。特殊输入(零、无穷、NaN、负数等)按规范表处理;不要把它描述成普通除法/平方根后按 frm 舍入。 向量 FP32/FP64 操作需要相应标量 F/D 支持;FP16 由相应向量半精度扩展控制,基础 V 扩展不自动包含半精度算术。

快速理解与检索要点

VFRSQRT7.V 是表定义的 7 位估算指令,不是普通浮点除法或平方根。

只对 vl 范围内的活动元素执行;非活动元素和尾部元素受当前 vma/vta 策略影响。
vm=0 使用 v0 作为执行掩码,vm=1 表示不使用掩码。
特殊值结果和异常标志应按官方估算指令表处理。
向量 FP32/FP64 操作需要相应标量 F/D 支持;FP16 由相应向量半精度扩展控制,基础 V 扩展不自动包含半精度算术。

向量执行上下文

阅读 VFRSQRT7.V 时,不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。后缀和操作数形式决定源操作数来自向量、标量还是立即数。

先看 vl

当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl,再执行本页指令。

再看 vtype

当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy;这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。

最后看 vm/v0

带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码,vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。

官方来源:RISC-V V Standard Extension for Vector Operations

常见使用场景

向量归一化

结合 «vsetvli t0, a0, e32, m1, ta, ma vfrsqrt7.v v1, v2 # v1[i] ≈ 1/√v2[i] (7-bit)» 等实际代码理解该场景。

Newton-Raphson

结合 «vsetvli t0, a0, e32, m1, ta, ma vfrsqrt7.v v1, v2 # v1[i] ≈ 1/√v2[i] (7-bit)» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

查看官方特殊值表处理零、无穷、NaN 和负输入;不要把零输入结果标成 implementation-defined。
估算结果精度有限,通常需要后续迭代才能得到高精度结果。
向量 FP32/FP64 操作需要相应标量 F/D 支持;FP16 由相应向量半精度扩展控制,基础 V 扩展不自动包含半精度算术。

常见问题

估算结果是 implementation-defined 吗?

不是按实现随意决定。官方 V 扩展定义了 7 位估算和特殊输入处理规则。