AMOADD.H 的 rd 是零扩展吗？
不是。Zabha 的 AMO.H old value 写回 rd 时符号扩展到 XLEN；AMOMINU.H/AMOMAXU.H 的 U 只表示无符号比较。
AMOADD.H
RISC-V AMOADD.H 指令详解
指令手册AMO-typeAMOADD.H 原子读取 halfword 旧值、符号扩展写 rd，并把旧 halfword 与 rs2[15:0] 相加，低 16 位写回。
指令语法
amoadd.h rd, rs2, (rs1)
语法为 rd, rs2, (rs1)；三个字段选择 x0–x31 或 ABI 名称，没有 offset 立即数或 rs3。
funct5=00000、funct3=001、opcode=0101111；aq 在 bit26、rl 在 bit25，是独立排序位。
RV32/RV64 Zabha（依赖 Zaamo）：rd 接收旧 16 位内存值的符号扩展，rs2 只有低 16 位参与内存新值计算。
目标区域须支持该 AMO 的宽度与操作；地址须按 2 字节对齐，或存在 PMA 且全部访问字节位于同一 misaligned atomicity granule；否则未对齐访问引发地址未对齐或访问错误异常。
源寄存器使用执行前的值；rd=x0 仅丢弃寄存器写回，仍执行内存读改写。aq/rl 仅排序被访问的 memory/I/O 域。
Zabha原子操作
指令行为说明
AMOADD.H 是依赖 Zaamo 的 Zabha 字节/半字原子内存操作中的 halfword AMO。它按 16-bit 宽度执行读改写，rd 接收旧内存 halfword 的符号扩展值；把旧 halfword 与 rs2[15:0] 相加，低 16 位写回。aq/rl 位只提供内存排序标注，不改变数据计算。
AMOADD.H 原子指令解析与执行动画
展示 Zabha (requires Zaamo) halfword 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。
rd
rs2
rs1
amoadd.h,,()
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
00000
funct5
0
aq
0
rl
01011
rs2
01010
rs1
001
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x00B512AF
opcode
0101111 -> AMO
funct3
001 -> halfword width
funct5
00000 -> AMOADD.H
aq / rl
0/0 -> unordered
rd / rs2 / rs1
t0(x5) / a1(x11)[15:0]=0x0003 / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old halfword 0x0005
RMW
尚未计算
rd / memory
t0(x5) = 未指定初值; mem[0x00001000] = 0x0005
当前步骤
概念步骤：拿到 32-bit 原子指令编码
Zabha 依赖 Zaamo；Zabha 扩展 halfword 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0x00B512AF
syntax : amoadd.h t0(x5), a1(x11), (a0(x10))
待提交结果 : 尚未计算
当前架构状态
t0(x5) = 未指定初值; mem[0x00001000] = 0x0005
本例假定所选 XLEN 下已启用 Zabha 和 Zaamo、取指成功，目标区域支持该宽度与操作且访问成功。未对齐半字需勾选所示 PMA 条件。源寄存器读取执行前的值，aq/rl 仅排序被访问地址域；步骤是教学拆解。
快速理解与检索要点
AMOADD.H 是 Zabha halfword AMO：以 16-bit 宽度原子读取旧内存值，旧值符号扩展写入 rd，同时把旧 halfword 与 rs2[15:0] 相加，低 16 位写回。
编码使用 AMO major opcode 0101111，funct3=001 表示 halfword 宽度，funct5 选择具体 AMO 操作。
所有 AMO.H 的 rd 写回都是旧 halfword 的符号扩展值；无符号后缀只改变 min/max 比较解释。
地址须按 2 字节自然对齐；若存在 misaligned atomicity granule PMA 且全部访问字节位于同一粒度内，则不因地址对齐而异常。否则未对齐访问引发地址未对齐或访问错误异常。
aq/rl 仅排序本次访问的 memory/I/O 地址域：aq 为 acquire，rl 为 release，均为 0 时无额外排序；跨域排序需 FENCE。
常见使用场景
原子读改写
RV32/RV64 Zabha+Zaamo，a1=0x1000、旧内存值=5、a2=3，访问成功且区域支持该 AMO：amoadd.h a0, a2, (a1) 返回 a0=5，目标 16 位内存写为 8。
使用前检查清单
语法检查
- 语法为 rd, rs2, (rs1)；三个字段选择 x0–x31 或 ABI 名称，没有 offset 立即数或 rs3。
- funct5=00000、funct3=001、opcode=0101111；aq 在 bit26、rl 在 bit25，是独立排序位。
语义检查
- RV32/RV64 Zabha（依赖 Zaamo）：rd 接收旧 16 位内存值的符号扩展，rs2 只有低 16 位参与内存新值计算。
- 目标区域须支持该 AMO 的宽度与操作；地址须按 2 字节对齐，或存在 PMA 且全部访问字节位于同一 misaligned atomicity granule；否则未对齐访问引发地址未对齐或访问错误异常。
- 源寄存器使用执行前的值；rd=x0 仅丢弃寄存器写回，仍执行内存读改写。aq/rl 仅排序被访问的 memory/I/O 域。
容易混淆 / 常见误区
rd 返回旧内存 halfword 符号扩展到 XLEN 的值，不是写回内存的新值。
rs2 只有低 16 位参与 halfword 计算，高位不参与本次 AMO.H 数据结果。
加法结果按低 16 位回绕写回；halfword 溢出不会写入相邻字节。
地址须按 2 字节自然对齐；若存在 misaligned atomicity granule PMA 且全部访问字节位于同一粒度内，则不因地址对齐而异常。否则未对齐访问引发地址未对齐或访问错误异常。
常见问题
AMOADD.H 会修改多少内存？
架构语义只修改目标 16-bit halfword，并以 halfword 宽度计算新内存值；相邻字节不属于该数据结果。