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

RISC-V VMSNE.VI 指令详解

指令手册OPIVI

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

指令语法

vmsne.vi vd, vs2, imm[, v0.t]
操作数说明
语法 vmsne.vi vd, vs2, imm[, v0.t];省略 v0.t 为 vm=1,给出为 vm=0。vd 是单个 mask 寄存器,bit i 对应元素 i,与 SEW/LMUL 无关。
32 位 OP-V:opcode=1010111、funct6=011001、funct3=011 (OPIVI)。
活动元素比较 vs2[i] != scalar,真写1,假写0。simm5 范围 -16..15,先符号扩展到 SEW,再按 SEW 位模式比较是否不等。
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.VI 是 V 扩展的整数比较指令。活动元素比较 vs2[i] != scalar,真写1,假写0。simm5 范围 -16..15,先符号扩展到 SEW,再按 SEW 位模式比较是否不等。vm=0 只处理 v0.t 开启的 body 元素;vm=1 为未掩码形式。结果是每元素一位的 mask。

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

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

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

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

立即数值
7 -> 7
5-bit signed imm 先符号扩展到 SEW

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

目的与 SEW 数据源合法重叠时强制 ma/ta;步骤仅为教学分解,不是处理器周期。

V-format integer compare encoding
31..26
funct6
011001
25
vm
1
24..20
vs2
v8
19..15
imm
00111 (7)
14..12
funct3
011
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
!=
!=
!=
!=
!=
!=
!=
!=
!=
imm
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.vi vd, vs2, imm[, v0.t];省略 v0.t 为 vm=1,给出为 vm=0。vd 是单个 mask 寄存器,bit i 对应元素 i,与 SEW/LMUL 无关。
32 位 OP-V:opcode=1010111、funct6=011001、funct3=011 (OPIVI)。
活动元素比较 vs2[i] != scalar,真写1,假写0。simm5 范围 -16..15,先符号扩展到 SEW,再按 SEW 位模式比较是否不等。
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.vi vd, vs2, imm[, v0.t];省略 v0.t 为 vm=1,给出为 vm=0。vd 是单个 mask 寄存器,bit i 对应元素 i,与 SEW/LMUL 无关。

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

活动元素比较 vs2[i] != scalar,真写1,假写0。simm5 范围 -16..15,先符号扩展到 SEW,再按 SEW 位模式比较是否不等。

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], imm=0 → v1.mask[0..3]=[0,1,1,1]。只确定活动 mask bit;tail 恒 agnostic,不假定清零。

谓词掩码

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

使用前检查清单

语法检查
  • 语法 vmsne.vi vd, vs2, imm[, v0.t];省略 v0.t 为 vm=1,给出为 vm=0。vd 是单个 mask 寄存器,bit i 对应元素 i,与 SEW/LMUL 无关。
  • 32 位 OP-V:opcode=1010111、funct6=011001、funct3=011 (OPIVI)。
语义检查
  • 活动元素比较 vs2[i] != scalar,真写1,假写0。simm5 范围 -16..15,先符号扩展到 SEW,再按 SEW 位模式比较是否不等。
  • 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。

容易混淆 / 常见误区

simm5 范围 -16..15,先符号扩展到 SEW,再按 SEW 位模式比较是否不等。
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。simm5 范围 -16..15,先符号扩展到 SEW,再按 SEW 位模式比较是否不等。

目标与源可以重叠吗?

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