lda

Load Acquire (A32)

LDA<c> <Rt>, [<Rn>]

Loads a word with Acquire semantics.

Pseudocode Operation

Rt ← [Rn]
Acquire_Semantics()

Example

LDA r3, [r1]

Encoding

Binary Layout
cond
31:28
00011
27:23
00
22:21
1
20
Rn
19:16
Rt
15:12
1
11
1
10
0
9
0
8
1001
7:4
1111
3:0
 
Format Load/Store
Opcode 0x01900C9F
Extension A32 (Atomic)

Operands

  • Rt
    Transfer general-purpose register (load/store)
  • Rn
    First source / base general-purpose register

Related

More in A32 (Atomic)

Reference

Instruction Forms

Encoding Instruction ISA Bit pattern
0x01900C9F LDA{<c>}{<q>} <Rt>, [<Rn>] A32 cond | 00011 | 00 | 1 | Rn | Rt | 1 | 1 | 0 | 0 | 1001 | 1111
0xE8D00FAF LDA{<c>}{<q>} <Rt>, [<Rn>] T32 11101000110 | 1 | Rn | Rt | 1111 | 1 | 0 | 10 | 1111

Description

Load-Acquire Word loads a word from memory and writes it to a register. The instruction also has memory ordering semantics as described in Load-Acquire, Store-Release For more information about support for shared memory see Synchronization and semaphores. For information about memory accesses see Memory accesses.

Operation

if ConditionPassed() then
    EncodingSpecificOperations();
    address = R[n];
    R[t] = MemO[address, 4];