FMADD.D 和 FMUL 后接加减有什么不同？
FMADD.D 是融合操作，乘积不会先舍入成中间浮点结果；整个表达式只在最终按 rm 舍入一次。
FMADD.D
RISC-V FMADD.D 指令详解
指令手册R4-type双精度浮点融合乘加：rd = (rs1 * rs2) + rs3，融合操作只在最终按 rm 舍入一次。
指令语法
fmadd.d rd, rs1, rs2, rs3, rm
操作数说明
rd：目标浮点寄存器。
rs1、rs2、rs3：三个源浮点寄存器；R4 格式不是普通三寄存器 R-type。
rm：融合乘加/乘减最终结果的舍入模式字段。
D浮点运算
指令行为说明
FMADD.D 使用 R4 型四寄存器格式执行 双精度浮点融合乘加。rs1 与 rs2 的乘积不会先舍入或写回中间结果，而是与 rs3 组成一个融合表达式，最终按 rm 舍入一次并写入 rd。
FMADD.D 指令解析与执行动画
展示 D 扩展双精度 R4 融合乘加 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FMADD 语义并写回 rd。
rd
rs1
rs2
rs3
rm
fmadd.d
,
,
,
,
执行环境
FLEN=64 / fmt=D (01)
舍入: RNE 最近偶数
fflags: 示例 fflags 保持 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
01101
rs3
01
fmt=D
01100
rs2
01011
rs1
000
rm
01010
rd
1000011
MADD
执行数据路径
instruction
0x6AC58543
opcode
1000011 -> MADD
rs3/fmt
fa3(f13) + D(01) -> R4 FMADD
rm
000 -> RNE 最近偶数
rd/rs
fa0(f10) / fa1(f11) / fa2(f12) / fa3(f13)
read
1.5, 2.0, 0.5
fused op
(1.5 * 2.0) + 0.5 = 3.5
write
fa0(f10) = 3.5; 示例 fflags 保持 0
当前步骤
Fetch：展示 32-bit R4 编码
机器码按 R4-type 字段切分；FMADD.D 使用专用 major opcode 1000011，不是普通 OP-FP opcode。
encoding: 0x6AC58543
syntax : fmadd.d fa0(f10), fa1(f11), fa2(f12), fa3(f13), rne
result : fa0(f10) = 3.5; 示例 fflags 保持 0
默认示例 (1.5 * 2.0) + 0.5 = 3.5 可精确核算；融合操作只在最终按 rm 舍入一次，因此示例 fflags 保持 0。
双精度计算视图
rs1
fa1(f11) = 1.5
rs2
fa2(f12) = 2.0
rs3
fa3(f13) = 0.5
结果
(1.5 * 2.0) + 0.5 = 3.5
默认示例 (1.5 * 2.0) + 0.5 = 3.5 可精确核算；融合操作只在最终按 rm 舍入一次，因此示例 fflags 保持 0。
该动画只展示 RISC-V D 扩展的 ISA 可见 R4 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FMADD.D 的学习重点是 R4 编码和 fused 语义：rs3 是真实第三个源寄存器，乘积与加/减项形成一个精确中间表达式，最后只舍入一次。
R4 major opcode=1000011 标识 MADD 类融合操作，fmt=D 选择 双精度格式。
编码字段顺序为 rs3 | fmt | rs2 | rs1 | rm | rd | opcode；这与普通 OP-FP R-type 不同。
语义表达式为 rd = (rs1 * rs2) + rs3，融合操作只在最终按 rm/frm 舍入一次。
动画默认示例使用可精确核算的有限数值；NaN、无穷、上溢、下溢和非精确路径由官方静态说明覆盖。
常见使用场景
浮点融合运算
结合 «fmadd.d f0, f1, f2, f3, rne # f0 = (rs1 * rs2) + rs3» 等实际代码理解该场景。
数值计算
结合 «fmadd.d f0, f1, f2, f3, rne # f0 = (rs1 * rs2) + rs3» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd：目标浮点寄存器。
- rs1、rs2、rs3：三个源浮点寄存器；R4 格式不是普通三寄存器 R-type。
- rm：融合乘加/乘减最终结果的舍入模式字段。
语义检查
- 确认 rs3 参与融合操作，结果只在最终舍入一次。
- 确认负形式 FNMADD/FNMSUB 的符号规则与预期一致。
容易混淆 / 常见误区
FMADD.D 是融合操作，不等同于 FMUL 后接 FADD/FSUB 的两次舍入序列。
R4 编码的 bits 31..27 是 rs3 字段；不要按普通 OP-FP R-type 的 funct5 字段解读。
rm 控制最终一次舍入；非精确、上溢、下溢、无效操作或特殊值路径按官方浮点异常标志规则记录。
FNMSUB/FNMADD 的负号规则容易混淆：FNMSUB 为 -(rs1*rs2)+rs3，FNMADD 为 -(rs1*rs2)-rs3。
常见问题
FMADD.D 为什么是 R4-type？
它需要 rd、rs1、rs2、rs3 和 rm 字段，bits 31..27 存放 rs3，而不是普通 R-type 的 funct5。
FMADD.D 会设置 fflags 吗？
会在适用情况下按官方浮点规则设置异常标志，例如非精确、上溢、下溢或无效操作；默认动画示例选择精确有限值，因此显示 fflags 保持 0。