ADRDP

Form DDC-relative address to 4KB page adds an immediate value that is shifted left by 12 bits to the DDC value with the bottom 12 bits masked out to form a DCC-relative address and writes the result to the destination register. This description only applies in C64.

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	immlo		1	0	0	0	0	0	immhi																		Rd
op								P

integer d = UInt(Rd); bits(64) imm; if IsInC64() then if P == '1' then imm = SignExtend(immhi:immlo:Zeros(12), 64); else imm = ZeroExtend(immhi:immlo:Zeros(12), 64); else imm = SignExtend(P:immhi:immlo:Zeros(12), 64);

Assembler Symbols

<Cd>	Is the capability name of the destination register, encoded in the "Rd" field.

<label>

Is the program label whose 4KB page address is to be calculated, in the range +/-2GB, encoded in "immhi:immlo".

Operation

if IsInC64() then Capability addr; if P == '0' then if CCTLR[].ADRDPB == '1' then addr = C[28]; else addr = DDC[]; else addr = PCC[]; bits(64) newvalue = CapGetValue(addr) AND NOT(ZeroExtend(Ones(12),64)); bits(64) offset = newvalue - CapGetValue(addr) + imm; Capability result = CapAdd(addr,offset); if CapIsSealed(addr) then result = CapWithTagClear(result); C[d] = result; else bits(64) addr; if CCTLR[].PCCBO == '1' then addr = CapGetOffset(PCC[]); else addr = CapGetValue(PCC[]); addr<11:0> = Zeros(12); X[d] = addr + imm;

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