| # CS_ARCH_ARM, CS_MODE_THUMB, None |
| 0xc8,0xef,0x30,0x11 = vsra.s8 d17, d16, #8 |
| 0x90,0xef,0x1e,0xf1 = vsra.s16 d15, d14, #0x10 |
| 0xa0,0xef,0x1c,0xd1 = vsra.s32 d13, d12, #0x20 |
| 0x80,0xef,0x9a,0xb1 = vsra.s64 d11, d10, #0x40 |
| 0x88,0xef,0x54,0xe1 = vsra.s8 q7, q2, #8 |
| 0x90,0xef,0x5c,0x61 = vsra.s16 q3, q6, #0x10 |
| 0xe0,0xef,0x5a,0x21 = vsra.s32 q9, q5, #0x20 |
| 0xc0,0xef,0xd8,0x01 = vsra.s64 q8, q4, #0x40 |
| 0xc8,0xff,0x30,0x11 = vsra.u8 d17, d16, #8 |
| 0x95,0xff,0x1e,0xb1 = vsra.u16 d11, d14, #0xb |
| 0xaa,0xff,0x1f,0xc1 = vsra.u32 d12, d15, #0x16 |
| 0x8a,0xff,0xb0,0xd1 = vsra.u64 d13, d16, #0x36 |
| 0x88,0xff,0x5e,0x21 = vsra.u8 q1, q7, #8 |
| 0x9a,0xff,0x5e,0x41 = vsra.u16 q2, q7, #6 |
| 0xab,0xff,0x5c,0x61 = vsra.u32 q3, q6, #0x15 |
| 0xa7,0xff,0xda,0x81 = vsra.u64 q4, q5, #0x19 |
| 0xc8,0xef,0x30,0x01 = vsra.s8 d16, d16, #8 |
| 0x90,0xef,0x1e,0xe1 = vsra.s16 d14, d14, #0x10 |
| 0xa0,0xef,0x1c,0xc1 = vsra.s32 d12, d12, #0x20 |
| 0x80,0xef,0x9a,0xa1 = vsra.s64 d10, d10, #0x40 |
| 0x88,0xef,0x54,0x41 = vsra.s8 q2, q2, #8 |
| 0x90,0xef,0x5c,0xc1 = vsra.s16 q6, q6, #0x10 |
| 0xa0,0xef,0x5a,0xa1 = vsra.s32 q5, q5, #0x20 |
| 0x80,0xef,0xd8,0x81 = vsra.s64 q4, q4, #0x40 |
| 0xc8,0xff,0x30,0x01 = vsra.u8 d16, d16, #8 |
| 0x95,0xff,0x1e,0xe1 = vsra.u16 d14, d14, #0xb |
| 0xaa,0xff,0x1f,0xf1 = vsra.u32 d15, d15, #0x16 |
| 0xca,0xff,0xb0,0x01 = vsra.u64 d16, d16, #0x36 |
| 0x88,0xff,0x5e,0xe1 = vsra.u8 q7, q7, #8 |
| 0x9a,0xff,0x5e,0xe1 = vsra.u16 q7, q7, #6 |
| 0xab,0xff,0x5c,0xc1 = vsra.u32 q6, q6, #0x15 |
| 0xa7,0xff,0xda,0xa1 = vsra.u64 q5, q5, #0x19 |
| 0x88,0xef,0x3a,0x53 = vrsra.s8 d5, d26, #8 |
| 0x90,0xef,0x39,0x63 = vrsra.s16 d6, d25, #0x10 |
| 0xa0,0xef,0x38,0x73 = vrsra.s32 d7, d24, #0x20 |
| 0x80,0xef,0xb7,0xe3 = vrsra.s64 d14, d23, #0x40 |
| 0x88,0xff,0x36,0xf3 = vrsra.u8 d15, d22, #8 |
| 0xd0,0xff,0x35,0x03 = vrsra.u16 d16, d21, #0x10 |
| 0xe0,0xff,0x34,0x13 = vrsra.u32 d17, d20, #0x20 |
| 0xc0,0xff,0xb3,0x23 = vrsra.u64 d18, d19, #0x40 |
| 0x88,0xef,0x54,0x23 = vrsra.s8 q1, q2, #8 |
| 0x90,0xef,0x56,0x43 = vrsra.s16 q2, q3, #0x10 |
| 0xa0,0xef,0x58,0x63 = vrsra.s32 q3, q4, #0x20 |
| 0x80,0xef,0xda,0x83 = vrsra.s64 q4, q5, #0x40 |
| 0x88,0xff,0x5c,0xa3 = vrsra.u8 q5, q6, #8 |
| 0x90,0xff,0x5e,0xc3 = vrsra.u16 q6, q7, #0x10 |
| 0xa0,0xff,0x70,0xe3 = vrsra.u32 q7, q8, #0x20 |
| 0xc0,0xff,0xf2,0x03 = vrsra.u64 q8, q9, #0x40 |
| 0xc8,0xef,0x3a,0xa3 = vrsra.s8 d26, d26, #8 |
| 0xd0,0xef,0x39,0x93 = vrsra.s16 d25, d25, #0x10 |
| 0xe0,0xef,0x38,0x83 = vrsra.s32 d24, d24, #0x20 |
| 0xc0,0xef,0xb7,0x73 = vrsra.s64 d23, d23, #0x40 |
| 0xc8,0xff,0x36,0x63 = vrsra.u8 d22, d22, #8 |
| 0xd0,0xff,0x35,0x53 = vrsra.u16 d21, d21, #0x10 |
| 0xe0,0xff,0x34,0x43 = vrsra.u32 d20, d20, #0x20 |
| 0xc0,0xff,0xb3,0x33 = vrsra.u64 d19, d19, #0x40 |
| 0x88,0xef,0x54,0x43 = vrsra.s8 q2, q2, #8 |
| 0x90,0xef,0x56,0x63 = vrsra.s16 q3, q3, #0x10 |
| 0xa0,0xef,0x58,0x83 = vrsra.s32 q4, q4, #0x20 |
| 0x80,0xef,0xda,0xa3 = vrsra.s64 q5, q5, #0x40 |
| 0x88,0xff,0x5c,0xc3 = vrsra.u8 q6, q6, #8 |
| 0x90,0xff,0x5e,0xe3 = vrsra.u16 q7, q7, #0x10 |
| 0xe0,0xff,0x70,0x03 = vrsra.u32 q8, q8, #0x20 |
| 0xc0,0xff,0xf2,0x23 = vrsra.u64 q9, q9, #0x40 |
| 0x8f,0xff,0x1c,0xb5 = vsli.8 d11, d12, #7 |
| 0x9f,0xff,0x1d,0xc5 = vsli.16 d12, d13, #0xf |
| 0xbf,0xff,0x1e,0xd5 = vsli.32 d13, d14, #0x1f |
| 0xbf,0xff,0x9f,0xe5 = vsli.64 d14, d15, #0x3f |
| 0x8f,0xff,0x70,0x25 = vsli.8 q1, q8, #7 |
| 0x9f,0xff,0x5e,0x45 = vsli.16 q2, q7, #0xf |
| 0xbf,0xff,0x58,0x65 = vsli.32 q3, q4, #0x1f |
| 0xbf,0xff,0xda,0x85 = vsli.64 q4, q5, #0x3f |
| 0xc8,0xff,0x1b,0xc4 = vsri.8 d28, d11, #8 |
| 0xd0,0xff,0x1c,0xa4 = vsri.16 d26, d12, #0x10 |
| 0xe0,0xff,0x1d,0x84 = vsri.32 d24, d13, #0x20 |
| 0xc0,0xff,0x9e,0x54 = vsri.64 d21, d14, #0x40 |
| 0x88,0xff,0x70,0x24 = vsri.8 q1, q8, #8 |
| 0x90,0xff,0x54,0xa4 = vsri.16 q5, q2, #0x10 |
| 0xa0,0xff,0x58,0xe4 = vsri.32 q7, q4, #0x20 |
| 0xc0,0xff,0xdc,0x24 = vsri.64 q9, q6, #0x40 |
| 0x8f,0xff,0x1c,0xc5 = vsli.8 d12, d12, #7 |
| 0x9f,0xff,0x1d,0xd5 = vsli.16 d13, d13, #0xf |
| 0xbf,0xff,0x1e,0xe5 = vsli.32 d14, d14, #0x1f |
| 0xbf,0xff,0x9f,0xf5 = vsli.64 d15, d15, #0x3f |
| 0xcf,0xff,0x70,0x05 = vsli.8 q8, q8, #7 |
| 0x9f,0xff,0x5e,0xe5 = vsli.16 q7, q7, #0xf |
| 0xbf,0xff,0x58,0x85 = vsli.32 q4, q4, #0x1f |
| 0xbf,0xff,0xda,0xa5 = vsli.64 q5, q5, #0x3f |
| 0x88,0xff,0x1b,0xb4 = vsri.8 d11, d11, #8 |
| 0x90,0xff,0x1c,0xc4 = vsri.16 d12, d12, #0x10 |
| 0xa0,0xff,0x1d,0xd4 = vsri.32 d13, d13, #0x20 |
| 0x80,0xff,0x9e,0xe4 = vsri.64 d14, d14, #0x40 |
| 0xc8,0xff,0x70,0x04 = vsri.8 q8, q8, #8 |
| 0x90,0xff,0x54,0x44 = vsri.16 q2, q2, #0x10 |
| 0xa0,0xff,0x58,0x84 = vsri.32 q4, q4, #0x20 |
| 0x80,0xff,0xdc,0xc4 = vsri.64 q6, q6, #0x40 |
