首页/指令库/有符号除法
DIV

RISC-V DIV 指令详解

指令手册R-type

有符号除法,rs1除以rs2,商写入rd(向零取整)

指令语法

div rd, rs1, rs2
操作数说明
目标寄存器 rd:存放运算结果的通用寄存器。
源寄存器 rs1:第一个操作数寄存器。
源寄存器 rs2:第二个操作数寄存器。
M算术运算除法

指令编码

31..25
funct7
24..20
rs2
19..15
rs1
14..12
funct3
11..7
rd
6..0
opcode

DIV 使用 opcode 0110011(0x33)、funct3 100、funct7 0000001。rs1 和 rs2 字段选择两个源寄存器,rd 字段选择目标寄存器。

格式: R-type
opcode: 0110011 (0x33)
funct3: 100 (0x4)
funct7: 0000001 (0x01)

指令行为说明

DIV执行有符号整数除法,rs1为被除数,rs2为除数,商向零方向取整并写入rd。除数为零时商为全1(即-1),溢出(-2^(L-1)/-1)时商等于被除数。

常见使用场景

乘法与除法

结合 «div a0, a1, a2 # a0 = signed(a1 / a2), toward zero» 等实际代码理解该场景。

地址与指针

结合 «div a0, a1, a2 # a0 = signed(a1 / a2), toward zero» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

除数为 0 时返回全 1(即 -1),不触发异常
-2^(XLEN-1) / -1 会溢出(在 RV32 中 -2147483648/-1 无法表示)