AMOXOR.D 的 rd 保存新内存结果吗？
不。AMOXOR.D 的 rd 保存操作前的旧 64 位内存值；oldDoubleword ^ rs2Doubleword 的结果写回内存。
AMOXOR.D
RISC-V AMOXOR.D 指令详解
指令手册R-typeRV64 原子异或 64 位 doubleword：rd 返回旧内存值，内存写回 oldDoubleword ^ rs2Doubleword 的结果
指令语法
amoxor.d rd, rs2, (rs1)
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
AZaamo原子操作
指令行为说明
AMOXOR.D 对 rs1 指向的 64 位 doubleword 执行原子 read-modify-write：先读取旧内存 doubleword 并写入 rd，然后按 异或 语义计算 oldDoubleword ^ rs2Doubleword，把 64 位结果写回同一地址。该运算逐 bit 使用旧 doubleword 与 rs2 doubleword 的同一 bit 位置。 aq/rl 位只影响内存排序，不改变数据结果。
AMOXOR.D 原子指令解析与执行动画
展示 A-extension doubleword 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。
rd
rs2
rs1
amoxor.d,,()
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
00100
funct5
0
aq
0
rl
01011
rs2
01010
rs1
011
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x20B532AF
opcode
0101111 -> AMO
funct3
011 -> doubleword width
funct5
00100 -> AMOXOR.D
aq / rl
0/0 -> unordered
rd / rs2 / rs1
t0(x5) / a1(x11)=0x0F0F0F0F0F0F0F0F / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old doubleword 0xAAAAAAAAAAAAAAAA
RMW
0xAAAAAAAAAAAAAAAA ^ 0x0F0F0F0F0F0F0F0F -> 0xA5A5A5A5A5A5A5A5
rd / memory
t0(x5) = 0xAAAAAAAA; mem[0x00001000] = 0xA5A5A5A5A5A5A5A5
当前步骤
概念步骤：拿到 32-bit 原子指令编码
A 扩展 doubleword 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0x20B532AF
syntax : amoxor.d t0(x5), a1(x11), (a0(x10))
result : t0(x5) = 0xAAAAAAAA; mem[0x00001000] = 0xA5A5A5A5A5A5A5A5
64-bit doubleword 结果视图
63
62
61
60
59
58
57
56
55
54
53
52
51
50
49
48
47
46
45
44
43
42
41
40
39
38
37
36
35
34
33
32
31
30
29
28
27
26
25
24
23
22
21
20
19
18
17
16
15
14
13
12
11
10
9
8
7
6
5
4
3
2
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
old doubleword
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
rs2 doubleword
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
该动画展示 ISA 可见的原子读改写、比较并交换、LR/SC 预留状态和内存排序位，不表示任何特定 CPU 的缓存一致性实现、流水线或时序。
快速理解与检索要点
AMOXOR.D 是 RV64 的 64 位 AMO.D 读改写指令。rd 始终返回操作前的旧 doubleword；oldDoubleword ^ rs2Doubleword 的结果只写回内存，所以学习时要把“返回旧值”和“更新内存”分开看。
funct5=00100、funct3=011、opcode=0101111 识别 AMOXOR.D；aq/rl 位不改变数据计算。
rd 接收操作前的旧 64 位内存 doubleword；内存接收本条 AMO.D 计算出的 64 位结果。
AMOXOR.D 是 RV64-only doubleword AMO，地址必须按 8 字节自然对齐。
AMOXOR.D 是 64 位按位逻辑 AMO；每个结果 bit 来自 old doubleword 与 rs2 doubleword 的同一 bit 位置。
常见使用场景
位操作与掩码
结合 «amoxor.d a0, a1, (a2) # a0 = *a2; *a2 ^= a1 (64-bit)» 等实际代码理解该场景。
原子与同步
结合 «amoxor.d a0, a1, (a2) # a0 = *a2; *a2 ^= a1 (64-bit)» 等实际代码理解该场景。
RV64 专用操作
结合 «amoxor.d a0, a1, (a2) # a0 = *a2; *a2 ^= a1 (64-bit)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
rd 保存操作前的旧 64 位内存值，不保存 异或 后的新内存结果。
AMOXOR.D 是 RV64-only doubleword AMO，地址必须 8 字节自然对齐。
内存写回 oldDoubleword ^ rs2Doubleword 的 64 位结果；不要把它误解为 32 位 AMO.W 符号扩展规则。
aq/rl 只约束内存排序，不改变本条 AMO.D 的数据计算结果。
常见问题
AMOXOR.D 的 aq/rl 会改变 异或 结果吗？
不会。aq/rl 只影响内存排序约束，不改变本条 AMO.D 的 64 位数据计算结果。