VMSBF.M 是否包含 first 位置？
不包含。首个活动置位源元素之前的活动目标位为 1，首个及其后的活动目标位为 0；没有活动源置位时，所有活动目标位为 1。
VMSBF.M
RISC-V VMSBF.M 指令详解
指令手册OPMVV把首个活动置位源元素之前的活动目标位写 1，其余活动目标位写 0。
指令语法
vmsbf.m vd, vs2[, v0.t]
操作数说明
语法 vmsbf.m vd, vs2[, v0.t]；vs2 与 vd 均为单个 mask 寄存器，bit i 对应元素 i。
32 位 OP-V：opcode=1010111、funct6=010100、funct3=010 (OPMVV)，vs1 字段固定 00001。省略 v0.t 为 vm=1；给出为 vm=0。
只搜索活动源位；首个活动置位源元素之前的活动目标位为1，首个及之后为0。未找到时全部活动目标位为1。vstart 必须为0，非零引发非法指令异常，陷阱报告 vstart=0。
vd 不得与 vs2 重叠；vm=0 时 vd 也不得为 v0。vs2=v0 合法，但源位与执行掩码必须一致。
需 RV32/RV64 V 1.0、合法 vtype、VS 已启用及受支持 SEW；vstart=0。inactive 按 vma，mask tail 始终 agnostic。VL=0 不更新任何目标（含 tail）；动画只展示固定合法配置的 body，步骤不是处理器周期。
V向量掩码操作
指令行为说明
VMSBF.M 在当前 vl 内扫描 vs2 的活动掩码位，把首个活动置位源元素之前的活动目标位写为 1，首个及之后的活动目标位写为 0。若活动源元素全部为 0，则所有活动目标位写 1；未活动位按 mask policy 处理。
VMSBF.M 指令解析与执行动画
从 OP-V 编码字段开始，展示 VMSBF.M 如何把第一个 active set bit 之前的位置置 1。
输入的指令
vmsbf.m
vstart0VMSBF.M 要求 vstart=0；非零值触发非法指令异常，且陷阱报告 vstart=0
教学模型固定 vstart=0。VMSBF.M 的 vstart 非零会触发非法指令异常，因此不展示普通非零 vstart 执行路径。
教学环境：SEW=8、LMUL=m1、VLEN=4096、VLMAX=512、vstart=0、合法 vtype、VS 已启用；只展示 body。无活动源置位时，所有活动结果位为 1。x 表示未固定的 masked-off 值；目的 tail 始终 agnostic，VL=0 时包括 tail 在内均不更新。vm=0 且 vs2=v0 时源位与执行掩码必须一致。
OP-V encodingfunct6 | vm | vs2 | vs1=00001 | funct3 | vd | opcode
funct6
010100
vm
0
vs2
01000
vs1
00001
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
1
off
0
0
0
0
off
0
0
0
0
off
0
0
0
0
v4
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
当前步骤
显示 OP-V 32 位编码字段
vmsbf.m 使用 OP-V 编码；vs1 字段固定为 00001，语法中没有 vs1 操作数。
动画只展示官方 V 扩展定义的 ISA 可见关系：OP-V 字段解析、vl 内 active mask bit 扫描、目标 mask bit 写回；不模拟流水线、缓存或执行时延。
快速理解与检索要点
VMSBF.M 生成“first 之前”的前缀 mask：first 本身不置 1。
源操作数 vs2 按 mask register layout 解释；每个元素只对应一个 mask bit，不按 SEW 读取整数元素。
只扫描当前 vl 范围内的 body 元素；vm=0 时，v0.t 为 0 的元素不参与首次置位位搜索。
官方说明要求 vmsbf.m 在 vstart 非零时触发非法指令异常；动画只展示 vstart=0 的正常路径。
目标 vd 是 mask 结果；VMSBF.M 对 first 之前的 active 位置写 1，对 first 及之后写 0。
目标 mask 寄存器 vd 不得与源 vs2 重叠；masked 执行时 vd 也不得与 v0 重叠。
masked-off 目标元素不是确定的 0，实际值由当前 mask policy 决定；mask 结果的尾部元素按 tail-agnostic 处理。
若没有活动源置位位，所有活动目标位写 1；VL=0 时包括 tail 在内不更新任何目标位。
向量执行上下文
语法 vmsbf.m vd, vs2[, v0.t]；vs2 与 vd 均为单个 mask 寄存器，bit i 对应元素 i。
32 位 OP-V：opcode=1010111、funct6=010100、funct3=010 (OPMVV)，vs1 字段固定 00001。省略 v0.t 为 vm=1；给出为 vm=0。
只搜索活动源位；首个活动置位源元素之前的活动目标位为1，首个及之后为0。未找到时全部活动目标位为1。vstart 必须为0，非零引发非法指令异常，陷阱报告 vstart=0。
vd 不得与 vs2 重叠；vm=0 时 vd 也不得为 v0。vs2=v0 合法，但源位与执行掩码必须一致。
需 RV32/RV64 V 1.0、合法 vtype、VS 已启用及受支持 SEW；vstart=0。inactive 按 vma，mask tail 始终 agnostic。VL=0 不更新任何目标（含 tail）；动画只展示固定合法配置的 body，步骤不是处理器周期。
常见使用场景
循环终止条件
假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0，源已初始化；示例未掩码。v0.mask[0..3]=[0,0,1,0] → v1.mask[0..3]=[1,1,0,0]。只写 mask bit，tail 始终 agnostic，不假定清零。
数据依赖退出
假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0，源已初始化；示例未掩码。v0.mask[0..3]=[0,0,1,0] → v1.mask[0..3]=[1,1,0,0]。只写 mask bit，tail 始终 agnostic，不假定清零。
使用前检查清单
语法检查
- 语法 vmsbf.m vd, vs2[, v0.t]；vs2 与 vd 均为单个 mask 寄存器，bit i 对应元素 i。
- 32 位 OP-V：opcode=1010111、funct6=010100、funct3=010 (OPMVV)，vs1 字段固定 00001。省略 v0.t 为 vm=1；给出为 vm=0。
语义检查
- 只搜索活动源位；首个活动置位源元素之前的活动目标位为1，首个及之后为0。未找到时全部活动目标位为1。vstart 必须为0，非零引发非法指令异常，陷阱报告 vstart=0。
- vd 不得与 vs2 重叠；vm=0 时 vd 也不得为 v0。vs2=v0 合法，但源位与执行掩码必须一致。
- 需 RV32/RV64 V 1.0、合法 vtype、VS 已启用及受支持 SEW；vstart=0。inactive 按 vma，mask tail 始终 agnostic。VL=0 不更新任何目标（含 tail）；动画只展示固定合法配置的 body，步骤不是处理器周期。
容易混淆 / 常见误区
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 处理。