SRA 的移位量来自哪里？
寄存器版本的移位量来自 rs2 的低 log2(XLEN) 位。
SRA
RISC-V SRA 指令详解
指令手册R-type将rs1按rs2的低log2(XLEN)位算术右移（高位用原符号位填充），结果写入rd
指令语法
sra rd, rs1, rs2
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
RV32I算术运算移位
指令编码
31..25
funct7
24..20
rs2
19..15
rs1
14..12
funct3
11..7
rd
6..0
opcode
SRA 使用 opcode 0110011（0x33）、funct3 101、funct7 0100000。rs1 和 rs2 字段选择两个源寄存器，rd 字段选择目标寄存器。
格式: R-type
opcode: 0110011 (0x33)
funct3: 101 (0x5)
funct7: 0100000 (0x20)
指令行为说明
SRA指令采用R型格式。将rs1的值按rs2低log2(XLEN)位指定的量进行算术右移（RV32取rs2[4:0]，RV64取rs2[5:0]），高位用原符号位填充，低位丢弃，结果写入rd。funct7=0100000, funct3=101, bit30=1。bit30=1将其与SRL区分开来。用于有符号整数的动态除以2的幂和符号保持右移。
快速理解与检索要点
SRA 执行算术右移，高位复制原符号位，结果写入 rd。移位量来自 rs2 的低 log2(XLEN) 位。
寄存器移位只使用 rs2 的低 log2(XLEN) 位作为移位量。
逻辑右移补 0；算术右移复制符号位，二者用于不同的有符号/无符号场景。
常见使用场景
乘法与除法
结合 «sra x5, x6, x7 # x5 = x6 >> (x7[4:0]) (arithmetic, sign fill)» 等实际代码理解该场景。
类型转换
结合 «sra x5, x6, x7 # x5 = x6 >> (x7[4:0]) (arithmetic, sign fill)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
bit30必须为1（funct7=0100000），否则为SRL
算术右移截断方向朝负无穷，与整数除法朝零截断不同
常见问题
逻辑右移和算术右移有什么区别？
逻辑右移高位补 0；算术右移高位复制原符号位，通常用于保持有符号数的符号。