FADD.D
RISC-V FADD.D 指令详解
指令手册R-type双精度浮点加法：rd = rs1+rs2。
指令语法
fadd.d rd, rs1, rs2, rm
操作数说明
rd：目标浮点寄存器，接收该格式的浮点结果。
rs1/rs2：源浮点寄存器；带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
D浮点运算
指令行为说明
FADD.D 执行双精度浮点加法：rd = rs1 + rs2。R 型指令，fmt=D(01)。舍入模式由 rm 字段指定。操作前检查输入是否合法 NaN-boxed——若 FLEN>64（如存在 Q 扩展），输入的高 FLEN-64 位必须全为 1，否则视为规范 NaN。运算结果按 IEEE 754-2008 标准产生，并设置适用于该运算的浮点异常标志。NaN 结果返回规范 NaN (0x7ff8000000000000)。
常见使用场景
浮点基本运算
结合 «fadd.d f0, f1, f2 # f0 = f1+f2 (RNE)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
输入必须是合法 NaN-boxed 值（FLEN>64 时高位全 1），否则被当作规范 NaN
舍入模式影响异常标志与最终结果
次规范数按 IEEE 754-2008 处理，tininess 在舍入后检测