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

RISC-V VLE64FF.V 指令详解

指令手册V-type

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

指令语法

vle64ff.v vd, (rs1), vm
操作数说明
vd 接收 EEW=64 位内存 bit pattern;EMUL=(EEW/SEW)×LMUL,必须在 1/8..8 内且寄存器组起点合法。它不把元素扩展为 XLEN 宽标量。
rs1 是整数基址寄存器;元素 i 地址为 x[rs1]+i×8 字节,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 装载

指令行为说明

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

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

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

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

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

编码字段vle64ff.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
111
11..7
vd/vs3
01000
6..0
opcode
0000111
地址与数据路径addr[i] = 0x8000 + i * 8 / 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
0x8008
0x8010
0x8018
0x8020
0x8028
0x8030
0x8038
0x8040
0x8048
0x8050
0x8058
0x8060
0x8068
0x8070
0x8078
mem
0x0000000000001003
0x0000000000002006
0x0000000000003009
0x000000000000400c
0x000000000000500f
0x0000000000006012
0x0000000000007015
0x0000000000008018
0x000000000000901b
0x000000000000a01e
0x000000000000b021
0x000000000000c024
0x000000000000d027
0x000000000000e02a
0x000000000000f02d
0x0000000000010030
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。

快速理解与检索要点

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

编码使用 LOAD-FP,mop=00 表示单位步长,width/mew 表示 EEW=64,lumop=10000 选择 fault-only-first 变体。
地址形成与普通 VLE64.V 相同:第 i 个参与的 body 元素访问 x[rs1] + i * 8 字节。
元素 0 的同步异常按普通装载精确报告;这种情况下 fault-only-first 不通过修改 vl 来隐藏首元素异常。
元素 0 之后的同步异常不产生该陷入,并将 vl 缩短到故障元素索引;未完成或超出新 vl 的目标元素不能当作可靠加载结果讲解。
vm=0 时 v0.t 位为 0 的 body 元素不会发起内存访问;尾部和非活动目标元素按当前 vtype 策略处理。
EEW=64 不要求 SEW=64:数据组 EMUL=(EEW/SEW)×LMUL 必须在 1/8..8 内且起点合法;不支持的 EEW 编码保留。需要 V/VS 已启用和合法 vtype。
body 满足 vstart≤i<vl;masked vd 不得覆盖 v0。prestart 不更新;vl=0 或 vstart≥vl 时包括 tail 在内的目标均不更新。单位步长不保证元素访问顺序;非自然对齐可成功或引发地址未对齐异常。
元素 0 指绝对索引 0,不是第一个 active 元素。即使无异常也允许减少处理元素数并缩短 vl;vstart=0 且原 vl>0 时至少处理一个元素。中断时实现应保留 vl 并设置 vstart;后续 debug watchpoint 应触发 debug 陷入,不用缩短 vl 代替。
32 位 LOAD-FP:opcode=0000111、nf=000、mew=0、mop=00、width=111、lumop=10000。语法中的 vm 是可选 v0.t 或省略,不是名为 vm 的寄存器。

向量执行上下文

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

rs1 是整数基址寄存器;元素 i 地址为 x[rs1]+i×8 字节,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 已启用、合法 e64,m1、VLMAX≥4、AVL=4,vsetvli 后 vl=4、vstart=0、ta/ma,目标不与源掩码重叠。除所选故障外内存均可读,地址步长=8 字节: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 已启用、合法 e64,m1、VLMAX≥4、AVL=4,vsetvli 后 vl=4、vstart=0、ta/ma,目标不与源掩码重叠。除所选故障外内存均可读,地址步长=8 字节: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 已启用、合法 e64,m1、VLMAX≥4、AVL=4,vsetvli 后 vl=4、vstart=0、ta/ma,目标不与源掩码重叠。除所选故障外内存均可读,地址步长=8 字节: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=64 位内存 bit pattern;EMUL=(EEW/SEW)×LMUL,必须在 1/8..8 内且寄存器组起点合法。它不把元素扩展为 XLEN 宽标量。
  • rs1 是整数基址寄存器;元素 i 地址为 x[rs1]+i×8 字节,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=64,单位步长地址按 8 字节递增;它不是 indexed gather,也不是跨步 vlse。
fault-only-first 的关键区别是同步异常处理边界:元素 0 的同步异常仍按普通装载精确陷入,且该指令不修改 vl。
元素 0 之后的同步异常不产生该陷入,并将 vl 缩短到故障元素索引;不要把它理解为所有后续地址都一定已经访问或一定未访问。
vm=0 时 v0.t 关闭的元素不发起内存访问,也不会成为 fault-only-first 的故障边界。

常见问题

VLE64FF.V 和 VLE64.V 有什么区别?

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

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

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

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

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