Thumb2 assembly parsing and encoding for STR(immediate).
[oota-llvm.git] / test / MC / ARM / basic-thumb2-instructions.s
index fe3ab34e0c1d5ba8960290fb2f79e5b01815b65f..3c64c7d8a27d46bc1c6f00170cf5bb377847e858 100644 (file)
@@ -107,6 +107,12 @@ _func:
 @ FIXME: ADR
 @------------------------------------------------------------------------------
 
+        subw r11, pc, #3270
+        adr.w r11, #-826
+
+@ CHECK: subw  r11, pc, #3270          @ encoding: [0xaf,0xf6,0xc6,0x4b]
+@ CHECK: adr.w r11, #-826              @ encoding: [0xaf,0xf2,0x3a,0x3b]
+
 @------------------------------------------------------------------------------
 @ AND (immediate)
 @------------------------------------------------------------------------------
@@ -188,7 +194,7 @@ _func:
 @ CHECK: beq.w _bar                    @ encoding: [A,0xf0'A',A,0x80'A']
           @   fixup A - offset: 0, value: _bar, kind: fixup_t2_condbranch
 @ CHECK: it    eq                      @ encoding: [0x08,0xbf]
-@ CHECK: b.w   _bar                    @ encoding: [A,0xf0'A',A,0x90'A']
+@ CHECK: beq.w _bar                    @ encoding: [A,0xf0'A',A,0x90'A']
           @   fixup A - offset: 0, value: _bar, kind: fixup_t2_uncondbranch
 @ CHECK: bmi.w   #-183396                @ encoding: [0x13,0xf5,0xce,0xa9]
 
@@ -253,6 +259,14 @@ _func:
 @ CHECK: bic.w r8, r8, r5, asr #15     @ encoding: [0x28,0xea,0xe5,0x38]
 @ CHECK: bic.w r12, r12, r6, ror #29   @ encoding: [0x2c,0xea,0x76,0x7c]
 
+@------------------------------------------------------------------------------
+@ BKPT
+@------------------------------------------------------------------------------
+        it pl
+        bkpt #234
+
+@ CHECK: it pl                      @ encoding: [0x58,0xbf]
+@ CHECK: bkpt #234                    @ encoding: [0xea,0xbe]
 
 @------------------------------------------------------------------------------
 @ BXJ
@@ -462,6 +476,24 @@ _func:
 @ CHECK: isb   sy                      @ encoding: [0xbf,0xf3,0x6f,0x8f]
 
 
+@------------------------------------------------------------------------------
+@ IT
+@------------------------------------------------------------------------------
+@ Test encodings of a few full IT blocks, not just the IT instruction
+
+        iteet eq
+        addeq r0, r1, r2
+        nopne
+        subne r5, r6, r7
+        addeq r1, r2, #4
+
+@ CHECK: iteet eq                      @ encoding: [0x0d,0xbf]
+@ CHECK: addeq r0, r1, r2              @ encoding: [0x88,0x18]
+@ CHECK: nopne                          @ encoding: [0x00,0xbf]
+@ CHECK: subne r5, r6, r7              @ encoding: [0xf5,0x1b]
+@ CHECK: addeq r1, r2, #4              @ encoding: [0x11,0x1d]
+
+
 @------------------------------------------------------------------------------
 @ LDMIA
 @------------------------------------------------------------------------------
@@ -653,18 +685,1501 @@ _func:
 
 
 @------------------------------------------------------------------------------
-@ IT
+@ LDREX/LDREXB/LDREXH/LDREXD
 @------------------------------------------------------------------------------
-@ Test encodings of a few full IT blocks, not just the IT instruction
+        ldrex r1, [r4]
+        ldrex r8, [r4, #0]
+        ldrex r2, [sp, #128]
+        ldrexb r5, [r7]
+        ldrexh r9, [r12]
+        ldrexd r9, r3, [r4]
 
-        iteet eq
-        addeq r0, r1, r2
-        nopne
-        subne r5, r6, r7
-        addeq r1, r2, #4
+@ CHECK: ldrex r1, [r4]                @ encoding: [0x54,0xe8,0x00,0x1f]
+@ CHECK: ldrex r8, [r4]                @ encoding: [0x54,0xe8,0x00,0x8f]
+@ CHECK: ldrex r2, [sp, #128]          @ encoding: [0x5d,0xe8,0x20,0x2f]
+@ CHECK: ldrexb        r5, [r7]                @ encoding: [0xd7,0xe8,0x4f,0x5f]
+@ CHECK: ldrexh        r9, [r12]               @ encoding: [0xdc,0xe8,0x5f,0x9f]
+@ CHECK: ldrexd        r9, r3, [r4]            @ encoding: [0xd4,0xe8,0x7f,0x93]
+
+
+@------------------------------------------------------------------------------
+@ LDRH(immediate)
+@------------------------------------------------------------------------------
+        ldrh r5, [r5, #-4]
+        ldrh r5, [r6, #32]
+        ldrh r5, [r6, #33]
+        ldrh r5, [r6, #257]
+        ldrh.w lr, [r7, #257]
+
+@ CHECK: ldrh  r5, [r5, #-4]           @ encoding: [0x35,0xf8,0x04,0x5c]
+@ CHECK: ldrh  r5, [r6, #32]           @ encoding: [0x35,0x8c]
+@ CHECK: ldrh.w        r5, [r6, #33]           @ encoding: [0xb6,0xf8,0x21,0x50]
+@ CHECK: ldrh.w        r5, [r6, #257]          @ encoding: [0xb6,0xf8,0x01,0x51]
+@ CHECK: ldrh.w        lr, [r7, #257]          @ encoding: [0xb7,0xf8,0x01,0xe1]
+
+
+@------------------------------------------------------------------------------
+@ LDRH(register)
+@------------------------------------------------------------------------------
+        ldrh r1, [r8, r1]
+        ldrh.w r4, [r5, r2]
+        ldrh r6, [r0, r2, lsl #3]
+        ldrh r8, [r8, r2, lsl #2]
+        ldrh r7, [sp, r2, lsl #1]
+        ldrh r7, [sp, r2, lsl #0]
+        ldrh r5, [r8, #255]!
+        ldrh r2, [r5, #4]!
+        ldrh r1, [r4, #-4]!
+        ldrh lr, [r3], #255
+        ldrh r9, [r2], #4
+        ldrh r3, [sp], #-4
+
+@ CHECK: ldrh.w        r1, [r8, r1]            @ encoding: [0x38,0xf8,0x01,0x10]
+@ CHECK: ldrh.w        r4, [r5, r2]            @ encoding: [0x35,0xf8,0x02,0x40]
+@ CHECK: ldrh.w        r6, [r0, r2, lsl #3]    @ encoding: [0x30,0xf8,0x32,0x60]
+@ CHECK: ldrh.w        r8, [r8, r2, lsl #2]    @ encoding: [0x38,0xf8,0x22,0x80]
+@ CHECK: ldrh.w        r7, [sp, r2, lsl #1]    @ encoding: [0x3d,0xf8,0x12,0x70]
+@ CHECK: ldrh.w        r7, [sp, r2]            @ encoding: [0x3d,0xf8,0x02,0x70]
+@ CHECK: ldrh  r5, [r8, #255]!         @ encoding: [0x38,0xf8,0xff,0x5f]
+@ CHECK: ldrh  r2, [r5, #4]!           @ encoding: [0x35,0xf8,0x04,0x2f]
+@ CHECK: ldrh  r1, [r4, #-4]!          @ encoding: [0x34,0xf8,0x04,0x1d]
+@ CHECK: ldrh  lr, [r3], #255          @ encoding: [0x33,0xf8,0xff,0xeb]
+@ CHECK: ldrh  r9, [r2], #4            @ encoding: [0x32,0xf8,0x04,0x9b]
+@ CHECK: ldrh  r3, [sp], #-4           @ encoding: [0x3d,0xf8,0x04,0x39]
+
+
+@------------------------------------------------------------------------------
+@ LDRH(literal)
+@------------------------------------------------------------------------------
+        ldrh r5, _bar
+
+@ CHECK: ldrh.w        r5, _bar                @ encoding: [0xbf'A',0xf8'A',A,0x50'A']
+@ CHECK:     @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
+
+
+@------------------------------------------------------------------------------
+@ LDRSB(immediate)
+@------------------------------------------------------------------------------
+        ldrsb r5, [r5, #-4]
+        ldrsb r5, [r6, #32]
+        ldrsb r5, [r6, #33]
+        ldrsb r5, [r6, #257]
+        ldrsb.w lr, [r7, #257]
+
+@ CHECK: ldrsb r5, [r5, #-4]            @ encoding: [0x15,0xf9,0x04,0x5c]
+@ CHECK: ldrsb.w r5, [r6, #32]           @ encoding: [0x96,0xf9,0x20,0x50]
+@ CHECK: ldrsb.w r5, [r6, #33]           @ encoding: [0x96,0xf9,0x21,0x50]
+@ CHECK: ldrsb.w r5, [r6, #257]          @ encoding: [0x96,0xf9,0x01,0x51]
+@ CHECK: ldrsb.w lr, [r7, #257]          @ encoding: [0x97,0xf9,0x01,0xe1]
+
+
+@------------------------------------------------------------------------------
+@ LDRSB(register)
+@------------------------------------------------------------------------------
+        ldrsb r1, [r8, r1]
+        ldrsb.w r4, [r5, r2]
+        ldrsb r6, [r0, r2, lsl #3]
+        ldrsb r8, [r8, r2, lsl #2]
+        ldrsb r7, [sp, r2, lsl #1]
+        ldrsb r7, [sp, r2, lsl #0]
+        ldrsb r5, [r8, #255]!
+        ldrsb r2, [r5, #4]!
+        ldrsb r1, [r4, #-4]!
+        ldrsb lr, [r3], #255
+        ldrsb r9, [r2], #4
+        ldrsb r3, [sp], #-4
+
+@ CHECK: ldrsb.w r1, [r8, r1]           @ encoding: [0x18,0xf9,0x01,0x10]
+@ CHECK: ldrsb.w r4, [r5, r2]           @ encoding: [0x15,0xf9,0x02,0x40]
+@ CHECK: ldrsb.w r6, [r0, r2, lsl #3]   @ encoding: [0x10,0xf9,0x32,0x60]
+@ CHECK: ldrsb.w r8, [r8, r2, lsl #2]   @ encoding: [0x18,0xf9,0x22,0x80]
+@ CHECK: ldrsb.w r7, [sp, r2, lsl #1]   @ encoding: [0x1d,0xf9,0x12,0x70]
+@ CHECK: ldrsb.w r7, [sp, r2]           @ encoding: [0x1d,0xf9,0x02,0x70]
+@ CHECK: ldrsb r5, [r8, #255]!         @ encoding: [0x18,0xf9,0xff,0x5f]
+@ CHECK: ldrsb r2, [r5, #4]!           @ encoding: [0x15,0xf9,0x04,0x2f]
+@ CHECK: ldrsb r1, [r4, #-4]!          @ encoding: [0x14,0xf9,0x04,0x1d]
+@ CHECK: ldrsb lr, [r3], #255          @ encoding: [0x13,0xf9,0xff,0xeb]
+@ CHECK: ldrsb r9, [r2], #4            @ encoding: [0x12,0xf9,0x04,0x9b]
+@ CHECK: ldrsb r3, [sp], #-4           @ encoding: [0x1d,0xf9,0x04,0x39]
+
+
+@------------------------------------------------------------------------------
+@ LDRSB(literal)
+@------------------------------------------------------------------------------
+        ldrsb r5, _bar
+
+@ CHECK: ldrsb.w r5, _bar               @ encoding: [0x9f'A',0xf9'A',A,0x50'A']
+@ CHECK:      @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
+
+
+@------------------------------------------------------------------------------
+@ LDRSBT
+@------------------------------------------------------------------------------
+        ldrsbt r1, [r2]
+        ldrsbt r1, [r8, #0]
+        ldrsbt r1, [r8, #3]
+        ldrsbt r1, [r8, #255]
+
+@ CHECK: ldrsbt        r1, [r2]                @ encoding: [0x12,0xf9,0x00,0x1e]
+@ CHECK: ldrsbt        r1, [r8]                @ encoding: [0x18,0xf9,0x00,0x1e]
+@ CHECK: ldrsbt        r1, [r8, #3]            @ encoding: [0x18,0xf9,0x03,0x1e]
+@ CHECK: ldrsbt        r1, [r8, #255]          @ encoding: [0x18,0xf9,0xff,0x1e]
+
+
+@------------------------------------------------------------------------------
+@ LDRSH(immediate)
+@------------------------------------------------------------------------------
+        ldrsh r5, [r5, #-4]
+        ldrsh r5, [r6, #32]
+        ldrsh r5, [r6, #33]
+        ldrsh r5, [r6, #257]
+        ldrsh.w lr, [r7, #257]
+
+@ CHECK: ldrsh r5, [r5, #-4]           @ encoding: [0x35,0xf9,0x04,0x5c]
+@ CHECK: ldrsh.w r5, [r6, #32]          @ encoding: [0xb6,0xf9,0x20,0x50]
+@ CHECK: ldrsh.w r5, [r6, #33]          @ encoding: [0xb6,0xf9,0x21,0x50]
+@ CHECK: ldrsh.w r5, [r6, #257]         @ encoding: [0xb6,0xf9,0x01,0x51]
+@ CHECK: ldrsh.w lr, [r7, #257]         @ encoding: [0xb7,0xf9,0x01,0xe1]
+
+
+@------------------------------------------------------------------------------
+@ LDRSH(register)
+@------------------------------------------------------------------------------
+        ldrsh r1, [r8, r1]
+        ldrsh.w r4, [r5, r2]
+        ldrsh r6, [r0, r2, lsl #3]
+        ldrsh r8, [r8, r2, lsl #2]
+        ldrsh r7, [sp, r2, lsl #1]
+        ldrsh r7, [sp, r2, lsl #0]
+        ldrsh r5, [r8, #255]!
+        ldrsh r2, [r5, #4]!
+        ldrsh r1, [r4, #-4]!
+        ldrsh lr, [r3], #255
+        ldrsh r9, [r2], #4
+        ldrsh r3, [sp], #-4
+
+@ CHECK: ldrsh.w r1, [r8, r1]           @ encoding: [0x38,0xf9,0x01,0x10]
+@ CHECK: ldrsh.w r4, [r5, r2]           @ encoding: [0x35,0xf9,0x02,0x40]
+@ CHECK: ldrsh.w r6, [r0, r2, lsl #3]   @ encoding: [0x30,0xf9,0x32,0x60]
+@ CHECK: ldrsh.w r8, [r8, r2, lsl #2]   @ encoding: [0x38,0xf9,0x22,0x80]
+@ CHECK: ldrsh.w r7, [sp, r2, lsl #1]   @ encoding: [0x3d,0xf9,0x12,0x70]
+@ CHECK: ldrsh.w r7, [sp, r2]           @ encoding: [0x3d,0xf9,0x02,0x70]
+@ CHECK: ldrsh r5, [r8, #255]!         @ encoding: [0x38,0xf9,0xff,0x5f]
+@ CHECK: ldrsh r2, [r5, #4]!           @ encoding: [0x35,0xf9,0x04,0x2f]
+@ CHECK: ldrsh r1, [r4, #-4]!          @ encoding: [0x34,0xf9,0x04,0x1d]
+@ CHECK: ldrsh lr, [r3], #255          @ encoding: [0x33,0xf9,0xff,0xeb]
+@ CHECK: ldrsh r9, [r2], #4            @ encoding: [0x32,0xf9,0x04,0x9b]
+@ CHECK: ldrsh r3, [sp], #-4           @ encoding: [0x3d,0xf9,0x04,0x39]
+
+
+@------------------------------------------------------------------------------
+@ LDRSH(literal)
+@------------------------------------------------------------------------------
+        ldrsh r5, _bar
+        ldrsh.w r4, #1435
+
+@ CHECK: ldrsh.w r5, _bar               @ encoding: [0xbf'A',0xf9'A',A,0x50'A']
+@ CHECK:      @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
+@ CHECK: ldrsh.w r4, #1435               @ encoding: [0x3f,0xf9,0x9b,0x45]
+
+@------------------------------------------------------------------------------
+@ LDRSHT
+@------------------------------------------------------------------------------
+        ldrsht r1, [r2]
+        ldrsht r1, [r8, #0]
+        ldrsht r1, [r8, #3]
+        ldrsht r1, [r8, #255]
+
+@ CHECK: ldrsht        r1, [r2]                @ encoding: [0x32,0xf9,0x00,0x1e]
+@ CHECK: ldrsht        r1, [r8]                @ encoding: [0x38,0xf9,0x00,0x1e]
+@ CHECK: ldrsht        r1, [r8, #3]            @ encoding: [0x38,0xf9,0x03,0x1e]
+@ 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]
+
+
+@------------------------------------------------------------------------------
+@ LSL (immediate)
+@------------------------------------------------------------------------------
+        lsl r2, r3, #12
+        lsls r8, r3, #31
+        lsls.w r2, r3, #1
+        lsl r2, r3, #4
+        lsls r2, r12, #15
+
+        lsl r3, #19
+        lsls r8, #2
+        lsls.w r7, #5
+        lsl.w r12, #21
+
+@ CHECK: lsl.w r2, r3, #12             @ encoding: [0x4f,0xea,0x03,0x32]
+@ CHECK: lsls.w        r8, r3, #31             @ encoding: [0x5f,0xea,0xc3,0x78]
+@ CHECK: lsls.w        r2, r3, #1              @ encoding: [0x5f,0xea,0x43,0x02]
+@ CHECK: lsl.w r2, r3, #4              @ encoding: [0x4f,0xea,0x03,0x12]
+@ CHECK: lsls.w        r2, r12, #15            @ encoding: [0x5f,0xea,0xcc,0x32]
+
+@ CHECK: lsl.w r3, r3, #19             @ encoding: [0x4f,0xea,0xc3,0x43]
+@ CHECK: lsls.w        r8, r8, #2              @ encoding: [0x5f,0xea,0x88,0x08]
+@ CHECK: lsls.w        r7, r7, #5              @ encoding: [0x5f,0xea,0x47,0x17]
+@ CHECK: lsl.w r12, r12, #21           @ encoding: [0x4f,0xea,0x4c,0x5c]
+
+
+@------------------------------------------------------------------------------
+@ LSL (register)
+@------------------------------------------------------------------------------
+        lsl r3, r4, r2
+        lsl.w r1, r2
+        lsls r3, r4, r8
+
+@ CHECK: lsl.w r3, r4, r2              @ encoding: [0x04,0xfa,0x02,0xf3]
+@ CHECK: lsl.w r1, r1, r2              @ encoding: [0x01,0xfa,0x02,0xf1]
+@ CHECK: lsls.w        r3, r4, r8              @ encoding: [0x14,0xfa,0x08,0xf3]
+
+
+@------------------------------------------------------------------------------
+@ LSR (immediate)
+@------------------------------------------------------------------------------
+        lsr r2, r3, #12
+        lsrs r8, r3, #32
+        lsrs.w r2, r3, #1
+        lsr r2, r3, #4
+        lsrs r2, r12, #15
+
+        lsr r3, #19
+        lsrs r8, #2
+        lsrs.w r7, #5
+        lsr.w r12, #21
+
+@ CHECK: lsr.w r2, r3, #12             @ encoding: [0x4f,0xea,0x13,0x32]
+@ CHECK: lsrs.w        r8, r3, #32             @ encoding: [0x5f,0xea,0x13,0x08]
+@ CHECK: lsrs.w        r2, r3, #1              @ encoding: [0x5f,0xea,0x53,0x02]
+@ CHECK: lsr.w r2, r3, #4              @ encoding: [0x4f,0xea,0x13,0x12]
+@ CHECK: lsrs.w        r2, r12, #15            @ encoding: [0x5f,0xea,0xdc,0x32]
+
+@ CHECK: lsr.w r3, r3, #19             @ encoding: [0x4f,0xea,0xd3,0x43]
+@ CHECK: lsrs.w        r8, r8, #2              @ encoding: [0x5f,0xea,0x98,0x08]
+@ CHECK: lsrs.w        r7, r7, #5              @ encoding: [0x5f,0xea,0x57,0x17]
+@ CHECK: lsr.w r12, r12, #21           @ encoding: [0x4f,0xea,0x5c,0x5c]
+
+
+@------------------------------------------------------------------------------
+@ LSR (register)
+@------------------------------------------------------------------------------
+        lsr r3, r4, r2
+        lsr.w r1, r2
+        lsrs r3, r4, r8
+
+@ CHECK: lsr.w r3, r4, r2              @ encoding: [0x24,0xfa,0x02,0xf3]
+@ CHECK: lsr.w r1, r1, r2              @ encoding: [0x21,0xfa,0x02,0xf1]
+@ CHECK: lsrs.w        r3, r4, r8              @ encoding: [0x34,0xfa,0x08,0xf3]
+
+@------------------------------------------------------------------------------
+@ MCR/MCR2
+@------------------------------------------------------------------------------
+        mcr  p7, #1, r5, c1, c1, #4
+        mcr2  p7, #1, r5, c1, c1, #4
+
+@ CHECK: mcr   p7, #1, r5, c1, c1, #4  @ encoding: [0x21,0xee,0x91,0x57]
+@ CHECK: mcr2  p7, #1, r5, c1, c1, #4  @ encoding: [0x21,0xfe,0x91,0x57]
+
+
+@------------------------------------------------------------------------------
+@ MCRR/MCRR2
+@------------------------------------------------------------------------------
+        mcrr  p7, #15, r5, r4, c1
+        mcrr2  p7, #15, r5, r4, c1
+
+@ CHECK: mcrr  p7, #15, r5, r4, c1     @ encoding: [0x44,0xec,0xf1,0x57]
+@ CHECK: mcrr2 p7, #15, r5, r4, c1     @ encoding: [0x44,0xfc,0xf1,0x57]
+
+
+@------------------------------------------------------------------------------
+@ MLA/MLS
+@------------------------------------------------------------------------------
+        mla  r1,r2,r3,r4
+        mls  r1,r2,r3,r4
+
+@ CHECK: mla   r1, r2, r3, r4          @ encoding: [0x02,0xfb,0x03,0x41]
+@ CHECK: mls   r1, r2, r3, r4          @ encoding: [0x02,0xfb,0x13,0x41]
+
+
+@------------------------------------------------------------------------------
+@ MOV(immediate)
+@------------------------------------------------------------------------------
+        movs r1, #21
+        movs.w r1, #21
+        movs r8, #21
+        movw r0, #65535
+        movw r1, #43777
+        movw r1, #43792
+        mov.w r0, #0x3fc0000
+        mov r0, #0x3fc0000
+        movs.w r0, #0x3fc0000
+        itte eq
+        movseq r1, #12
+        moveq r1, #12
+        movne.w r1, #12
+        mov.w r6, #450
+
+@ CHECK: movs  r1, #21                 @ encoding: [0x15,0x21]
+@ CHECK: movs.w        r1, #21                 @ encoding: [0x5f,0xf0,0x15,0x01]
+@ CHECK: movs.w        r8, #21                 @ encoding: [0x5f,0xf0,0x15,0x08]
+@ CHECK: movw  r0, #65535              @ encoding: [0x4f,0xf6,0xff,0x70]
+@ CHECK: movw  r1, #43777              @ encoding: [0x4a,0xf6,0x01,0x31]
+@ CHECK: movw  r1, #43792              @ encoding: [0x4a,0xf6,0x10,0x31]
+@ CHECK: mov.w r0, #66846720           @ encoding: [0x4f,0xf0,0x7f,0x70]
+@ CHECK: mov.w r0, #66846720           @ encoding: [0x4f,0xf0,0x7f,0x70]
+@ CHECK: movs.w        r0, #66846720           @ encoding: [0x5f,0xf0,0x7f,0x70]
+@ CHECK: itte  eq                      @ encoding: [0x06,0xbf]
+@ CHECK: movseq.w      r1, #12         @ encoding: [0x5f,0xf0,0x0c,0x01]
+@ CHECK: moveq r1, #12                 @ encoding: [0x0c,0x21]
+@ CHECK: movne.w r1, #12                @ encoding: [0x4f,0xf0,0x0c,0x01]
+@ CHECK: mov.w r6, #450                @ encoding: [0x4f,0xf4,0xe1,0x76]
+
+
+@------------------------------------------------------------------------------
+@ 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]
+
+@------------------------------------------------------------------------------
+@ MRC/MRC2
+@------------------------------------------------------------------------------
+        mrc  p14, #0, r1, c1, c2, #4
+        mrc2  p14, #0, r1, c1, c2, #4
+
+@ CHECK: mrc   p14, #0, r1, c1, c2, #4 @ encoding: [0x11,0xee,0x92,0x1e]
+@ CHECK: mrc2  p14, #0, r1, c1, c2, #4 @ encoding: [0x11,0xfe,0x92,0x1e]
+
+
+@------------------------------------------------------------------------------
+@ MRRC/MRRC2
+@------------------------------------------------------------------------------
+        mrrc  p7, #1, r5, r4, c1
+        mrrc2  p7, #1, r5, r4, c1
+
+@ CHECK: mrrc  p7, #1, r5, r4, c1      @ encoding: [0x54,0xec,0x11,0x57]
+@ CHECK: mrrc2 p7, #1, r5, r4, c1      @ encoding: [0x54,0xfc,0x11,0x57]
+
+
+@------------------------------------------------------------------------------
+@ MRS
+@------------------------------------------------------------------------------
+        mrs  r8, apsr
+        mrs  r8, cpsr
+        mrs  r8, spsr
+
+@ CHECK: mrs   r8, apsr                @ encoding: [0xef,0xf3,0x00,0x88]
+@ CHECK: mrs   r8, apsr                @ encoding: [0xef,0xf3,0x00,0x88]
+@ CHECK: mrs   r8, spsr                @ encoding: [0xff,0xf3,0x00,0x88]
+
+
+@------------------------------------------------------------------------------
+@ MSR
+@------------------------------------------------------------------------------
+        msr  apsr, r1
+        msr  apsr_g, r2
+        msr  apsr_nzcvq, r3
+        msr  APSR_nzcvq, r4
+        msr  apsr_nzcvqg, r5
+        msr  cpsr_fc, r6
+        msr  cpsr_c, r7
+        msr  cpsr_x, r8
+        msr  cpsr_fc, r9
+        msr  cpsr_all, r11
+        msr  cpsr_fsx, r12
+        msr  spsr_fc, r0
+        msr  SPSR_fsxc, r5
+        msr  cpsr_fsxc, r8
+
+@ CHECK: msr   APSR_nzcvq, r1          @ encoding: [0x81,0xf3,0x00,0x88]
+@ CHECK: msr   APSR_g, r2              @ encoding: [0x82,0xf3,0x00,0x84]
+@ CHECK: msr   APSR_nzcvq, r3          @ encoding: [0x83,0xf3,0x00,0x88]
+@ CHECK: msr   APSR_nzcvq, r4          @ encoding: [0x84,0xf3,0x00,0x88]
+@ CHECK: msr   APSR_nzcvqg, r5         @ encoding: [0x85,0xf3,0x00,0x8c]
+@ CHECK: msr   CPSR_fc, r6             @ encoding: [0x86,0xf3,0x00,0x89]
+@ CHECK: msr   CPSR_c, r7              @ encoding: [0x87,0xf3,0x00,0x81]
+@ CHECK: msr   CPSR_x, r8              @ encoding: [0x88,0xf3,0x00,0x82]
+@ CHECK: msr   CPSR_fc, r9             @ encoding: [0x89,0xf3,0x00,0x89]
+@ CHECK: msr   CPSR_fc, r11            @ encoding: [0x8b,0xf3,0x00,0x89]
+@ CHECK: msr   CPSR_fsx, r12           @ encoding: [0x8c,0xf3,0x00,0x8e]
+@ CHECK: msr   SPSR_fc, r0             @ encoding: [0x90,0xf3,0x00,0x89]
+@ CHECK: msr   SPSR_fsxc, r5           @ encoding: [0x95,0xf3,0x00,0x8f]
+@ CHECK: msr   CPSR_fsxc, r8           @ encoding: [0x88,0xf3,0x00,0x8f]
+
+
+@------------------------------------------------------------------------------
+@ MUL
+@------------------------------------------------------------------------------
+        muls r3, r4, r3
+        mul r3, r4, r3
+        mul r3, r4, r6
+        it eq
+        muleq r3, r4, r5
+
+@ CHECK: muls  r3, r4, r3              @ encoding: [0x63,0x43]
+@ CHECK: mul   r3, r4, r3              @ encoding: [0x04,0xfb,0x03,0xf3]
+@ CHECK: mul   r3, r4, r6              @ encoding: [0x04,0xfb,0x06,0xf3]
+@ CHECK: it    eq                      @ encoding: [0x08,0xbf]
+@ CHECK: muleq r3, r4, r5              @ encoding: [0x04,0xfb,0x05,0xf3]
+
+
+@------------------------------------------------------------------------------
+@ MVN(immediate)
+@------------------------------------------------------------------------------
+        mvns r8, #21
+        mvn r0, #0x3fc0000
+        mvns r0, #0x3fc0000
+        itte eq
+        mvnseq r1, #12
+        mvneq r1, #12
+        mvnne r1, #12
+
+@ CHECK: mvns  r8, #21                 @ encoding: [0x7f,0xf0,0x15,0x08]
+@ CHECK: mvn   r0, #66846720           @ encoding: [0x6f,0xf0,0x7f,0x70]
+@ CHECK: mvns  r0, #66846720           @ encoding: [0x7f,0xf0,0x7f,0x70]
+@ CHECK: itte  eq                      @ encoding: [0x06,0xbf]
+@ CHECK: mvnseq        r1, #12                 @ encoding: [0x7f,0xf0,0x0c,0x01]
+@ CHECK: mvneq r1, #12                 @ encoding: [0x6f,0xf0,0x0c,0x01]
+@ CHECK: mvnne r1, #12                 @ encoding: [0x6f,0xf0,0x0c,0x01]
+
+
+@------------------------------------------------------------------------------
+@ MVN(register)
+@------------------------------------------------------------------------------
+        mvn r2, r3
+        mvns r2, r3
+        mvn r5, r6, lsl #19
+        mvn r5, r6, lsr #9
+        mvn r5, r6, asr #4
+        mvn r5, r6, ror #6
+        mvn r5, r6, rrx
+        it eq
+        mvneq r2, r3
+
+@ CHECK: mvn.w r2, r3                  @ encoding: [0x6f,0xea,0x03,0x02]
+@ CHECK: mvns  r2, r3                  @ encoding: [0xda,0x43]
+@ CHECK: mvn.w r5, r6, lsl #19         @ encoding: [0x6f,0xea,0xc6,0x45]
+@ CHECK: mvn.w r5, r6, lsr #9          @ encoding: [0x6f,0xea,0x56,0x25]
+@ CHECK: mvn.w r5, r6, asr #4          @ encoding: [0x6f,0xea,0x26,0x15]
+@ CHECK: mvn.w r5, r6, ror #6          @ encoding: [0x6f,0xea,0xb6,0x15]
+@ CHECK: mvn.w r5, r6, rrx             @ encoding: [0x6f,0xea,0x36,0x05]
+@ CHECK: it    eq                      @ encoding: [0x08,0xbf]
+@ CHECK: mvneq r2, r3                  @ encoding: [0xda,0x43]
+
+@------------------------------------------------------------------------------
+@ NOP
+@------------------------------------------------------------------------------
+        nop.w
+
+@ CHECK: nop.w                          @ encoding: [0xaf,0xf3,0x00,0x80]
+
+
+@------------------------------------------------------------------------------
+@ ORN
+@------------------------------------------------------------------------------
+        orn r4, r5, #0xf000
+        orn r4, r5, r6
+        orns r4, r5, r6
+        orn r4, r5, r6, lsl #5
+        orns r4, r5, r6, lsr #5
+        orn r4, r5, r6, lsr #5
+        orns r4, r5, r6, asr #5
+        orn r4, r5, r6, ror #5
+
+@ CHECK: orn   r4, r5, #61440          @ encoding: [0x65,0xf4,0x70,0x44]
+@ CHECK: orn   r4, r5, r6              @ encoding: [0x65,0xea,0x06,0x04]
+@ CHECK: orns  r4, r5, r6              @ encoding: [0x75,0xea,0x06,0x04]
+@ CHECK: orn   r4, r5, r6, lsl #5      @ encoding: [0x65,0xea,0x46,0x14]
+@ CHECK: orns  r4, r5, r6, lsr #5      @ encoding: [0x75,0xea,0x56,0x14]
+@ CHECK: orn   r4, r5, r6, lsr #5      @ encoding: [0x65,0xea,0x56,0x14]
+@ CHECK: orns  r4, r5, r6, asr #5      @ encoding: [0x75,0xea,0x66,0x14]
+@ CHECK: orn   r4, r5, r6, ror #5      @ encoding: [0x65,0xea,0x76,0x14]
+
+
+@------------------------------------------------------------------------------
+@ ORR
+@------------------------------------------------------------------------------
+        orr r4, r5, #0xf000
+        orr r4, r5, r6
+        orr r4, r5, r6, lsl #5
+        orrs r4, r5, r6, lsr #5
+        orr r4, r5, r6, lsr #5
+        orrs r4, r5, r6, asr #5
+        orr r4, r5, r6, ror #5
+
+@ CHECK: orr   r4, r5, #61440          @ encoding: [0x45,0xf4,0x70,0x44]
+@ CHECK: orr.w r4, r5, r6              @ encoding: [0x45,0xea,0x06,0x04]
+@ CHECK: orr.w r4, r5, r6, lsl #5      @ encoding: [0x45,0xea,0x46,0x14]
+@ CHECK: orrs.w        r4, r5, r6, lsr #5      @ encoding: [0x55,0xea,0x56,0x14]
+@ CHECK: orr.w r4, r5, r6, lsr #5      @ encoding: [0x45,0xea,0x56,0x14]
+@ CHECK: orrs.w        r4, r5, r6, asr #5      @ encoding: [0x55,0xea,0x66,0x14]
+@ CHECK: orr.w r4, r5, r6, ror #5      @ encoding: [0x45,0xea,0x76,0x14]
+
+
+@------------------------------------------------------------------------------
+@ PKH
+@------------------------------------------------------------------------------
+        pkhbt r2, r2, r3
+        pkhbt r2, r2, r3, lsl #31
+        pkhbt r2, r2, r3, lsl #0
+        pkhbt r2, r2, r3, lsl #15
+
+        pkhtb r2, r2, r3
+        pkhtb r2, r2, r3, asr #31
+        pkhtb r2, r2, r3, asr #15
+
+@ CHECK: pkhbt r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
+@ CHECK: pkhbt r2, r2, r3, lsl #31     @ encoding: [0xc2,0xea,0xc3,0x72]
+@ CHECK: pkhbt r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
+@ CHECK: pkhbt r2, r2, r3, lsl #15     @ encoding: [0xc2,0xea,0xc3,0x32]
+
+@ CHECK: pkhbt r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
+@ CHECK: pkhtb r2, r2, r3, asr #31     @ encoding: [0xc2,0xea,0xe3,0x72]
+@ CHECK: pkhtb r2, r2, r3, asr #15     @ encoding: [0xc2,0xea,0xe3,0x32]
+
+
+@------------------------------------------------------------------------------
+@ PLD(immediate)
+@------------------------------------------------------------------------------
+        pld [r5, #-4]
+        pld [r6, #32]
+        pld [r6, #33]
+        pld [r6, #257]
+        pld [r7, #257]
+
+@ CHECK: pld   [r5, #-4]               @ encoding: [0x15,0xf8,0x04,0xfc]
+@ CHECK: pld   [r6, #32]               @ encoding: [0x96,0xf8,0x20,0xf0]
+@ CHECK: pld   [r6, #33]               @ encoding: [0x96,0xf8,0x21,0xf0]
+@ CHECK: pld   [r6, #257]              @ encoding: [0x96,0xf8,0x01,0xf1]
+@ CHECK: pld   [r7, #257]              @ encoding: [0x97,0xf8,0x01,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ PLD(literal)
+@------------------------------------------------------------------------------
+        pld  _foo
+
+@ CHECK: pld   _foo                    @ encoding: [0x9f'A',0xf8'A',A,0xf0'A']
+            @   fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
+
+
+@------------------------------------------------------------------------------
+@ PLD(register)
+@------------------------------------------------------------------------------
+        pld [r8, r1]
+        pld [r5, r2]
+        pld [r0, r2, lsl #3]
+        pld [r8, r2, lsl #2]
+        pld [sp, r2, lsl #1]
+        pld [sp, r2, lsl #0]
+
+@ CHECK: pld   [r8, r1]                @ encoding: [0x18,0xf8,0x01,0xf0]
+@ CHECK: pld   [r5, r2]                @ encoding: [0x15,0xf8,0x02,0xf0]
+@ CHECK: pld   [r0, r2, lsl #3]        @ encoding: [0x10,0xf8,0x32,0xf0]
+@ CHECK: pld   [r8, r2, lsl #2]        @ encoding: [0x18,0xf8,0x22,0xf0]
+@ CHECK: pld   [sp, r2, lsl #1]        @ encoding: [0x1d,0xf8,0x12,0xf0]
+@ CHECK: pld   [sp, r2]                @ encoding: [0x1d,0xf8,0x02,0xf0]
+
+@------------------------------------------------------------------------------
+@ PLI(immediate)
+@------------------------------------------------------------------------------
+        pli [r5, #-4]
+        pli [r6, #32]
+        pli [r6, #33]
+        pli [r6, #257]
+        pli [r7, #257]
+
+@ CHECK: pli   [r5, #-4]               @ encoding: [0x15,0xf9,0x04,0xfc]
+@ CHECK: pli   [r6, #32]               @ encoding: [0x96,0xf9,0x20,0xf0]
+@ CHECK: pli   [r6, #33]               @ encoding: [0x96,0xf9,0x21,0xf0]
+@ CHECK: pli   [r6, #257]              @ encoding: [0x96,0xf9,0x01,0xf1]
+@ CHECK: pli   [r7, #257]              @ encoding: [0x97,0xf9,0x01,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ PLI(literal)
+@------------------------------------------------------------------------------
+        pli  _foo
+
+
+@ CHECK: pli   _foo                    @ encoding: [0x9f'A',0xf9'A',A,0xf0'A']
+           @   fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
+
+
+@------------------------------------------------------------------------------
+@ PLI(register)
+@------------------------------------------------------------------------------
+        pli [r8, r1]
+        pli [r5, r2]
+        pli [r0, r2, lsl #3]
+        pli [r8, r2, lsl #2]
+        pli [sp, r2, lsl #1]
+        pli [sp, r2, lsl #0]
+
+@ CHECK: pli   [r8, r1]                @ encoding: [0x18,0xf9,0x01,0xf0]
+@ CHECK: pli   [r5, r2]                @ encoding: [0x15,0xf9,0x02,0xf0]
+@ CHECK: pli   [r0, r2, lsl #3]        @ encoding: [0x10,0xf9,0x32,0xf0]
+@ CHECK: pli   [r8, r2, lsl #2]        @ encoding: [0x18,0xf9,0x22,0xf0]
+@ CHECK: pli   [sp, r2, lsl #1]        @ encoding: [0x1d,0xf9,0x12,0xf0]
+@ CHECK: pli   [sp, r2]                @ encoding: [0x1d,0xf9,0x02,0xf0]
+
+
+@------------------------------------------------------------------------------
+@ QADD/QADD16/QADD8
+@------------------------------------------------------------------------------
+        qadd r1, r2, r3
+        qadd16 r1, r2, r3
+        qadd8 r1, r2, r3
+        itte gt
+        qaddgt r1, r2, r3
+        qadd16gt r1, r2, r3
+        qadd8le r1, r2, r3
+
+@ CHECK: qadd  r1, r2, r3              @ encoding: [0x83,0xfa,0x82,0xf1]
+@ CHECK: qadd16        r1, r2, r3              @ encoding: [0x92,0xfa,0x13,0xf1]
+@ CHECK: qadd8 r1, r2, r3              @ encoding: [0x82,0xfa,0x13,0xf1]
+@ CHECK: itte  gt                      @ encoding: [0xc6,0xbf]
+@ CHECK: qaddgt        r1, r2, r3              @ encoding: [0x83,0xfa,0x82,0xf1]
+@ CHECK: qadd16gt r1, r2, r3            @ encoding: [0x92,0xfa,0x13,0xf1]
+@ CHECK: qadd8le r1, r2, r3             @ encoding: [0x82,0xfa,0x13,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ QDADD/QDSUB
+@------------------------------------------------------------------------------
+        qdadd r6, r7, r8
+        qdsub r6, r7, r8
+        itt hi
+        qdaddhi r6, r7, r8
+        qdsubhi r6, r7, r8
+
+@ CHECK: qdadd r6, r7, r8              @ encoding: [0x88,0xfa,0x97,0xf6]
+@ CHECK: qdsub r6, r7, r8              @ encoding: [0x88,0xfa,0xb7,0xf6]
+@ CHECK: itt   hi                      @ encoding: [0x84,0xbf]
+@ CHECK: qdaddhi r6, r7, r8             @ encoding: [0x88,0xfa,0x97,0xf6]
+@ CHECK: qdsubhi r6, r7, r8             @ encoding: [0x88,0xfa,0xb7,0xf6]
+
+
+@------------------------------------------------------------------------------
+@ QSAX
+@------------------------------------------------------------------------------
+        qsax r9, r12, r0
+        it eq
+        qsaxeq r9, r12, r0
+
+@ CHECK: qsax  r9, r12, r0             @ encoding: [0xec,0xfa,0x10,0xf9]
+@ CHECK: it    eq                      @ encoding: [0x08,0xbf]
+@ CHECK: qsaxeq        r9, r12, r0             @ encoding: [0xec,0xfa,0x10,0xf9]
+
+
+@------------------------------------------------------------------------------
+@ QSUB/QSUB16/QSUB8
+@------------------------------------------------------------------------------
+        qsub r1, r2, r3
+        qsub16 r1, r2, r3
+        qsub8 r1, r2, r3
+        itet le
+        qsuble r1, r2, r3
+        qsub16gt r1, r2, r3
+        qsub8le r1, r2, r3
+
+@ CHECK: qsub  r1, r2, r3              @ encoding: [0x83,0xfa,0xa2,0xf1]
+@ CHECK: qsub16        r1, r2, r3              @ encoding: [0xd2,0xfa,0x13,0xf1]
+@ CHECK: qsub8 r1, r2, r3              @ encoding: [0xc2,0xfa,0x13,0xf1]
+@ CHECK: itet  le                      @ encoding: [0xd6,0xbf]
+@ CHECK: qsuble        r1, r2, r3              @ encoding: [0x83,0xfa,0xa2,0xf1]
+@ CHECK: qsub16gt      r1, r2, r3      @ encoding: [0xd2,0xfa,0x13,0xf1]
+@ CHECK: qsub8le r1, r2, r3             @ encoding: [0xc2,0xfa,0x13,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ RBIT
+@------------------------------------------------------------------------------
+        rbit r1, r2
+        it ne
+        rbitne r1, r2
+
+@ CHECK: rbit  r1, r2                  @ encoding: [0x92,0xfa,0xa2,0xf1]
+@ CHECK: it    ne                      @ encoding: [0x18,0xbf]
+@ CHECK: rbitne        r1, r2                  @ encoding: [0x92,0xfa,0xa2,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ REV
+@------------------------------------------------------------------------------
+        rev.w r1, r2
+        rev r2, r8
+        itt ne
+        revne r1, r2
+        revne r1, r8
+
+@ CHECK: rev.w r1, r2                  @ encoding: [0x92,0xfa,0x82,0xf1]
+@ CHECK: rev.w r2, r8                  @ encoding: [0x98,0xfa,0x88,0xf2]
+@ CHECK: itt   ne                      @ encoding: [0x1c,0xbf]
+@ CHECK: revne r1, r2                  @ encoding: [0x11,0xba]
+@ CHECK: revne.w r1, r8                 @ encoding: [0x98,0xfa,0x88,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ REV16
+@------------------------------------------------------------------------------
+        rev16.w r1, r2
+        rev16 r2, r8
+        itt ne
+        rev16ne r1, r2
+        rev16ne r1, r8
+
+@ CHECK: rev16.w r1, r2                 @ encoding: [0x92,0xfa,0x92,0xf1]
+@ CHECK: rev16.w r2, r8                 @ encoding: [0x98,0xfa,0x98,0xf2]
+@ CHECK: itt   ne                      @ encoding: [0x1c,0xbf]
+@ CHECK: rev16ne r1, r2                 @ encoding: [0x51,0xba]
+@ CHECK: rev16ne.w     r1, r8          @ encoding: [0x98,0xfa,0x98,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ REVSH
+@------------------------------------------------------------------------------
+        revsh.w r1, r2
+        revsh r2, r8
+        itt ne
+        revshne r1, r2
+        revshne r1, r8
+
+@ CHECK: revsh.w r1, r2                 @ encoding: [0x92,0xfa,0xb2,0xf1]
+@ CHECK: revsh.w r2, r8                 @ encoding: [0x98,0xfa,0xb8,0xf2]
+@ CHECK: itt   ne                      @ encoding: [0x1c,0xbf]
+@ CHECK: revshne r1, r2                 @ encoding: [0xd1,0xba]
+@ CHECK: revshne.w     r1, r8          @ encoding: [0x98,0xfa,0xb8,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ ROR (immediate)
+@------------------------------------------------------------------------------
+        ror r2, r3, #12
+        rors r8, r3, #31
+        rors.w r2, r3, #1
+        ror r2, r3, #4
+        rors r2, r12, #15
+
+        ror r3, #19
+        rors r8, #2
+        rors.w r7, #5
+        ror.w r12, #21
+
+@ CHECK: ror.w r2, r3, #12             @ encoding: [0x4f,0xea,0x33,0x32]
+@ CHECK: rors.w        r8, r3, #31             @ encoding: [0x5f,0xea,0xf3,0x78]
+@ CHECK: rors.w        r2, r3, #1              @ encoding: [0x5f,0xea,0x73,0x02]
+@ CHECK: ror.w r2, r3, #4              @ encoding: [0x4f,0xea,0x33,0x12]
+@ CHECK: rors.w        r2, r12, #15            @ encoding: [0x5f,0xea,0xfc,0x32]
+
+@ CHECK: ror.w r3, r3, #19             @ encoding: [0x4f,0xea,0xf3,0x43]
+@ CHECK: rors.w        r8, r8, #2              @ encoding: [0x5f,0xea,0xb8,0x08]
+@ CHECK: rors.w        r7, r7, #5              @ encoding: [0x5f,0xea,0x77,0x17]
+@ CHECK: ror.w r12, r12, #21           @ encoding: [0x4f,0xea,0x7c,0x5c]
+
+
+@------------------------------------------------------------------------------
+@ ROR (register)
+@------------------------------------------------------------------------------
+        ror r3, r4, r2
+        ror.w r1, r2
+        rors r3, r4, r8
+
+@ CHECK: ror.w r3, r4, r2              @ encoding: [0x64,0xfa,0x02,0xf3]
+@ CHECK: ror.w r1, r1, r2              @ encoding: [0x61,0xfa,0x02,0xf1]
+@ 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]
+
+@------------------------------------------------------------------------------
+@ RSB (immediate)
+@------------------------------------------------------------------------------
+        rsb r2, r5, #0xff000
+        rsbs r3, r12, #0xf
+        rsb r1, #0xff
+        rsb r1, r1, #0xff
+
+@ CHECK: rsb.w r2, r5, #1044480        @ encoding: [0xc5,0xf5,0x7f,0x22]
+@ CHECK: rsbs.w        r3, r12, #15            @ encoding: [0xdc,0xf1,0x0f,0x03]
+@ CHECK: rsb.w r1, r1, #255            @ encoding: [0xc1,0xf1,0xff,0x01]
+@ CHECK: rsb.w r1, r1, #255            @ encoding: [0xc1,0xf1,0xff,0x01]
+
+
+@------------------------------------------------------------------------------
+@ RSB (register)
+@------------------------------------------------------------------------------
+        rsb r4, r8
+        rsb r4, r9, r8
+        rsb r1, r4, r8, asr #3
+        rsbs r2, r1, r7, lsl #1
+
+@ CHECK: rsb   r4, r4, r8              @ encoding: [0xc4,0xeb,0x08,0x04]
+@ CHECK: rsb   r4, r9, r8              @ encoding: [0xc9,0xeb,0x08,0x04]
+@ CHECK: rsb   r1, r4, r8, asr #3      @ encoding: [0xc4,0xeb,0xe8,0x01]
+@ CHECK: rsbs  r2, r1, r7, lsl #1      @ encoding: [0xd1,0xeb,0x47,0x02]
+
+
+@------------------------------------------------------------------------------
+@ SADD16
+@------------------------------------------------------------------------------
+        sadd16 r3, r4, r8
+        it ne
+        sadd16ne r3, r4, r8
+
+@ CHECK: sadd16        r3, r4, r8              @ encoding: [0x94,0xfa,0x08,0xf3]
+@ CHECK: it    ne                      @ encoding: [0x18,0xbf]
+@ CHECK: sadd16ne      r3, r4, r8      @ encoding: [0x94,0xfa,0x08,0xf3]
+
+
+@------------------------------------------------------------------------------
+@ SADD8
+@------------------------------------------------------------------------------
+        sadd8 r3, r4, r8
+        it ne
+        sadd8ne r3, r4, r8
+
+@ CHECK: sadd8 r3, r4, r8              @ encoding: [0x84,0xfa,0x08,0xf3]
+@ CHECK: it    ne                      @ encoding: [0x18,0xbf]
+@ CHECK: sadd8ne r3, r4, r8             @ encoding: [0x84,0xfa,0x08,0xf3]
+
+
+@------------------------------------------------------------------------------
+@ SASX
+@------------------------------------------------------------------------------
+        saddsubx r9, r2, r7
+        it ne
+        saddsubxne r2, r5, r6
+        sasx r9, r2, r7
+        it ne
+        sasxne r2, r5, r6
+
+@ CHECK: sasx  r9, r2, r7              @ encoding: [0xa2,0xfa,0x07,0xf9]
+@ CHECK: it    ne                      @ encoding: [0x18,0xbf]
+@ CHECK: sasxne        r2, r5, r6              @ encoding: [0xa5,0xfa,0x06,0xf2]
+@ CHECK: sasx  r9, r2, r7              @ encoding: [0xa2,0xfa,0x07,0xf9]
+@ CHECK: it    ne                      @ encoding: [0x18,0xbf]
+@ CHECK: sasxne        r2, r5, r6              @ encoding: [0xa5,0xfa,0x06,0xf2]
+
+
+@------------------------------------------------------------------------------
+@ SBC (immediate)
+@------------------------------------------------------------------------------
+        sbc r0, r1, #4
+        sbcs r0, r1, #0
+        sbc r1, r2, #255
+        sbc r3, r7, #0x00550055
+        sbc r8, r12, #0xaa00aa00
+        sbc r9, r7, #0xa5a5a5a5
+        sbc r5, r3, #0x87000000
+        sbc r4, r2, #0x7f800000
+        sbc r4, r2, #0x00000680
+
+@ CHECK: sbc   r0, r1, #4              @ encoding: [0x61,0xf1,0x04,0x00]
+@ CHECK: sbcs  r0, r1, #0              @ encoding: [0x71,0xf1,0x00,0x00]
+@ CHECK: sbc   r1, r2, #255            @ encoding: [0x62,0xf1,0xff,0x01]
+@ CHECK: sbc   r3, r7, #5570645        @ encoding: [0x67,0xf1,0x55,0x13]
+@ CHECK: sbc   r8, r12, #2852170240    @ encoding: [0x6c,0xf1,0xaa,0x28]
+@ CHECK: sbc   r9, r7, #2779096485     @ encoding: [0x67,0xf1,0xa5,0x39]
+@ CHECK: sbc   r5, r3, #2264924160     @ encoding: [0x63,0xf1,0x07,0x45]
+@ CHECK: sbc   r4, r2, #2139095040     @ encoding: [0x62,0xf1,0xff,0x44]
+@ CHECK: sbc   r4, r2, #1664           @ encoding: [0x62,0xf5,0xd0,0x64]
+
+
+@------------------------------------------------------------------------------
+@ SBC (register)
+@------------------------------------------------------------------------------
+        sbc r4, r5, r6
+        sbcs r4, r5, r6
+        sbc.w r9, r1, r3
+        sbcs.w r9, r1, r3
+        sbc    r0, r1, r3, ror #4
+        sbcs   r0, r1, r3, lsl #7
+        sbc.w  r0, r1, r3, lsr #31
+        sbcs.w r0, r1, r3, asr #32
+
+@ CHECK: sbc.w r4, r5, r6              @ encoding: [0x65,0xeb,0x06,0x04]
+@ CHECK: sbcs.w        r4, r5, r6              @ encoding: [0x75,0xeb,0x06,0x04]
+@ CHECK: sbc.w r9, r1, r3              @ encoding: [0x61,0xeb,0x03,0x09]
+@ CHECK: sbcs.w        r9, r1, r3              @ encoding: [0x71,0xeb,0x03,0x09]
+@ CHECK: sbc.w r0, r1, r3, ror #4      @ encoding: [0x61,0xeb,0x33,0x10]
+@ CHECK: sbcs.w        r0, r1, r3, lsl #7      @ encoding: [0x71,0xeb,0xc3,0x10]
+@ CHECK: sbc.w r0, r1, r3, lsr #31     @ encoding: [0x61,0xeb,0xd3,0x70]
+@ CHECK: sbcs.w        r0, r1, r3, asr #32     @ encoding: [0x71,0xeb,0x23,0x00]
+
+
+@------------------------------------------------------------------------------
+@ SBFX
+@------------------------------------------------------------------------------
+        sbfx r4, r5, #16, #1
+        it gt
+        sbfxgt r4, r5, #16, #16
+
+@ CHECK: sbfx  r4, r5, #16, #1         @ encoding: [0x45,0xf3,0x00,0x44]
+@ CHECK: it    gt                      @ encoding: [0xc8,0xbf]
+@ CHECK: sbfxgt        r4, r5, #16, #16        @ encoding: [0x45,0xf3,0x0f,0x44]
+
+
+@------------------------------------------------------------------------------
+@ SEL
+@------------------------------------------------------------------------------
+        sel r5, r9, r2
+        it le
+        selle r5, r9, r2
+
+@ CHECK: sel   r5, r9, r2              @ encoding: [0xa9,0xfa,0x82,0xf5]
+@ CHECK: it    le                      @ encoding: [0xd8,0xbf]
+@ CHECK: selle r5, r9, r2              @ encoding: [0xa9,0xfa,0x82,0xf5]
+
+
+@------------------------------------------------------------------------------
+@ SEV
+@------------------------------------------------------------------------------
+        sev.w
+        it eq
+        seveq.w
+
+@ CHECK: sev.w                           @ encoding: [0xaf,0xf3,0x04,0x80]
+@ CHECK: it    eq                       @ encoding: [0x08,0xbf]
+@ CHECK: seveq.w                         @ encoding: [0xaf,0xf3,0x04,0x80]
+
+
+@------------------------------------------------------------------------------
+@ SADD16/SADD8
+@------------------------------------------------------------------------------
+        sadd16 r1, r2, r3
+        sadd8 r1, r2, r3
+        ite gt
+        sadd16gt r1, r2, r3
+        sadd8le r1, r2, r3
+
+@ CHECK: sadd16        r1, r2, r3              @ encoding: [0x92,0xfa,0x03,0xf1]
+@ CHECK: sadd8 r1, r2, r3              @ encoding: [0x82,0xfa,0x03,0xf1]
+@ CHECK: ite   gt                      @ encoding: [0xcc,0xbf]
+@ CHECK: sadd16gt      r1, r2, r3      @ encoding: [0x92,0xfa,0x03,0xf1]
+@ CHECK: sadd8le r1, r2, r3             @ encoding: [0x82,0xfa,0x03,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ SHASX
+@------------------------------------------------------------------------------
+        shasx r4, r8, r2
+        it gt
+        shasxgt r4, r8, r2
+        shaddsubx r4, r8, r2
+        it gt
+        shaddsubxgt r4, r8, r2
+
+@ CHECK: shasx r4, r8, r2              @ encoding: [0xa8,0xfa,0x22,0xf4]
+@ CHECK: it    gt                      @ encoding: [0xc8,0xbf]
+@ CHECK: shasxgt r4, r8, r2             @ encoding: [0xa8,0xfa,0x22,0xf4]
+@ CHECK: shasx r4, r8, r2              @ encoding: [0xa8,0xfa,0x22,0xf4]
+@ CHECK: it    gt                      @ encoding: [0xc8,0xbf]
+@ CHECK: shasxgt r4, r8, r2             @ encoding: [0xa8,0xfa,0x22,0xf4]
+
+
+@------------------------------------------------------------------------------
+@ SHASX
+@------------------------------------------------------------------------------
+        shsax r4, r8, r2
+        it gt
+        shsaxgt r4, r8, r2
+        shsubaddx r4, r8, r2
+        it gt
+        shsubaddxgt r4, r8, r2
+
+@ CHECK: shsax r4, r8, r2              @ encoding: [0xe8,0xfa,0x22,0xf4]
+@ CHECK: it    gt                      @ encoding: [0xc8,0xbf]
+@ CHECK: shsaxgt r4, r8, r2             @ encoding: [0xe8,0xfa,0x22,0xf4]
+@ CHECK: shsax r4, r8, r2              @ encoding: [0xe8,0xfa,0x22,0xf4]
+@ CHECK: it    gt                      @ encoding: [0xc8,0xbf]
+@ CHECK: shsaxgt r4, r8, r2             @ encoding: [0xe8,0xfa,0x22,0xf4]
+
+
+@------------------------------------------------------------------------------
+@ SHSUB16/SHSUB8
+@------------------------------------------------------------------------------
+        shsub16 r4, r8, r2
+        shsub8 r4, r8, r2
+        itt gt
+        shsub16gt r4, r8, r2
+        shsub8gt r4, r8, r2
+
+@ CHECK: shsub16 r4, r8, r2             @ encoding: [0xd8,0xfa,0x22,0xf4]
+@ CHECK: shsub8        r4, r8, r2              @ encoding: [0xc8,0xfa,0x22,0xf4]
+@ CHECK: itt   gt                      @ encoding: [0xc4,0xbf]
+@ CHECK: shsub16gt     r4, r8, r2      @ encoding: [0xd8,0xfa,0x22,0xf4]
+@ CHECK: shsub8gt      r4, r8, r2      @ encoding: [0xc8,0xfa,0x22,0xf4]
+
+
+@------------------------------------------------------------------------------
+@ SMLABB/SMLABT/SMLATB/SMLATT
+@------------------------------------------------------------------------------
+        smlabb r3, r1, r9, r0
+        smlabt r5, r6, r4, r1
+        smlatb r4, r2, r3, r2
+        smlatt r8, r3, r8, r4
+        itete gt
+        smlabbgt r3, r1, r9, r0
+        smlabtle r5, r6, r4, r1
+        smlatbgt r4, r2, r3, r2
+        smlattle r8, r3, r8, r4
+
+@ CHECK: smlabb        r3, r1, r9, r0          @ encoding: [0x11,0xfb,0x09,0x03]
+@ CHECK: smlabt        r5, r6, r4, r1          @ encoding: [0x16,0xfb,0x14,0x15]
+@ CHECK: smlatb        r4, r2, r3, r2          @ encoding: [0x12,0xfb,0x23,0x24]
+@ CHECK: smlatt        r8, r3, r8, r4          @ encoding: [0x13,0xfb,0x38,0x48]
+@ CHECK: itete gt                      @ encoding: [0xcb,0xbf]
+@ CHECK: smlabbgt      r3, r1, r9, r0  @ encoding: [0x11,0xfb,0x09,0x03]
+@ CHECK: smlabtle      r5, r6, r4, r1  @ encoding: [0x16,0xfb,0x14,0x15]
+@ CHECK: smlatbgt      r4, r2, r3, r2  @ encoding: [0x12,0xfb,0x23,0x24]
+@ CHECK: smlattle      r8, r3, r8, r4  @ encoding: [0x13,0xfb,0x38,0x48]
+
+
+@------------------------------------------------------------------------------
+@ SMLAD/SMLADX
+@------------------------------------------------------------------------------
+        smlad r2, r3, r5, r8
+        smladx r2, r3, r5, r8
+        itt hi
+        smladhi r2, r3, r5, r8
+        smladxhi r2, r3, r5, r8
+
+@ CHECK: smlad r2, r3, r5, r8          @ encoding: [0x23,0xfb,0x05,0x82]
+@ CHECK: smladx        r2, r3, r5, r8          @ encoding: [0x23,0xfb,0x15,0x82]
+@ CHECK: itt   hi                      @ encoding: [0x84,0xbf]
+@ CHECK: smladhi r2, r3, r5, r8         @ encoding: [0x23,0xfb,0x05,0x82]
+@ CHECK: smladxhi      r2, r3, r5, r8  @ encoding: [0x23,0xfb,0x15,0x82]
+
+
+@------------------------------------------------------------------------------
+@ SMLAL
+@------------------------------------------------------------------------------
+        smlal r2, r3, r5, r8
+        it eq
+        smlaleq r2, r3, r5, r8
+
+@ CHECK: smlal r2, r3, r5, r8          @ encoding: [0xc5,0xfb,0x08,0x23]
+@ CHECK: it    eq                      @ encoding: [0x08,0xbf]
+@ CHECK: smlaleq r2, r3, r5, r8         @ encoding: [0xc5,0xfb,0x08,0x23]
+
+
+@------------------------------------------------------------------------------
+@ SMLALBB/SMLALBT/SMLALTB/SMLALTT
+@------------------------------------------------------------------------------
+        smlalbb r3, r1, r9, r0
+        smlalbt r5, r6, r4, r1
+        smlaltb r4, r2, r3, r2
+        smlaltt r8, r3, r8, r4
+        iteet ge
+        smlalbbge r3, r1, r9, r0
+        smlalbtlt r5, r6, r4, r1
+        smlaltblt r4, r2, r3, r2
+        smlalttge r8, r3, r8, r4
+
+@ CHECK: smlalbb r3, r1, r9, r0         @ encoding: [0xc9,0xfb,0x80,0x31]
+@ CHECK: smlalbt r5, r6, r4, r1         @ encoding: [0xc4,0xfb,0x91,0x56]
+@ CHECK: smlaltb r4, r2, r3, r2         @ encoding: [0xc3,0xfb,0xa2,0x42]
+@ CHECK: smlaltt r8, r3, r8, r4         @ encoding: [0xc8,0xfb,0xb4,0x83]
+@ CHECK: iteet ge                      @ encoding: [0xad,0xbf]
+@ CHECK: smlalbbge     r3, r1, r9, r0  @ encoding: [0xc9,0xfb,0x80,0x31]
+@ CHECK: smlalbtlt     r5, r6, r4, r1  @ encoding: [0xc4,0xfb,0x91,0x56]
+@ CHECK: smlaltblt     r4, r2, r3, r2  @ encoding: [0xc3,0xfb,0xa2,0x42]
+@ CHECK: smlalttge     r8, r3, r8, r4  @ encoding: [0xc8,0xfb,0xb4,0x83]
+
+
+@------------------------------------------------------------------------------
+@ SMLALD/SMLALDX
+@------------------------------------------------------------------------------
+        smlald r2, r3, r5, r8
+        smlaldx r2, r3, r5, r8
+        ite eq
+        smlaldeq r2, r3, r5, r8
+        smlaldxne r2, r3, r5, r8
+
+@ CHECK: smlald        r2, r3, r5, r8          @ encoding: [0xc5,0xfb,0xc8,0x23]
+@ CHECK: smlaldx r2, r3, r5, r8         @ encoding: [0xc5,0xfb,0xd8,0x23]
+@ CHECK: ite   eq                      @ encoding: [0x0c,0xbf]
+@ CHECK: smlaldeq      r2, r3, r5, r8  @ encoding: [0xc5,0xfb,0xc8,0x23]
+@ CHECK: smlaldxne     r2, r3, r5, r8  @ encoding: [0xc5,0xfb,0xd8,0x23]
+
+
+@------------------------------------------------------------------------------
+@ SMLAWB/SMLAWT
+@------------------------------------------------------------------------------
+        smlawb r2, r3, r10, r8
+        smlawt r8, r3, r5, r9
+        ite eq
+        smlawbeq r2, r7, r5, r8
+        smlawtne r1, r3, r0, r8
+
+@ CHECK: smlawb        r2, r3, r10, r8         @ encoding: [0x33,0xfb,0x0a,0x82]
+@ CHECK: smlawt        r8, r3, r5, r9          @ encoding: [0x33,0xfb,0x15,0x98]
+@ CHECK: ite   eq                      @ encoding: [0x0c,0xbf]
+@ CHECK: smlawbeq      r2, r7, r5, r8  @ encoding: [0x37,0xfb,0x05,0x82]
+@ CHECK: smlawtne      r1, r3, r0, r8  @ encoding: [0x33,0xfb,0x10,0x81]
+
+
+@------------------------------------------------------------------------------
+@ SMLSD/SMLSDX
+@------------------------------------------------------------------------------
+        smlsd r2, r3, r5, r8
+        smlsdx r2, r3, r5, r8
+        ite le
+        smlsdle r2, r3, r5, r8
+        smlsdxgt r2, r3, r5, r8
+
+@ CHECK: smlsd r2, r3, r5, r8          @ encoding: [0x43,0xfb,0x05,0x82]
+@ CHECK: smlsdx        r2, r3, r5, r8          @ encoding: [0x43,0xfb,0x15,0x82]
+@ CHECK: ite   le                      @ encoding: [0xd4,0xbf]
+@ CHECK: smlsdle       r2, r3, r5, r8  @ encoding: [0x43,0xfb,0x05,0x82]
+@ CHECK: smlsdxgt      r2, r3, r5, r8  @ encoding: [0x43,0xfb,0x15,0x82]
+
+
+@------------------------------------------------------------------------------
+@ SMLSLD/SMLSLDX
+@------------------------------------------------------------------------------
+        smlsld r2, r9, r5, r1
+        smlsldx r4, r11, r2, r8
+        ite ge
+        smlsldge r8, r2, r5, r6
+        smlsldxlt r1, r0, r3, r8
+
+@ CHECK: smlsld        r2, r9, r5, r1          @ encoding: [0xd5,0xfb,0xc1,0x29]
+@ CHECK: smlsldx       r4, r11, r2, r8 @ encoding: [0xd2,0xfb,0xd8,0x4b]
+@ CHECK: ite   ge                      @ encoding: [0xac,0xbf]
+@ CHECK: smlsldge      r8, r2, r5, r6  @ encoding: [0xd5,0xfb,0xc6,0x82]
+@ CHECK: smlsldxlt     r1, r0, r3, r8  @ encoding: [0xd3,0xfb,0xd8,0x10]
+
+
+@------------------------------------------------------------------------------
+@ SMMLA/SMMLAR
+@------------------------------------------------------------------------------
+        smmla r1, r2, r3, r4
+        smmlar r4, r3, r2, r1
+        ite lo
+        smmlalo r1, r2, r3, r4
+        smmlarcs r4, r3, r2, r1
+
+@ CHECK: smmla r1, r2, r3, r4          @ encoding: [0x52,0xfb,0x03,0x41]
+@ CHECK: smmlar        r4, r3, r2, r1          @ encoding: [0x53,0xfb,0x12,0x14]
+@ CHECK: ite   lo                      @ encoding: [0x34,0xbf]
+@ CHECK: smmlalo       r1, r2, r3, r4  @ encoding: [0x52,0xfb,0x03,0x41]
+@ CHECK: smmlarhs      r4, r3, r2, r1  @ encoding: [0x53,0xfb,0x12,0x14]
+
+
+@------------------------------------------------------------------------------
+@ SMMLS/SMMLSR
+@------------------------------------------------------------------------------
+        smmls r1, r2, r3, r4
+        smmlsr r4, r3, r2, r1
+        ite lo
+        smmlslo r1, r2, r3, r4
+        smmlsrcs r4, r3, r2, r1
+
+@ CHECK: smmls r1, r2, r3, r4          @ encoding: [0x62,0xfb,0x03,0x41]
+@ CHECK: smmlsr        r4, r3, r2, r1          @ encoding: [0x63,0xfb,0x12,0x14]
+@ CHECK: ite   lo                      @ encoding: [0x34,0xbf]
+@ CHECK: smmlslo       r1, r2, r3, r4  @ encoding: [0x62,0xfb,0x03,0x41]
+@ CHECK: smmlsrhs      r4, r3, r2, r1  @ encoding: [0x63,0xfb,0x12,0x14]
+
+
+@------------------------------------------------------------------------------
+@ SMMUL/SMMULR
+@------------------------------------------------------------------------------
+        smmul r2, r3, r4
+        smmulr r3, r2, r1
+        ite cc
+        smmulcc r2, r3, r4
+        smmulrhs r3, r2, r1
+
+@ CHECK: smmul r2, r3, r4              @ encoding: [0x53,0xfb,0x04,0xf2]
+@ CHECK: smmulr        r3, r2, r1              @ encoding: [0x52,0xfb,0x11,0xf3]
+@ CHECK: ite   lo                      @ encoding: [0x34,0xbf]
+@ CHECK: smmullo       r2, r3, r4      @ encoding: [0x53,0xfb,0x04,0xf2]
+@ CHECK: smmulrhs      r3, r2, r1      @ encoding: [0x52,0xfb,0x11,0xf3]
+
+
+@------------------------------------------------------------------------------
+@ SMUAD/SMUADX
+@------------------------------------------------------------------------------
+        smuad r2, r3, r4
+        smuadx r3, r2, r1
+        ite lt
+        smuadlt r2, r3, r4
+        smuadxge r3, r2, r1
+
+@ CHECK: smuad r2, r3, r4              @ encoding: [0x23,0xfb,0x04,0xf2]
+@ CHECK: smuadx        r3, r2, r1              @ encoding: [0x22,0xfb,0x11,0xf3]
+@ CHECK: ite   lt                      @ encoding: [0xb4,0xbf]
+@ CHECK: smuadlt       r2, r3, r4      @ encoding: [0x23,0xfb,0x04,0xf2]
+@ CHECK: smuadxge      r3, r2, r1      @ encoding: [0x22,0xfb,0x11,0xf3]
+
+
+@------------------------------------------------------------------------------
+@ SMULBB/SMULBT/SMULTB/SMULTT
+@------------------------------------------------------------------------------
+        smulbb r3, r9, r0
+        smulbt r5, r4, r1
+        smultb r4, r2, r2
+        smultt r8, r3, r4
+        itete ge
+        smulbbge r1, r9, r0
+        smulbtlt r5, r6, r4
+        smultbge r2, r3, r2
+        smulttlt r8, r3, r4
+
+@ CHECK: smulbb        r3, r9, r0              @ encoding: [0x19,0xfb,0x00,0xf3]
+@ CHECK: smulbt        r5, r4, r1              @ encoding: [0x14,0xfb,0x11,0xf5]
+@ CHECK: smultb        r4, r2, r2              @ encoding: [0x12,0xfb,0x22,0xf4]
+@ CHECK: smultt        r8, r3, r4              @ encoding: [0x13,0xfb,0x34,0xf8]
+@ CHECK: itete ge                      @ encoding: [0xab,0xbf]
+@ CHECK: smulbbge      r1, r9, r0      @ encoding: [0x19,0xfb,0x00,0xf1]
+@ CHECK: smulbtlt      r5, r6, r4      @ encoding: [0x16,0xfb,0x14,0xf5]
+@ CHECK: smultbge      r2, r3, r2      @ encoding: [0x13,0xfb,0x22,0xf2]
+@ CHECK: smulttlt      r8, r3, r4      @ encoding: [0x13,0xfb,0x34,0xf8]
+
+
+@------------------------------------------------------------------------------
+@ SMULL
+@------------------------------------------------------------------------------
+        smull r3, r9, r0, r1
+        it eq
+        smulleq r8, r3, r4, r5
+
+@ CHECK: smull r3, r9, r0, r1          @ encoding: [0x80,0xfb,0x01,0x39]
+@ CHECK: it    eq                      @ encoding: [0x08,0xbf]
+@ CHECK: smulleq r8, r3, r4, r5         @ encoding: [0x84,0xfb,0x05,0x83]
+
+
+@------------------------------------------------------------------------------
+@ SMULWB/SMULWT
+@------------------------------------------------------------------------------
+        smulwb r3, r9, r0
+        smulwt r3, r9, r2
+        ite gt
+        smulwbgt r3, r9, r0
+        smulwtle r3, r9, r2
+
+@ CHECK: smulwb        r3, r9, r0              @ encoding: [0x39,0xfb,0x00,0xf3]
+@ CHECK: smulwt        r3, r9, r2              @ encoding: [0x39,0xfb,0x12,0xf3]
+@ CHECK: ite   gt                      @ encoding: [0xcc,0xbf]
+@ CHECK: smulwbgt      r3, r9, r0      @ encoding: [0x39,0xfb,0x00,0xf3]
+@ CHECK: smulwtle      r3, r9, r2      @ encoding: [0x39,0xfb,0x12,0xf3]
+
+
+@------------------------------------------------------------------------------
+@ SMUSD/SMUSDX
+@------------------------------------------------------------------------------
+        smusd r3, r0, r1
+        smusdx r3, r9, r2
+        ite eq
+        smusdeq r8, r3, r2
+        smusdxne r7, r4, r3
+
+@ CHECK: smusd r3, r0, r1              @ encoding: [0x40,0xfb,0x01,0xf3]
+@ CHECK: smusdx        r3, r9, r2              @ encoding: [0x49,0xfb,0x12,0xf3]
+@ CHECK: ite   eq                      @ encoding: [0x0c,0xbf]
+@ CHECK: smusdeq       r8, r3, r2      @ encoding: [0x43,0xfb,0x02,0xf8]
+@ CHECK: smusdxne      r7, r4, r3      @ encoding: [0x44,0xfb,0x13,0xf7]
+
+
+@------------------------------------------------------------------------------
+@ SRS
+@------------------------------------------------------------------------------
+        srsdb sp, #1
+        srsia sp, #0
+
+        srsdb sp!, #19
+        srsia sp!, #2
+
+        srsea sp, #10
+        srsfd sp, #9
+
+        srsea sp!, #5
+        srsfd sp!, #5
+
+        srs sp, #5
+        srs sp!, #5
+
+@ CHECK: srsdb sp, #1                  @ encoding: [0x0d,0xe8,0x01,0xc0]
+@ CHECK: srsia sp, #0                  @ encoding: [0x8d,0xe9,0x00,0xc0]
+@ CHECK: srsdb sp!, #19                @ encoding: [0x2d,0xe8,0x13,0xc0]
+@ CHECK: srsia sp!, #2                 @ encoding: [0xad,0xe9,0x02,0xc0]
+@ CHECK: srsdb sp, #10                 @ encoding: [0x0d,0xe8,0x0a,0xc0]
+@ CHECK: srsia sp, #9                  @ encoding: [0x8d,0xe9,0x09,0xc0]
+@ CHECK: srsdb sp!, #5                 @ encoding: [0x2d,0xe8,0x05,0xc0]
+@ CHECK: srsia sp!, #5                 @ encoding: [0xad,0xe9,0x05,0xc0]
+@ CHECK: srsia sp, #5                  @ encoding: [0x8d,0xe9,0x05,0xc0]
+@ CHECK: srsia sp!, #5                 @ encoding: [0xad,0xe9,0x05,0xc0]
+
+
+@------------------------------------------------------------------------------
+@ SSAT
+@------------------------------------------------------------------------------
+        ssat   r8, #1, r10
+        ssat   r8, #1, r10, lsl #0
+        ssat   r8, #1, r10, lsl #31
+        ssat   r8, #1, r10, asr #32
+        ssat   r8, #1, r10, asr #1
+
+@ CHECK: ssat  r8, #1, r10             @ encoding: [0x0a,0xf3,0x00,0x08]
+@ CHECK: ssat  r8, #1, r10             @ encoding: [0x0a,0xf3,0x00,0x08]
+@ CHECK: ssat  r8, #1, r10, lsl #31    @ encoding: [0x0a,0xf3,0xc0,0x78]
+@ CHECK: ssat  r8, #1, r10, asr #32    @ encoding: [0x2a,0xf3,0x00,0x08]
+@ CHECK: ssat  r8, #1, r10, asr #1     @ encoding: [0x2a,0xf3,0x40,0x08]
+
+
+@------------------------------------------------------------------------------
+@ SSAT16
+@------------------------------------------------------------------------------
+        ssat16 r2, #1, r7
+        ssat16 r3, #16, r5
+
+@ CHECK: ssat16        r2, #1, r7              @ encoding: [0x27,0xf3,0x00,0x02]
+@ CHECK: ssat16        r3, #16, r5             @ encoding: [0x25,0xf3,0x0f,0x03]
+
+
+@------------------------------------------------------------------------------
+@ SSAX
+@------------------------------------------------------------------------------
+        ssubaddx r2, r3, r4
+        it lt
+        ssubaddxlt r2, r3, r4
+        ssax r2, r3, r4
+        it lt
+        ssaxlt r2, r3, r4
+
+@ CHECK: ssax  r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
+@ CHECK: it    lt                      @ encoding: [0xb8,0xbf]
+@ CHECK: ssaxlt        r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
+@ CHECK: ssax  r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
+@ CHECK: it    lt                      @ encoding: [0xb8,0xbf]
+@ CHECK: ssaxlt        r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
+
+
+@------------------------------------------------------------------------------
+@ SSUB16/SSUB8
+@------------------------------------------------------------------------------
+        ssub16 r1, r0, r6
+        ssub8 r9, r2, r4
+        ite ne
+        ssub16ne r5, r3, r2
+        ssub8eq r5, r1, r2
+
+@ CHECK: ssub16        r1, r0, r6              @ encoding: [0xd0,0xfa,0x06,0xf1]
+@ CHECK: ssub8 r9, r2, r4              @ encoding: [0xc2,0xfa,0x04,0xf9]
+@ CHECK: ite   ne                      @ encoding: [0x14,0xbf]
+@ CHECK: ssub16ne      r5, r3, r2      @ encoding: [0xd3,0xfa,0x02,0xf5]
+@ CHECK: ssub8eq       r5, r1, r2      @ encoding: [0xc1,0xfa,0x02,0xf5]
+
+
+@------------------------------------------------------------------------------
+@ STMIA
+@------------------------------------------------------------------------------
+        stmia.w r4, {r4, r5, r8, r9}
+        stmia.w r4, {r5, r6}
+        stmia.w r5!, {r3, r8}
+        stm.w r4, {r4, r5, r8, r9}
+        stm.w r4, {r5, r6}
+        stm.w r5!, {r3, r8}
+        stm.w r5!, {r1, r2}
+        stm.w r2, {r1, r2}
+
+        stmia r4, {r4, r5, r8, r9}
+        stmia r4, {r5, r6}
+        stmia r5!, {r3, r8}
+        stm r4, {r4, r5, r8, r9}
+        stm r4, {r5, r6}
+        stm r5!, {r3, r8}
+        stmea r5!, {r3, r8}
+
+@ CHECK: stm.w r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
+@ CHECK: stm.w r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
+@ CHECK: stm.w r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
+@ CHECK: stm.w r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
+@ CHECK: stm.w r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
+@ CHECK: stm.w r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
+@ CHECK: stm.w r5!, {r1, r2}           @ encoding: [0xa5,0xe8,0x06,0x00]
+@ CHECK: stm.w r2, {r1, r2}            @ encoding: [0x82,0xe8,0x06,0x00]
+
+@ CHECK: stm.w r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
+@ CHECK: stm.w r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
+@ CHECK: stm.w r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
+@ CHECK: stm.w r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
+@ CHECK: stm.w r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
+@ CHECK: stm.w r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
+@ CHECK: stm.w r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
+
+
+@------------------------------------------------------------------------------
+@ STMDB
+@------------------------------------------------------------------------------
+        stmdb r4, {r4, r5, r8, r9}
+        stmdb r4, {r5, r6}
+        stmdb r5!, {r3, r8}
+        stmea r5!, {r3, r8}
+
+@ CHECK: stmdb r4, {r4, r5, r8, r9}    @ encoding: [0x04,0xe9,0x30,0x03]
+@ CHECK: stmdb r4, {r5, r6}            @ encoding: [0x04,0xe9,0x60,0x00]
+@ CHECK: stmdb r5!, {r3, r8}           @ encoding: [0x25,0xe9,0x08,0x01]
+@ CHECK: stm.w r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
+
+
+@------------------------------------------------------------------------------
+@ STR(immediate)
+@------------------------------------------------------------------------------
+        str r5, [r5, #-4]
+        str r5, [r6, #32]
+        str r5, [r6, #33]
+        str r5, [r6, #257]
+        str.w pc, [r7, #257]
+
+@ CHECK: str   r5, [r5, #-4]           @ encoding: [0x45,0xf8,0x04,0x5c]
+@ CHECK: str   r5, [r6, #32]           @ encoding: [0x35,0x62]
+@ CHECK: str.w r5, [r6, #33]           @ encoding: [0xc6,0xf8,0x21,0x50]
+@ CHECK: str.w r5, [r6, #257]          @ encoding: [0xc6,0xf8,0x01,0x51]
+@ CHECK: str.w pc, [r7, #257]          @ encoding: [0xc7,0xf8,0x01,0xf1]
+
+
+@------------------------------------------------------------------------------
+@ SUB (register)
+@------------------------------------------------------------------------------
+        sub.w r5, r2, r12, rrx
+
+@ CHECK: sub.w r5, r2, r12, rrx        @ encoding: [0xa2,0xeb,0x3c,0x05]
 
-@ CHECK: iteet eq                      @ encoding: [0x0d,0xbf]
-@ CHECK: addeq r0, r1, r2              @ encoding: [0x88,0x18]
-@ CHECK: nopne                          @ encoding: [0x00,0xbf]
-@ CHECK: subne r5, r6, r7              @ encoding: [0xf5,0x1b]
-@ CHECK: addeq r1, r2, #4              @ encoding: [0x11,0x1d]