先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VMSOF.M
RISC-V VMSOF.M 指令详解
指令手册R-type只把第一个 active set mask bit 的位置置 1
指令语法
vmsof.m vd, vs2, vm
操作数说明
vd：掩码目标寄存器，每个元素产生一位布尔结果。
vs2/vs1 或标量源：按当前 SEW 参与比较。
vm：vm=0 使用 v0 限制参与比较的元素，vm=1 为未掩码。
V向量掩码操作
指令行为说明
VMSOF.M 扫描 vs2 源掩码，找到第一个 active 且为 1 的元素，并只把该 first 位置写为 1；其它 active 位置写为 0。
VMSOF.M 指令解析与执行动画
从 OP-V 编码字段开始，展示 VMSOF.M 如何只把第一个 active set bit 的位置置 1。
输入的指令
vmsof.m
OP-V encodingfunct6 | vm | vs2 | vs1=00010 | funct3 | vd | opcode
funct6
010100
vm
0
vs2
01000
vs1
00010
funct3
010
vd
00100
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
0
off
1
0
0
0
off
0
0
0
0
off
0
0
0
0
v4
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
当前步骤
显示 OP-V 32 位编码字段
vmsof.m 使用 OP-V 编码；vs1 字段固定为 00010，语法中没有 vs1 操作数。
动画只展示官方 V 扩展定义的 ISA 可见关系：OP-V 字段解析、vl 内 active mask bit 扫描、目标 mask bit 写回；不模拟流水线、缓存或执行时延。
快速理解与检索要点
VMSOF.M 生成单点 mask：只有最低编号 active set bit 的位置为 1。
源操作数 vs2 按 mask register layout 解释；每个元素只对应一个 mask bit，不按 SEW 读取整数元素。
只扫描当前 vl 范围内的 body 元素；vm=0 时，v0.t 为 0 的元素不参与 first 查找或计数。
官方说明要求这些指令在 vstart 非零时保留为非法指令异常；动画只展示 vstart=0 的正常路径。
目标 vd 是 mask 结果；VMSOF.M 只对 first active set bit 写 1，其它 active 位置写 0。
目标 mask 寄存器 vd 不得与源 vs2 重叠；masked 执行时 vd 也不得与 v0 重叠。
masked-off 目标元素不是确定的 0，实际值由当前 mask policy 决定；mask 结果的尾部元素按 tail-agnostic 处理。
向量执行上下文
阅读 VMSOF.M 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。后缀和操作数形式决定源操作数来自向量、标量还是立即数。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
循环终止条件
结合 «vmsof.m v1, v0» 等实际代码理解该场景。
数据依赖退出
结合 «vmsof.m v1, v0» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
vmsbf.m/vmsif.m/vmsof.m 在 first 位置的输出不同：before 不包含 first，including 包含 first，only 只保留 first。
目标 vd 不得与源 vs2 重叠；masked 执行时目标 vd 也不得与 v0 重叠。
vstart 非零会触发非法指令异常。
masked-off 目标元素不应被当成确定的 0；其值由当前 mask policy 决定，尾部元素按 tail-agnostic 处理。
常见问题
VMSOF.M 找不到 first 时结果是什么？
没有 active set bit 时，active 位置不会产生单点 1，动画结果全为 0。未活动和尾部位置仍受当前策略约束。