RISC-V AMOMINU.B Instruction Details

Instruction ManualR-type

Atomic byte unsigned min: rd = *rs1 (zero-ext), *rs1 = umin(*rs1, rs2[7:0])

Instruction Syntax

amominu.b rd, rs2, (rs1)

Operand Breakdown

Destination rd: register receiving the operation result.

Source rs1: register holding the first operand.

Source rs2: register holding the second operand.

ZabhaAtomic

Related Search Terms

amominu.b instruction RISC-V amominu.b byte AMO Zabha amominu.b byte unsigned atomic minimum amominu.b aq rl

Instruction Behavior

AMOMINU.B (Zabha extension) atomically loads a byte from the address in rs1 into rd (zero-extended), compares with the low byte of rs2, stores unsigned minimum back. Supports aq/rl bits.

Quick Understanding & Search Notes

AMOMINU.B is a Zabha 8-bit unsigned atomic minimum instruction. It atomically reads the old memory value, performs the read-modify-write at 8-bit width, and writes the sign-extended old value to rd.

Only the 8-bit subword is operated on; upper bits of rs2 are ignored.

rd receives the old memory value sign-extended to XLEN, not the newly updated value.

The address must be naturally aligned to the operand size; aq/rl bits can provide release-consistency ordering semantics.

RISC-V Unprivileged ISA Manual: Zabha byte and halfword AMO extension RISC-V Unprivileged ISA Manual: A atomic extension

Common Usage Scenarios

Atomic & Sync

Understand this scenario with real code like «amominu.b a0, a2, (a1)».

Network & Byte Order

Understand this scenario with real code like «amominu.b a0, a2, (a1)».

Pre-Use Checklist

Syntax Check

Confirm the current instruction format is R-type.
Confirm the operand order matches the example.

Semantic Check

Ensure the destination register usage is compatible with the calling convention.
Confirm this is not the lower-level form of a pseudo-instruction expansion.

Pitfalls / Common Confusions

rd returns old memory value (sign-extended to XLEN), not the operation result

Unsigned minimum comparison; negative values become very large when interpreted as unsigned

Atomicity depends on natural alignment and implementation support

FAQ

Does AMOMINU.B return the post-operation value?

No. Like A-extension AMOs, rd receives the old value loaded from memory.

Can AMOMINU.B affect neighboring bytes?

Architecturally it modifies only the byte operand; Zabha provides native byte-granule atomic read-modify-write operations.