ADDIW
RISC-V ADDIW 指令详解
指令手册I-type将12位有符号立即数与rs1相加,取低32位结果并符号扩展至64位写入rd
指令语法
addiw rd, rs1, imm
操作数说明
目标寄存器 rd:存放运算结果的通用寄存器。
源寄存器 rs1:第一个操作数所在的寄存器。
立即数 imm:12 位有符号立即数,符号扩展后与 rs1 进行运算。
RV64I算术运算32位运算
指令行为说明
ADDIW指令采用I型格式(opcode=0011011, funct3=000)。将12位立即数符号扩展后与rs1相加,忽略溢出,取结果低32位并符号扩展至64位写入rd。当立即数为0时等价于SEXT.W伪指令。ADDIW仅存在于RV64I中,RV32无此指令。
ADDIW 指令解析与执行动画
从机器码字段解析开始,依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。
rd
rs1
imm
addiw
,
,
执行环境
t1(x6)
0x0000000000000014
31..20
19..15
14..12
11..7
6..0
111111111111
imm[11:0]
00110
rs1
000
funct3
00101
rd
0011011
opcode
执行数据路径
instruction
0xFFF3029B
opcode
0011011 -> OP-IMM-32
funct3
000 -> ADDIW
rd / rs1
t0(x5) / t1(x6)
imm[11:0]
111111111111 -> sign_extend = 0xFFFFFFFFFFFFFFFF
32-bit add
0x0000000000000014 + 0xFFFFFFFFFFFFFFFF -> low 32 bits 0x00000013 -> sext.w 0x0000000000000013
x5
t0(x5) = 0x0000000000000013
当前步骤
概念步骤:拿到 32-bit 指令编码
机器码按当前指令格式切成字段,动画从 encoding/decode 开始。
encoding: 0xFFF3029B
syntax : addiw t0(x5), t1(x6), -1
result : t0(x5) = 0x0000000000000013
架构可见结果
t0(x5) = 0x0000000000000013
该动画展示 ISA 可见的解码和状态变化,不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
常见使用场景
RV64专用操作
结合 «addiw x10, x11, 42 # x10 = sign-extend((x11 + 42)[31:0])» 等实际代码理解该场景。
地址与指针
结合 «addiw x10, x11, 42 # x10 = sign-extend((x11 + 42)[31:0])» 等实际代码理解该场景。
类型转换
结合 «addiw x10, x11, 42 # x10 = sign-extend((x11 + 42)[31:0])» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认立即数字段在有效范围内。
- 确认源寄存器 rs1 指向正确的操作数。
语义检查
- 确认立即数符号扩展是否符合预期。
- 确认结果寄存器 rd 的用途是否明确。
容易混淆 / 常见误区
结果总是32位符号扩展,不适合64位指针运算
立即数范围仅±2KB
W 后缀指令只产生 32 位结果,并把 bit[31] 符号扩展到 XLEN;不要把它当作普通 64 位运算。
这些 W 后缀形式属于 RV64I 或 RV64 扩展指令,RV32 中没有对应形式。