@ CHECK: rors.w r3, r4, r8 @ encoding: [0x74,0xfa,0x08,0xf3]
+@------------------------------------------------------------------------------
+@ RRX
+@------------------------------------------------------------------------------
+ rrx r1, r2
+ rrxs r1, r2
+ ite lt
+ rrxlt r9, r12
+ rrxsge r8, r3
+
+@ CHECK: rrx r1, r2 @ encoding: [0x4f,0xea,0x32,0x01]
+@ CHECK: rrxs r1, r2 @ encoding: [0x5f,0xea,0x32,0x01]
+@ CHECK: ite lt @ encoding: [0xb4,0xbf]
+@ CHECK: rrxlt r9, r12 @ encoding: [0x4f,0xea,0x3c,0x09]
+@ CHECK: rrxsge r8, r3 @ encoding: [0x5f,0xea,0x33,0x08]
+
+
@------------------------------------------------------------------------------
@ SUB (register)
@------------------------------------------------------------------------------