@ CHECK: ldrsht r1, [r8, #255] @ encoding: [0x38,0xf9,0xff,0x1e]
+@------------------------------------------------------------------------------
+@ LDRT
+@------------------------------------------------------------------------------
+ ldrt r1, [r2]
+ ldrt r2, [r6, #0]
+ ldrt r3, [r7, #3]
+ ldrt r4, [r9, #255]
+
+@ CHECK: ldrt r1, [r2] @ encoding: [0x52,0xf8,0x00,0x1e]
+@ CHECK: ldrt r2, [r6] @ encoding: [0x56,0xf8,0x00,0x2e]
+@ CHECK: ldrt r3, [r7, #3] @ encoding: [0x57,0xf8,0x03,0x3e]
+@ CHECK: ldrt r4, [r9, #255] @ encoding: [0x59,0xf8,0xff,0x4e]
+
+
@------------------------------------------------------------------------------
@ IT
@------------------------------------------------------------------------------