BEQ

Branch if Equal

BEQ rs1, rs2, offset

Take the branch if registers rs1 and rs2 are equal.

Details

BEQ takes the branch if rs1 equals rs2. The branch target is the PC of the branch plus the sign-extended B-immediate, which encodes an offset in multiples of 2 bytes within a ±4 KiB range.

Pseudocode Operation

if (R[rs1] == R[rs2]) PC += sext(offset);

Example

BEQ x5, x6, 100

Encoding

Binary Layout
imm[12
10:5]
rs2
31:27
rs1
26:22
000
21:19
imm[4:1
11]
1100011
18:12
 
Format B-Type
Opcode 0x63
Extension RV32I

Operands

  • rs1
    Source register 1 (integer)
  • rs2
    Source register 2 (integer)
  • offset
    PC-relative offset