REM
RISC-V REM 指令详解
指令手册R-type有符号除法取余，rs1除以rs2的余数写入rd
指令语法
rem 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
REM 使用 opcode 0110011（0x33）、funct3 110、funct7 0000001。rs1 和 rs2 字段选择两个源寄存器，rd 字段选择目标寄存器。
格式: R-type
opcode: 0110011 (0x33)
funct3: 110 (0x6)
funct7: 0000001 (0x01)
指令行为说明
REM执行有符号整数除法取余，rs1为被除数，rs2为除数，余数写入rd。非零结果的符号与被除数相同。除数为零时余数等于被除数。溢出时余数为零。满足：被除数 = 除数 × 商 + 余数。
常见使用场景
乘法与除法
结合 «rem a0, a1, a2 # a0 = a1 % a2 (signed)» 等实际代码理解该场景。
数组与内存访问
结合 «rem a0, a1, a2 # a0 = a1 % a2 (signed)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
除零返回被除数，不异常
余数符号跟随被除数，而非除数
对应关系：dividend = divisor × quotient + remainder