CPYVALUE

Set capability value to Capability Value of another capability writes the Capability Value 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	1	1	0	0	1	Cn					Cd
																	opc<1>	opc<0>

CPYVALUE <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 operand1 = C[n]; Capability operand2 = C[m]; Capability result; result = CapSetValue(operand1,CapGetValue(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