@ CHECK: adc r4, r2, #2139095040 @ encoding: [0x42,0xf1,0xff,0x44]
@ CHECK: adc r4, r2, #1664 @ encoding: [0x42,0xf5,0xd0,0x64]
+@------------------------------------------------------------------------------
+@ CBZ/CBNZ
+@------------------------------------------------------------------------------
+ cbnz r7, #6
+ cbnz r7, #12
+
+@ CHECK: cbnz r7, #6 @ encoding: [0x1f,0xb9]
+@ CHECK: cbnz r7, #12 @ encoding: [0x37,0xb9]
+
@------------------------------------------------------------------------------
@ IT
@------------------------------------------------------------------------------