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