RETS (capability)

Return to sealed capability unseals and branches to an address in the source Capability register with a hint that this is a return.

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

RETS { <Cn>}

integer n = UInt(Cn); BranchType branch_type = BranchType_RET;

Assembler Symbols

<Cn>	Is the optional capability name of the first source register, defaulting to C30 encoded in the "Cn" field.

Operation

CheckCapabilitiesEnabled(); Capability target = C[n]; if !IsInRestricted() && !CapCheckPermissions(target, CAP_PERM_EXECUTIVE) then target = CapWithTagClear(target); if CapIsTagSet(target) && CapIsSealed(target) && CapGetObjectType(target) == CAP_SEAL_TYPE_RB then target = CapUnseal(target); else if CCTLR[].SBL == '1' then target = CapWithTagClear(target); BranchXToCapability(target, branch_type);

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