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

RISC-V VLE32FF.V 指令详解

指令手册V-type

从 x[rs1] 开始按 4 字节单位步长执行 32 位 fault-only-first 向量装载;元素 0 之后的同步异常会把 vl 缩短为故障元素索引。

指令语法

vle32ff.v vd, (rs1), vm
操作数说明
vd 接收 EEW=32 位内存 bit pattern;EMUL=(EEW/SEW)×LMUL,必须在 1/8..8 内且寄存器组起点合法。它不把元素扩展为 XLEN 宽标量。
rs1 是整数基址寄存器;元素 i 地址为 x[rs1]+i×4 字节,rs1=x0 时基址为 0。v0.t 表示 vm=0;省略为 vm=1。
需要启用 V、合法 vtype。活动 body 为 vstart≤i<vl 且掩码开启;masked vd 不能覆盖 v0。关闭元素不访问内存;inactive/tail 按 vma/vta,prestart 保持不变。VL=0 或 vstart≥vl 时目标不更新。
同步异常发生在元素 0 时陷入且 vl 不变;发生在元素 i>0 时不产生该陷入而设 vl=i。这是元素索引,不是第一个 active 元素。即使无异常也可缩短 vl;vstart=0 且原 vl>0 时至少处理一个元素。
超过 FF 缩短点但在原 vl 内的活动目标可能被写入与内存无关的值。中断时实现应保留 vl 并设 vstart;后续 debug watchpoint 应触发 debug 陷入,不用缩短 vl 代替。
V向量内存fault-only-first 装载

指令行为说明

VLE32FF.V 是 RISC-V V 扩展的 32 位单位步长 fault-only-first 向量装载。活动 body 元素按地址 x[rs1] + i * 4 字节读取内存并写入 vd;若元素 0 发生同步异常,该指令按普通装载精确陷入且不修改 vl;若元素 0 之后的活动元素发生同步异常,vl 会缩短为故障元素索引。vm=0 时由 v0.t 选择访问元素,掩码关闭元素不发起内存访问。

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

从编码字段解析 32 位 fault-only-first装载,再逐元素计算 x[rs1] + i * 4。

输入的指令
vle32ff.v
执行环境:EEW=32,单位步长=4 字节,示例 SEW=32,LMUL=m1,vstart=0(非零时从该元素开始),本示例最终 vl=5;这些不属于汇编语法操作数。

教学环境:VLEN=4096,SEW=EEW=32,LMUL=EMUL=m1,VLMAX=128,vstart=0,合法 vtype,VS 已启用,ta/ma。基址选项自然对齐;rs1=x0 时基址固定为 0。仅演示所选同步异常场景,假定其余所选内存可读;不保证实际系统地址可访问。横向逐元素步骤只说明地址与结果,不表示实际访问顺序或处理器周期。inactive/tail 可保留旧值或写全 1,未显示确定结果;正常完成后 vstart=0。

编码字段vle32ff.v / LOAD-FP
31..29
nf
000
28
mew
0
27..26
mop
00
25
vm
0
24..20
lumop
10000
19..15
rs1
01010
14..12
width
110
11..7
vd/vs3
01000
6..0
opcode
0000111
地址与数据路径addr[i] = 0x8000 + i * 4 / vl'=5
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
addr
0x8000
0x8004
0x8008
0x800c
0x8010
0x8014
0x8018
0x801c
0x8020
0x8024
0x8028
0x802c
0x8030
0x8034
0x8038
0x803c
mem
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
v8
...
...
-
...
...
...
...
-
...
...
...
...
-
...
...
...
步骤 1 / 22

显示向量内存指令编码

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

快速理解与检索要点

VLE32FF.V 仍是单位步长装载:活动元素 i 使用 x[rs1] + i * 4 字节。它的特殊点是 fault-only-first 异常边界:首元素故障正常陷入,后续活动元素故障会把 vl 缩短为故障元素索引。

编码使用 LOAD-FP,mop=00 表示单位步长,width/mew 表示 EEW=32,lumop=10000 选择 fault-only-first 变体。
地址形成与普通 VLE32.V 相同:第 i 个参与的 body 元素访问 x[rs1] + i * 4 字节。
元素 0 的同步异常按普通装载精确报告;这种情况下 fault-only-first 不通过修改 vl 来隐藏首元素异常。
元素 0 之后的同步异常不产生该陷入,并把 vl 缩短为故障元素索引;未完成或超出新 vl 的目标元素不能当作可靠加载结果讲解。
vm=0 时 v0.t=0 的 body 元素不访问内存。通常 inactive/tail 按 vma/vta 处理;FF 缩短点之后、原 vl 以内的活动目标允许被写入与内存不对应的值,不能依赖这些结果。
数据 EEW=32,EMUL=(EEW/SEW)×LMUL;EMUL 必须在 1/8 到 8 内,且 vd 必须是该组的合法起始寄存器。masked load 的目标组不能与 v0 重叠。
非自然对齐元素可以成功传输,也可以触发地址未对齐异常;标量支持非对齐不保证向量也支持。单位步长各元素访问之间不保证顺序。
body 范围是 vstart≤i<vl;prestart 元素不更新,VL=0 或 vstart≥vl 时任何目标元素(含 tail)都不更新。正常完成后 vstart=0;需启用 V 且当前 vtype 合法。
中断陷入时实现应保留 vl 并设置 vstart;首元素之后触发 debug data-watchpoint 时应进入 debug 陷入而不缩短 vl。非幂等内存仅在已知相应元素不会因陷入或 vl 缩短而重启时才能访问。

向量执行上下文

vd 接收 EEW=32 位内存 bit pattern;EMUL=(EEW/SEW)×LMUL,必须在 1/8..8 内且寄存器组起点合法。它不把元素扩展为 XLEN 宽标量。

rs1 是整数基址寄存器;元素 i 地址为 x[rs1]+i×4 字节,rs1=x0 时基址为 0。v0.t 表示 vm=0;省略为 vm=1。

需要启用 V、合法 vtype。活动 body 为 vstart≤i<vl 且掩码开启;masked vd 不能覆盖 v0。关闭元素不访问内存;inactive/tail 按 vma/vta,prestart 保持不变。VL=0 或 vstart≥vl 时目标不更新。

同步异常发生在元素 0 时陷入且 vl 不变;发生在元素 i>0 时不产生该陷入而设 vl=i。这是元素索引,不是第一个 active 元素。即使无异常也可缩短 vl;vstart=0 且原 vl>0 时至少处理一个元素。

超过 FF 缩短点但在原 vl 内的活动目标可能被写入与内存无关的值。中断时实现应保留 vl 并设 vstart;后续 debug watchpoint 应触发 debug 陷入,不用缩短 vl 代替。

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

常见使用场景

数据依赖退出循环

假定 V/VS 已启用、合法 e32,m1、VLMAX≥4、AVL=4,vsetvli 后 vl=4、vstart=0、ta/ma,目标不与源掩码重叠。除所选故障外内存均可读,地址步长=4 字节:a0=0x8000, v0=[1,0,1,1], mem=[10,20,30,40] → vd=[10,agnostic,30,unreliable], element 3 synchronous fault → vl=3, no fault trap。agnostic 可保留旧值或写全 1;不保证清零。

连续元素扫描

假定 V/VS 已启用、合法 e32,m1、VLMAX≥4、AVL=4,vsetvli 后 vl=4、vstart=0、ta/ma,目标不与源掩码重叠。除所选故障外内存均可读,地址步长=4 字节:a0=0x8000, v0=[1,0,1,1], mem=[10,20,30,40] → vd=[10,agnostic,30,unreliable], element 3 synchronous fault → vl=3, no fault trap。agnostic 可保留旧值或写全 1;不保证清零。

可缩短 vl 的向量读取

假定 V/VS 已启用、合法 e32,m1、VLMAX≥4、AVL=4,vsetvli 后 vl=4、vstart=0、ta/ma,目标不与源掩码重叠。除所选故障外内存均可读,地址步长=4 字节:a0=0x8000, v0=[1,0,1,1], mem=[10,20,30,40] → vd=[10,agnostic,30,unreliable], element 3 synchronous fault → vl=3, no fault trap。agnostic 可保留旧值或写全 1;不保证清零。

使用前检查清单

语法检查
  • vd 接收 EEW=32 位内存 bit pattern;EMUL=(EEW/SEW)×LMUL,必须在 1/8..8 内且寄存器组起点合法。它不把元素扩展为 XLEN 宽标量。
  • rs1 是整数基址寄存器;元素 i 地址为 x[rs1]+i×4 字节,rs1=x0 时基址为 0。v0.t 表示 vm=0;省略为 vm=1。
语义检查
  • 需要启用 V、合法 vtype。活动 body 为 vstart≤i<vl 且掩码开启;masked vd 不能覆盖 v0。关闭元素不访问内存;inactive/tail 按 vma/vta,prestart 保持不变。VL=0 或 vstart≥vl 时目标不更新。
  • 同步异常发生在元素 0 时陷入且 vl 不变;发生在元素 i>0 时不产生该陷入而设 vl=i。这是元素索引,不是第一个 active 元素。即使无异常也可缩短 vl;vstart=0 且原 vl>0 时至少处理一个元素。
  • 超过 FF 缩短点但在原 vl 内的活动目标可能被写入与内存无关的值。中断时实现应保留 vl 并设 vstart;后续 debug watchpoint 应触发 debug 陷入,不用缩短 vl 代替。

容易混淆 / 常见误区

指令名固定 EEW=32,单位步长地址按 4 字节递增;它不是 indexed gather,也不是跨步 vlse。
fault-only-first 只改变异常处理边界:元素 0 的同步异常仍按普通装载精确陷入,且该指令不修改 vl。
元素 0 之后的同步异常会把 vl 缩短到故障元素索引;不要把它理解为所有后续地址都一定已经访问或一定未访问。
即使没有异常,实现也允许处理少于原 vl 个元素并相应缩短 vl;当 vstart=0 且 vl>0 时,至少要处理一个元素。
vm=0 时 v0.t 关闭的元素不发起内存访问,也不会成为 fault-only-first 的故障边界。

常见问题

VLE32FF.V 和 VLE32.V 有什么区别?

两者地址计算和 EEW 都相同;VLE32FF.V 的区别是 fault-only-first 异常规则,后续活动元素故障会把 vl 缩短为故障元素索引。

VLE32FF.V 的元素 0 故障会缩短 vl 吗?

不会。元素 0 的同步异常按普通装载精确陷入,该指令不会通过修改 vl 来继续执行。

v0.t 关闭的元素会触发 VLE32FF.V 的 fault-only-first 吗?

不会。掩码关闭的 body 元素不发起内存访问,因此不会成为该指令的故障边界。