先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VMSEQ.VV
RISC-V VMSEQ.VV 指令详解
指令手册OPIVVVMSEQ.VV 逐元素执行相等比较，并把活动元素的布尔结果写入目标 mask。
指令语法
vmseq.vv vd, vs2, vs1, vm
操作数说明
vd：掩码目标寄存器，每个元素产生一位布尔结果。
vs2/vs1 或标量源：按当前 SEW 参与比较。
vm：vm=0 使用 v0 限制参与比较的元素，vm=1 为未掩码。
V向量整数运算比较
指令行为说明
VMSEQ.VV 是 RISC-V V 扩展的向量-向量整数 predicate 生成指令。在当前 vl 的 body 元素内，它比较 vs2[i] 与 vs1[i]；vm=1 时所有 body 元素参与，vm=0 时仅 v0.t 选中的元素参与。结果写入 mask register 布局的 vd，每个元素索引一位；整数比较不会设置浮点异常标志。
VMSEQ.VV 指令解析与执行动画
从 OP-V 编码开始，展示 integer equal 比较如何读取活动元素并生成每元素一位的 predicate mask。
输入的指令
vmseq.vv
V-format integer compare encoding
31..26
funct6
011000
25
vm
1
24..20
vs2
v8
19..15
vs1
v12
14..12
funct3
000
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
==
==
==
==
==
==
==
==
==
v12
3
4
6
7
1
8
5
10
active
1
1
1
1
1
1
1
1
v0
-
-
-
-
-
-
-
-
本动画只展示 ISA 可见的比较、执行掩码和目标 mask 写回关系；未活动元素和尾部元素不在这里模拟为确定数据值。
快速理解与检索要点
VMSEQ.VV 不是写普通整数向量，而是把每个 active 元素的 相等 比较结果写成目标 mask 的一位。动画从 OP-V 编码字段开始，解析 向量-向量操作数，再展示逐 lane 比较和 vd.mask 写回。
核心语义是 vd.mask[i] = (vs2[i] == vs1[i])；只有 active body 元素生成新的目标 mask bit。
funct3 选择 OPIVV 操作数形式，funct6 选择 相等 比较关系，opcode=1010111 属于 OP-V。
vs2 与 vs1 都按当前 SEW 解释；比较结果仍是 one-bit-per-element mask。
vm=0 使用 v0.t 选择 active 元素，vm=1 为未掩码形式；tail 和 mask-off 元素不在动画中固定为具体数值。
向量执行上下文
阅读 VMSEQ.VV 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vv：两个向量源逐元素参与运算。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
生成谓词掩码
结合 «vmseq.vv v0, v8, v12 # generate mask bits for a[i] == b[i]» 等实际代码理解该场景。
条件执行
结合 «vmseq.vv v0, v8, v12 # generate mask bits for a[i] == b[i]» 等实际代码理解该场景。
范围检查
结合 «vmseq.vv v0, v8, v12 # generate mask bits for a[i] == b[i]» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 OPIVV。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
VMSEQ.VV 的目标 vd 是 mask register 布局，每个元素只产生 1 bit predicate，不是 SEW 宽整数结果。
vs2 和 vs1 都按当前 SEW 解释；signed/unsigned 只影响大小关系比较，不改变 mask 结果宽度。
vm=0 只选择 v0.t 为 1 的 body 元素生成新结果；mask-off 和 tail 元素不应被教学动画说成确定写入 0。
常见问题
VMSEQ.VV 的结果是什么格式？
结果写入 mask register 布局，每个 active 元素一位 predicate bit，不是 0/1 或 0/-1 的普通 SEW 宽向量元素。
vs1 和 vs2 如何参与比较？
每个 active 元素读取 vs2[i] 与 vs1[i]，按本指令的 signed、unsigned、相等或不等关系生成一位 mask 结果。
vm 与 v0.t 会改变比较关系吗？
不会。vm 只决定哪些 body 元素活动；活动元素仍按当前指令自己的比较关系生成 mask bit。