RVOPcode
Home/Instructions/Branch if Greater or Equal Unsigned
BGEU

RISC-V BGEU Instruction Details

Instruction ManualB-type

Branch if rs1 is greater than or equal to rs2 (unsigned comparison)

Instruction Syntax

bgeu rs1, rs2, offset
Operand Breakdown
Source rs1: first comparison operand.
Source rs2: second comparison operand.
Immediate offset: 13-bit signed branch offset (bit 0 is implicitly 0, ±4 KiB range).
RV32IRV64IControl TransferBranch
Related Search Terms
BGEU instructionRISC-V BGEUbgeu syntaxbgeu encodingbgeu B-typeBGEU vs BGEbgeu branch

Instruction Behavior

BGEU compares rs1 and rs2 as unsigned integers and branches if rs1 >= rs2 (even byte offsets from -4096 through 4094). BLEU can be synthesized by swapping BGEU operands. BLTU is the logical inverse. An instruction-address-misaligned exception occurs only when the branch is taken and its target violates IALIGN.

BGEU Decode And Execute Animation

Starts with machine-code field decoding, then shows operand reads, instruction-specific execution, and ISA-visible state update.

rs1
rs2
offset
bgeu
,
,
Execution Context

This example uses fixed initial register values and PC=0x2000; instruction fetch succeeds, with no asynchronous interrupt or extra extension checks. Exception branches stop ordinary commit; post-trap PC and handler state are EEI-dependent.

s1(x9)
0x00000009
tp(x4)
0x00000004
PC
0x00002000
31..25
24..20
19..15
14..12
11..7
6..0
0 000000
imm[12|10:5]
00100
rs2
01001
rs1
111
funct3
1000 0
imm[4:1|11]
1100011
opcode
Execution Data Path
instruction
0x0044F863
opcode
1100011 -> BRANCH
funct3
111 -> BGEU
rs1 / rs2 / pc
s1(x9)=0x00000009 / tp(x4)=0x00000004 / 0x00002000
B-imm
reassembled offset 16; bit 0 is implicit 0
condition
Not computed
PC
pc = 0x00002000; general registers unchanged
Current Step

Concept Step: receive the 32-bit instruction encoding

The machine code is split by the current instruction format; the animation starts from encoding/decode.

encoding: 0x0044F863
syntax : bgeu x9, x4, 16
Pending result: Not computed
Current architectural state
pc = 0x00002000; general registers unchanged

This animation shows ISA-visible decode and state changes, not any specific CPU pipeline, cache, prediction, or timing implementation.

Quick Understanding & Search Notes

BGEU is a conditional branch: when rs1 and rs2 satisfy the unsigned greater than or equal condition, the PC branches to the current PC plus the B-type offset; otherwise execution falls through.

The B-type byte offset has implicit bit 0=0 and encodes even values from -4096 through 4094; the target is the current branch PC plus the sign-extended offset.
RISC-V conditional branches do not write rd or save a return address; only a taken target that violates IALIGN raises an instruction-address-misaligned exception.
The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture, Version 20260120, §2.5.2

Official Spec Notes

These notes are checked against the RISC-V Unprivileged ISA manual and summarize operation semantics, immediate ranges, and edge behavior.

Common Usage Scenarios

Address & Pointer

Understand this scenario with real code like «bgeu x11, x12, valid # if x11 >= x12 (unsigned), go to valid».

Comparison & Detection

Understand this scenario with real code like «bgeu x11, x12, valid # if x11 >= x12 (unsigned), go to valid».

Pre-Use Checklist

Syntax Check
  • Register operands select x0 through x31; ABI register names are aliases for these registers.
  • B-type byte offsets are even values from -4096 through 4094, with implicit bit 0=0.
Semantic Check
  • BEQ tests bit-pattern equality; BLT/BGE compare signed integers, and BGEU compares unsigned integers.
  • A taken aligned branch updates PC to the current PC plus offset; an untaken branch continues at PC+4. General registers are unchanged, and only a taken target violating IALIGN raises instruction-address-misaligned.

Pitfalls / Common Confusions

Use BGE for signed comparison
BLEU synthesized by reversing BGEU operands
Only a taken target that violates IALIGN raises instruction-address-misaligned; a not-taken branch does not

FAQ

What is the BGEU branch range?

B-type encodes even byte offsets from -4096 through 4094, added to the current branch PC. A taken target must also be a multiple of 4 for IALIGN=32; two-byte alignment suffices for IALIGN=16.

What is the difference between signed and unsigned branches?

BLT/BGE compare as signed integers; BLTU/BGEU compare as unsigned integers. BEQ/BNE only test equality of the bit patterns.