首页/指令库/VRGATHER-VI
VRGATHER.VI

RISC-V VRGATHER.VI 指令详解

指令手册I-type

按 5 位立即数索引从 vs2 收集同一元素。

指令语法

vrgather.vi vd, vs2, imm, vm
操作数说明
vd:目标向量寄存器组。
vs2/vs1 或标量源:按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm:若语法包含 vm,vm=0 使用 v0 作为执行掩码,vm=1 为未掩码。
V向量重排/索引排列操作

指令行为说明

VRGATHER.VI 使用 5 位零扩展立即数作为元素索引,让活动目标元素从 vs2 的同一索引位置读取;索引大于或等于 VLMAX 时结果为 0。

VRGATHER.VI 指令解析与执行动画

从 OP-V 编码字段开始,展示 VRGATHER 如何把第二源作为元素索引,从 vs2[VLMAX] 范围内收集元素;越界索引写 0。

输入的指令
vrgather.vi
立即数值
3 -> index 3
5-bit unsigned uimm 零扩展为元素索引,不按 SEW 截断
OP-V encodingvrgather.vi
funct6
001100
vm
0
vs2
01000
uimm
00011
funct3
011
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x0002
0x0007
0x000c
0x0011
0x0016
0x001b
0x0020
0x0025
idx
idx
idx
idx
idx
idx
idx
idx
imm
0x0003
0x0003
0x0003
0x0003
0x0003
0x0003
0x0003
0x0003
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
当前步骤

显示 OP-V 32 位编码字段

vrgather.vi 使用 OP-V 编码。动画把固定字段、寄存器字段、vm 和 uimm 字段放在同一条编码带中。

动画只展示官方 V 扩展定义的 ISA 可见关系:OP-V 字段解析、活动元素读取、元素索引/压缩/选择/移动重排整数索引收集、边界/选择规则和 vd 写回;不模拟流水线、缓存或执行时延。

快速理解与检索要点

vrgather.vi 用 5 位零扩展 uimm 作为同一个元素索引,活动 lane 都读取 vs2[uimm];越界索引写 0。

OP-V 编码中 funct6=001100、funct3=011 选择 vrgather.vi。
uimm 是元素编号,不是字节偏移。
vm 控制 body 元素是否更新。
vd 与 vs2 源/目的寄存器组重叠的编码保留。

向量执行上下文

阅读 VRGATHER.VI 时,不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vi:一个向量源和一个小立即数参与运算。

先看 vl

当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl,再执行本页指令。

再看 vtype

当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy;这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。

最后看 vm/v0

带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码,vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。

官方来源:RISC-V V Standard Extension for Vector Operations

常见使用场景

查表

结合 «vrgather.vi v8, v12, 3, v0.t» 等实际代码理解该场景。

数据重排

结合 «vrgather.vi v8, v12, 3, v0.t» 等实际代码理解该场景。

压缩/解压缩

结合 «vrgather.vi v8, v12, 3, v0.t» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认当前指令格式为 I-type。
  • 确认操作数排列顺序与示例一致。
语义检查
  • 确认目标寄存器用途和调用约定兼容。
  • 确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

立即数字段是 0..31 的元素索引,不是有符号立即数。
索引 >= VLMAX 时结果为 0。
所有活动 lane 使用同一个立即数索引。
vd 目标寄存器组不能与 vs2 源向量寄存器组重叠。

常见问题

vrgather.vi 的立即数范围是多少?

它使用 5 位零扩展立即数字段,因此动画校验 0..31;若该索引大于或等于当前 VLMAX,则结果元素为 0。