AMOCAS.D 如何判断成功？
比较执行后的 rd 旧值与期望值；如果相同，说明交换写入发生。
AMOCAS.D
RISC-V AMOCAS.D 指令详解
指令手册R-type原子比较并交换双字：比较内存旧值与 rd/寄存器对，匹配时写入 rs2/寄存器对；rd 返回旧值
指令语法
amocas.d rd, rs2, (rs1)
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
Zacas原子操作
指令行为说明
AMOCAS.D（Zacas 扩展）原子地加载 rs1 地址处的 64 位双字并与比较操作数比较；匹配时写入交换操作数。RV64 中比较值来自 rd、交换值来自 rs2，旧值写回 rd。RV32 中比较值来自偶数 rd 与 rd+1 寄存器对，交换值来自偶数 rs2 与 rs2+1 寄存器对，旧值写回 rd/rd+1；奇数 rd 或 rs2 编码保留。支持 aq/rl 内存序位。
快速理解与检索要点
AMOCAS.D 原子加载 64 位内存值，与输入 rd 中的比较值按位比较；相等时把 rs2 的交换值写回内存，并始终把旧内存值写回 rd。
rd 在执行前是比较值来源，执行后被旧内存值覆盖；它不是布尔成功标志。
RV32 上 AMOCAS.D 使用偶数寄存器对；RV64 上使用单个 64 位寄存器。
地址必须按操作数大小自然对齐；aq/rl 的成功和失败排序语义按 Zacas 规则处理。
常见使用场景
原子与同步
结合 «amocas.d a0, a2, (a1)» 等实际代码理解该场景。
循环与迭代
结合 «amocas.d a0, a2, (a1)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
AMOCAS.D 不是 RV64-only；RV32 使用偶/奇寄存器对。
比较值来自 rd（或 RV32 的 rd/rd+1），不是 rs2；rs2 是成功时写入的新值。
rd 返回旧内存值而非成功标志；目标地址必须按 8 字节自然对齐，除非 PMA 放宽。
常见问题
AMOCAS.D 的比较值来自 rs2 吗？
不是。rs2 提供成功时要写入的新值；比较值来自执行前的 rd（或寄存器对）。