先看 vl
body 元素满足 vstart ≤ i < vl；vstart≥vl 时不更新目标。先设置受支持的 vl 和 vtype，并为源寄存器及 v0 提供初值。
VASUB.VV
RISC-V VASUB.VV 指令详解
指令手册OPMVVVASUB.VV 对活动元素执行有符号平均减，按 vxrm 舍入后写回 SEW 位结果。
指令语法
vasub.vv vd, vs2, vs1[, v0.t]
操作数说明
vd、vs2 为 SEW 宽向量寄存器组；同 EEW 目的/源可重叠，同名源读取相同初值。
vs1 提供对应 lane 的第二个 SEW 位向量源。
需要 V 和受支持的 vtype。活动 body 满足 vstart≤i<vl 且（vm=1 或 v0.mask[i]=1）；vstart≥vl 时目标不更新。
省略掩码表示 vm=1，v0.t 表示 vm=0。inactive/tail 遵循 vma/vta；masked vd 不得覆盖 v0，v0 不得同时以 EEW=1 与 SEW 读取。
V向量运算定点算术
指令行为说明
需要 V 和受支持的 vtype。活动元素计算 roundoff_signed(signed(vs2[i]) - signed(vs1[i]), 1)，保留低 SEW 位。vs1[i] 提供第二个 SEW 位源。body 满足 vstart≤i<vl；vm=0 由 v0.t 选择，省略掩码为 vm=1。关闭元素和尾元素遵循 vma/vta。
VASUB.VV 指令解析与执行动画
从 OP-V 编码字段开始，展示 VASUB 如何按无限精度差值执行平均减，用 vxrm 舍入后再写回 SEW 宽 vd；最终溢出结果按规范回绕。
输入的指令
vasub.vv
要求合法 vtype、已启用 VS 与受支持 SEW；VL=0 时包括 tail 在内均不更新。步骤仅为教学分解，不是处理器周期。
执行环境
教学模型固定 LMUL=m1、vstart=0，只展示所选 VL 的 body 元素。固定 VLEN=4096，VLMAX=4096/16=256，只演示支持所选 SEW 的实现；同名向量源必须具有相同元素。普通掩码形式的 inactive 与 tail 元素按 vtype.vma/vta 处理，不在结果行中伪造确定值；VADC/VMADC/VSBC/VMSBC 则对所有 body 元素执行，v0 位仅作 carry/borrow-in。
OP-V encodingvasub.vv
funct6
001011
vm
0
vs2
01000
vs1
01100
funct3
010
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x0021
0xfff8
0x0080
0x00f1
0xffef
0x00fe
0x0021
0xffe6
avg-
avg-
avg-
avg-
avg-
avg-
avg-
avg-
v12
0x0005
0x0041
0x0090
0x0002
0x007f
0x0013
0x0005
0x0041
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤
显示 OP-V 32 位编码字段
vasub.vv 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 vs1 字段放在同一条编码带中。
动画只展示官方 V 扩展定义的 ISA 可见关系：OP-V 字段解析、活动元素读取、SEW 宽度整数有符号平均减法、vxrm 定点舍入和 vd 写回；不模拟流水线、缓存或执行时延。
快速理解与检索要点
roundoff_signed(signed(vs2[i]) - signed(vs1[i]), 1)；先求无限精度有符号差，再按 vxrm 舍入；最终溢出回绕。
32 位 OP-V：opcode=1010111，funct6=001011，funct3=010（OPMVV）。
活动 body 为 vstart≤i<vl 且（未掩码或 v0.mask[i]=1）；vstart≥vl 时目标不更新。
vxrm：rnu 就近向上、rne 就近偶数、rdn 向下、rod 舍入到奇数；使用 (差值 >> 1) + r。
向量执行上下文
阅读 VASUB.VV 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vv：两个向量源逐元素参与运算。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
vm=0 时 v0.t 选择活动 body 元素；省略掩码操作数表示 vm=1、未掩码。关闭元素和尾元素遵循当前 vma/vta。
常见使用场景
定点平均减与 vxrm 舍入
假定 V 与 e8,m1 可用，x10=4 使 vl=4，vstart=0，各源 lane 初值 vs2=127, vs1=128, vxrm=rne，v0 按 lane 0..3 为 1010。vsetvli x5, x10, e8, m1, ta, ma vasub.vv v4, v8, v12, v0.t 得到 [128,policy,128,policy]；policy 遵循 vma，尾元素遵循 vta。127-(-128)=255；rne 将 127.5 舍入为 128，按 8 位回绕为 -128（0x80）。
使用前检查清单
语法检查
- vd、vs2 为 SEW 宽向量寄存器组；同 EEW 目的/源可重叠，同名源读取相同初值。
- vs1 提供对应 lane 的第二个 SEW 位向量源。
语义检查
- 需要 V 和受支持的 vtype。活动 body 满足 vstart≤i<vl 且（vm=1 或 v0.mask[i]=1）；vstart≥vl 时目标不更新。
- 省略掩码表示 vm=1，v0.t 表示 vm=0。inactive/tail 遵循 vma/vta；masked vd 不得覆盖 v0，v0 不得同时以 EEW=1 与 SEW 读取。
容易混淆 / 常见误区
先以无限精度求有符号差，再右移 1 位并按 vxrm 舍入；不是先按 SEW 截断差值。
rnu/rne 下最大正数减最小负数可在舍入后溢出并回绕；不饱和，不设置 vxsat。
masked vd 不得覆盖 v0；v0 不得同时作为 EEW=1 掩码和 SEW 数据源。
常见问题
VASUB.VV 如何处理关闭元素？
遵循 vma：保持旧值或允许 agnostic；不是固定清零。尾元素遵循 vta。
VASUB.VV 会饱和吗？
不会；只保留低 SEW 位，不设置 vxsat。