这些指令使用 vxrm 吗？
不使用。浮点算术和转换使用 frm 或指令规定的固定舍入；vxrm 用于定点舍入指令。
VFMSAC.VV
RISC-V VFMSAC.VV 指令详解
指令手册V-typeVFMSAC.VV 对活动元素执行vd[i] = (vs1[i] * vs2[i]) - old vd[i]，融合计算后仅舍入一次。
指令语法
vfmsac.vv vd, vs1, vs2, vm
操作数说明
三元汇编顺序 vd, vs1, vs2, vm；旧 vd 是减数。同宽重叠合法，同名寄存器读取相同初值。
vs1、vs2 和旧 vd 均按 SEW 读取；没有标量或立即数操作数。
只计算 vstart≤i<vl 且（vm=1 或 v0[i]=1）的活动元素；prestart 不变。vl=0 或 vstart≥vl 时所有目标元素包括 tail 都不更新。否则 inactive/tail 遵循 vma/vta；成功执行后 vstart=0。
汇编 vm 为可选 v0.t，省略表示 vm=1；masked vd 不能重叠 v0，v0 不能同时作 EEW=1 掩码与 SEW 数据源。
要求合法 vtype、受支持的浮点宽度和对应标量浮点扩展、VS/FS 已启用；H 且虚拟化 V=1 时 vsstatus.VS/FS 也须启用。无效 frm 使用保留，即使 vl=0；不使用 vxrm。仅活动元素异常累积到 fflags。
V 支持 FP32/FP64，依赖 F/D；FP16 算术需 Zvfh。动画固定 VLEN=4096、m1、vstart=0、有效 NaN-box 与有限 RNE 路径，不展示完整 fflags。
V向量乘法/乘加浮点
指令行为说明
VFMSAC.VV 的活动元素执行 vd[i] = (vs1[i] * vs2[i]) - old vd[i]。乘法和减法融合，仅最终结果按 frm 舍入一次；旧 vd 是减数。V 提供 FP32/FP64；这些宽度分别要求标量 F/D。FP16 算术还需要 Zvfh，基础 V 不自动包含它。
VFMSAC.VV 指令解析与执行动画
从 OP-V 编码解码到逐元素融合乘减累加：每个活动元素把 vs1[i] 与 vs2[i] 相乘后，以一次舍入减去旧 vd[i]。
输入的指令
vfmsac.vv
执行环境
LMUL本动画固定的寄存器组倍数
VLEN固定向量寄存器长度（bits）
VLMAXm1 下的最大元素数
vstart本动画不展示 prestart 元素
frm固定 RNE 的有限教学环境；真实指令使用动态 frm
FP stateFS=Off 会触发非法指令；本动画固定展示 FS 已启用的架构路径
vta/vma尾部/非活动元素策略
opcodeOP-V 主操作码
编码字段
0xb8861257
31..26
25
24..20
19..15
14..12
11..7
6..0
101110
funct6
0
vm
01000
vs2
01100
vs1
001
funct3
00100
vd
1010111
OP-V
执行数据路径
lane 0: fma(1, 0.5, -(0.5)) -> 0
显示的 lane 与当前步骤高亮同步；其余逐元素结果位于下方。
步骤 1 / 15
读取 OP-V 编码字段
V 扩展浮点指令使用 OP-V 主操作码，字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。
逐元素结果
长向量在模块内部横向滚动，不造成页面溢出。
i=0活动
fma(1, 0.5, -(0.5))
0
i=1活动
fma(1.5, 1, -(-1))
2.5
i=2跳过
v0.t=0，不执行
--
i=3活动
fma(2.5, 2, -(-2.5))
7.5
i=4活动
fma(-3, 2.5, -(4))
-11.5
i=5活动
fma(3.5, 3, -(-4.5))
15
i=6跳过
v0.t=0，不执行
--
i=7活动
fma(4.5, 4, -(-8.5))
26.5
固定 VLEN=4096、LMUL=m1、vstart=0 的教学环境中，(vs1[i] * vs2[i]) - old vd[i] 在每个活动 lane 融合计算后仅舍入一次到当前 SEW。动画显式读取旧 vd；有限输入由精确二进制中间值计算，避免把先舍入的乘积误当成架构结果。真实指令使用动态 frm；无效 frm 的使用保留，即使 VL=0 或没有活动元素。NaN、无穷和 fflags 异常累积仍以官方 RVV 浮点规则为准。
旧 vd 是减数。同名向量寄存器的初始位模式必须一致。VF 标量在 FLEN=64 下读取，SEW=32 时假定有效 NaN-boxing；动画只计算有限 RNE 结果，不展示 fflags。
教学环境固定 VLEN=4096、LMUL=m1、vstart=0、VS/FS 已启用、所选 SEW 受支持。输入浮点数先表示为相应 binary32/64。VL=0 时不更新任何目标元素；同宽源/目标可重叠。非活动及尾元素遵循 ma/ta，不显示确定数值。
快速理解与检索要点
vd[i] = (vs1[i] * vs2[i]) - old vd[i]；旧 vd 为减数，融合后仅舍入一次。
OPFVV 编码固定为 funct6=101110、funct3=001、opcode=1010111；vs1 与 vs2 逐 lane 相乘后减去旧 vd。
只对 vl 范围内的活动元素执行；非活动元素和尾部元素受当前 vma/vta 策略影响。
vm=0 使用 v0 作为执行掩码，vm=1 表示不使用掩码。
浮点算术和转换遵循 RVV 浮点规则；普通浮点舍入来自 frm，定点 vxrm 不控制这些指令。
向量 FP32/FP64 操作需要相应标量 F/D 支持；FP16 由相应向量半精度扩展控制，基础 V 扩展不自动包含半精度算术。
活动元素满足 vstart≤i<vl 且（vm=1 或 v0[i]=1）；prestart 不变，vl=0 或 vstart≥vl 不更新任何目标元素，包括 tail。
汇编 vm 写作可选 v0.t，省略为 vm=1。masked vd 不得重叠 v0；v0 不得同时作为 EEW=1 掩码源和 SEW 数据源。
要求有效 vtype、受支持浮点宽度及对应标量扩展、VS/FS 已启用；H 且虚拟化 V=1 时 vsstatus.VS/FS 也须启用。无效 frm 的使用保留，即使 vl=0。仅活动元素的异常累积到 fflags。
向量执行上下文
三元汇编顺序 vd, vs1, vs2, vm；旧 vd 是减数。同宽重叠合法，同名寄存器读取相同初值。
vs1、vs2 和旧 vd 均按 SEW 读取；没有标量或立即数操作数。
只计算 vstart≤i<vl 且（vm=1 或 v0[i]=1）的活动元素；prestart 不变。vl=0 或 vstart≥vl 时所有目标元素包括 tail 都不更新。否则 inactive/tail 遵循 vma/vta；成功执行后 vstart=0。
汇编 vm 为可选 v0.t，省略表示 vm=1；masked vd 不能重叠 v0，v0 不能同时作 EEW=1 掩码与 SEW 数据源。
要求合法 vtype、受支持的浮点宽度和对应标量浮点扩展、VS/FS 已启用；H 且虚拟化 V=1 时 vsstatus.VS/FS 也须启用。无效 frm 使用保留，即使 vl=0；不使用 vxrm。仅活动元素异常累积到 fflags。
V 支持 FP32/FP64，依赖 F/D；FP16 算术需 Zvfh。动画固定 VLEN=4096、m1、vstart=0、有效 NaN-box 与有限 RNE 路径，不展示完整 fflags。
常见使用场景
融合乘减
假定 V/VS/FS 已启用、frm=RNE、vstart=0、e32,m1 可用、VLMAX≥4 且 a0=4；示例未掩码，VF 标量按 FLEN=64 有效 NaN-boxed。old v1=[1,2,-3,4], v2=[2,4,-2,0], v3=[3,-1,2,5] → v1=[5,-6,-1,-4]。尾部遵循 ta，不假定清零。
使用前检查清单
语法检查
- 三元汇编顺序 vd, vs1, vs2, vm；旧 vd 是减数。同宽重叠合法，同名寄存器读取相同初值。
- vs1、vs2 和旧 vd 均按 SEW 读取；没有标量或立即数操作数。
语义检查
- 只计算 vstart≤i<vl 且（vm=1 或 v0[i]=1）的活动元素；prestart 不变。vl=0 或 vstart≥vl 时所有目标元素包括 tail 都不更新。否则 inactive/tail 遵循 vma/vta；成功执行后 vstart=0。
- 汇编 vm 为可选 v0.t，省略表示 vm=1；masked vd 不能重叠 v0，v0 不能同时作 EEW=1 掩码与 SEW 数据源。
- 要求合法 vtype、受支持的浮点宽度和对应标量浮点扩展、VS/FS 已启用；H 且虚拟化 V=1 时 vsstatus.VS/FS 也须启用。无效 frm 使用保留，即使 vl=0；不使用 vxrm。仅活动元素异常累积到 fflags。
- V 支持 FP32/FP64，依赖 F/D；FP16 算术需 Zvfh。动画固定 VLEN=4096、m1、vstart=0、有效 NaN-box 与有限 RNE 路径，不展示完整 fflags。
容易混淆 / 常见误区
按 vd[i] = (vs1[i] * vs2[i]) - old vd[i] 区分操作数；旧 vd 是减数。
这是融合运算，不能等同于先乘法舍入再加/减。
向量 FP32/FP64 操作需要相应标量 F/D 支持；FP16 由相应向量半精度扩展控制，基础 V 扩展不自动包含半精度算术。