CBNZ, CBZ Compare and Branch on Nonzero or Zero Compare and Branch on Nonzero and Compare and Branch on Zero compare the value in a register with zero, and conditionally branch forward a constant value. They do not affect the condition flags. For more information about the CONSTRAINED UNPREDICTABLE behavior, see Architectural Constraints on UNPREDICTABLE behaviors. 1 0 1 1 0 1 1 CBNZ{<q>} <Rn>, <label> 0 CBZ{<q>} <Rn>, <label> let n : integer = UInt(Rn); let imm32 : bits(32) = ZeroExtend{}(i::imm5::'0'); let nonzero : boolean = (op == '1'); if InITBlock() then UnpredictableProcedure(); end; <q> See Standard assembler syntax fields. <Rn> Is the general-purpose register to be tested, encoded in the "Rn" field. <label> Is the program label to be conditionally branched to. Its offset from the PC, a multiple of 2 and in the range 0 to 126, is encoded as "i:imm5" times 2. EncodingSpecificOperations(); if nonzero != IsZero(R(n)) then CBWritePC(PC32() + imm32); end; 2026-03-12 12:23:09 2025-09_rel_asl1