FADD.Q

RISC-V FADD.Q 指令详解

指令手册R-type

执行四精度浮点加法:rd = rs1+rs2。R型指令,fmt=Q(11)。

指令语法

fadd.q rd, rs1, rs2, rm
操作数说明
rd:目标浮点寄存器,接收该格式的浮点结果。
rs1/rs2:源浮点寄存器;带 rm 的算术/舍入指令由 rm 或动态 frm 选择舍入模式。
Q浮点运算

指令行为说明

fadd.q 对两个四精度浮点源操作数执行 IEEE 754 加法,按 rm 指定的舍入模式产生四精度浮点结果并写入 f[rd]。

快速理解与检索要点

fadd.q 对两个四精度浮点源操作数执行 IEEE 754 加法,按 rm 指定的舍入模式产生四精度浮点结果并写入 f[rd]。

rm 字段选择静态舍入模式,rm=111 时使用动态舍入模式 frm。
结果和异常标志遵循 RISC-V 浮点/IEEE 754 规则;不要假设 NaN、无穷或舍入边界按整数加法处理。
源操作数必须满足对应浮点格式在 FLEN 寄存器中的 NaN-boxing 要求。

常见使用场景

信号处理与DSP

结合 «fadd.q f0, f1, f2, rne # f0 = f1+f2» 等实际代码理解该场景。

浮点基本运算

结合 «fadd.q f0, f1, f2, rne # f0 = f1+f2» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认当前指令格式为 R-type。
  • 确认操作数排列顺序与示例一致。
语义检查
  • 确认目标寄存器用途和调用约定兼容。
  • 确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

结果和异常标志遵循 RISC-V 浮点/IEEE 754 规则;不要假设 NaN、无穷或舍入边界按整数加法处理。
源操作数必须满足对应浮点格式在 FLEN 寄存器中的 NaN-boxing 要求。

常见问题

fadd.q 是整数加法吗?

不是。它是浮点加法,处理 NaN、无穷、舍入和异常标志。

fadd.q 的结果是否一定精确?

不一定。不能精确表示时会按舍入模式舍入,并可能设置 NX 等浮点异常标志。