VSUB.VX

RISC-V VSUB.VX 指令详解

指令手册OPIVX

逐元素向量整数减法。

指令语法

vsub.vx vd, vs2, rs1, vm
操作数说明
vs3:源向量寄存器组,提供活动元素的存储数据。
rs1:整数基址寄存器;单位步长形式写入连续地址。
vm:若语法包含 vm,vm=0 使用 v0 作为执行掩码,vm=1 为未掩码。
V向量运算

指令行为说明

VSUB.VX 对活动元素计算 vs2[i] - x[rs1],低 SEW 位写入 vd。

VSUB.VX 指令解析与执行动画

从 OP-V 编码字段开始,展示 VSUB 如何按 vs2 减第二源计算活动元素、按 SEW 回绕,并写回 vd。

输入的指令
vsub.vx
OP-V encodingvsub.vx
funct6
000010
vm
0
vs2
01000
rs1
01011
funct3
100
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x00fa
0x010b
0x011c
0x012d
0x013e
0x014f
0x0160
0x0171
-
-
-
-
-
-
-
-
x11
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤

显示 OP-V 32 位编码字段

vsub.vx 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 rs1 字段放在同一条编码带中。

动画只展示官方 V 扩展定义的 ISA 可见关系:OP-V 字段解析、活动元素读取、SEW 宽度整数减法、mask 控制和 vd 写回;不模拟流水线、缓存或执行时延。

快速理解与检索要点

VSUB.VX 对每个活动元素执行 vs2[i] - x[rs1]。标量在右侧;如果需要 x[rs1] - vs2[i],应使用 VRSUB.VX。

本页按官方 RISC-V V 扩展描述:向量指令只处理当前 vl 范围内的 body 元素;未掩码形式处理所有 body 元素,带 vm 的形式在 vm=0 时使用 v0 作为执行掩码。SEW、LMUL、tail policy 和 mask policy 来自当前 vtype。
VSUB.VX 是单宽整数向量-标量减法;向量操作数 EEW=SEW,标量来自整数寄存器 rs1。
`.vx` 形式的减法方向是 vs2 - rs1,不是 rs1 - vs2。
OP-V 编码中 opcode=1010111,VSUB 使用 funct6=000010;`.vx` 形式由 funct3=100 选择。
结果按低 SEW 位回绕,不提供借位标志或溢出异常。

向量执行上下文

阅读 VSUB.VX 时,不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vx:一个向量源和一个整数标量源参与运算。

先看 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

常见使用场景

位操作与掩码

结合 «vsub.vx v1, v2, t0 # v1[i] = v2[i] - t0» 等实际代码理解该场景。

向量运算

结合 «vsub.vx v1, v2, t0 # v1[i] = v2[i] - t0» 等实际代码理解该场景。

循环与迭代

结合 «vsub.vx v1, v2, t0 # v1[i] = v2[i] - t0» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

结果按 SEW 宽度回绕,不产生整数溢出异常。
操作数顺序是 vs2 - vs1/rs1,不是反向减法。
需要反向标量减向量时使用 vrsub。

常见问题

VSUB.VX 是标量减向量吗?

不是。VSUB.VX 的方向是 vs2[i] - x[rs1]。标量减向量应使用 VRSUB.VX。

VSUB.VX 的标量来自哪里?

VX 形式的标量来自整数寄存器 rs1,并参与每个活动元素的同一条减法。