GCFLGS

Get the Flags field of a capability gets the Flags field of a capability and writes the result to the destination 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	0	0	1	1	0	0	Cn					Rd
																	opc<1>	opc<0>

GCFLGS <Xd>, <Cn|CSP>

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

Assembler Symbols

<Xd>	Is the 64-bit name of the destination general-purpose register, encoded in the "Rd" 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]; bits(64) value = CapGetValue(operand); bits(64) result = value<63:56>:Zeros(56); X[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