AMOADD.D 的 rd 保存加法后的值吗？
不。AMOADD.D 的 rd 保存加法前的旧 64 位内存值；加法后的低 64 位结果写回内存。
AMOADD.D
RISC-V AMOADD.D 指令详解
指令手册R-typeRV64 原子加法 64 位 doubleword：rd 返回旧内存值，内存写回旧值加 rs2 的低 64 位结果
指令语法
amoadd.d rd, rs2, (rs1)
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
AZaamo原子操作
指令行为说明
AMOADD.D 对 rs1 指向的 64 位 doubleword 执行原子 read-modify-write：读取旧内存值写入 rd，将旧值与 rs2 的 64 位值相加，并把低 64 位结果写回同一地址。加法按 64 位 doubleword 回绕；aq/rl 位只影响内存排序，不改变算术结果。
AMOADD.D 原子指令解析与执行动画
展示 A-extension doubleword 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。
rd
rs2
rs1
amoadd.d,,()
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
00000
funct5
0
aq
0
rl
01011
rs2
01010
rs1
011
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x00B532AF
opcode
0101111 -> AMO
funct3
011 -> doubleword width
funct5
00000 -> AMOADD.D
aq / rl
0/0 -> unordered
rd / rs2 / rs1
t0(x5) / a1(x11)=0x0000000000000020 / a0(x10)=0x0000000000001000
memory read
mem[0x0000000000001000] -> old doubleword 0xFFFFFFFFFFFFFFF0
RMW
0xFFFFFFFFFFFFFFF0 + 0x0000000000000020 -> 0x0000000000000010
rd / memory
t0(x5) = 0xFFFFFFFFFFFFFFF0; mem[0x0000000000001000] = 0x0000000000000010
当前步骤
概念步骤：拿到 32-bit 原子指令编码
A 扩展 doubleword 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0x00B532AF
syntax : amoadd.d t0(x5), a1(x11), (a0(x10))
result : t0(x5) = 0xFFFFFFFFFFFFFFF0; mem[0x0000000000001000] = 0x0000000000000010
64-bit Doubleword Addition
old doubleword
0xFFFFFFFFFFFFFFF0
rs2 doubleword
0x0000000000000020
low 64-bit sum
0xFFFFFFFFFFFFFFF0 + 0x0000000000000020
memory result
0x0000000000000010
AMOADD.D 按完整 64-bit doubleword 加法计算，低 64 位结果写回内存；这里不展示逐 bit 等式，避免隐藏进位链。
该动画展示 ISA 可见的原子读改写、比较并交换、LR/SC 预留状态和内存排序位，不表示任何特定 CPU 的缓存一致性实现、流水线或时序。
快速理解与检索要点
AMOADD.D 常用于 RV64 64 位原子计数更新。rd 返回加法前的旧 doubleword，内存写回旧值加 rs2 后的低 64 位结果；不要把 rd 误认为新和。
funct5=00000、funct3=011、opcode=0101111 识别 AMOADD.D；aq/rl 位不改变算术计算。
rd 接收加法前的旧 64 位内存值；内存接收旧值加 rs2 后的低 64 位结果。
AMOADD.D 是 RV64-only doubleword AMO，通常要求地址按 8 字节自然对齐；只有该 PMA 存在且所有访问字节位于同一 misaligned atomicity granule 内时，对齐异常才可被放宽。
64 位加法结果按 doubleword 宽度回绕，页面动画展示低 64 位写回内存。
常见使用场景
原子与同步
结合 «amoadd.d a0, a1, (a2) # a0 = old 64-bit *a2; *a2 = old + a1» 等实际代码理解该场景。
RV64 专用操作
结合 «amoadd.d a0, a1, (a2) # a0 = old 64-bit *a2; *a2 = old + a1» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认 rd、rs1、rs2（及 rs3）是合法 GPR。
- 确认 funct3 与 funct7 字段编码正确。
语义检查
- 确认结果是否会影响后续分支或地址计算。
- 确认 rd 寄存器不会被其他指令覆盖。
容易混淆 / 常见误区
64 位加法结果按 2^64 回绕
rd 返回加法前的旧内存值，不是新和
通常要求地址按 8 字节自然对齐；只有该 PMA 存在且所有访问字节位于同一 misaligned atomicity granule 内时，对齐异常才可被放宽
仅 RV64 可用
aq/rl 不改变加法结果
常见问题
AMOADD.D 溢出会触发异常吗？
不会。AMOADD.D 的 doubleword 加法结果按 64 位回绕，写回低 64 位。