@ CHECK: movne.w r1, #12 @ encoding: [0x4f,0xf0,0x0c,0x01]
+@------------------------------------------------------------------------------
+@ MOVT
+@------------------------------------------------------------------------------
+ movt r3, #7
+ movt r6, #0xffff
+ it eq
+ movteq r4, #0xff0
+
+@ CHECK: movt r3, #7 @ encoding: [0xc0,0xf2,0x07,0x03]
+@ CHECK: movt r6, #65535 @ encoding: [0xcf,0xf6,0xff,0x76]
+@ CHECK: it eq @ encoding: [0x08,0xbf]
+@ CHECK: movteq r4, #4080 @ encoding: [0xc0,0xf6,0xf0,0x74]
+
@------------------------------------------------------------------------------
@ IT