AMOXOR.W 的 rd 保存新内存结果吗？
不。AMOXOR.W 的 rd 保存操作前的旧内存 word；oldWord ^ rs2LowWord 的结果写回内存。
AMOXOR.W
RISC-V AMOXOR.W 指令详解
指令手册R-type原子按位异或 32 位 word：rd 返回旧内存 word，内存写回 oldWord ^ rs2LowWord 的 32 位结果
指令语法
amoxor.w rd, rs2, (rs1)
操作数说明
rd：访问成功时接收旧内存值；AMO.W 在 RV64 上符号扩展到 XLEN，rd=x0 时丢弃寄存器写回。
rs1：提供访问地址，须自然对齐或满足 misaligned atomicity granule PMA 条件；区域须支持该 AMO。
rs2：使用执行前的源值计算内存新值；AMO.W 仅取低 32 位，AMO.D 使用完整 64 位。
funct5 选择操作，funct3 选择宽度；aq/rl 是独立排序位，没有 offset 立即数或 rs3。
AZaamo原子操作
指令行为说明
AMOXOR.W 对 rs1 指向的 32 位 word 执行原子 read-modify-write：将旧内存 word 符号扩展后返回到 rd，并使用执行前的 rs2 低 32 位与旧 word 按位异或，把得到的 32 位 word 写回同一地址。aq/rl 位只影响内存排序，不改变按位异或的数据结果。
AMOXOR.W 原子指令解析与执行动画
展示 A / Zaamo word 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。
rd
rs2
rs1
amoxor.w,,()
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
00100
funct5
0
aq
0
rl
01011
rs2
01010
rs1
010
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x20B522AF
opcode
0101111 -> AMO
funct3
010 -> word width
funct5
00100 -> AMOXOR.W
aq / rl
0/0 -> unordered
rd / rs2 / rs1
t0(x5) / a1(x11)[31:0]=0x0F0F0F0F / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old word 0xAAAAAAAA
RMW
尚未计算
rd / memory
t0(x5) = 未指定初值; mem[0x00001000] = 0xAAAAAAAA
当前步骤
概念步骤：拿到 32-bit 原子指令编码
A / Zaamo 扩展 word 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0x20B522AF
syntax : amoxor.w t0(x5), a1(x11), (a0(x10))
待提交结果 : 尚未计算
32-bit word 结果视图
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
old word
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 word
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
假设地址所在区域支持该 AMO 且访问成功；动画展示运算、旧值返回、内存写回和 aq/rl 在被访问地址域中的排序。步骤是教学拆解，不模拟访问异常、CPU 缓存一致性、流水线或时序。
快速理解与检索要点
AMOXOR.W 用于原子位翻转。访问成功且 rd≠x0 时，rd 接收旧内存 word；按位异或 后的新 32 位 word 只写回内存。
funct5=00100、funct3=010、opcode=0101111 识别 AMOXOR.W；aq/rl 位不改变数据计算。
rd 接收操作前的旧内存 word；内存接收 oldWord ^ rs2LowWord 的 32 位结果。
AMO.W 是 word 宽度 AMO；在 RV64 上，rd 中的旧 word 按符号扩展写入 XLEN。
AMOXOR.W 是按位 word 运算；每个结果 bit 来自旧 word 与 rs2 低 word 的同一 bit 位置。
通常要求地址按 4 字节自然对齐；只有实现提供 misaligned atomicity granule PMA 且全部访问字节位于同一 granule 内时，才不会因地址对齐而异常。
rs2 使用执行前的值；rd=x0 时丢弃寄存器写回，内存更新仍然发生。
常见使用场景
原子与同步
32 位访问成功的示例：a2=0x1000，旧内存值=5，a1=3；amoxor.w a0, a1, (a2) 返回 a0=5，内存更新为 6。地址自然对齐，内存区域支持该 AMO。
原子位翻转
32 位访问成功的示例：a2=0x1000，旧内存值=5，a1=3；amoxor.w a0, a1, (a2) 返回 a0=5，内存更新为 6。地址自然对齐，内存区域支持该 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 位。
容易混淆 / 常见误区
rd 保存操作前的旧内存 word，不保存 按位异或 后的新内存结果。
AMO.W 原子访问 32 位 word；在 RV64 中，加载到 rd 的旧 word 会符号扩展到 XLEN。
rs2 参与计算的是低 32 位 word；写回内存的也是 32 位 word 结果。
aq/rl 只约束内存排序，不改变 oldWord ^ rs2LowWord 的值。
通常要求地址按 4 字节自然对齐；只有实现提供 misaligned atomicity granule PMA 且全部访问字节位于同一 granule 内时，才不会因地址对齐而异常。
常见问题
AMOXOR.W 的 aq/rl 会改变按位异或结果吗？
不会。aq/rl 只影响内存排序约束，不改变本条 AMO.W 的 32 位数据计算结果。