LDA Load-Acquire Word 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. For more information about the CONSTRAINED UNPREDICTABLE behavior, see Architectural Constraints on UNPREDICTABLE behaviors. This instruction is a data-independent-time instruction as described in About the DIT bit. It has encodings from the following instruction sets: A32 ( A1 ) and T32 ( T1 ) . != 1111 0 0 0 1 1 0 0 1 (1) (1) 0 0 1 0 0 1 (1) (1) (1) (1) LDA{<c>}{<q>} <Rt>, [<Rn>] let t : integer = UInt(Rt); let n : integer = UInt(Rn); if t == 15 || n == 15 then UnpredictableProcedure(); end; 1 1 1 0 1 0 0 0 1 1 0 1 (1) (1) (1) (1) 1 0 1 0 (1) (1) (1) (1) LDA{<c>}{<q>} <Rt>, [<Rn>] let t : integer = UInt(Rt); let n : integer = UInt(Rn); if t == 15 || n == 15 then UnpredictableProcedure(); end; <c> See Standard assembler syntax fields. <q> See Standard assembler syntax fields. <Rt> Is the general-purpose register to be transferred, encoded in the "Rt" field. <Rn> Is the general-purpose base register, encoded in the "Rn" field. if ConditionPassed() then EncodingSpecificOperations(); let address : bits(32) = R(n); R(t) = MemO{32}(address); end; 2026-03-26 20:27:25 2026-03_rel