CVTD (to capability)

Convert pointer to capability offset from DDC derives a Capability Value from a 64-bit register and DDC, and writes the result to the destination Capability register.

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	1	0	0	0	0	1	0	1	1	0	0	0	1	0	1	1	0	0	1	0	0	Rn					Cd
																	opc<1>	opc<0>

CVTD <Cd>, <Xn>

integer d = UInt(Cd); integer n = UInt(Rn);

Assembler Symbols

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

<Xn>	Is the 64-bit name of the source general-purpose register, encoded in the "Rn" field.

Operation

CheckCapabilitiesEnabled(); Capability operand1 = DDC[]; bits(64) operand2 = X[n]; Capability result; if CCTLR[].DDCBO == '1' then result = CapSetOffset(operand1,operand2); else result = CapSetValue(operand1,operand2); if CapIsSealed(operand1) then C[d] = CapWithTagClear(result); else C[d] = result;

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