REMW 是否使用完整的 64 位源操作数？
不会。REMW 只把 rs1 和 rs2 的低 32 位作为有符号操作数，并把最终 32 位余数符号扩展到 64 位。
REMW
RISC-V REMW 指令详解
指令手册R-type有符号32位除法取余，rs1低32位除以rs2低32位，余数符号扩展至64位写入rd
指令语法
remw rd, rs1, rs2
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
M算术运算除法
指令行为说明
REMW是RV64专用的有符号取余指令，rs1的低32位除以rs2的低32位（均视为有符号数），余数符号扩展至64位后写入rd。非零结果的符号与被除数（rs1[31:0]）相同。除零时余数等于被除数（符号扩展），溢出时余数为零。
REMW 指令解析与执行动画
从机器码字段解析开始，依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。
rd
rs1
rs2
remw
,
,
执行环境
t1(x6)
0x0000000000000014
t2(x7)
0x0000000000000007
该选择器只选择规范定义的除法结果分支；它不是异常、陷入或性能模型。
31..25
24..20
19..15
14..12
11..7
6..0
0000001
funct7
00111
rs2
00110
rs1
110
funct3
00101
rd
0111011
opcode
执行数据路径
instruction
0x027362BB
opcode
0111011 -> OP-32
funct3
110 -> REMW
funct7
0000001 -> M-extension divide/remainder selector
rd / dividend / divisor
t0(x5) / t1(x6)=20 / t2(x7)=7
signed 32-bit remainder
20 % 7 -> remainder[31:0]=0x00000006 -> sext.w 0x0000000000000006 (signed 32-bit remainder; a nonzero result has the dividend sign)
x5
t0(x5) = 0x0000000000000006
当前步骤
概念步骤：拿到 32-bit 指令编码
机器码按当前指令格式切成字段，动画从 encoding/decode 开始。
encoding: 0x027362BB
syntax : remw t0(x5), t1(x6), t2(x7)
result : t0(x5) = 0x0000000000000006
架构可见结果
t0(x5) = 0x0000000000000006
该动画展示 ISA 可见的解码和状态变化，不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
快速理解与检索要点
REMW 仅适用于 RV64：它将两个源寄存器的低 32 位作为有符号数取余，再把该 32 位结果符号扩展到 64 位写入 rd。
R 型 OP-32 固定编码为 opcode=0111011、funct3=110、funct7=0000001；它是 RV64M 指令。
除数为 0 时低 32 位余数等于低 32 位被除数，结果仍符号扩展；最小 32 位负数除以 -1 时余数为 0。
常见使用场景
乘法与除法
结合 «remw a0, a1, a2 # a0 = sign-extend(signed(a1[31:0]) % signed(a2[31:0]))» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认 rd、rs1、rs2（及 rs3）是合法 GPR。
- 确认 funct3 与 funct7 字段编码正确。
语义检查
- 确认结果是否会影响后续分支或地址计算。
- 确认 rd 寄存器不会被其他指令覆盖。
容易混淆 / 常见误区
除零返回被除数（符号扩展至64位）
余数符号跟随被除数
W 后缀指令只产生 32 位结果，并把 bit[31] 符号扩展到 XLEN；不要把它当作普通 64 位运算。
这些 W 后缀形式属于 RV64I 或 RV64 扩展指令，RV32 中没有对应形式。