CPYTYPE

Set capability value to the Capability ObjectType of another capability writes the ObjectType from the second capability to the Capability Value of the first capability and writes the result to the destination Capability register. If the first capability is sealed, the destination Capability Tag is cleared.

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

CPYTYPE <Cd>, <Cn>, <Cm>

integer d = UInt(Cd); integer n = UInt(Cn); integer m = UInt(Cm);

Assembler Symbols

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

<Cn>	Is the capability name of the first source register, encoded in the "Cn" field.

<Cm>	Is the capability name of the second source register, encoded in the "Cm" field.

Operation

CheckCapabilitiesEnabled(); Capability key = C[n]; Capability data = C[m]; Capability result; if CapIsSealed(data) then result = CapSetValue(key, CapGetObjectType(data)); else result = CapSetValue(key, CAP_NO_SEALING); if CapIsSealed(key) 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