Index
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)
| 31 |
30 |
29 |
28 |
27 |
26 |
25 |
24 |
23 |
22 |
21 |
20 |
19 |
18 |
17 |
16 |
15 |
14 |
13 |
12 |
11 |
10 |
9 |
8 |
7 |
6 |
5 |
4 |
3 |
2 |
1 |
0 |
| 0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
imm19 |
1 |
cond |
if !IsFeatureImplemented(FEAT_HBC) then UNDEFINED;
bits(64) offset = SignExtend(imm19:'00', 64);
Assembler Symbols
| <cond> |
Is one of the standard conditions, encoded in the "cond" field in the standard way. |
| <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
if ConditionHolds(cond) then
BranchTo(PC64 + offset, BranchType_DIR, TRUE);
else
BranchNotTaken(BranchType_DIR, TRUE);