AMOCAS.W 如何判断成功？
访问正常完成且 rd 非 x0 时，将执行后 rd 返回值的低 32 位，与执行前另行保留的期望值低 32 位比较；相同才说明交换写入发生。RV64 上 rd 返回的字值按符号扩展写入。
AMOCAS.W
RISC-V AMOCAS.W 指令详解
指令手册AMO-type原子比较并交换字：若内存旧值等于 rd 低 32 位，则写入 rs2 低 32 位；rd 返回旧值
指令语法
amocas.w rd, rs2, (rs1)
语法为 rd, rs2, (rs1)，没有 offset 或 rs3；rd 在执行前提供比较值，rs2 提供交换值，rs1 提供地址。
32 位编码：funct5=00101，funct3=010，opcode=0101111；aq 在 bit26，rl 在 bit25。
RV32/RV64，需要 Zacas（依赖 Zaamo）；比较 32 位旧内存，匹配才交换；访问正常完成后返回旧值，不返回布尔标志。
仅比较 rd 和交换 rs2 的低 32 位；旧值符号扩展到 XLEN。x0 源为零、目标写回丢弃。
地址须 4 字节对齐，或存在 PMA 且全部访问字节位于同一 misaligned atomicity granule；否则产生地址未对齐或访问错误异常。区域须支持该 AMOCAS；重叠寄存器读取同一执行前值，aq/rl 仅排序被访问的地址域。
Zacas原子操作
指令行为说明
AMOCAS.W（Zacas 扩展）原子地加载 rs1 地址处的 32 位值，将加载值与 rd 的低 32 位比较；若按位相等，则把 rs2 的低 32 位写回原地址。无论比较是否成功，加载到的旧值都会符号扩展到 XLEN 后写入 rd。支持 aq/rl 内存序位。 这些数据结果以访问正常完成为前提；rd=x0 时丢弃写回。Zacas 依赖 Zaamo。
AMOCAS.W 原子指令解析与执行动画
展示 Zacas word 原子指令的字段解析、aq/rl 排序位、内存读取和 CAS 状态更新。
rd
rs2
rs1
amocas.w,,()
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
00101
funct5
1
aq
0
rl
01011
rs2
01010
rs1
010
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x2CB522AF
opcode
0101111 -> AMO
funct3
010 -> word width
funct5
00101 -> AMOCAS.W
aq / rl
1/0 -> acquire
写权限
已允许：可进入 CAS
rd / rs2 / rs1
t0(x5) compare=0x80000002 / a1(x11) swap=0x0000007F / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old word 0x80000002
RMW
尚未计算
rd / memory
t0(x5) = 0x80000002; mem[0x00001000] = 0x80000002
当前步骤
概念步骤：拿到 32-bit 原子指令编码
Zacas 扩展 word 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0x2CB522AF
syntax : amocas.w.aq t0(x5), a1(x11), (a0(x10))
待提交结果 : 尚未计算
当前架构状态
t0(x5) = 0x80000002; mem[0x00001000] = 0x80000002
本例假定所选 XLEN 下扩展已启用、取指成功，目标区域支持该 AMOCAS 且访问成功；W/D/Q 可用开关选择缺少写权限的异常路径。非自然对齐需满足所示 PMA 条件。寄存器源均在写回前读取，x0 源值为零（寄存器对为整对零）；aq/rl 仅排序被访问的地址域。步骤是教学拆解。
快速理解与检索要点
AMOCAS.W 原子加载 32 位内存值，与输入 rd 中的比较值按位比较；相等时把 rs2 的交换值写回内存，正常完成后把旧值写回 rd（rd=x0 时丢弃写回）。
访问正常完成且 rd 非 x0 时，旧内存值覆盖比较操作数 rd（寄存器对形式为 rd/rd+1）；它不是布尔成功标志。
RV64 上 AMOCAS.W 把加载的 32 位旧值符号扩展写入 rd。
AMOCAS.W/D/Q 比较失败也需要写权限；aq=1 在成功或失败时提供 acquire，rl=1 只在成功时提供 release。失败可不写或写回旧值；该写入无 release 语义。
常见使用场景
原子与同步
RV32/RV64，所需扩展已启用；假设 a1=0x1000、目标区域支持该操作且访问正常完成。旧内存=5、期望值=5、交换值=3：示例返回旧值 5 并将内存写为 3；期望值改为 4 时返回 5，内存数据仍为 5。
使用前检查清单
语法检查
- 语法为 rd, rs2, (rs1)，没有 offset 或 rs3；rd 在执行前提供比较值，rs2 提供交换值，rs1 提供地址。
- 32 位编码：funct5=00101，funct3=010，opcode=0101111；aq 在 bit26，rl 在 bit25。
语义检查
- RV32/RV64，需要 Zacas（依赖 Zaamo）；比较 32 位旧内存，匹配才交换；访问正常完成后返回旧值，不返回布尔标志。
- 仅比较 rd 和交换 rs2 的低 32 位；旧值符号扩展到 XLEN。x0 源为零、目标写回丢弃。
- 地址须 4 字节对齐，或存在 PMA 且全部访问字节位于同一 misaligned atomicity granule；否则产生地址未对齐或访问错误异常。区域须支持该 AMOCAS；重叠寄存器读取同一执行前值，aq/rl 仅排序被访问的地址域。
容易混淆 / 常见误区
比较值来自 rd 的旧输入值；rd 同时也是旧内存值的返回寄存器，不是布尔成功标志。
比较与交换仅使用低 32 位；高寄存器位不参与。rd=x0 时比较值为零，rs2=x0 时交换值为零。
目标地址必须按操作数宽度自然对齐，除非平台的 misaligned atomicity granule PMA 放宽该要求。
常见问题
AMOCAS.W 的比较值来自 rs2 吗？
不是。比较值来自执行前 rd 的低操作数宽度位；rs2 的低同宽位提供成功时写入的新值。