CHKSLD

Check if capability is sealed, setting flags checks if the source Capability register is sealed. 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	0	1	0	0	Cn					0	0	0	0	1
																	opc<1>	opc<0>

CHKSLD <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 CapIsSealed(operand) then PSTATE.<N,Z,C,V> = '0001'; 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