算术溢出行为
整数加法结果只保留低 XLEN 位；算术溢出不会触发异常。需要检测溢出时，应由软件用额外比较或分支序列完成。
RISC-V Unprivileged ISA, RV32I integer computational instructionsADDI
RISC-V ADDI 指令详解
指令手册I-type将rs1与12位有符号立即数相加，结果写入rd
指令语法
addi rd, rs1, imm
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数所在的寄存器。
立即数 imm：12 位有符号立即数，符号扩展后与 rs1 进行运算。
RV32I算术运算
指令编码
31..20
imm[11:0]
19..15
rs1
14..12
funct3
11..7
rd
6..0
opcode
ADDI 使用 opcode 0010011（0x13）、funct3 000。rs1 字段选择源寄存器，12 位立即数提供第二操作数，rd 选择目标寄存器。
格式: I-type
opcode: 0010011 (0x13)
funct3: 000 (0x0)
指令行为说明
ADDI指令采用I型格式（opcode=0010011, funct3=000）。将rs1寄存器的值与12位有符号立即数相加（算术溢出被忽略，仅保留低XLEN位），结果写入rd。当rd=x0,rs1=x0,imm=0时即为NOP指令（编码为ADDI x0,x0,0）。当ADDI rd,x0,imm时等价于向rd加载一个小立即数（伪指令LI）。当ADDI rd,rs1,0时等价于寄存器搬移（伪指令MV）。
快速理解与检索要点
ADDI 把符号扩展后的 12 位立即数加到 rs1 并写入 rd。它是小常量、栈指针调整、地址偏移和寄存器搬移伪指令的常见底层形式。
立即数是 12 位有符号数，典型可编码范围是 -2048 到 2047。
ADDI x0, x0, 0 是官方推荐的 NOP 编码。
官方规范要点
以下要点按 RISC-V Unprivileged ISA 手册核准，用于补充操作语义、立即数范围和边界行为。
12 位有符号立即数
ADDI 将符号扩展后的 12 位立即数加到 rs1。可编码范围是 -2048 到 2047；更大的常量通常由 LUI/AUIPC 与 ADDI 或 li 伪指令组合生成。
RISC-V Unprivileged ISA, RV32I integer computational instructions常见使用场景
地址与指针
结合 «addi x5, x6, 100 # x5 = x6 + 100» 等实际代码理解该场景。
寄存器操作
结合 «addi x5, x6, 100 # x5 = x6 + 100» 等实际代码理解该场景。
常量与立即数
结合 «addi x5, x6, 100 # x5 = x6 + 100» 等实际代码理解该场景。
特定用途
结合 «addi x5, x6, 100 # x5 = x6 + 100» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 I-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
立即数只有 12 位（-2048 到 2047），超出范围需用 LUI+ADDI 组合
ADDI rd, x0, imm 等价于 LI 伪指令，立即数被符号扩展至 XLEN 位
ADDI rd, rs1, 0 等价于 MV 伪指令，注意第一个操作数是 rd 不是 rs1
溢出被静默忽略，不会触发异常
常见问题
ADDI 的立即数范围是多少？
ADDI 使用符号扩展的 12 位立即数，通常可直接表示 -2048 到 2047。更大的常量需要 LUI/AUIPC 与 ADDI 等序列。
RISC-V 有 SUBI 指令吗？
基础整数指令集中没有单独的 SUBI。减去小常量通常写成 ADDI 并使用负立即数。