首页/指令库/VFSUB-VV
VFSUB.VV

RISC-V VFSUB.VV 指令详解

指令手册R-type

VFSUB.VV 对 VL 范围内的活动元素执行向量-向量浮点减法:vd[i] = vs2[i] - vs1[i]。

指令语法

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

指令行为说明

VFSUB.VV 是 RVV 单宽浮点减法指令,语法为 vfsub.vv vd, vs2, vs1, vm。每个活动元素按当前 SEW 的浮点格式执行 vd[i] = vs2[i] - vs1[i];操作数顺序是 vs2[i] - vs1[i]。 vm=0 时 v0.t 控制活动元素,vm=1 时不使用执行掩码。舍入模式和异常标志遵循官方 RVV 浮点规则,定点 vxrm 不控制这些指令。

VFSUB.VV 指令解析与执行动画

从 OP-V 编码解码到逐元素浮点减法:第二源来自 same-lane vs1。

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

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

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

快速理解与检索要点

VFSUB.VV 的学习重点是 OP-V 编码、同 lane 的 vs1 元素、v0.t 掩码和逐元素 vd[i] = vs2[i] - vs1[i]。

funct6=000010、funct3=001、opcode=1010111 标识该 OP-V 浮点算术形式。
vfsub.vv vd, vs2, vs1, vm 中的 vm 是执行掩码控制;vm=0 使用 v0.t,vm=1 表示不使用掩码。
`.vv` 形式逐 lane 读取 vs2[i] 与 vs1[i],不是归约或跨 lane 运算。
结果、NaN、无穷、舍入和 fflags 遵循官方向量浮点规则。

向量执行上下文

阅读 VFSUB.VV 时,不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vv:两个向量源逐元素参与运算。

先看 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 vfsub.vv v1, v2, v3 # v1[i] = v2[i] - v3[i]» 等实际代码理解该场景。

差分

结合 «vsetvli t0, a0, e32, m1, ta, ma vfsub.vv v1, v2, v3 # v1[i] = v2[i] - v3[i]» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

操作数顺序是 vs2[i] - vs1[i]。
只有 VL 范围内且执行掩码为真的元素执行;非活动元素和尾部元素按当前 vma/vta 策略处理。
普通 RVV 浮点算术使用浮点舍入环境 frm/动态舍入语义,不使用定点 vxrm。
不要把浏览器演示中的有限数值样例当成完整 IEEE 754 异常模拟;NaN、无穷和 fflags 以官方手册为准。

常见问题

VFSUB.VV 使用 vxrm 吗?

不使用。普通 RVV 浮点算术使用浮点舍入环境 frm 或指令规定的浮点舍入规则;vxrm 用于定点舍入指令。

VFSUB.VV 的 vm 操作数是什么意思?

vm=0 表示用 v0.t 作为执行掩码;vm=1 表示不使用执行掩码。它不是一个普通数据源寄存器。