CHKTGD

Check if capability has its tag bit set, setting flags checks if the Capability Tag of the source Capability register is set. The instruction updates the condition flags based on the result.

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

CHKTGD <Cn|CSP>

integer n = UInt(Cn);

Assembler Symbols

<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]; if CapIsTagSet(operand) then PSTATE.<N,Z,C,V> = '0010'; else PSTATE.<N,Z,C,V> = '0000';

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