AMOMIN.W
RISC-V AMOMIN.W Instruction Details
Instruction ManualR-typeAtomically compute signed minimum of 32-bit word: rd = *rs1, *rs1 = min(*rs1, rs2)
Instruction Syntax
amomin.w 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.
AZaamoAtomic
Instruction Behavior
AMOMIN.W atomically loads the 32-bit signed value from the address in rs1 into rd (sign-extended), compares with rs2, stores the signed minimum back. Supports aq/rl bits.
Common Usage Scenarios
Atomic & Sync
Understand this scenario with real code like «amomin.w a0, a1, (a2) # a0 = *a2; *a2 = min(*a2, a1) (signed)».
Vector Operations
Understand this scenario with real code like «amomin.w a0, a1, (a2) # a0 = *a2; *a2 = min(*a2, a1) (signed)».
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
Returns old value before operation, not the minimum
AMO.W atomically accesses a 32-bit word; on RV64, the old value loaded into rd is sign-extended to XLEN.
AMO.W exists in RV32 and RV64 A/Zaamo environments; it is not RV64-only.