FMUL.D 和 FMUL.S 的主要区别是什么？
FMUL.D 使用 D 扩展的双精度格式，fmt=01，操作 64 位浮点数；FMUL.S 使用 F 扩展的单精度格式，fmt=00，操作 32 位浮点数。
FMUL.D
RISC-V FMUL.D 指令详解
指令手册R-type执行双精度浮点乘法：rd = rs1 * rs2，舍入由 rm 字段或动态 frm 决定。
指令语法
fmul.d rd, rs1, rs2, rm
操作数说明
rd：目标浮点寄存器，接收该格式的浮点结果。
rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
D浮点运算
指令行为说明
FMUL.D 将 rs1 和 rs2 中的双精度浮点值相乘，结果写入 rd。该 R-type OP-FP 指令使用 fmt=D(01)，舍入由 rm 字段指定或在 DYN 时由 frm 提供；适用的浮点异常标志累积到 fflags。若 FLEN 大于 64，双精度输入按 NaN-boxing 规则检查。
FMUL.D 指令解析与执行动画
展示 D 扩展双精度 OP-FP 指令的 ISA 可见流程：解析编码字段，读取浮点寄存器，执行 FMUL 语义并写回 rd。
rd
rs1
rs2
rm
fmul.d
,
,
,
执行环境
FLEN=64 / fmt=D (01)
舍入: RNE 最近偶数
fflags: 示例 fflags 保持 0
31..27
26..25
24..20
19..15
14..12
11..7
6..0
00010
FMUL
01
fmt=D
01100
rs2
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x12C58553
opcode
1010011 -> OP-FP
funct5/fmt
00010 + D(01) -> FMUL.D
rm
000 -> RNE 最近偶数
rd/rs
fa0(f10) / fa1(f11) / fa2(f12)
read
3.5, 2.0
FP op
3.5 * 2.0 = 7.0
write
fa0(f10) = 7.0; 示例 fflags 保持 0
当前步骤
Fetch：展示 32-bit OP-FP 编码
机器码按 R-type OP-FP 字段切分；双精度浮点 OP-FP 指令使用 opcode 1010011。
encoding: 0x12C58553
syntax : fmul.d fa0(f10), fa1(f11), fa2(f12), rne
result : fa0(f10) = 7.0; 示例 fflags 保持 0
动画按可编辑示例值显示教学结果；最终舍入和 fflags 以 RISC-V D 官方规则为准。
双精度计算视图
rs1
fa1(f11) = 3.5
rs2
fa2(f12) = 2.0
结果
3.5 * 2.0 = 7.0
动画按可编辑示例值显示教学结果；最终舍入和 fflags 以 RISC-V D 官方规则为准。
该动画只展示 RISC-V D 扩展的 ISA 可见 OP-FP 编码、示例数值结果和 fflags 关系；不模拟具体 FPU 流水线、延迟、完整 IEEE 754 边界组合或微架构实现。
快速理解与检索要点
FMUL.D 是 D 扩展的双精度乘法：fmt=01 选择 64 位 D 格式，rm/frm 控制舍入，结果和 fflags 由官方浮点算术规则决定。
OP-FP opcode 为 1010011；funct5 选择 FADD/FSUB/FMUL，fmt=01 选择 D 双精度格式。
rm 字段选择静态舍入模式；rm=111 时使用 fcsr.frm 中的动态舍入模式。
浮点异常标志采用累积语义，运算可能设置 NV、OF、UF、NX 等适用标志。
NaN 结果使用规范 NaN；FLEN 大于 64 时，双精度值需满足 NaN-boxing 规则。
常见使用场景
双精度数值计算
结合 «fmul.d fa0, fa1, fa2, rne # fa0 = fa1 * fa2» 等实际代码理解该场景。
浮点基本运算
结合 «fmul.d fa0, fa1, fa2, rne # fa0 = fa1 * fa2» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd：目标浮点寄存器，接收该格式的浮点结果。
- rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
语义检查
- 确认操作数的浮点格式后缀（.H/.S/.D/.Q）符合数据宽度。
- 确认是否需要检查 fflags 中的 NV、DZ、OF、UF、NX 等标志。
容易混淆 / 常见误区
rm=111 表示使用 frm 动态舍入模式；其它保留 rm 编码不应作为合法示例使用。
非精确、上溢、下溢、无效操作等情况由 fflags 累积记录，示例中的精确结果不能代表所有输入。
若实现的 FLEN 大于 64，双精度输入必须满足 NaN-boxing；不满足时按规范 NaN 参与运算。
常见问题
FMUL.D 的 rm 字段什么时候影响结果？
当相乘结果不能在目标双精度格式中精确表示，或发生上溢、下溢等边界情况时，rm 或动态 frm 决定舍入方向并可能影响 fflags。
FMUL.D 会修改整数寄存器吗？
不会。rd、rs1、rs2 都是浮点寄存器字段；结果写回浮点 rd，整数 x 寄存器不是该指令的目标。