GCLIM

Get the Limit of a capability calculates the limit 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	0	1	0	0	Cn					Rd
																	opc<1>	opc<0>

GCLIM <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) result; bits(CAP_BOUND_NUM_BITS) limit; ( - , limit , - ) = CapGetBounds(operand); if limit<64> == '1' then result = Ones(64); else result = limit<63:0>; 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