BRR

Branch to capability Register with possible switch to Restricted branches unconditionally to an address in the source register, with a hint that this is not a subroutine return. The PE may switch to Restricted based on the Executive permission in PCC.

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

BRR <Cn>

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

Assembler Symbols

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

Operation

if IsInRestricted() then UndefinedFault(); CheckCapabilitiesEnabled(); Capability target = C[n]; 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