JB
/ JC, JNAEBranch if unsigned below
Test CF = 1; branch when true.
| Form | Bits | Requires | Encoding |
|---|---|---|---|
JB rel8 | — | x86-64 | 72 cb |
JB rel32 | — | x86-64 | 0F 82 cd |
Operation#
Pseudo-C · selected form
if CF = 1: RIP = next_RIP + sign_extend(displacement, 64)Exact upstream semantics
Standard variant
if Condition_Holds(cond) then
let new_rip := Relative_Branch_Wrap(context.operand_size, Next_IP + Sign_Extend(src, 64));
Check_New_RIP?(CS, new_rip);
Branch_Near(new_rip);
endif;What to watch for
- Only near control transfers in 64-bit mode are selected. Far transfers, compatibility mode and CET shadow-stack/indirect-branch state are outside the simplified operation.
- Targets must meet architectural fetch and canonical-address requirements. Stack accesses can fault for CALL/RET.
- The displacement is signed and relative to the following instruction.
Architectural details#
- Flags
- Reads CF = 1; leaves RFLAGS unchanged.
- Destination
- Changes RIP when the condition holds; data registers are unchanged.
- Encoding
72 cb- Operands
rel8read · 8 bits
- Coverage
- Selected near rel8/rel32 branches in 64-bit mode.
- rel8
- -128 to 127.
- Conditions
unsigned below: CF = 1
Exception information & execution requirements
#UD
Imported exceptions are checks exposed by this XML form; memory, stack, instruction-fetch and called architectural helpers can introduce additional faults.
Feature availability alone does not guarantee execution: OS state and execution-level controls also apply. Use the linked architecture documentation for the full exception conditions.
Sources & provenance#
Technical fields are imported from pinned upstream files. Explanations and explorer behavior are maintained separately.
Intel · Jcc-Jump-if-Condition-Is-Met.xml
- Revision
4ebe7f0ac1bd00f46244c49bb72c503ce368def7- SHA-256
97be450a42a11c8fdb01714fa61096b1ba85f7666c6f33143ab7fa24a331b325- Terms
- Intel SDM terms; see License.md