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

RISC-V VFADD.VF 指令详解

指令手册V-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 为未掩码。
V向量加法浮点

指令行为说明

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

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

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

输入的指令
vfadd.vf
执行环境
LMULm1本动画固定的寄存器组倍数
VLEN4096固定向量寄存器长度(bits)
VLMAX128m1 下的最大元素数
vstart0本动画不展示 prestart 元素
frmRNE固定 RNE 的有限教学环境;真实指令使用动态 frm
FP stateFS enabledFS=Off 会触发非法指令;本动画固定展示 FS 已启用的架构路径
vta/vmata, ma尾部/非活动元素策略
opcode1010111OP-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
执行数据路径

lane 0: 1 + 1.5 -> 2.5

显示的 lane 与当前步骤高亮同步;其余逐元素结果位于下方。

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

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

逐元素结果
长向量在模块内部横向滚动,不造成页面溢出。
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],不是整数通用寄存器值。
当 FLEN 大于 SEW 时,未有效 NaN-boxed 的 f[rs1] 标量输入会使用 canonical NaN;不受支持的向量浮点 EEW 编码为保留。
mstatus.FS=Off 时执行向量浮点指令会引发 illegal-instruction exception。
结果、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» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

标量源来自浮点寄存器 f[rs1],不是整数 x[rs1]。
只有 VL 范围内且执行掩码为真的元素执行;非活动元素和尾部元素按当前 vma/vta 策略处理。
普通 RVV 浮点算术使用浮点舍入环境 frm/动态舍入语义,不使用定点 vxrm。
当 FLEN 大于 SEW 时,f[rs1] 必须是有效 NaN-boxed 标量;否则本次标量输入按 canonical NaN 处理。
若 mstatus.FS 为 Off,执行向量浮点指令会引发 illegal-instruction exception。
不要把浏览器演示中的有限数值样例当成完整 IEEE 754 异常模拟;NaN、无穷和 fflags 以官方手册为准。

常见问题

VFADD.VF 使用 vxrm 吗?

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

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

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