BL Branch with link This instruction branches to a PC-relative offset, setting register X30 to PC+4. It provides a hint that this is a subroutine call. 1 0 0 1 0 1 BL <label> constant bits(64) offset = SignExtend(imm26:'00', 64); constant integer d = 30; <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. if IsFeatureImplemented(FEAT_GCS) && GCSPCREnabled(PSTATE.EL) then AddGCSRecord(PC64 + 4); X[d, 64] = PC64 + 4; constant boolean branch_conditional = FALSE; BranchTo(PC64 + offset, BranchType_DIRCALL, branch_conditional);