首页/指令库/VFADD-VF
VFADD.VF

RISC-V VFADD.VF 指令详解

指令手册R-type

VFADD.VF 对 VL 范围内的活动元素执行向量-标量浮点加法:vd[i] = vs2[i] + f[rs1]。

指令语法

vfadd.vf vd, vs2, rs1, vm
操作数说明
vd:目标向量寄存器组。
vs2/vs1 或标量源:按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm:若语法包含 vm,vm=0 使用 v0 作为执行掩码,vm=1 为未掩码。
VZvfh向量加法浮点

指令行为说明

VFADD.VF 是 RVV 单宽浮点加法指令,语法为 vfadd.vf vd, vs2, rs1, vm。每个活动元素按当前 SEW 的浮点格式执行 vd[i] = vs2[i] + f[rs1];标量源来自浮点寄存器 f[rs1],不是整数 x[rs1]。 vm=0 时 v0.t 控制活动元素,vm=1 时不使用执行掩码。舍入模式和异常标志遵循官方 RVV 浮点规则,定点 vxrm 不控制这些指令。

VFADD.VF 指令解析与执行动画

从 OP-V 编码解码到逐元素浮点加法:第二源来自 scalar f[rs1]。

步骤 1 / 15
读取 OP-V 编码字段

V 扩展浮点指令使用 OP-V 主操作码,字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。

输入的指令
vfadd.vf
执行环境
frm
RNE
示例动态舍入模式
vta/vma
ta, ma
尾部/非活动元素策略
opcode
1010111
OP-V 主操作码
编码字段
0x00855257
31..26
25
24..20
19..15
14..12
11..7
6..0
000000
funct6
0
vm
01000
vs2
01010
rs1
101
funct3
00100
vd
1010111
OP-V
逐元素结果
长向量在模块内部横向滚动,不造成页面溢出。
i=0活动
1 + 1.5
2.5
i=1活动
1.5 + 1.5
3
i=2跳过
v0.t=0,不执行
--
i=3活动
2.5 + 1.5
4
i=4活动
-3 + 1.5
-1.5
i=5活动
3.5 + 1.5
5
i=6跳过
v0.t=0,不执行
--
i=7活动
4.5 + 1.5
6
动画按当前 SEW 对源值和结果执行 RNE 示例量化:SEW=32 使用 binary32,SEW=64 使用 binary64。NaN、无穷和异常标志仍以官方 RVV 浮点规则为准,不在此处当作完整浮点异常模拟器展开。

快速理解与检索要点

VFADD.VF 的学习重点是 OP-V 编码、浮点标量寄存器 f[rs1]、v0.t 掩码和逐元素 vd[i] = vs2[i] + f[rs1]。

funct6=000000、funct3=101、opcode=1010111 标识该 OP-V 浮点算术形式。
vfadd.vf vd, vs2, rs1, vm 中的 vm 是执行掩码控制;vm=0 使用 v0.t,vm=1 表示不使用掩码。
`.vf` 形式的 rs1 表示浮点寄存器编号 f[rs1],不是整数通用寄存器值。
结果、NaN、无穷、舍入和 fflags 遵循官方向量浮点规则。

向量执行上下文

阅读 VFADD.VF 时,不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vf:一个向量源和一个浮点标量源参与运算。

先看 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, e32, m1, ta, ma vfadd.vf v1, v2, ft0» 等实际代码理解该场景。

DSP

结合 «vsetvli t0, a0, e32, m1, ta, ma vfadd.vf v1, v2, ft0» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

标量源来自浮点寄存器 f[rs1],不是整数 x[rs1]。
只有 VL 范围内且执行掩码为真的元素执行;非活动元素和尾部元素按当前 vma/vta 策略处理。
普通 RVV 浮点算术使用浮点舍入环境 frm/动态舍入语义,不使用定点 vxrm。
不要把浏览器演示中的有限数值样例当成完整 IEEE 754 异常模拟;NaN、无穷和 fflags 以官方手册为准。

常见问题

VFADD.VF 使用 vxrm 吗?

不使用。普通 RVV 浮点算术使用浮点舍入环境 frm 或指令规定的浮点舍入规则;vxrm 用于定点舍入指令。

VFADD.VF 的 vm 操作数是什么意思?

vm=0 表示用 v0.t 作为执行掩码;vm=1 表示不使用执行掩码。它不是一个普通数据源寄存器。