BR
Branch to register
This instruction branches unconditionally to an address in a register,
with a hint that this is not a subroutine return.
1
1
0
1
0
1
1
0
0
0
0
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
BR <Xn>
constant integer n = UInt(Rn);
<Xn>
Is the 64-bit name of the general-purpose register holding the address to be branched to, encoded in the "Rn" field.
constant bits(64) target = X[n, 64];
// Value in BTypeNext will be used to set PSTATE.BTYPE
if InGuardedPage then
if n == 16 || n == 17 then
BTypeNext = '01';
else
BTypeNext = '11';
else
BTypeNext = '01';
constant boolean branch_conditional = FALSE;
BranchTo(target, BranchType_INDIR, branch_conditional);