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