首页/指令库/VFMERGE-VFM
VFMERGE.VFM

RISC-V VFMERGE.VFM 指令详解

指令手册R-type

依 v0 掩码合并 vs2[i] 与 f[rs1]:掩码为 1 时写 f[rs1],为 0 时写 vs2[i]。

指令语法

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

指令行为说明

VFMERGE.VFM 是浮点标量合并指令。对每个元素,v0.mask[i]=1 时把 f[rs1] 写入 vd[i],v0.mask[i]=0 时把 vs2[i] 写入 vd[i];它使用 v0 作为选择掩码,而不是普通执行掩码。

快速理解与检索要点

VFMERGE.VFM 是条件选择,不是算术运算。最容易弄反的是选择方向:掩码位为 1 选择浮点标量,掩码位为 0 选择 vs2 元素。

该指令固定使用 v0 作为合并选择掩码。
只对 vl 范围内的活动元素执行;非活动元素和尾部元素受当前 vma/vta 策略影响。
除专用掩码指令外,vm=0 使用 v0 作为执行掩码,vm=1 表示不使用掩码。
浮点运算遵循向量浮点章节:普通浮点运算使用 frm 舍入并设置浮点异常标志;定点 vxrm 不控制这些指令。

向量执行上下文

阅读 VFMERGE.VFM 时,不要只看助记符。官方 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, e32, m1, ta, ma vfmerge.vfm v1, v2, ft0, v0 # v0[i] ? ft0 : v2[i]» 等实际代码理解该场景。

三元运算符

结合 «vsetvli t0, a0, e32, m1, ta, ma vfmerge.vfm v1, v2, ft0, v0 # v0[i] ? ft0 : v2[i]» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

掩码必为v0,不可指定其他掩码寄存器。指令无vm编码位——总是掩码操作。
vfmerge.vfm是浮点版本的vmerge.vxm。标量来自f寄存器而非x寄存器。
向量 FP32/FP64 操作需要对应的标量 F/D 支持;仅有 V 并不意味着支持 FP16。

常见问题

掩码为 1 时选择哪个操作数?

选择浮点标量 f[rs1];掩码为 0 时选择 vs2[i]。