FMSUB.Q 和 FMUL 后接加减有什么不同？
FMSUB.Q 是融合操作，乘积不会先舍入成中间浮点结果；整个表达式只在最终按 rm 舍入一次。
FMSUB.Q
RISC-V FMSUB.Q 指令详解
指令手册R4-type四精度浮点融合乘减：rd = (rs1 * rs2) - rs3，融合操作只在最终按 rm 舍入一次。
指令语法
fmsub.q rd, rs1, rs2, rs3, rm
操作数说明
rd、rs1、rs2、rs3：浮点寄存器 f0–f31 或其 ABI 名称；f0 可写，rd 可与源重叠；同一源寄存器读取同一初值。
rm 是可选小写汇编操作数，省略为 dyn；rm=111 使用 frm，静态 101/110 和动态 frm=101–111 的行为保留。
Q浮点运算
指令行为说明
FMSUB.Q 使用 R4 型四寄存器格式执行 四精度浮点融合乘减。rs1 与 rs2 的乘积不会先舍入或写回中间结果，而是与 rs3 组成一个融合表达式，最终按 rm 舍入一次并写入 rd。
FMSUB.Q 指令解析与执行动画
展示 Q 扩展四精度 R4 融合乘减 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FMSUB 语义并写回 rd。
rd
rs1
rs2
rs3
rm
fmsub.q
,
,
,
,
rm 可留空：按汇编默认 dyn 编码，并使用下方 fcsr.frm。
执行环境
FLEN=128 / fmt=Q (11)
舍入: RNE 最近偶数
fflags: 初始 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
01101
rs3
11
fmt=Q
01100
rs2
01011
rs1
000
rm
01010
rd
1000111
MSUB
执行数据路径
instruction
0x6EC58547
opcode
1000111 -> MSUB
rs3/fmt
fa3(f13) + Q(11) -> R4 FMSUB
rm
000 -> RNE 最近偶数
rd/rs
fa0(f10) / fa1(f11) / fa2(f12) / fa3(f13)
read
尚未读取源寄存器
fused op
等待 Execute 计算
write
尚未写回；初始 fflags=0
当前步骤
Fetch：展示 32-bit R4 编码
机器码按 R4-type 字段切分；FMSUB.Q 使用专用 major opcode 1000111，不是普通 OP-FP opcode。
encoding: 0x6EC58547
syntax : fmsub.q fa0(f10), fa1(f11), fa2(f12), fa3(f13), rne
result : 尚未写回；初始 fflags=0
默认示例 (1.5 * 2.0) - 1.0 = 2.0 可精确核算；融合操作只在最终按 rm 舍入一次，因此示例 fflags 保持 0。
四精度计算视图
rs1
fa1(f11) = 1.5
rs2
fa2(f12) = 2.0
rs3
fa3(f13) = 1.0
结果
等待 Execute 计算
默认示例 (1.5 * 2.0) - 1.0 = 2.0 可精确核算；融合操作只在最终按 rm 舍入一次，因此示例 fflags 保持 0。
假定扩展可用、FS 已启用、输入已正确 NaN-boxed、初始 fflags=0。仅接受非零有限精确白名单输入和非零白名单结果；零与舍入/异常边界不在动画范围内。同一源寄存器须有同一初始值；rd 可与源重叠，f0 可正常写回。步骤是教学视图。
该动画只展示 RISC-V Q 扩展的 ISA 可见 R4 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FMSUB.Q 的学习重点是 R4 编码和 fused 语义：rs3 是真实第三个源寄存器，乘积与加/减项形成一个精确中间表达式，最后只舍入一次。
R4 major opcode=1000111 标识 MSUB 类融合操作，fmt=Q 选择 四精度格式。
编码字段顺序为 rs3 | fmt | rs2 | rs1 | rm | rd | opcode；这与普通 OP-FP R-type 不同。
语义表达式为 rd = (rs1 * rs2) - rs3，融合操作只在最终按 rm/frm 舍入一次。
Q 依赖 D 和 F，FLEN=128。适用于 RV32/RV64，须支持所需扩展并启用浮点状态。
rd 和各源均为浮点寄存器 f0–f31；f0 可写。源重叠读取写回前的同一初值，rd 可与源重叠。
Q 运算读取和写回 128 位浮点值，不对较窄格式执行隐式转换。
rm 是可选汇编操作数，须小写；省略为 dyn。动画从 fflags=0 开始，仅演示非零有限精确白名单输入和结果；特殊值、零结果与舍入边界不执行，步骤不表示处理器周期。
The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture (Version 20260120)The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture (Version 20260120)The RISC-V Instruction Set Manual, Volume II: Privileged Architecture (Version 20260120)RISC-V Assembly Programmer’s Manual (Version v0.0.0, 2025-02-05; release v0.0.1)RISC-V ABIs Specification (v1.0)
常见使用场景
浮点融合运算
结合 «fmsub.q f0, f1, f2, f3, rne # f1=1.5, f2=2, f3=1 => f0=2» 等实际代码理解该场景。
数值计算
结合 «fmsub.q f0, f1, f2, f3, rne # f1=1.5, f2=2, f3=1 => f0=2» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd、rs1、rs2、rs3：浮点寄存器 f0–f31 或其 ABI 名称；f0 可写，rd 可与源重叠；同一源寄存器读取同一初值。
- rm 是可选小写汇编操作数，省略为 dyn；rm=111 使用 frm，静态 101/110 和动态 frm=101–111 的行为保留。
语义检查
- 确认源格式与所需扩展匹配，浮点状态已启用；源格式窄于 FLEN 时须正确 NaN-boxed。
- 适用的 NV、OF、UF、NX 累积到 fflags，不产生 DZ；设置异常标志本身不触发 trap。
容易混淆 / 常见误区
FMSUB.Q 是融合操作，不等同于 FMUL 后接 FADD/FSUB 的两次舍入序列。
R4 编码的 bits 31..27 是 rs3 字段；不要按普通 OP-FP R-type 的 funct5 字段解读。
rm 控制最终一次舍入；rm=101 或 110 为保留编码，rm=111 选择 frm，而 frm=101 至 111 时行为保留。
若两个乘数一方为无穷、另一方为零，必须设置 NV，即使 rs3 是 quiet NaN；其他适用的 OF、UF、NX 等也由 fflags 累积。
FNMSUB/FNMADD 的负号规则容易混淆：FNMSUB 为 -(rs1*rs2)+rs3，FNMADD 为 -(rs1*rs2)-rs3。
常见问题
FMSUB.Q 为什么是 R4-type？
它需要 rd、rs1、rs2、rs3 和 rm 字段，bits 31..27 存放 rs3，而不是普通 R-type 的 funct5。
FMSUB.Q 会设置 fflags 吗？
会在适用情况下按官方浮点规则设置异常标志，例如非精确、上溢、下溢或无效操作；默认动画示例选择精确有限值，因此显示 fflags 保持 0。