VIOTA.M 会把当前 lane 的 vs2 bit 计入结果吗？
不计入。lane i 只统计索引小于 i 的 active set bits，因此第一个活动元素的结果是 0。
VIOTA.M
RISC-V VIOTA.M 指令详解
指令手册OPMVV对源 mask 中当前元素之前的 active 置位 bit 做前缀计数，并把计数写入整数向量 vd。
指令语法
viota.m vd, vs2, vm
操作数说明
vd 是 SEW 宽整数向量组，vs2 是单个 mask 寄存器；每个元素对应一个 bit。vd 不能与 vs2 重叠，masked vd 也不能与 v0 重叠。
语法为 viota.m vd, vs2[, v0.t]；省略 v0.t 表示 vm=1，给出 v0.t 表示 vm=0。vs2=v0 时源和执行掩码必须是同一组 bit。
活动元素 i 写入索引小于 i 的已启用 vs2 置位 bit 数，不含当前 bit；结果零扩展到 SEW，溢出时仅保留低 SEW 位。
需要启用 V、合法 vtype 且 vstart=0；非零 vstart 触发非法指令异常。陷入按 vstart=0 报告，恢复后从开头执行。VL=0 不更新目标；inactive/tail 按 vma/vta 处理。
V向量重排/索引掩码操作
指令行为说明
VIOTA.M 是 RISC-V V 扩展的 mask iota 指令。对每个活动 body 元素 i，它统计索引小于 i 且参与执行的 vs2 mask 置位 bit 数量，并把前缀计数写入 vd[i]。可配合 indexed store 构造向量压缩。
VIOTA.M 指令解析与执行动画
从 OP-V 编码字段开始，展示 VIOTA.M 如何把每个 active lane 之前的 active set bit 数写入整数向量。
输入的指令
viota.m
执行环境
vstart0VIOTA.M 要求 vstart=0；非零值会触发非法指令异常
教学模型固定 vstart=0。VIOTA.M 的非零 vstart 会触发非法指令异常；陷入处理返回后从开头重新执行。结果在 SEW 较宽时零扩展，计数超过 SEW 时只保留低 SEW 位。
教学环境：SEW=32、LMUL=m1、VLEN=4096、VLMAX=128、vstart=0、合法 vtype、VS 已启用、ta/ma。最多显示 64 个元素，前缀计数不超过 63，无 SEW 截断。x 表示 masked-off 目标，允许保留旧值或写全 1；tail 同样按 ta 处理。VL=0 不更新任何目标元素（含 tail）；正常完成后 vstart=0。
OP-V encodingfunct6 | vm | vs2 | vs1=10000 | funct3 | vd | opcode
funct6
010100
vm
0
vs2
01000
vs1
10000
funct3
010
vd
01100
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
0
1
1
2
off
2
2
2
3
off
3
4
4
4
v12
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
当前步骤
显示 OP-V 32 位编码字段
viota.m 使用 OP-V 编码；vs1 字段固定为 10000，语法中没有 vs1 操作数。
动画只展示官方 V 扩展定义的 ISA 可见关系：OP-V 字段解析、vl 内 active mask bit 扫描、目标整数向量写回；不模拟流水线、缓存或执行时延。
快速理解与检索要点
VIOTA.M 把 mask 中“我前面有多少个被选中的 1”变成每个 active lane 的整数索引，当前 lane 自己不计入。
官方语法为 `viota.m vd, vs2, vm`；OP-V VMUNARY0 编码使用 `funct6=010100`、`funct3=010`、`vs1=10000`，vs2 提供源 mask bit。
对 active body 元素 i，结果是索引小于 i 且 active 的 vs2 置位 bit 数量；当前元素自身不加入本 lane 计数。
vm=0 时 v0.t 同时决定哪些元素参与执行；v0.t=0 的元素不增加后续 lane 的前缀计数。
目标 vd 写入 SEW 宽整数结果；若计数超出 SEW 表示范围，只保留低 SEW 位。
vstart 必须为 0；正常执行后复位为 0。VL=0 不更新任何目标元素。masked-off 与 tail 分别按 vma/vta 处理，不能用确定的 0 代替。
向量执行上下文
vd 是 SEW 宽整数向量组，vs2 是单个 mask 寄存器；每个元素对应一个 bit。vd 不能与 vs2 重叠，masked vd 也不能与 v0 重叠。
语法为 viota.m vd, vs2[, v0.t]；省略 v0.t 表示 vm=1，给出 v0.t 表示 vm=0。vs2=v0 时源和执行掩码必须是同一组 bit。
活动元素 i 写入索引小于 i 的已启用 vs2 置位 bit 数，不含当前 bit；结果零扩展到 SEW，溢出时仅保留低 SEW 位。
需要启用 V、合法 vtype 且 vstart=0；非零 vstart 触发非法指令异常。陷入按 vstart=0 报告，恢复后从开头执行。VL=0 不更新目标；inactive/tail 按 vma/vta 处理。
常见使用场景
稀疏数据索引
假定 V/VS 已启用、合法 e32,m1、VLMAX≥4、AVL=4，vsetvli 后 vl=4、vstart=0、ta/ma，目标不与源掩码重叠。按已启用的前置置位 bit 计数：vs2 bits=[1,0,1,1], v0=[1,0,1,1] → vd=[0,agnostic,1,2]。agnostic 可保留旧值或写全 1；不保证清零。
压缩辅助
假定 V/VS 已启用、合法 e32,m1、VLMAX≥4、AVL=4，vsetvli 后 vl=4、vstart=0、ta/ma，目标不与源掩码重叠。按已启用的前置置位 bit 计数：vs2 bits=[1,0,1,1], v0=[1,0,1,1] → vd=[0,agnostic,1,2]。agnostic 可保留旧值或写全 1；不保证清零。
条件收集
假定 V/VS 已启用、合法 e32,m1、VLMAX≥4、AVL=4，vsetvli 后 vl=4、vstart=0、ta/ma，目标不与源掩码重叠。按已启用的前置置位 bit 计数：vs2 bits=[1,0,1,1], v0=[1,0,1,1] → vd=[0,agnostic,1,2]。agnostic 可保留旧值或写全 1；不保证清零。
使用前检查清单
语法检查
- vd 是 SEW 宽整数向量组，vs2 是单个 mask 寄存器；每个元素对应一个 bit。vd 不能与 vs2 重叠，masked vd 也不能与 v0 重叠。
- 语法为 viota.m vd, vs2[, v0.t]；省略 v0.t 表示 vm=1，给出 v0.t 表示 vm=0。vs2=v0 时源和执行掩码必须是同一组 bit。
语义检查
- 活动元素 i 写入索引小于 i 的已启用 vs2 置位 bit 数，不含当前 bit；结果零扩展到 SEW，溢出时仅保留低 SEW 位。
- 需要启用 V、合法 vtype 且 vstart=0；非零 vstart 触发非法指令异常。陷入按 vstart=0 报告，恢复后从开头执行。VL=0 不更新目标；inactive/tail 按 vma/vta 处理。
容易混淆 / 常见误区
vs2 是 mask register 的 bit 视图，不是 SEW 宽普通整数向量；输出 vd 才是 SEW 宽整数向量。
计数范围是当前 lane 之前的参与元素，包含索引小于 i 的 active set bits，不包含当前 lane 自己。
vm=0 时 v0.t=0 的元素不参与前缀计数，目标按 mask policy 处理；mu 保留旧值，ma 允许保留旧值或写全 1。
如果前缀计数不能用当前 SEW 表示，结果按低 SEW 位写入；通常应选择足以容纳 vl 内计数的 SEW。
当目标 vd 与源 vs2 重叠，或者 masked 执行时 vd 与 v0 重叠，属于规范保留形式；示例和动画避免这些组合。
vstart 必须为 0；非零值触发非法指令异常。其他陷入以 vstart=0 报告，恢复时从开头执行。
常见问题
VIOTA.M 的输出还是 mask 吗？
不是。vs2 是 mask bit 输入，但 vd 是整数向量结果，每个 active 元素写入 SEW 宽前缀计数。
v0.t 关闭的 lane 会影响后续前缀计数吗？
不会。vm=0 时只有 v0.t=1 的元素参与 iota 计数和写回；关闭的 lane 不增加后续 lane 的计数。