FDIV.S

RISC-V FDIV.S 指令详解

指令手册R-type

执行单精度浮点除法:rd = rs1/rs2。

指令语法

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

指令行为说明

FDIV.S 将单精度浮点 rs1 除以 rs2,按 rm 字段选择舍入模式并写入 rd。除以零、无效操作、溢出、下溢和不精确等情况按 RISC-V F 扩展/IEEE 754 规则产生结果并设置 fflags;不要把所有除零情况都简化为无穷。

快速理解与检索要点

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

后缀 .S 使用 32 位单精度格式,属于 F 扩展。
除以零、0/0、无穷和 NaN 情况由浮点异常标志和结果分类规则处理。

常见使用场景

浮点基本运算

结合 «fdiv.s f0, f1, f2 # f0 = f1/f2 (RNE)» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

舍入模式由 rm 字段或动态舍入模式决定。
浮点异常记录在 fflags,不是整数异常标志。
0/0 是 invalid operation;不要把所有除零都描述成同一种结果。

常见问题

它会触发整数异常吗?

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

rm 可以省略吗?

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