CLRTAG

Clear capability Tag clears the Capability Tag of the source capability 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	0	0	1	1	0	0	1	0	0	Cn					Cd
																	opc<1>	opc<0>

CLRTAG <Cd|CSP>, <Cn|CSP>

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

Assembler Symbols

<Cd|CSP>

Is the capability name of the destination register or stack pointer, encoded in the "Cd" field.

<Cn|CSP>

Is the capability name of the source register or stack pointer, encoded in the "Cn" field.

Operation

CheckCapabilitiesEnabled(); Capability operand = if n == 31 then CSP[] else C[n]; Capability result = CapWithTagClear(operand); if d == 31 then CSP[] = 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