首页/指令库/VSOXEI8-V
VSOXEI8.V

RISC-V VSOXEI8.V 指令详解

指令手册V-type

以 x[rs1] 为基址,使用 vs2 中 8 位无符号字节偏移把 vs3 活动元素执行有序 indexed store。

指令语法

vsoxei8.v vs3, (rs1), vs2, vm
操作数说明
V 1.0;要求向量状态已启用、vill=0及受支持vtype。活动元素满足vstart≤i<vl且掩码启用;v0.t为vm=0,省略为vm=1。正常完成后vstart=0。
数据EEW=SEW、EMUL=LMUL;索引EMUL=(索引EEW/SEW)×LMUL且须在1/8..8。组起点须对齐;不同EEW源不能读同一寄存器(含EEW=1的v0)。inactive/tail不访问内存;vstart≥vl无访问。
索引是无符号字节偏移,窄于XLEN先零扩展,不按数据宽度缩放。有序存储在元素级遵循RVWMO;源寄存器不变,活动访问仍可能陷入,未对齐可成功或异常。
V向量内存索引向量存储

指令行为说明

VSOXEI8.V 是 RISC-V V 扩展的有序索引向量存储指令。每个活动元素使用 x[rs1] + zero_extend(vs2[i]) 形成地址,并把 vs3[i] 的当前 SEW 位数据写入该地址;ei8 只规定索引 EEW=8。有序形式按元素顺序写入内存,并在元素级遵循 RVWMO。vm=0 时 v0.t 关闭的元素不写内存。

VSOXEI8.V 指令解析与执行动画

从编码字段解析 8 位索引存储,再逐元素计算 x[rs1] + zero_extend(vs2[i])。

输入的指令
vsoxei8.v
执行环境
执行环境:索引 EEW=8,数据 SEW=32,索引 EEW=8 小于 XLEN=64,所以先零扩展再相加,ordered indexed 访问在元素级按元素顺序遵循 RVWMO,LMUL=m1,vstart=0(非零时从该元素开始);这些不属于汇编语法操作数。

教学环境:V 1.0、向量状态已启用、合法且受支持 vtype/SEW/索引EEW;固定 VLEN=4096、LMUL=m1、vstart=0,VLMAX=4096/32,索引 EMUL=0.25。索引组须对齐且不越过v31;同一寄存器不能作为不同EEW的源,v0.t 时源组不能读取v0数据。相同EEW的同名vs3/vs2须有相同元素。x0基址为0。假定所有活动访问成功,未对齐访问要求环境支持;地址显示限制0..0xffffffff并非ISA限制。只显示逐元素存储事件(非最终字节内存映像);重复/重叠地址后续存储可能覆盖先前数据。有序存储在元素级按元素顺序遵循RVWMO;步骤不是处理器周期。inactive/tail不访问内存,VL=0无访问;源寄存器不变,正常完成后vstart=0。

编码字段vsoxei8.v / STORE-FP
31..29
nf
000
28
mew
0
27..26
mop
11
25
vm
0
24..20
vs2
00100
19..15
rs1
01010
14..12
width
000
11..7
vd/vs3
01100
6..0
opcode
0100111
地址与数据路径addr[i] = 0x8000 + zero_extend(vs2[i])
i=0
i=1
i=2
i=3
i=4
i=5
i=6
i=7
i=8
i=9
i=10
i=11
i=12
i=13
i=14
i=15
vs2 byte offset
0x01
0x04
0x07
0x0a
0x0d
0x10
0x13
0x16
0x19
0x1c
0x1f
0x22
0x25
0x28
0x2b
0x2e
addr
0x8001
0x8004
0x8007
0x800a
0x800d
0x8010
0x8013
0x8016
0x8019
0x801c
0x801f
0x8022
0x8025
0x8028
0x802b
0x802e
v12
0x00000101
0x00000202
0x00000303
0x00000404
0x00000505
0x00000606
0x00000707
0x00000808
0x00000909
0x00000a0a
0x00000b0b
0x00000c0c
0x00000d0d
0x00000e0e
0x00000f0f
0x00001010
active
1
1
0
1
1
1
1
0
1
1
1
1
0
1
1
1
memory write
...
...
-
...
...
...
...
-
...
...
...
...
-
...
...
...
步骤 1 / 22

显示向量内存指令编码

动画从 32 位向量内存指令编码开始,按官方位段显示 nf、mew、mop、vm、rs2/vs2 或 lumop/sumop、width、寄存器字段和 opcode。

快速理解与检索要点

VSOXEI8.V 是有序索引 RVV 存储指令,内存写入只发生在活动且未被掩码关闭的元素上。

指令名中的 ei8 表示索引元素 EEW,索引值是无符号字节偏移。
有序索引存储保留元素存储的可观察顺序。
vm=0 使用 v0 执行掩码;被掩码关闭的元素不发起内存写。
32位STORE-FP编码:opcode=0100111、nf=000、mew=0、mop=11、width=000;vm选择掩码,vs2/rs1/vs3分别位于bits24:20、19:15、11:7。

向量执行上下文

V 1.0;要求向量状态已启用、vill=0及受支持vtype。活动元素满足vstart≤i<vl且掩码启用;v0.t为vm=0,省略为vm=1。正常完成后vstart=0。

数据EEW=SEW、EMUL=LMUL;索引EMUL=(索引EEW/SEW)×LMUL且须在1/8..8。组起点须对齐;不同EEW源不能读同一寄存器(含EEW=1的v0)。inactive/tail不访问内存;vstart≥vl无访问。

索引是无符号字节偏移,窄于XLEN先零扩展,不按数据宽度缩放。有序存储在元素级遵循RVWMO;源寄存器不变,活动访问仍可能陷入,未对齐可成功或异常。

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

常见使用场景

有顺序要求的间接写入

假定V/VS已启用、合法受支持vtype、LMUL=m1、VLEN=4096、XLEN=64、vstart=0,源和全部body掩码已初始化。SEW=32, vl=4, a0=0x8000, v4=[0,4,8,12], v8=[10,20,30,40] → stores [0x8000]=10, [0x8004]=20, [0x8008]=30, [0x800C]=40。假定内存可写且访问成功;源不变,inactive/tail不访问内存。正常完成后vstart=0。

设备或有副作用地址空间写入

假定V/VS已启用、合法受支持vtype、LMUL=m1、VLEN=4096、XLEN=64、vstart=0,源和全部body掩码已初始化。SEW=32, vl=4, a0=0x8000, v4=[0,4,8,12], v8=[10,20,30,40] → stores [0x8000]=10, [0x8004]=20, [0x8008]=30, [0x800C]=40。假定内存可写且访问成功;源不变,inactive/tail不访问内存。正常完成后vstart=0。

稀疏表更新

假定V/VS已启用、合法受支持vtype、LMUL=m1、VLEN=4096、XLEN=64、vstart=0,源和全部body掩码已初始化。SEW=32, vl=4, a0=0x8000, v4=[0,4,8,12], v8=[10,20,30,40] → stores [0x8000]=10, [0x8004]=20, [0x8008]=30, [0x800C]=40。假定内存可写且访问成功;源不变,inactive/tail不访问内存。正常完成后vstart=0。

使用前检查清单

语法检查
  • V 1.0;要求向量状态已启用、vill=0及受支持vtype。活动元素满足vstart≤i<vl且掩码启用;v0.t为vm=0,省略为vm=1。正常完成后vstart=0。
  • 数据EEW=SEW、EMUL=LMUL;索引EMUL=(索引EEW/SEW)×LMUL且须在1/8..8。组起点须对齐;不同EEW源不能读同一寄存器(含EEW=1的v0)。inactive/tail不访问内存;vstart≥vl无访问。
语义检查
  • 索引是无符号字节偏移,窄于XLEN先零扩展,不按数据宽度缩放。有序存储在元素级遵循RVWMO;源寄存器不变,活动访问仍可能陷入,未对齐可成功或异常。

容易混淆 / 常见误区

ei8 表示索引 EEW=8,不是被存储数据的 SEW;数据元素宽度仍来自当前 vtype。
vs2[i] 是无符号字节偏移;地址是 x[rs1] + zero_extend(vs2[i]),不是 x[rs1] + i * EEW,也不是元素编号。
有序 indexed 形式在元素级按元素顺序遵循 RVWMO;不要把它理解成缓存、流水线或总线实现模型。
vm=0 时 v0.t 关闭的元素不执行内存写入,也不应在动画或示例中当作写 0。

常见问题

VSOXEI8.V 的索引单位是什么?

索引值是无符号字节偏移,不是元素序号。