Consider the conditional branch in a loop: label: body of loop SUBI R1,R1,#1 BNEZ R1,label
label: body of loop SUBI R1,R1,#1 BNEZ R1,label
body of loop
SUBI R1,R1,#1
BNEZ R1,label