首页/指令库/VFIRST-M
VFIRST.M

RISC-V VFIRST.M 指令详解

指令手册V-type

查找最低编号 active set mask bit 并写入整数 rd

指令语法

vfirst.m rd, vs2, vm
操作数说明
rd 是整数 x0–x31 或 ABI 名称;vs2 是单个掩码寄存器 v0–v31,每个元素对应一个 bit,与 SEW/LMUL 无关。
vm 在汇编中是可选的 v0.t;省略表示 vm=1。vm=0 时只有 v0[i]=1 的元素参与查找。
在 i<vl 的活动元素中查找 vs2[i]=1 的最低索引;无匹配(包括 vl=0)向 rd 写 -1。rd=x0 丢弃写回。
要求 V、向量状态已启用及有效向量配置;vstart 必须为 0,非零触发非法指令,陷阱报告 vstart=0。
V向量运算掩码操作

指令行为说明

VFIRST.M 在 vs2 源掩码中查找最低编号 active 且为 1 的元素,将该元素索引写入整数寄存器 rd;若没有找到则写入 -1。即使 vl=0,仍会写入 -1;若 vstart 非零,指令触发非法指令异常。

VFIRST.M 指令解析与执行动画

从 OP-V 编码字段开始,展示 VFIRST.M 如何寻找最低编号 active set bit;没有找到时写 -1。

输入的指令
vfirst.m

教学模型固定 vstart=0。VFIRST.M 的 vstart 非零会触发非法指令异常;当 VL=0 时,正常路径仍向 rd 写入 -1。

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 查找。
官方说明要求 vfirst.m 在 vstart 非零时触发非法指令异常;动画只展示 vstart=0 的正常路径。
结果写入标量整数寄存器 rd;若 active 元素中没有 1,结果为 -1。

向量执行上下文

rd 是整数 x0–x31 或 ABI 名称;vs2 是单个掩码寄存器 v0–v31,每个元素对应一个 bit,与 SEW/LMUL 无关。

vm 在汇编中是可选的 v0.t;省略表示 vm=1。vm=0 时只有 v0[i]=1 的元素参与查找。

在 i<vl 的活动元素中查找 vs2[i]=1 的最低索引;无匹配(包括 vl=0)向 rd 写 -1。rd=x0 丢弃写回。

要求 V、向量状态已启用及有效向量配置;vstart 必须为 0,非零触发非法指令,陷阱报告 vstart=0。

The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — Version 20260120, Chapter 31

常见使用场景

掩码首个置位查找

假定 V/VS 已启用、e32,m1 可用、vstart=0、VLMAX≥4 且 a0=4,v8 按 lane 0..3 的位为 0101。示例未掩码,a1=1;若改用 v0.t 且 v0 位为 1011,则 a1=3;无活动置位或 vl=0 时为 -1。

活动匹配索引

假定 V/VS 已启用、e32,m1 可用、vstart=0、VLMAX≥4 且 a0=4,v8 按 lane 0..3 的位为 0101。示例未掩码,a1=1;若改用 v0.t 且 v0 位为 1011,则 a1=3;无活动置位或 vl=0 时为 -1。

使用前检查清单

语法检查
  • rd 是整数 x0–x31 或 ABI 名称;vs2 是单个掩码寄存器 v0–v31,每个元素对应一个 bit,与 SEW/LMUL 无关。
  • vm 在汇编中是可选的 v0.t;省略表示 vm=1。vm=0 时只有 v0[i]=1 的元素参与查找。
语义检查
  • 在 i<vl 的活动元素中查找 vs2[i]=1 的最低索引;无匹配(包括 vl=0)向 rd 写 -1。rd=x0 丢弃写回。
  • 要求 V、向量状态已启用及有效向量配置;vstart 必须为 0,非零触发非法指令,陷阱报告 vstart=0。

容易混淆 / 常见误区

结果写入 rd(x 寄存器),非向量寄存器。vs2 为掩码源(不限 v0)。无匹配返回 -1,即使 vl=0 也如此。
vstart 非零会触发非法指令异常;异常报告的 vstart 始终为 0。

常见问题

VFIRST.M 找不到置位 bit 时返回什么?

返回 -1,写入整数寄存器 rd。

VFIRST.M 会把 inactive 的 1 当成 first 吗?

不会。vm=0 时 v0.t 为 0 的位置不参与扫描,即使 vs2 bit 为 1 也不能成为结果。