v0 在 VSBC.VXM 中是执行掩码吗？
不是。v0 的对应 bit 是 borrow-in 算术输入。
VSBC.VXM
RISC-V VSBC.VXM 指令详解
指令手册OPIVX逐元素计算 vs2[i] − scalar − v0.mask[i]，低 SEW 位差值写入 vd。
指令语法
vsbc.vxm vd, vs2, rs1, v0
操作数说明
vd/vs2 为 SEW/LMUL 向量组；rs1 选择整数标量，x0 恒为0。v0 固定提供借位，语法不使用 v0.t。
OPIVX：funct6=010010、funct3=100、opcode=1010111。标量按 XLEN/SEW 规则截断或符号扩展。
每个 body 元素写 lowSEW(vs2[i]−scalar−v0.mask[i])；vm=0 固定，vm=1、vd=v0 编码保留。v0 不能同时作 SEW 源。
要求 V 1.0、启用向量状态及合法 vtype。body 为 vstart≤i<vl，tail 按 vta；vl=0 或 vstart≥vl 不更新 vd。
V向量整数运算进位/借位
指令行为说明
VSBC.VXM 是 V 扩展的向量-标量带借位减法。v0 提供借位输入，不关闭元素；所有 vstart≤i<vl 的 body 元素执行。结果按 SEW 回绕，借位输出由 VMSBC 生成。
VSBC.VXM 指令解析与执行动画
从 OP-V 编码字段开始，展示 VSBC 如何把 v0 对应 bit 作为 borrow-in，执行 SEW 宽带借位减法并写回差值。
输入的指令
vsbc.vxm
v0
v0
算术输入，不是执行掩码标量 x[rs1]：XLEN>SEW 取低 SEW 位，XLEN<SEW 符号扩展；x0 恒为0。
要求 V 1.0、启用向量状态及合法受支持 vtype/SEW；固定 LMUL=m1、vstart=0。固定 VLEN=4096，VLMAX=4096/16=256；同宽源/目标可重叠。固定 vm=0，vm=1 保留；v0 是借位输入，所有 body 元素执行，vd 不可为v0。v0 用于 EEW=1 掩码/借位时不可同时作数据源。输入元素为非负位模式；VL=0 不更新任何目标位。只展示 body，不指定 inactive/tail 值；教学步骤不是处理器周期。
执行环境
OP-V encodingvsbc.vxm
funct6
010010
vm
0
vs2
01000
rs1
01011
funct3
100
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x0000
0x003b
0x004c
0x0003
0x006e
0x007f
0x0002
0x00a1
-bin
-bin
-bin
-bin
-bin
-bin
-bin
-bin
x11
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
0x0013
bin
1
0
1
1
1
0
1
1
v4
...
...
...
...
...
...
...
...
当前步骤
显示 OP-V 32 位编码字段
vsbc.vxm 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 rs1 字段放在同一条编码带中。
动画展示 OP-V 字段解析、带借位减法、v0 借位输入与 vd 写回；步骤是教学分解，不表示处理器周期。
快速理解与检索要点
VSBC 是多字精度减法的数据结果指令：v0 提供输入位，vd 保存低 SEW 位结果，输出位由 VMSBC 生成。
32 位 OP-V：opcode=1010111、funct6=010010、funct3=100（OPIVX）。固定 vm=0；vm=1 保留。
XLEN>SEW 取 x[rs1] 低 SEW 位；XLEN<SEW 符号扩展；x0 提供零。
vd 不可为 v0；v0 提供 EEW=1 借位时不能同时提供 SEW 数据。同宽源/目标可重叠。
要求 V 1.0、向量状态已启用、合法受支持 vtype/SEW。prestart 不变，tail 按 vta；vl=0 或 vstart≥vl 不更新目标。
向量执行上下文
vd/vs2 为 SEW/LMUL 向量组；rs1 选择整数标量，x0 恒为0。v0 固定提供借位，语法不使用 v0.t。
OPIVX：funct6=010010、funct3=100、opcode=1010111。标量按 XLEN/SEW 规则截断或符号扩展。
每个 body 元素写 lowSEW(vs2[i]−scalar−v0.mask[i])；vm=0 固定，vm=1、vd=v0 编码保留。v0 不能同时作 SEW 源。
要求 V 1.0、启用向量状态及合法 vtype。body 为 vstart≤i<vl，tail 按 vta；vl=0 或 vstart≥vl 不更新 vd。
常见使用场景
多精度减法
假定 V/VS 已启用、合法 m1、VLEN=4096、支持所需宽度、vl=4、vstart=0，源已初始化、XLEN=64。SEW=8, x5=1, v12=[0,1,255,7], v0.mask[0..3]=1010 → v8=[254,0,253,6]。所有 body 元素执行，tail 按 vta。vl=0 不更新目标。
大整数运算
假定 V/VS 已启用、合法 m1、VLEN=4096、支持所需宽度、vl=4、vstart=0，源已初始化、XLEN=64。SEW=8, x5=1, v12=[0,1,255,7], v0.mask[0..3]=1010 → v8=[254,0,253,6]。所有 body 元素执行，tail 按 vta。vl=0 不更新目标。
使用前检查清单
语法检查
- vd/vs2 为 SEW/LMUL 向量组；rs1 选择整数标量，x0 恒为0。v0 固定提供借位，语法不使用 v0.t。
- OPIVX：funct6=010010、funct3=100、opcode=1010111。标量按 XLEN/SEW 规则截断或符号扩展。
语义检查
- 每个 body 元素写 lowSEW(vs2[i]−scalar−v0.mask[i])；vm=0 固定，vm=1、vd=v0 编码保留。v0 不能同时作 SEW 源。
- 要求 V 1.0、启用向量状态及合法 vtype。body 为 vstart≤i<vl，tail 按 vta；vl=0 或 vstart≥vl 不更新 vd。
容易混淆 / 常见误区
v0 在 VSBC.VXM 中是 borrow-in 算术输入，不是普通 masked execution 的元素开关。
VSBC 只写 低 SEW 位差值，不会写出借位掩码；需要 VMSBC。
VSBC 的 vd 不能编码为 v0；v0 已固定作为 borrow-in 输入。
常见问题
VSBC.VXM 写什么结果？
它写 低 SEW 位差值；borrow-out 由 VMSBC 生成。