LDR (literal) Load register (literal) This instruction calculates an address from the PC value and an immediate offset, loads a word from memory, and writes it to a register. For information about addressing modes, see Load/Store addressing modes. If PSTATE.DIT is 1, the timing of this instruction is insensitive to the value of the data being loaded or stored. 0 x 0 1 1 0 0 0 0 LDR <Wt>, <label> 1 LDR <Xt>, <label> constant integer t = UInt(Rt); constant integer size = 4 << UInt(opc<0>); constant boolean nontemporal = FALSE; constant boolean tagchecked = FALSE; constant bits(64) offset = SignExtend(imm19:'00', 64); <Wt> Is the 32-bit name of the general-purpose register to be loaded, encoded in the "Rt" field. <label> Is the program label from which the data is to be loaded. Its offset from the address of this instruction, in the range +/-1MB, is encoded as "imm19" times 4. <Xt> Is the 64-bit name of the general-purpose register to be loaded, encoded in the "Rt" field. constant bits(64) address = PC64 + offset; constant boolean privileged = PSTATE.EL != EL0; constant AccessDescriptor accdesc = CreateAccDescGPR(MemOp_LOAD, nontemporal, privileged, tagchecked); X[t, size * 8] = Mem[address, size, accdesc];