SRL 和 SRA 的结果何时不同？
当 rs1 的最高位为 1 且移位量非 0 时不同：SRL 高位补 0，SRA 高位复制原符号位。
SRL
RISC-V SRL 指令详解
指令手册R-type将rs1按rs2的低log2(XLEN)位逻辑右移（高位补零），结果写入rd
指令语法
srl rd, rs1, rs2
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
RV32I算术运算移位
指令行为说明
SRL 指令采用 R-type 格式，将 rs1 按 rs2 低 log2(XLEN) 位给出的移位量逻辑右移：RV32 使用 rs2[4:0]，RV64 使用 rs2[5:0]。高位补 0，低位移出的 bit 丢弃，结果写入 rd。opcode=0110011，funct3=101，funct7=0000000；同一 funct3 下 funct7=0100000 选择 SRA。
SRL 指令解析与执行动画
以 ADDI 页面同样的节奏展示：机器码字段解析、固定字段识别、操作数读取、指令专属语义计算和 ISA 可见状态更新。
rd
rs1
rs2
srl
,
,
执行环境
31..25
24..20
19..15
14..12
11..7
6..0
0000000
funct7
00010
rs2
00110
rs1
101
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x002352B3
opcode
0110011 -> OP
funct3
101 -> SRL
funct7
0000000 -> base ALU op
rd / rs1 / rs2
t0(x5) / t1(x6) / sp(x2)
shamt
rs2 low 5 bits -> 2
ALU
0x00000014 >> 2 = 0x00000005
x5
t0(x5) = 0x00000005
当前步骤
概念步骤：拿到 32-bit 指令编码
机器码按当前指令格式切成字段，动画从 encoding/decode 开始。
encoding: 0x002352B3
syntax : srl t0(x5), t1(x6), sp(x2)
result : t0(x5) = 0x00000005
该动画展示 ISA 可见的解码和状态变化，不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
快速理解与检索要点
SRL 从 rs2 低位取得动态移位量，把 rs1 逻辑右移，高位补 0。它适合无符号值或 bit-field 提取，不保留符号。
opcode=0110011、funct3=101、funct7=0000000 选择 SRL。
SRL 与 SRA 共享 funct3=101，区别在 funct7/bit30 是否选择算术右移。
常见使用场景
位操作与掩码
结合 «srl x5, x6, x7 # x5 = x6 >> (x7[4:0] on RV32, x7[5:0] on RV64) (logical)» 等实际代码理解该场景。
类型转换
结合 «srl x5, x6, x7 # x5 = x6 >> (x7[4:0] on RV32, x7[5:0] on RV64) (logical)» 等实际代码理解该场景。
加密与安全
结合 «srl x5, x6, x7 # x5 = x6 >> (x7[4:0] on RV32, x7[5:0] on RV64) (logical)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
SRL 高位补 0；不要把它当作保持符号的右移。
移位量只取 rs2 的低 log2(XLEN) 位，RV32 与 RV64 的有效位数不同。
常见问题
SRL 是否等同于无符号除以 2 的幂？
对二进制无符号解释，逻辑右移常用于除以 2 的幂；页面动画只展示 ISA 定义的位移结果，不添加语言级溢出或舍入规则。