首页/指令库/无符号取余
REMU

RISC-V REMU 指令详解

指令手册R-type

无符号除法取余,rs1除以rs2的余数写入rd

指令语法

remu rd, rs1, rs2
操作数说明
rd:接收结果;rd 与源重叠时先读取旧源值,rd=x0 丢弃写回。
rs1 是被除数、rs2 是除数;以无符号 XLEN 位值计算余数。
需要 RV32/RV64 M 扩展;除数为 0 时返回被除数,无整数除零算术异常。
M算术运算除法

指令行为说明

REMU提供无符号整数除法的余数,rs1除以rs2的余数写入rd。除数为零时余数等于被除数。无符号除法不会发生溢出。

REMU 指令解析与执行动画

从机器码字段解析开始,依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。

rd
rs1
rs2
remu
,
,
执行环境

本例使用固定寄存器初值和初始 PC=0x2000;取指成功,没有异步中断或额外扩展检查。异常分支只显示普通提交停止,陷入后的 PC 和处理程序状态由 EEI 决定。

t1(x6)
0x00000014
t2(x7)
0x00000007

该选择器选择规范定义的除法结果分支。除法特例会设置上方 t1/t2 的示例初值;编辑源寄存器会恢复普通模式。它不是异常、陷入或性能模型。

31..25
24..20
19..15
14..12
11..7
6..0
0000001
funct7
00111
rs2
00110
rs1
111
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x027372B3
opcode
0110011 -> OP
funct3
111 -> REMU
funct7
0000001 -> M-extension divide/remainder selector
rd / dividend / divisor
t0(x5) / t1(x6)=20 / t2(x7)=7
unsigned 32-bit remainder
尚未计算
x5
t0(x5) = 0x00003001; pc = 0x00002000
当前步骤

概念步骤:拿到 32-bit 指令编码

机器码按当前指令格式切成字段,动画从 encoding/decode 开始。

encoding: 0x027372B3
syntax : remu t0(x5), t1(x6), t2(x7)
待提交结果: 尚未计算
当前架构状态
t0(x5) = 0x00003001; pc = 0x00002000

该动画展示 ISA 可见的解码和状态变化,不表示任何特定 CPU 的流水线、缓存、预测或时序实现。

快速理解与检索要点

REMU 将 rs1 和 rs2 都作为 XLEN 位无符号数,计算余数并写入 rd。它与 REM 使用不同的无符号解释,而非只改变助记符。

R 型固定编码为 opcode=0110011、funct3=111、funct7=0000001;它属于 M 扩展。
除数为 0 时余数等于被除数;无符号除法没有有符号最小负数除以 -1 的溢出特例。

常见使用场景

整数取余

RV32/RV64 + M,x6=20、x7=7:remu x5, x6, x7 得到 x5=6;两个源按 XLEN 位无符号数解释。

使用前检查清单

语法检查
  • rd、rs1、rs2 选择 x0–x31 或 ABI 别名;没有立即数或 rs3。
语义检查
  • REMU 将 rs1 和 rs2 都作为 XLEN 位无符号数,计算余数并写入 rd。它与 REM 使用不同的无符号解释,而非只改变助记符。
  • 源与目的重叠时先读取旧源值;x0 恒为零,写入 x0 被丢弃。

容易混淆 / 常见误区

除数为 0 不产生整数除零算术异常;余数等于被除数。
无符号除法不会溢出。

常见问题

REMU 和 REM 的核心区别是什么?

REMU 将两个源寄存器解释为无符号 XLEN 位整数;REM 将它们解释为有符号整数,且非零余数的符号跟随被除数。