SRA 和 SRL 的编码差异是什么？
二者共享 opcode=0110011 和 funct3=101；SRA 使用 funct7=0100000，SRL 使用 funct7=0000000。
SRA
RISC-V SRA 指令详解
指令手册R-type将rs1按rs2的低log2(XLEN)位算术右移（高位用原符号位填充），结果写入rd
指令语法
sra rd, rs1, rs2
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
RV32I算术运算移位
指令行为说明
SRA 指令采用 R-type 格式，将 rs1 按 rs2 低 log2(XLEN) 位给出的移位量算术右移：RV32 使用 rs2[4:0]，RV64 使用 rs2[5:0]。高位用 rs1 的原最高位填充，低位移出的 bit 丢弃，结果写入 rd。opcode=0110011，funct3=101，funct7=0100000；同一 funct3 下 funct7=0000000 选择 SRL。
SRA 指令解析与执行动画
以 ADDI 页面同样的节奏展示：机器码字段解析、固定字段识别、操作数读取、指令专属语义计算和 ISA 可见状态更新。
rd
rs1
rs2
sra
,
,
执行环境
31..25
24..20
19..15
14..12
11..7
6..0
0100000
funct7
00010
rs2
10000
rs1
101
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x402852B3
opcode
0110011 -> OP
funct3
101 -> SRA
funct7
0100000 -> alternate ALU op
rd / rs1 / rs2
t0(x5) / a6(x16) / sp(x2)
shamt
rs2 low 5 bits -> 2
ALU
0xFFFFFFF0 arithmetic >> 2 = 0xFFFFFFFC
x5
t0(x5) = 0xFFFFFFFC
当前步骤
概念步骤：拿到 32-bit 指令编码
机器码按当前指令格式切成字段，动画从 encoding/decode 开始。
encoding: 0x402852B3
syntax : sra t0(x5), a6(x16), sp(x2)
result : t0(x5) = 0xFFFFFFFC
该动画展示 ISA 可见的解码和状态变化，不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
快速理解与检索要点
SRA 从 rs2 低位取得动态移位量，把 rs1 算术右移，并用原最高位填充新高位。它保留二进制补码符号形态，但不等同于所有语言里的 signed division。
opcode=0110011、funct3=101、funct7=0100000 选择 SRA。
寄存器移位量仍只取 rs2 的低 log2(XLEN) 位；算术性体现在右移补入原最高位。
常见使用场景
乘法与除法
结合 «sra x5, x6, x7 # x5 = x6 >> (x7[4:0] on RV32, x7[5:0] on RV64) (arithmetic)» 等实际代码理解该场景。
类型转换
结合 «sra x5, x6, x7 # x5 = x6 >> (x7[4:0] on RV32, x7[5:0] on RV64) (arithmetic)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
SRA 复制 rs1 的原最高位；它不同于高位补 0 的 SRL。
算术右移负数与整数除法朝零截断不完全等价；不要把它无条件当作 signed divide。
常见问题
SRA 能直接替代有符号除法吗？
不能无条件替代。对负数，算术右移复制符号位，结果通常向负无穷方向；整数除法在很多软件语义中朝零截断。