先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VFIRST.M
RISC-V VFIRST.M 指令详解
指令手册R-type查找最低编号 active set mask bit 并写入整数 rd
指令语法
vfirst.m rd, vs2, vm
操作数说明
vd：目标向量寄存器组。
vs2/vs1 或标量源：按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm：若语法包含 vm，vm=0 使用 v0 作为执行掩码，vm=1 为未掩码。
V向量运算掩码操作
指令行为说明
VFIRST.M 在 vs2 源掩码中查找最低编号 active 且为 1 的元素，将该元素索引写入整数寄存器 rd；若没有找到，则写入 -1。
VFIRST.M 指令解析与执行动画
从 OP-V 编码字段开始，展示 VFIRST.M 如何寻找最低编号 active set bit；没有找到时写 -1。
输入的指令
vfirst.m
OP-V encodingfunct6 | vm | vs2 | vs1=10001 | funct3 | rd | opcode
funct6
010000
vm
0
vs2
01000
vs1
10001
funct3
010
rd
01010
opcode
1010111
lane
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
v8
0
0
1
0
1
0
1
0
0
1
0
0
1
0
0
1
v0.t
1
0
1
1
1
1
0
1
1
1
1
0
1
1
1
1
scan
-
off
first
-
-
-
off
-
-
-
-
off
-
-
-
-
x10
...
当前步骤
显示 OP-V 32 位编码字段
vfirst.m 使用 OP-V 编码；vs1 字段固定为 10001，语法中没有 vs1 操作数。
动画只展示官方 V 扩展定义的 ISA 可见关系：OP-V 字段解析、vl 内 active mask bit 扫描、整数 rd 写回；不模拟流水线、缓存或执行时延。
快速理解与检索要点
VFIRST.M 是 mask 到标量查找指令：结果是最低编号 active set bit 的元素索引，没找到时为 -1。
源操作数 vs2 按 mask register layout 解释；每个元素只对应一个 mask bit，不按 SEW 读取整数元素。
只扫描当前 vl 范围内的 body 元素；vm=0 时，v0.t 为 0 的元素不参与 first 查找或计数。
官方说明要求这些指令在 vstart 非零时保留为非法指令异常；动画只展示 vstart=0 的正常路径。
结果写入标量整数寄存器 rd；若 active 元素中没有 1，结果为 -1。
向量执行上下文
阅读 VFIRST.M 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。后缀和操作数形式决定源操作数来自向量、标量还是立即数。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
条件循环控制
结合 «vsetvli t0, a0, e32, m1, ta, ma vmseq.vv v0, v8, v9 vfirst.m a0, v0» 等实际代码理解该场景。
掩码遍历
结合 «vsetvli t0, a0, e32, m1, ta, ma vmseq.vv v0, v8, v9 vfirst.m a0, v0» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
结果写入rd（x寄存器），非向量寄存器。vs2为掩码源（不限v0）。无匹配返回-1。
常见问题
VFIRST.M 找不到置位 bit 时返回什么？
返回 -1，写入整数寄存器 rd。
VFIRST.M 会把 inactive 的 1 当成 first 吗？
不会。vm=0 时 v0.t 为 0 的位置不参与扫描，即使 vs2 bit 为 1 也不能成为结果。