AMOMIN.H 返回操作后的值吗？
不返回。和 A 扩展 AMO 一样，rd 写入原先从内存读出的旧值。
AMOMIN.H
RISC-V AMOMIN.H 指令详解
指令手册R-type原子半字有符号最小值：rd = *rs1（符号扩展），*rs1 = min(*rs1, rs2[15:0])
指令语法
amomin.h rd, rs2, (rs1)
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
Zabha原子操作
指令行为说明
AMOMIN.H （Zabha扩展）原子地将rs1地址中的半字值加载到rd（符号扩展），与rs2的低16位比较取有符号最小值，结果写回同一地址。支持aq/rl位。
快速理解与检索要点
AMOMIN.H 是 Zabha 的 16 位 有符号原子最小值 指令，原子读取内存旧值、按 16 位宽执行读改写，并把旧内存值符号扩展后写入 rd。
只操作 16 位子字；rs2 的高位被忽略。
rd 得到的是旧内存值并符号扩展到 XLEN，不是更新后的新值。
地址必须按操作数大小自然对齐；aq/rl 位可提供 release-consistency 排序语义。
常见使用场景
原子与同步
结合 «amomin.h a0, a2, (a1)» 等实际代码理解该场景。
循环与迭代
结合 «amomin.h a0, a2, (a1)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
rd返回的是内存旧值（符号扩展至XLEN位），不是操作结果
是有符号最小值比较；注意与AMOMINU的区别（有符号vs无符号）
原子性依赖目标地址自然对齐和实现支持
常见问题
AMOMIN.H 是否会影响相邻字节？
不会按语义修改相邻字节；Zabha 正是为 半字 粒度原子读改写提供原生形式。