为什么 REMUW 的无符号余数仍会符号扩展?
无符号性决定低 32 位如何计算;REMUW 作为 W 指令则规定把该 32 位结果符号扩展到 64 位。
无符号32位除法取余,rs1低32位除以rs2低32位,余数符号扩展至64位写入rd
REMUW是RV64专用的无符号取余指令,rs1的低32位除以rs2的低32位(均视为无符号数),余数符号扩展至64位后写入rd。除零时余数等于被除数(符号扩展)。无符号除法不会溢出。
从机器码字段解析开始,依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。
该选择器只选择规范定义的除法结果分支;它不是异常、陷入或性能模型。
机器码按当前指令格式切成字段,动画从 encoding/decode 开始。
该动画展示 ISA 可见的解码和状态变化,不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
REMUW 仅适用于 RV64:它把两个源寄存器的低 32 位作为无符号数取余,然后把所得 32 位值按 bit 31 符号扩展到 64 位写入 rd。
结合 «remuw a0, a1, a2 # a0 = sign-extend(unsigned(a1[31:0]) % unsigned(a2[31:0]))» 等实际代码理解该场景。
无符号性决定低 32 位如何计算;REMUW 作为 W 指令则规定把该 32 位结果符号扩展到 64 位。