首页/指令库/字立即数循环右移
RORIW

RISC-V RORIW 指令详解

指令手册I-type

字立即数循环右移(RV64)

指令语法

roriw rd, rs1, shamt
操作数说明
rd、rs1:整数寄存器 x0–x31;shamt 为 0–31,不作符号扩展。
32 位 OP-IMM-32:opcode=0011011、funct3=101、imm[11:5]=0110000,shamt 位于 bits24:20。
仅 RV64;需启用 Zbb 或 Zbkb;B 包含 Zbb。
在 rs1 的低 32 位内循环右移;结果 bit31 符号扩展到 64 位,即使循环量为零也执行该符号扩展。
x0 恒为零,写入丢弃;rd 可与源重叠,读取写回前的源值。只操作整数寄存器,不访问数据内存。
BZbbZbkb位操作

指令行为说明

仅 RV64:将 rs1 的低 32 位循环右移 shamt(0–31),再将结果 bit 31 符号扩展到 XLEN。需启用 Zbb 或 Zbkb。

RORIW 指令解析与执行动画

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

rd
rs1
shamt
roriw
,
,
执行环境

本例假定所选 XLEN 下 Zbb 或 Zbkb 已启用,使用下列固定寄存器初值和 PC=0x2000;取指成功且无异步中断。步骤是教学分解。

t1(x6)
0x0000000000000014
31..25
24..20
19..15
14..12
11..7
6..0
0110000
fixed imm[11:5]
01000
shamt[4:0]
00110
rs1
101
funct3
00101
rd
0011011
opcode
执行数据路径
instruction
0x6083529B
opcode
0011011 -> OP-IMM-32
funct3
101 -> RORIW
imm[11:5]
imm[11:5]=0110000 fixed; shamt[4:0]=01000
rd / rs1
t0(x5) / t1(x6)
imm[11:5] + shamt[4:0]
imm[11:5]=0110000 fixed; shamt[4:0]=01000
32-bit rotate right
尚未计算
x5
t0(x5) = 0x0000000000003001; pc = 0x0000000000002000
当前步骤

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

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

encoding: 0x6083529B
syntax : roriw t0(x5), t1(x6), 8
结果: 尚未计算
当前架构状态
t0(x5) = 0x0000000000003001; pc = 0x0000000000002000

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

快速理解与检索要点

RORIW 仅用于 RV64:旋转 rs1 的低 32 位,随后把结果 bit 31 符号扩展到 XLEN。

W 后缀形式只操作 rs1 的低 32 位,移位量使用 5 位。
32 位结果按 bit 31 符号扩展到 XLEN,不能当作普通 64 位循环移位。

常见使用场景

循环右移

RV64 Zbb(或 Zbkb),x11=0x1234567880000001:roriw x10, x11, 1 得到低字 0xC0000000,再写 x10=0xFFFFFFFFC0000000。

使用前检查清单

语法检查
  • rd、rs1:整数寄存器 x0–x31;shamt 为 0–31,不作符号扩展。
  • 32 位 OP-IMM-32:opcode=0011011、funct3=101、imm[11:5]=0110000,shamt 位于 bits24:20。
语义检查
  • 仅 RV64;需启用 Zbb 或 Zbkb;B 包含 Zbb。
  • 在 rs1 的低 32 位内循环右移;结果 bit31 符号扩展到 64 位,即使循环量为零也执行该符号扩展。
  • x0 恒为零,写入丢弃;rd 可与源重叠,读取写回前的源值。只操作整数寄存器,不访问数据内存。

容易混淆 / 常见误区

仅适用于RV64
对低32位操作
W 后缀指令只产生 32 位结果,并把 bit[31] 符号扩展到 XLEN;不要把它当作普通 64 位运算。
shamt 位于 bits24:20;imm[11:5] 固定为 0110000,不是有符号 12 位操作数。

常见问题

RORIW 会访问内存吗?

不会访问数据内存;该指令读取整数源寄存器,并把计算结果写入 rd。

RORIW 的结果宽度是什么?

RORIW 的循环发生在 rs1[31:0];32 位结果的 bit 31 复制到写入 rd 的更高位。