VAND.VX

RISC-V VAND.VX 指令详解

指令手册OPIVX

VAND.VX 对活动元素执行SEW 位按位与,写普通向量元素。

指令语法

vand.vx vd, vs2, rs1[, v0.t]
操作数说明
vd、vs2 为 SEW 宽向量寄存器组;同 EEW 目的/源可重叠,同名源读取相同初值。
rs1 为 x 寄存器:XLEN>SEW 取低 SEW 位,XLEN<SEW 符号扩展;x0 提供 0。
需要 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。活动元素计算 vs2[i] & 第二源,保留低 SEW 位。x[rs1] 在 XLEN>SEW 时取低 SEW 位,在 XLEN<SEW 时符号扩展;x0 提供 0。body 满足 vstart≤i<vl;vm=0 由 v0.t 选择,省略掩码为 vm=1。关闭元素和尾元素遵循 vma/vta。

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

从 OP-V 编码字段开始,展示 VAND 如何对活动元素执行 SEW 宽逐位 AND,并写回 vd。

输入的指令
vand.vx

要求合法 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 encodingvand.vx
funct6
001001
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 位编码字段

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

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

快速理解与检索要点

vs2[i] & 第二源;x[rs1] 在 XLEN>SEW 时取低 SEW 位,在 XLEN<SEW 时符号扩展;x0 提供 0。

32 位 OP-V:opcode=1010111,funct6=001001,funct3=100(OPIVX)。
活动 body 为 vstart≤i<vl 且(未掩码或 v0.mask[i]=1);vstart≥vl 时目标不更新。
同宽源/目的允许重叠;同名源必须读取相同初值。

向量执行上下文

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

先看 vl

body 元素满足 vstart ≤ i < vl;vstart≥vl 时不更新目标。先设置受支持的 vl 和 vtype,并为源寄存器及 v0 提供初值。

再看 vtype

当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy;这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。

最后看 vm/v0

vm=0 时 v0.t 选择活动 body 元素;省略掩码操作数表示 vm=1、未掩码。关闭元素和尾元素遵循当前 vma/vta。

The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — Version 20260120, Chapter 31

常见使用场景

逐元素保留或清除位

假定 V 与 e8,m1 可用,x10=4 使 vl=4,vstart=0,各源 lane 初值 vs2=255, x11=240,v0 按 lane 0..3 为 1010。vsetvli x5, x10, e8, m1, ta, ma vand.vx v4, v8, x11, v0.t 得到 [240,policy,240,policy];policy 遵循 vma,尾元素遵循 vta。

使用前检查清单

语法检查
  • vd、vs2 为 SEW 宽向量寄存器组;同 EEW 目的/源可重叠,同名源读取相同初值。
  • rs1 为 x 寄存器:XLEN>SEW 取低 SEW 位,XLEN<SEW 符号扩展;x0 提供 0。
语义检查
  • 需要 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 读取。

容易混淆 / 常见误区

x[rs1] 在 XLEN>SEW 时取低 SEW 位,在 XLEN<SEW 时符号扩展;x0 提供 0。
写普通向量数据,不是 .mm 掩码逻辑。
masked vd 不得覆盖 v0;v0 不得同时作为 EEW=1 掩码和 SEW 数据源。

常见问题

VAND.VX 如何处理关闭元素?

遵循 vma:保持旧值或允许 agnostic;不是固定清零。尾元素遵循 vta。

VAND.VX 会写掩码结果吗?

不会;结果是 SEW 位向量数据,.mm 指令处理掩码位。