B
Branch
This instruction branches unconditionally to a label at a PC-relative offset,
with a hint that this is not a subroutine call or return.
0
0
0
1
0
1
B <label>
constant bits(64) offset = SignExtend(imm26:'00', 64);
<label>
Is the program label to be unconditionally branched to. Its offset from the address of this instruction, in the range +/-128MB, is encoded as "imm26" times 4.
constant boolean branch_conditional = FALSE;
BranchTo(PC64 + offset, BranchType_DIR, branch_conditional);