bits(64) target = X[n]; boolean auth_then_branch = TRUE; if pac then bits(64) modifier = if source_is_sp then SP[] else X[m]; if use_key_a then target = AuthIA(target, modifier, auth_then_branch); else target = AuthIB(target, modifier, auth_then_branch); if branch_type == BranchType_INDCALL then X[30] = PC[] + 4; // Value in BTypeNext will be used to set PSTATE.BTYPE case branch_type of when BranchType_INDIR // BR, BRAA, BRAB, BRAAZ, BRABZ if InGuardedPage then if n == 16 || n == 17 then BTypeNext = '01'; else BTypeNext = '11'; else BTypeNext = '01'; when BranchType_INDCALL // BLR, BLRAA, BLRAB, BLRAAZ, BLRABZ BTypeNext = '10'; when BranchType_RET // RET, RETAA, RETAB BTypeNext = '00'; boolean branch_conditional = FALSE; BranchTo(target, branch_type, branch_conditional);