首页/指令库/VMACC-VX
VMACC.VX

RISC-V VMACC.VX 指令详解

指令手册R-type

将 vs1/标量 与 vs2 的整数乘积加到旧 vd。

指令语法

vmacc.vx vd, vs2, rs1, vm
操作数说明
vd:掩码目标寄存器,每个元素产生一位布尔结果。
vs2/vs1 或标量源:按当前 SEW 参与比较。
vm:vm=0 使用 v0 限制参与比较的元素,vm=1 为未掩码。
V向量整数运算乘加

指令行为说明

VMACC.VX 是 RISC-V V 扩展的破坏性整数乘加指令。它计算 vd[i] = vd[i] + vs2[i] * 第二操作数。乘法和加法按 SEW 宽度产生低位结果,不设置整数异常标志。

快速理解与检索要点

VMACC.VX 只写活动元素;整数溢出保留低 SEW 位,不产生陷入。

向量-标量 `.vx` 形式使用 x[rs1],向量-向量 `.vv` 形式使用 vs1。
结果按 SEW 宽度写入;高半乘法显式返回 2*SEW 乘积的高 SEW 位。
vm=0 使用 v0 作为执行掩码,vm=1 表示不使用掩码;未活动元素和尾部元素按当前 vma/vta 策略处理。

向量执行上下文

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

先看 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 vmacc.vx v8, v4, a1» 等实际代码理解该场景。

矩阵/张量运算

结合 «vsetvli t0, a0, e32, m1, ta, ma vmacc.vx v8, v4, a1» 等实际代码理解该场景。

卷积/滤波器

结合 «vsetvli t0, a0, e32, m1, ta, ma vmacc.vx v8, v4, a1» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

破坏性操作:vd既作为累加输入又作为输出——原值被覆盖
仅取乘积低SEW位(高半截断),宽化累加应使用vwmacc
vmacc覆盖累加数(vd);vmadd覆盖被乘数(vs1)——注意哪个操作数被销毁

常见问题

VMACC.VX 如何处理掩码?

vm=0 时用 v0 选择活动元素,vm=1 时所有 body 元素都参与;非活动和尾部元素按当前策略处理。