BC.cond

Branch Consistent conditionally to a label at a PC-relative offset, with a hint that this branch will behave very consistently and is very unlikely to change direction.

19-bit signed PC-relative branch offset
(FEAT_HBC)

313029282726252423222120191817161514131211109876543210
01010100imm191cond
o0

BC.<cond> <label>

if !IsFeatureImplemented(FEAT_HBC) then UNDEFINED; bits(64) offset = SignExtend(imm19:'00', 64); bits(4) condition = cond;

Assembler Symbols

<cond>

Is one of the standard conditions, encoded in the standard way, and encoded in cond:

cond <cond>
0000 EQ
0001 NE
0010 CS
0011 CC
0100 MI
0101 PL
0110 VS
0111 VC
1000 HI
1001 LS
1010 GE
1011 LT
1100 GT
1101 LE
1110 AL
1111 NV
<label>

Is the program label to be conditionally branched to. Its offset from the address of this instruction, in the range +/-1MB, is encoded as "imm19" times 4.

Operation

boolean branch_conditional = TRUE; if ConditionHolds(condition) then BranchTo(PC64 + offset, BranchType_DIR, branch_conditional); else BranchNotTaken(BranchType_DIR, branch_conditional);


Internal version only: aarchmrs v2024-03_relA, pseudocode v2024-03_rel, sve v2024-03_rel ; Build timestamp: 2024-03-26T09:45

Copyright © 2010-2024 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.