AMOMINU.B 返回操作后的值吗？
不返回。和 A 扩展 AMO 一样，rd 写入原先从内存读出的旧值。
AMOMINU.B
RISC-V AMOMINU.B 指令详解
指令手册R-type原子字节无符号最小值：rd = *rs1（符号扩展），*rs1 = umin(*rs1, rs2[7:0])
指令语法
amominu.b rd, rs2, (rs1)
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
Zabha原子操作
指令行为说明
AMOMINU.B （Zabha扩展）原子地将rs1地址中的字节值加载到rd（符号扩展），与rs2的低字节按无符号数比较取无符号最小值，结果写回同一地址。支持aq/rl位。
AMOMINU.B 原子指令解析与执行动画
展示 Zabha byte 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。
rd
rs2
rs1
amominu.b,,()
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
11000
funct5
0
aq
0
rl
01011
rs2
01010
rs1
000
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0xC0B502AF
opcode
0101111 -> AMO
funct3
000 -> byte width
funct5
11000 -> AMOMINU.B
aq / rl
0/0 -> unordered
rd / rs2 / rs1
t0(x5) / a1(x11)=0x01 / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old byte 0xFF
RMW
255 <= 1 -> 0x01
rd / memory
t0(x5) = 0xFFFFFFFF; mem[0x00001000] = 0x01
当前步骤
概念步骤：拿到 32-bit 原子指令编码
Zabha 扩展 byte 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0xC0B502AF
syntax : amominu.b t0(x5), a1(x11), (a0(x10))
result : t0(x5) = 0xFFFFFFFF; mem[0x00001000] = 0x01
Unsigned 8-bit Byte Comparison
old byte
0xFF (255)
rs2 byte
0x01 (1)
comparison
old <= rs2 -> rs2 value
memory result
0x01
AMOMINU.B 按无符号 8-bit byte 比较选择内存写回值；这不是逐 bit 逻辑运算。
该动画展示 ISA 可见的原子读改写、比较并交换、LR/SC 预留状态和内存排序位，不表示任何特定 CPU 的缓存一致性实现、流水线或时序。
快速理解与检索要点
AMOMINU.B 是 Zabha 的 8 位 无符号最小值 指令，原子读取内存旧值、按无符号 8 位比较选择写回值，并把旧内存值符号扩展后写入 rd。
只操作 8 位子字；rs2 的高位被忽略。
rd 得到的是旧内存值并符号扩展到 XLEN；无符号只影响 min/max 比较，不改变 rd 的扩展规则。
地址必须按操作数大小自然对齐；aq/rl 位可提供 release-consistency 排序语义。
常见使用场景
原子与同步
结合 «amominu.b a0, a2, (a1)» 等实际代码理解该场景。
循环与迭代
结合 «amominu.b a0, a2, (a1)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
rd返回的是内存旧值（符号扩展至XLEN位），不是操作结果
是无符号最小值比较；负数在无符号解释下变为极大值
原子性依赖目标地址自然对齐和实现支持
常见问题
AMOMINU.B 是否会影响相邻字节？
不会按语义修改相邻字节；Zabha 正是为 字节 粒度原子读改写提供原生形式。