FSQRT.D

RISC-V FSQRT.D 指令详解

指令手册R-type

计算双精度平方根:rd = sqrt(rs1)。

指令语法

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

指令行为说明

FSQRT.D 计算 f[rs1] 中双精度浮点值的平方根,结果写入 f[rd]。R 型指令,fmt=D(01)。负数输入(含 −0 之外的负值)产生规范 NaN 并设置 NV。−0 的平方根为 −0(IEEE 754 规定)。舍入模式由 rm 指定。

快速理解与检索要点

FSQRT.D 是浮点算术指令,按 rm 字段选择舍入模式,并按 IEEE 754/RISC-V 浮点规则设置 fflags 异常标志。

后缀 .D 使用 64 位双精度格式,属于 D 扩展。
负数、NaN 和精确性由浮点平方根规则与异常标志处理。

常见使用场景

数值计算

结合 «fsqrt.d f0, f1 # f0 = sqrt(f1) (RNE)» 等实际代码理解该场景。

几何计算

结合 «fsqrt.d f0, f1 # f0 = sqrt(f1) (RNE)» 等实际代码理解该场景。

科学计算

结合 «fsqrt.d f0, f1 # f0 = sqrt(f1) (RNE)» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

负数(含 −∞)产生规范 NaN 并设置 NV;sqrt(−0)=−0 是唯一的例外
√2、√3 等无理数结果必然设 NX 标志

常见问题

它会触发整数异常吗?

不会。浮点异常通过 fflags 记录,具体结果按浮点规范产生。

rm 可以省略吗?

汇编器通常可使用动态舍入或默认写法,但机器指令包含舍入模式字段。