算术溢出行为
整数加法结果只保留低 XLEN 位；算术溢出不会触发异常。需要检测溢出时，应由软件用额外比较或分支序列完成。
RISC-V Unprivileged ISA, RV32I integer computational instructionsADD
RISC-V ADD 指令详解
指令手册R-type将rs1与rs2相加，结果写入rd
指令语法
add rd, rs1, rs2
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
RV32I算术运算
指令行为说明
ADD指令采用R型格式。将rs1和rs2寄存器的值相加（算术溢出忽略，仅保留低XLEN位），结果写入rd。funct7=0000000, funct3=000。这是RISC-V中最基本的算术运算指令。ADD与ADDI配合实现基址+偏移的地址计算。
ADD 指令解析与执行动画
以 ADDI 页面同样的节奏展示：机器码字段解析、固定字段识别、操作数读取、指令专属语义计算和 ISA 可见状态更新。
rd
rs1
rs2
add
,
,
执行环境
31..25
24..20
19..15
14..12
11..7
6..0
0000000
funct7
00111
rs2
00110
rs1
000
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x007302B3
opcode
0110011 -> OP
funct3
000 -> ADD
funct7
0000000 -> base ALU op
rd / rs1 / rs2
t0(x5) / t1(x6) / t2(x7)
immediate
not used
ALU
0x00000014 + 0x00000007 = 0x0000001B
x5
t0(x5) = 0x0000001B
当前步骤
概念步骤：拿到 32-bit 指令编码
机器码按当前指令格式切成字段，动画从 encoding/decode 开始。
encoding: 0x007302B3
syntax : add t0(x5), t1(x6), t2(x7)
result : t0(x5) = 0x0000001B
该动画展示 ISA 可见的解码和状态变化，不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
快速理解与检索要点
ADD 是寄存器到寄存器的整数加法。官方 RV32I 语义是把 rs1 与 rs2 相加并写入 rd，算术溢出不会产生异常，结果按 XLEN 宽度截断。
两个源操作数都来自寄存器；需要加小立即数时使用 ADDI。
ADD 与 SUB 使用相同 opcode 和 funct3，主要由 funct7 区分。
官方规范要点
以下要点按 RISC-V Unprivileged ISA 手册核准，用于补充操作语义、立即数范围和边界行为。
操作数来源
ADD 是 R-type 指令，两个源操作数都来自寄存器 rs1 和 rs2，结果写入 rd。立即数加法应使用 ADDI。
RISC-V Unprivileged ISA, RV32I integer computational instructions指令对比
ADD vs ADDI
ADD 使用两个寄存器操作数（rs1 + rs2），而 ADDI 使用一个寄存器和一个 12 位有符号立即数（rs1 + imm）。ADD 是 R-type 指令（opcode 0110011），ADDI 是 I-type 指令（opcode 0010011）。若需要加一个不在 -2048~2047 范围内的常数，应先通过 LUI+ADDI 将其加载到临时寄存器，再使用 ADD。
ADD vs SUB
ADD 和 SUB 都是 R-type 指令，共享相同的 opcode (0110011) 和 funct3 (000)。二者的区别仅在于 funct7 字段：ADD 的 funct7 = 0000000，SUB 的 funct7 = 0100000。也就是说，SUB 实际上是通过 funct7 的最高位（bit30）来区分的——该位为 0 时执行加法，为 1 时执行减法。RISC-V 这样设计是为了简化解码逻辑，避免浪费额外的 opcode 空间。
常见使用场景
地址与指针
结合 «add x5, x6, x7 # x5 = x6 + x7» 等实际代码理解该场景。
寄存器操作
结合 «add x5, x6, x7 # x5 = x6 + x7» 等实际代码理解该场景。
循环与迭代
结合 «add x5, x6, x7 # x5 = x6 + x7» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
溢出被静默忽略，不会触发异常
rd=x0 时结果丢弃（HINT 空间），不要指望 x0 存储运算结果
不要与 ADDI 混淆：ADD 两个操作数都是寄存器，ADDI 第二个是立即数
常见问题
ADD 会在溢出时产生异常吗？
不会。RISC-V 基础整数加法忽略算术溢出，软件需要自行用比较或分支序列检测溢出。
ADD 和 ADDI 应该怎么选？
两个操作数都在寄存器中时用 ADD；第二个操作数是 12 位有符号立即数时用 ADDI。