首页/指令库/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:目标向量寄存器组,接收活动元素的加载结果。
rs1:整数基址寄存器;单位步长形式从连续地址读取元素。
vm:若语法包含 vm,vm=0 使用 v0 作为执行掩码,vm=1 为未掩码。
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,演示结束后 vl=5;这些不属于汇编语法操作数。
编码字段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 策略处理。

向量执行上下文

阅读 VLE64FF.V 时,不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。后缀和操作数形式决定源操作数来自向量、标量还是立即数。

先看 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

常见使用场景

向量化字符串扫描

结合 «vsetvli t0, a0, e64, m1, ta, ma vle64ff.v v8, (a0), v0.t» 等实际代码理解该场景。

探测连续内存边界

结合 «vsetvli t0, a0, e64, m1, ta, ma vle64ff.v v8, (a0), v0.t» 等实际代码理解该场景。

可缩短 vl 的向量读取

结合 «vsetvli t0, a0, e64, m1, ta, ma vle64ff.v v8, (a0), v0.t» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

指令名固定 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 元素不发起内存访问,因此不会成为该指令的故障边界。