首页/指令库/VMSNE-VX
VMSNE.VX

RISC-V VMSNE.VX 指令详解

指令手册OPIVX

VMSNE.VX 逐元素执行不等比较,并把活动元素的布尔结果写入目标 mask。

指令语法

vmsne.vx vd, vs2, rs1[, v0.t]
操作数说明
语法 vmsne.vx vd, vs2, rs1[, v0.t];省略 v0.t 为 vm=1,给出为 vm=0。vd 是单个 mask 寄存器,bit i 对应元素 i,与 SEW/LMUL 无关。
32 位 OP-V:opcode=1010111、funct6=011001、funct3=100 (OPIVX)。
活动元素比较 vs2[i] != scalar,真写1,假写0。XLEN>SEW 时取 x[rs1] 低 SEW 位,XLEN<SEW 时先符号扩展;x0 恒为0。
vd 可为 v0;目的与数据源重叠须从源组最低寄存器开始,并强制 ma/ta。vm=0 时 v0 不可同时按 SEW 作为数据源读取。
需 RV32/RV64 V 1.0、VS 已启用、合法 vtype、受支持 SEW。body 为 vstart≤i<vl,prestart 不变。inactive 按 vma;mask tail 恒 agnostic。vl=0 不更新任何目标位,包括 tail。
V向量整数运算比较

指令行为说明

VMSNE.VX 是 V 扩展的整数比较指令。活动元素比较 vs2[i] != scalar,真写1,假写0。XLEN>SEW 时取 x[rs1] 低 SEW 位,XLEN<SEW 时先符号扩展;x0 恒为0。vm=0 只处理 v0.t 开启的 body 元素;vm=1 为未掩码形式。结果是每元素一位的 mask。

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

从 OP-V 编码开始,展示 integer not equal with scalar 比较如何读取活动元素并生成每元素一位的 predicate mask。

输入的指令
vmsne.vx
执行环境

固定合法教学上下文:VLEN=4096 bits、LMUL=m1、vstart=0;所选 VL 均不超过当前 SEW 的 VLMAX=128。

要求合法 vtype、VS 已启用与受支持 SEW。目标可为 v0;LMUL=m1 时也可与数据源同名。同名数据源必须提供相同元素;v0.t 下 v0 不可同时按 SEW 作为数据源读取。结果 tail 始终 agnostic,masked-off 值按 vma 处理;VL=0 时包括 tail 在内均不更新。

目的与 SEW 数据源重叠时强制 ma/ta;x0/zero 恒为 0。切换 XLEN 时有效原始位模式保留低位并补零至新宽度。步骤仅为教学分解,不是处理器周期。

V-format integer compare encoding
31..26
funct6
011001
25
vm
1
24..20
vs2
v8
19..15
rs1
x11
14..12
funct3
100
11..7
vd
v0
6..0
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
3
2
7
7
0
12
5
9
!=
!=
!=
!=
!=
!=
!=
!=
!=
x11
7
7
7
7
7
7
7
7
active
1
1
1
1
1
1
1
1
v0
-
-
-
-
-
-
-
-

本动画只展示 ISA 可见的比较、执行掩码和目标 mask 写回关系,并固定 vstart=0;未活动元素和尾部元素不在这里模拟为确定数据值。对于 .vx,当前可选 SEW (8/16/32) 不大于 XLEN,模型先从 x[rs1] 取低 SEW 位再按本指令的 signed/unsigned 关系解释。

快速理解与检索要点

活动元素比较 vs2[i] != scalar,真写1,假写0。结果为 mask 位,不是 SEW 宽整数。

语法 vmsne.vx vd, vs2, rs1[, v0.t];省略 v0.t 为 vm=1,给出为 vm=0。vd 是单个 mask 寄存器,bit i 对应元素 i,与 SEW/LMUL 无关。
32 位 OP-V:opcode=1010111、funct6=011001、funct3=100 (OPIVX)。
活动元素比较 vs2[i] != scalar,真写1,假写0。XLEN>SEW 时取 x[rs1] 低 SEW 位,XLEN<SEW 时先符号扩展;x0 恒为0。
vd 可为 v0;目的与数据源重叠须从源组最低寄存器开始,并强制 ma/ta。vm=0 时 v0 不可同时按 SEW 作为数据源读取。
需 RV32/RV64 V 1.0、VS 已启用、合法 vtype、受支持 SEW。body 为 vstart≤i<vl,prestart 不变。inactive 按 vma;mask tail 恒 agnostic。vl=0 不更新任何目标位,包括 tail。

向量执行上下文

语法 vmsne.vx vd, vs2, rs1[, v0.t];省略 v0.t 为 vm=1,给出为 vm=0。vd 是单个 mask 寄存器,bit i 对应元素 i,与 SEW/LMUL 无关。

32 位 OP-V:opcode=1010111、funct6=011001、funct3=100 (OPIVX)。

活动元素比较 vs2[i] != scalar,真写1,假写0。XLEN>SEW 时取 x[rs1] 低 SEW 位,XLEN<SEW 时先符号扩展;x0 恒为0。

vd 可为 v0;目的与数据源重叠须从源组最低寄存器开始,并强制 ma/ta。vm=0 时 v0 不可同时按 SEW 作为数据源读取。

需 RV32/RV64 V 1.0、VS 已启用、合法 vtype、受支持 SEW。body 为 vstart≤i<vl,prestart 不变。inactive 按 vma;mask tail 恒 agnostic。vl=0 不更新任何目标位,包括 tail。

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

常见使用场景

整数比较

假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0,源已初始化,示例未掩码。v2=[0,2,7,9], x11=7 → v1.mask[0..3]=[1,1,0,1]。只确定活动 mask bit;tail 恒 agnostic,不假定清零。

谓词掩码

假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0,源已初始化,示例未掩码。v2=[0,2,7,9], x11=7 → v1.mask[0..3]=[1,1,0,1]。只确定活动 mask bit;tail 恒 agnostic,不假定清零。

使用前检查清单

语法检查
  • 语法 vmsne.vx vd, vs2, rs1[, v0.t];省略 v0.t 为 vm=1,给出为 vm=0。vd 是单个 mask 寄存器,bit i 对应元素 i,与 SEW/LMUL 无关。
  • 32 位 OP-V:opcode=1010111、funct6=011001、funct3=100 (OPIVX)。
语义检查
  • 活动元素比较 vs2[i] != scalar,真写1,假写0。XLEN>SEW 时取 x[rs1] 低 SEW 位,XLEN<SEW 时先符号扩展;x0 恒为0。
  • vd 可为 v0;目的与数据源重叠须从源组最低寄存器开始,并强制 ma/ta。vm=0 时 v0 不可同时按 SEW 作为数据源读取。
  • 需 RV32/RV64 V 1.0、VS 已启用、合法 vtype、受支持 SEW。body 为 vstart≤i<vl,prestart 不变。inactive 按 vma;mask tail 恒 agnostic。vl=0 不更新任何目标位,包括 tail。

容易混淆 / 常见误区

XLEN>SEW 时取 x[rs1] 低 SEW 位,XLEN<SEW 时先符号扩展;x0 恒为0。
vd 可为 v0;目的与数据源重叠须从源组最低寄存器开始,并强制 ma/ta。vm=0 时 v0 不可同时按 SEW 作为数据源读取。
需 RV32/RV64 V 1.0、VS 已启用、合法 vtype、受支持 SEW。body 为 vstart≤i<vl,prestart 不变。inactive 按 vma;mask tail 恒 agnostic。vl=0 不更新任何目标位,包括 tail。

常见问题

操作数如何比较?

活动元素比较 vs2[i] != scalar,真写1,假写0。XLEN>SEW 时取 x[rs1] 低 SEW 位,XLEN<SEW 时先符号扩展;x0 恒为0。

目标与源可以重叠吗?

vd 可为 v0;目的与数据源重叠须从源组最低寄存器开始,并强制 ma/ta。vm=0 时 v0 不可同时按 SEW 作为数据源读取。