LDLARH
Load LOAcquire register halfword
This instruction loads a halfword
from memory, zero-extends it, and writes
it to a register.
The instruction also has memory ordering
semantics as described in
Load LOAcquire, Store LORelease.
For information about addressing modes, see
Load/Store addressing modes.
For this instruction, if the destination is WZR/XZR, it is impossible
for software to observe the presence of the acquire semantic other
than its effect on the arrival at endpoints.
If PSTATE.DIT is 1, the timing of this instruction is insensitive to the value of the data being loaded or stored.
0
1
0
0
1
0
0
0
1
1
0
(1)
(1)
(1)
(1)
(1)
0
(1)
(1)
(1)
(1)
(1)
LDLARH <Wt>, [<Xn|SP>{, #0}]
if !IsFeatureImplemented(FEAT_LOR) then UNDEFINED;
constant integer t = UInt(Rt);
constant integer n = UInt(Rn);
constant boolean tagchecked = n != 31;
<Wt>
Is the 32-bit name of the general-purpose register to be transferred, encoded in the "Rt" field.
<Xn|SP>
Is the 64-bit name of the general-purpose base register or stack pointer, encoded in the "Rn" field.
bits(64) address;
constant AccessDescriptor accdesc = CreateAccDescLOR(MemOp_LOAD, tagchecked);
if n == 31 then
CheckSPAlignment();
address = SP[];
else
address = X[n, 64];
constant bits(16) data = Mem[address, 2, accdesc];
X[t, 32] = ZeroExtend(data, 32);