LDR (literal)

Load capability (literal) calculates an address from the PCC value and an immediate offset, loads a capability from memory, and writes it to a Capability register. For information about memory accesses, see Load/Store addressing modes.

31	30	29	28	27	26	25	24	23	22	21	20	19	18	17	16	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
1	0	0	0	0	0	1	0	0	0	imm17																	Ct

LDR <Ct>, <label>

integer t = UInt(Ct); bits(64) offset = SignExtend(imm17:'0000', 64);

Assembler Symbols

<Ct>	Is the capability name of the transfer register, encoded in the "Ct" 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, encoded in the "imm17" field.

Operation

CheckCapabilitiesEnabled(); VirtualAddress base = VAFromCapability(PCC); bits(64) address = Align(VAddress(base) + offset, CAPABILITY_DBYTES); Capability data; VACheckAddress(base, address, CAPABILITY_DBYTES, CAP_PERM_LOAD, AccType_NORMAL); data = MemC[address, AccType_NORMAL]; data = CapSquashPostLoadCap(data, base); C[t] = data;

Internal version only: isa v32.13, AdvSIMD v29.04, pseudocode morello-2022-01_rc2, capabilities morello-2022-01_rc2 ; Build timestamp: 2022-01-11T11:23