vrgatherei16.vv

vrgatherei16 是 RISC-V V 1.0 的16 位索引收集指令。不同操作数后缀属于同一助记符并集中列在本页。

操作码

V 1.0 · 见官方编码表

指令集

RISC-V V 1.0

英文全称

vrgatherei16.vv：16 位索引收集

参考资料

RISC-V V 1.0 ↗

页码

01vrgatherei16.vv 02vd, vs2, vs1, vm

01

指令助记符vrgatherei16.vvmnemonic

vrgatherei16.vv：16 位索引收集

02

操作数vd, vs2, vs1, vmdestination

该形式的操作数顺序；其他形式见下表。

VRGATHEREI16 · REGISTER OPERATIONRISCV · PERMUTE

li a0, 10 vsetvli t0, a0, e32, m4, tu, mu # VLEN=128 vrgatherei16.vv v0, v8, v12

VLEN单个物理向量寄存器位数128256512SEW每个向量元素的位数8163264LMUL一个逻辑寄存器组占用的寄存器数mf8mf4mf2m1m2m4m8vl本次执行的活动元素数量源寄存器来源寄存器组起始编号第二源寄存器第二来源或索引寄存器组起始编号目标寄存器目标寄存器组起始编号尾部策略vl 以后的目标元素处理方式tu · 保持ta · agnostic掩码策略被掩码目标元素的处理方式mu · 保持ma · agnostic

VLMAXLMUL × VLEN ÷ SEW

16

vs2 · v8第一来源

v8[511:0]

vs2[15]16SEW=32

vs2[14]15SEW=32

vs2[13]14SEW=32

vs2[12]13SEW=32

vs2[11]12SEW=32

vs2[10]11SEW=32

vs2[9]10SEW=32

vs2[8]9SEW=32

vs2[7]8SEW=32

vs2[6]7SEW=32

vs2[5]6SEW=32

vs2[4]5SEW=32

vs2[3]4SEW=32

vs2[2]3SEW=32

vs2[1]2SEW=32

vs2[0]1SEW=32

vs1 · v12第二来源

v12[511:0]

vs1[15]32SEW=32

vs1[14]31SEW=32

vs1[13]30SEW=32

vs1[12]29SEW=32

vs1[11]28SEW=32

vs1[10]27SEW=32

vs1[9]26SEW=32

vs1[8]25SEW=32

vs1[7]24SEW=32

vs1[6]23SEW=32

vs1[5]22SEW=32

vs1[4]21SEW=32

vs1[3]20SEW=32

vs1[2]19SEW=32

vs1[1]18SEW=32

vs1[0]17SEW=32

vd · v0（结果）permute

v0[511:0]

vd[15]1permute

vd[14]2permute

vd[13]3permute

vd[12]4permute

vd[11]5permute

vd[10]6permute

vd[9]7permute

vd[8]8permute

vd[7]9permute

vd[6]10permute

vd[5]11permute

vd[4]12permute

vd[3]13permute

vd[2]14permute

vd[1]15permute

vd[0]16permute

每个圆球代表一个完整元素强调背景：目标写入高索引在左、低索引在右

指令形式

语法	说明
vrgatherei16.vv vd, vs2, vs1, vm	RISC-V V 1.0 规范形式

元素语义

元素 0 位于寄存器组最低 SEW 位；活动 body 元素按 permute 类语义处理。VLMAX = LMUL × VLEN / SEW，实际写入范围由 vstart、vl、执行掩码和尾部策略共同决定。

语义伪代码

VRGATHEREI16RISC-V V 1.0 · PSEUDOCODE

# vs1 contains 16-bit unsigned indices
for i = vstart .. vl - 1:
    if vm == 1 or v0.mask[i] == 1:
        vd[i] = zero_extend(vs1[i]) >= VLMAX ? 0 : vs2[zero_extend(vs1[i])]
    else:
        vd[i] = vma ? agnostic : old_vd[i]
for i = vl .. VLMAX - 1:
    vd[i] = vta ? agnostic : old_vd[i]
vstart = 0

agnostic 表示规范允许保留旧值或写全 1；辅助函数名称直接表达其规范动作。

注意点

修改的寄存器与状态

活动目标元素写入 vd，来源保持不变；prestart 元素不变，被掩码元素由 vma、尾部元素由 vta 决定保持或 agnostic，正常完成后 vstart=0。目标与来源须满足 LMUL/EMUL 对齐、编号范围和重叠限制。

内存对齐

该指令只使用寄存器，不访问数据内存，因此没有内存对齐要求。整数、掩码和排列操作不修改 x86 风格条件码；浮点运算按规范累积 fflags。

示例

vsetvli t0, a0, e16, m1, tu, mu
vrgatherei16.vv v0, v8, v12

参考

• RISC-V “V” Standard Extension for Vector Operations, Version 1.0