@------------------------------------------------------------------------------
@ USAT
@------------------------------------------------------------------------------
-
usat r8, #1, r10
usat r8, #4, r10, lsl #0
usat r8, #5, r10, lsl #31
@ CHECK: usat r8, #31, r10, asr #32 @ encoding: [0x5a,0x80,0xff,0xe6]
@ CHECK: usat r8, #16, r10, asr #1 @ encoding: [0xda,0x80,0xf0,0xe6]
+
@------------------------------------------------------------------------------
@ USAT16
@------------------------------------------------------------------------------
@ CHECK: uxtab16 r3, r2, r1, ror #16 @ encoding: [0x71,0x38,0xc2,0xe6]
@ CHECK: uxtab16eq r1, r2, r3, ror #24 @ encoding: [0x73,0x1c,0xc2,0x06]
+
@------------------------------------------------------------------------------
@ UXTAH
@------------------------------------------------------------------------------
@ CHECK: uxthle r2, r2, ror #16 @ encoding: [0x72,0x28,0xff,0xd6]
@ CHECK: uxth r9, r3, ror #24 @ encoding: [0x73,0x9c,0xff,0xe6]
+
@------------------------------------------------------------------------------
@ WFE/WFI/YIELD
@------------------------------------------------------------------------------