CBNZ Compare and branch on nonzero This instruction compares the value in a register with zero, and conditionally branches to a label at a PC-relative offset if the comparison is not equal. This instruction provides a hint that this is not a subroutine call or return. This instruction does not affect the condition flags. 0 1 1 0 1 0 1 0 CBNZ <Wt>, <label> 1 CBNZ <Xt>, <label> let t : integer = UInt(Rt); let datasize : integer{} = 32 << UInt(sf); let offset : bits(64) = SignExtend{}(imm19::'00'); <Wt> Is the 32-bit name of the general-purpose register to be tested, encoded in the "Rt" field. <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. <Xt> Is the 64-bit name of the general-purpose register to be tested, encoded in the "Rt" field. let branch_conditional : boolean = TRUE; let operand1 : bits(datasize) = X{}(t); if !IsZero(operand1) then BranchTo{64}(PC64() + offset, BranchType_DIR, branch_conditional); else BranchNotTaken(BranchType_DIR, branch_conditional); end; 2026-03-26 20:27:25 2026-03_rel