ldaxr

Load-Acquire Exclusive Register

LDAXR <Wt>, [<Xn|SP>]

Loads a word with Acquire Exclusive semantics.

Details

The Load-Acquire Exclusive Register instruction loads a word with Acquire Exclusive semantics.

Pseudocode Operation

Wt ← Memory[address]

Example

LDAXR w3, [x1]

Encoding

Binary Layout
00001000
0
1
0
11111
11111
Rn
Rt
 
Format Load/Store Excl
Opcode 0x085F F??
Extension Base (Atomic)

Operands

  • Wt
    Transfer 32-bit integer register (load/store)
  • Xn
    First source / base 64-bit integer register