AMOADD.W 的 rd 保存加法后的值吗？
不。AMOADD.W 的 rd 保存加法前的旧内存值；加法后的低 32 位结果写回内存。
AMOADD.W
RISC-V AMOADD.W 指令详解
指令手册R-type原子加法32位字：读取旧内存值到 rd，并把旧值加 rs2 低32位后的结果写回同一地址
指令语法
amoadd.w rd, rs2, (rs1)
操作数说明
rd：接收原子读取的旧内存值；对 AMOCAS，执行前的 rd 同时提供比较值。
rs1：直接提供原子内存访问地址；AMO 汇编语法没有 offset 立即数字段。
rs2：提供 AMO 的源数据；对 AMOCAS，它是在比较相等时写入的交换值。
AMO-type 是本站对 AMO 专用 R-type 字段布局的展示标签：funct5、aq、rl、rs2、rs1、funct3、rd 和 AMO opcode 共同编码该操作。
AZaamo原子操作
指令行为说明
AMOADD.W 对 rs1 指向的 32 位字执行原子 read-modify-write：读取旧内存值并符号扩展写入 rd，将该旧 word 与 rs2 的低 32 位相加，低 32 位结果写回同一地址。加法按 32 位 word 回绕；aq/rl 位只影响内存排序，不改变加法结果。
AMOADD.W 原子指令解析与执行动画
展示 A / Zaamo word 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。
rd
rs2
rs1
amoadd.w,,()
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
00000
funct5
0
aq
0
rl
01011
rs2
01010
rs1
010
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x00B522AF
opcode
0101111 -> AMO
funct3
010 -> word width
funct5
00000 -> AMOADD.W
aq / rl
0/0 -> unordered
rd / rs2 / rs1
t0(x5) / a1(x11)[31:0]=0x00000003 / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old word 0x00000005
RMW
0x00000005 + 0x00000003 -> 0x00000008
rd / memory
t0(x5) = 0x00000005; mem[0x00001000] = 0x00000008
当前步骤
概念步骤：拿到 32-bit 原子指令编码
A / Zaamo 扩展 word 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0x00B522AF
syntax : amoadd.w t0(x5), a1(x11), (a0(x10))
result : t0(x5) = 0x00000005; mem[0x00001000] = 0x00000008
32-bit word Addition
old word
0x00000005
rs2 word
0x00000003
low 32-bit sum
0x00000005 + 0x00000003
memory result
0x00000008
AMOADD.W 按完整 32-bit word 加法计算，低 32 位结果写回内存；这里不展示逐 bit 等式，避免隐藏进位链。
该动画展示 ISA 可见的原子读改写、比较并交换、LR/SC 预留状态和内存排序位，不表示任何特定 CPU 的缓存一致性实现、流水线或时序。
快速理解与检索要点
AMOADD.W 常用于原子计数类场景。它把旧内存值返回到 rd，同时把旧值加 rs2 后的 32 位结果写回内存；不要把 rd 误认为加法后的新值。
funct5=00000、funct3=010、opcode=0101111 识别 AMOADD.W；aq/rl 位不改变算术计算。
rd 接收加法前的旧内存值；内存接收旧值加 rs2 低 32 位后的低 32 位结果。
AMOADD.W 是 word 宽度 AMO；在 RV64 上，rd 中的旧 word 按符号扩展写入 XLEN。
32 位加法结果按 word 宽度回绕，页面动画展示低 32 位写回内存。
通常要求地址按 4 字节自然对齐；只有该 PMA 存在且所有访问字节位于同一 misaligned atomicity granule 内时，对齐异常才可被放宽。
上述读改写效果以访问成功为前提；rd=x0 时丢弃旧值写回，但仍更新内存。rs2 使用执行前的寄存器值，即使与 rd 重叠。目标内存区域也必须支持该 AMO 的访问宽度和操作。
常见使用场景
原子与同步
32 位访问成功的示例：a2=0x1000，旧内存值=5，a1=3；amoadd.w a0, a1, (a2) 返回 a0=5，内存更新为 8。地址自然对齐，内存区域支持该 AMO。
32 位原子操作
32 位访问成功的示例：a2=0x1000，旧内存值=5，a1=3；amoadd.w a0, a1, (a2) 返回 a0=5，内存更新为 8。地址自然对齐，内存区域支持该 AMO。
使用前检查清单
语法检查
- rd、rs2、rs1 选择 x0–x31 或其 ABI 名称；语法为 rd, rs2, (rs1)，没有 rs3 或 offset 立即数。
- 确认 funct5 选择操作、funct3 选择访问宽度；aq/rl 是独立排序位，不是固定 funct7 常量。
语义检查
- 确认地址自然对齐，或满足 misaligned atomicity granule PMA 条件；目标区域须支持该 AMO 的宽度与操作。
- 访问成功时 rd 返回旧内存值，计算结果写回内存；rd=x0 只丢弃寄存器写回。AMO.W 在 RV64 上符号扩展旧 word，并只使用 rs2 低 32 位。
容易混淆 / 常见误区
溢出会回绕（模2^32运算）
返回值为加法之前的旧值
AMO.W 原子访问 32 位字；在 RV64 中，加载到 rd 的旧值会符号扩展到 XLEN。
AMO.W 存在于 RV32 和 RV64 的 A/Zaamo 环境，不是 RV64-only 指令。
通常要求地址按 4 字节自然对齐；只有该 PMA 存在且所有访问字节位于同一 misaligned atomicity granule 内时，对齐异常才可被放宽。
常见问题
AMOADD.W 溢出会触发异常吗？
不会。AMOADD.W 的 word 加法结果按 32 位回绕，写回低 32 位。