SRAI 在 RV64 上复制哪一位？
SRAI 复制 rs1 的原最高位；因此 RV32 是 bit31，RV64 是 bit63。
SRAI
RISC-V SRAI 指令详解
指令手册I-type将rs1算术右移shamt位（高位用原符号位填充），结果写入rd
指令语法
srai rd, rs1, shamt
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数所在的寄存器。
立即数 imm：12 位有符号立即数，符号扩展后与 rs1 进行运算。
RV32I算术运算移位
指令行为说明
SRAI 是 I-type 的算术右移立即数形式。它把 rs1 按 shamt 右移，高位用 rs1 的原最高位填充，低位移出的 bit 丢弃，结果写入 rd。RV32 的 shamt 为 imm[4:0]，范围 0..31；RV64 使用 6 位 shamt，其中 bit25 表示 shamt[5]。opcode=0010011，funct3=101；固定高位/bit30=1 将 SRAI 与 SRLI 区分开。
SRAI 指令解析与执行动画
以 ADDI 页面同样的节奏展示：机器码字段解析、固定字段识别、操作数读取、指令专属语义计算和 ISA 可见状态更新。
rd
rs1
shamt
srai
,
,
执行环境
31..25
24..20
19..15
14..12
11..7
6..0
0100000
fixed imm[11:5]
00010
shamt[4:0]
10000
rs1
101
funct3
00101
rd
0010011
opcode
执行数据路径
instruction
0x40285293
opcode
0010011 -> OP-IMM
funct3
101 -> SRAI
imm[11:5]
imm[11:5]=0100000 fixed
rd / rs1
t0(x5) / a6(x16)
imm[11:5] + shamt[4:0]
imm[11:5]=0100000 fixed; shamt[4:0]=00010
shift
0xFFFFFFF0 arithmetic >> 2 = 0xFFFFFFFC
x5
t0(x5) = 0xFFFFFFFC
当前步骤
概念步骤：拿到 32-bit 指令编码
机器码按当前指令格式切成字段，动画从 encoding/decode 开始。
encoding: 0x40285293
syntax : srai t0(x5), a6(x16), 2
result : t0(x5) = 0xFFFFFFFC
该动画展示 ISA 可见的解码和状态变化，不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
快速理解与检索要点
SRAI 使用 shamt 常数算术右移 rs1，并用原最高位填充新高位。它是符号保持的右移形式，但负数结果不要简单等同为朝零截断除法。
opcode=0010011 且 funct3=101 选择右移立即数类，固定高位/bit30=1 选择 SRAI。
SRAI 的符号位来源随 XLEN 变化：RV32 看 bit31，RV64 看 bit63。
常见使用场景
乘法与除法
结合 «srai x5, x6, 2 # x5 = x6 >> 2 (signed, sign-extended)» 等实际代码理解该场景。
位操作与掩码
结合 «srai x5, x6, 2 # x5 = x6 >> 2 (signed, sign-extended)» 等实际代码理解该场景。
类型转换
结合 «srai x5, x6, 2 # x5 = x6 >> 2 (signed, sign-extended)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 I-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
SRAI 的高位填充来自 rs1 的原最高位；RV64 上是 bit63，不是固定 bit31。
shamt 是非负移位量：RV32 为 0..31，RV64 为 0..63。
负数算术右移不等同于所有场景中的除以 2 的幂朝零截断。
常见问题
SRAI 和 SRLI 的 shamt 范围一样吗？
在同一 XLEN 下范围一样：RV32 为 0..31，RV64 为 0..63。区别在固定高位/bit30 选择算术补符号位还是逻辑补 0。