b.cond

Branch Conditional

B.cond <label>

Branch if condition is met (e.g., B.EQ, B.NE).

Pseudocode Operation

if ConditionHolds(cond) then
  PC ← PC + (SignExtend(imm19, 64) << 2)

Example

B.cond label

Encoding

Binary Layout

01010100

31:24

imm19

23:5

0

4

cond

3:0

 

Format Branch

Opcode 0x54000000

Extension Base

Operands

• label
  Label
• cond
  Condition

Related

More in Base

Reference

View in Arm A64 ISA Reference ↗ Arm A64 ISA

Instruction Forms

Encoding	Instruction		ISA		Bit pattern
0x54000000	B.<cond> <label>		A64		01010100 | imm19 | 0 | cond
0x14000000	B <label>		A64		0 | 00101 | imm26

Description

Branch conditionally to a label at a PC-relative offset, with a hint that this is not a subroutine call or return.

Operation

if ConditionHolds(cond) then
    BranchTo(PC64 + offset, BranchType_DIR, TRUE);
else
    BranchNotTaken(BranchType_DIR, TRUE);