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

RISC-V VFSQRT.V 指令详解

指令手册R-type

VFSQRT.V 是 RVV 单宽一元浮点平方根指令,语法为 vfsqrt.v vd, vs2, vm;每个活动元素计算 vd[i] = sqrt(vs2[i])。

指令语法

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

指令行为说明

VFSQRT.V 使用 OP-V 的 VFUNARY1 形式,只读取 vs2 和 vm 语法操作数;编码中的 vs1 字段选择平方根操作,不是用户可写的源寄存器。结果、舍入、负数输入、NaN、无穷和异常标志遵循官方 RVV 浮点规则;定点 vxrm 不控制这条指令。

VFSQRT.V 指令解析与执行动画

从 OP-V 编码解码到 VFUNARY1 平方根:每个活动元素计算 sqrt(vs2[i])。

步骤 1 / 15
读取 OP-V 编码字段

V 扩展浮点指令使用 OP-V 主操作码,字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。

输入的指令
vfsqrt.v
执行环境
frm
RNE
示例动态舍入模式
vta/vma
ta, ma
尾部/非活动元素策略
opcode
1010111
OP-V 主操作码
vs1
00000
VFUNARY1 平方根选择字段
编码字段
0x4c801257
31..26
25
24..20
19..15
14..12
11..7
6..0
010011
funct6
0
vm
01000
vs2
00000
vs1
001
funct3
00100
vd
1010111
OP-V
逐元素结果
长向量在模块内部横向滚动,不造成页面溢出。
i=0活动
sqrt(1)
1
i=1活动
sqrt(4)
2
i=2跳过
v0.t=0,不执行
--
i=3活动
sqrt(16)
4
i=4活动
sqrt(25)
5
i=5活动
sqrt(36)
6
i=6跳过
v0.t=0,不执行
--
i=7活动
sqrt(64)
8
动画按当前 SEW 对源值和结果执行 RNE 示例量化:SEW=32 使用 binary32,SEW=64 使用 binary64。NaN、无穷和异常标志仍以官方 RVV 浮点规则为准,不在此处当作完整浮点异常模拟器展开。

快速理解与检索要点

VFSQRT.V 是一元向量浮点平方根:只从 vs2 读取元素并把 sqrt(vs2[i]) 写入 vd[i];vs1 编码字段是操作选择,不是语法源操作数。

OP-V 编码中 funct6=010011、funct3=001,vs1 字段为 00000 选择 VFUNARY1 平方根。
语义是 vd[i] = sqrt(vs2[i]),只对 vl 范围内的活动元素执行。
vm=0 使用 v0.t 作为执行掩码;vm=1 表示不使用执行掩码。
舍入、负数输入、NaN、无穷和 fflags 遵循官方 RVV 浮点规则,vxrm 不参与。
普通 masked vector 指令的目标向量寄存器组不能与 v0 掩码源重叠;动画在 vm=0 且 vd=v0 时会报错。

向量执行上下文

阅读 VFSQRT.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 vfsqrt.v v1, v2 # v1[i] = sqrt(v2[i])» 等实际代码理解该场景。

向量范数

结合 «vsetvli t0, a0, e32, m1, ta, ma vfsqrt.v v1, v2 # v1[i] = sqrt(v2[i])» 等实际代码理解该场景。

数值计算

结合 «vsetvli t0, a0, e32, m1, ta, ma vfsqrt.v v1, v2 # v1[i] = sqrt(v2[i])» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

语法是 vfsqrt.v vd, vs2, vm;不要添加 vs1 或 rs1 操作数。
编码中的 vs1=00000 是 VFUNARY1 平方根选择字段,不表示读取 v0 作为普通源向量。
负输入、NaN、无穷、舍入和 fflags 按官方浮点规则处理;不要加入 ISA 未规定的实现细节。
当 vm=0 使用 v0.t 作为执行掩码时,普通目标向量寄存器组不能与 v0 掩码寄存器重叠。

常见问题

VFSQRT.V 的 vm 操作数控制什么?

vm=0 时只执行 v0.t 为 1 的活动元素;vm=1 表示不使用执行掩码。本页公式是 vd[i] = sqrt(vs2[i])。

这些向量浮点指令使用 vxrm 吗?

不使用。普通 RVV 浮点运算使用浮点舍入模式 frm 并设置浮点异常标志;vxrm 用于定点舍入指令。

VFSQRT.V 如何处理 NaN、无穷或负数输入?

负数输入、NaN 操作数和无穷输入都属于浮点规则范围。结果、舍入和 fflags 按官方 RVV 浮点规则处理,本页不把它简化为整数式固定结果。