Compare and Branch on Nonzero 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. It provides a hint that this is not a subroutine call or return. This instruction does not affect the condition flags.
integer t = UInt(Rt); integer datasize = if sf == '1' then 64 else 32; bits(64) offset = SignExtend(imm19:'00', 64);
Is the 32-bit name of the general-purpose register to be tested, encoded in the "Rt" field.
Is the 64-bit name of the general-purpose register to be tested, encoded in the "Rt" field.
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.