首页/指令库/VFMSUB-VF

VFMSUB.VF

RISC-V VFMSUB.VF 指令详解

指令手册V-type

浮点融合乘加/乘减：vd[i] = +(f[rs1] * vd[i]) - vs2[i]。

指令语法

vfmsub.vf vd, rs1, vs2, vm

操作数说明

vd：目标向量寄存器组。

vs2/vs1 或标量源：按指令后缀 .vv/.vx/.vi/.vf 决定来源。

vm：若语法包含 vm，vm=0 使用 v0 作为执行掩码，vm=1 为未掩码。

V向量运算浮点

指令行为说明

VFMSUB.VF 按官方 RVV FMA 公式执行：vd[i] = +(f[rs1] * vd[i]) - vs2[i]。乘法和加/减融合为一次舍入，不产生中间舍入的乘积；旧 vd 也是乘法输入之一，vs2 是减数。向量 FP32/FP64 操作需要相应标量 F/D 支持；FP16 由相应向量半精度扩展控制，基础 V 扩展不自动包含半精度算术。

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

从 OP-V 编码解码到逐元素融合乘减：每个活动元素把 f[rs1] 与旧 vd[i] 相乘后，以一次舍入减去 vs2[i]。

输入的指令

vfmsub.vf

vd使用 v0-v31vs2使用 v0-v31rs1浮点寄存器 f0-f31/ABIvm执行掩码控制

执行环境

VLSEW

LMULm1本动画固定的寄存器组倍数

VLEN4096固定向量寄存器长度（bits）

VLMAX128m1 下的最大元素数

vstart0本动画不展示 prestart 元素

frmRNE固定 RNE 的有限教学环境；真实指令使用动态 frm

FP stateFS enabledFS=Off 会触发非法指令；本动画固定展示 FS 已启用的架构路径

vta/vmata, ma尾部/非活动元素策略

opcode1010111OP-V 主操作码

vd accumulator逗号分隔有限数值，数量必须等于 VL，且可表示为有限 binary32vs2 elements逗号分隔有限数值，数量必须等于 VL，且可表示为有限 binary32f[rs1]有限浮点示例值，且可表示为有限 binary32v0 mask bits0/1 串，长度必须等于 VL

编码字段

0xa8855257

31..26

24..20

19..15

14..12

11..7

6..0

101010

funct6

01000

vs2

01010

rs1

101

funct3

00100

1010111

OP-V

执行数据路径

lane 0: fma(1.5, 0.5, -1) -> -0.25

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

步骤 1 / 15

读取 OP-V 编码字段

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

逐元素结果

长向量在模块内部横向滚动，不造成页面溢出。

i=0活动

fma(1.5, 0.5, -1)

-0.25

i=1活动

fma(1.5, -1, -1.5)

-3

i=2跳过

v0.t=0，不执行

i=3活动

fma(1.5, -2.5, -2.5)

-6.25

i=4活动

fma(1.5, 4, --3)

i=5活动

fma(1.5, -4.5, -3.5)

-10.25

i=6跳过

v0.t=0，不执行

i=7活动

fma(1.5, -8.5, -4.5)

-17.25

固定 VLEN=4096、LMUL=m1、vstart=0 的教学环境中，(vs1 * old vd) - vs2 在每个活动 lane 融合计算后仅舍入一次到当前 SEW。动画显式读取旧 vd；有限输入由精确二进制中间值计算，避免把先舍入的乘积误当成架构结果。真实指令使用动态 frm；无效 frm 的使用保留，即使 VL=0 或没有活动元素。NaN、无穷和 fflags 异常累积仍以官方 RVV 浮点规则为准。

快速理解与检索要点

VFMSUB.VF 的关键是官方 FMA 公式 vd[i] = +(f[rs1] * vd[i]) - vs2[i] 和单次舍入语义。

OPFVF 编码固定为 funct6=101010、funct3=101、opcode=1010111；旧 vd 参与乘法，rs1 选择浮点标量 f[rs1]。

只对 vl 范围内的活动元素执行；非活动元素和尾部元素受当前 vma/vta 策略影响。

vm=0 使用 v0 作为执行掩码，vm=1 表示不使用掩码。

浮点算术和转换遵循 RVV 浮点规则；普通浮点舍入来自 frm，定点 vxrm 不控制这些指令。

向量 FP32/FP64 操作需要相应标量 F/D 支持；FP16 由相应向量半精度扩展控制，基础 V 扩展不自动包含半精度算术。

RISC-V Unprivileged ISA Manual：V Standard Extension for Vector Operations

向量执行上下文

阅读 VFMSUB.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 vfmsub.vf v1, ft0, v2 # vd[i] = +(f[rs1] * vd[i]) - vs2[i]» 等实际代码理解该场景。

使用前检查清单

语法检查

确认当前指令格式为 V-type。
确认操作数排列顺序与示例一致。

语义检查

确认目标寄存器用途和调用约定兼容。
确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

按公式 vd[i] = +(f[rs1] * vd[i]) - vs2[i] 理解操作数；不要把 vs2、vs1、f[rs1] 或旧 vd 的角色互换。

这是融合运算，不能等同于先乘法舍入再加/减。