@ RUN: llvm-mc -mcpu=cortex-a8 -triple thumb-unknown-unkown -show-encoding < %s | FileCheck %s

.code 16

@ CHECK: vsra.s8	d17, d16, #8            @ encoding: [0x30,0x11,0xc8,0xef]
	vsra.s8	d17, d16, #8
@ CHECK: vsra.s16	d17, d16, #16   @ encoding: [0x30,0x11,0xd0,0xef]
	vsra.s16	d17, d16, #16
@ CHECK: vsra.s32	d17, d16, #32   @ encoding: [0x30,0x11,0xe0,0xef]
	vsra.s32	d17, d16, #32
@ CHECK: vsra.s64	d17, d16, #64   @ encoding: [0xb0,0x11,0xc0,0xef]
	vsra.s64	d17, d16, #64
@ CHECK: vsra.s8	q8, q9, #8              @ encoding: [0x72,0x01,0xc8,0xef]
	vsra.s8	q8, q9, #8
@ CHECK: vsra.s16	q8, q9, #16     @ encoding: [0x72,0x01,0xd0,0xef]
	vsra.s16	q8, q9, #16
@ CHECK: vsra.s32	q8, q9, #32     @ encoding: [0x72,0x01,0xe0,0xef]
	vsra.s32	q8, q9, #32
@ CHECK: vsra.s64	q8, q9, #64     @ encoding: [0xf2,0x01,0xc0,0xef]
	vsra.s64	q8, q9, #64
@ CHECK: vsra.u8	d17, d16, #8            @ encoding: [0x30,0x11,0xc8,0xff]
	vsra.u8	d17, d16, #8
@ CHECK: vsra.u16	d17, d16, #16   @ encoding: [0x30,0x11,0xd0,0xff]
	vsra.u16	d17, d16, #16
@ CHECK: vsra.u32	d17, d16, #32   @ encoding: [0x30,0x11,0xe0,0xff]
	vsra.u32	d17, d16, #32
@ CHECK: vsra.u64	d17, d16, #64   @ encoding: [0xb0,0x11,0xc0,0xff]
	vsra.u64	d17, d16, #64
@ CHECK: vsra.u8	q8, q9, #8              @ encoding: [0x72,0x01,0xc8,0xff]
	vsra.u8	q8, q9, #8
@ CHECK: vsra.u16	q8, q9, #16     @ encoding: [0x72,0x01,0xd0,0xff]
	vsra.u16	q8, q9, #16
@ CHECK: vsra.u32	q8, q9, #32     @ encoding: [0x72,0x01,0xe0,0xff]
	vsra.u32	q8, q9, #32
@ CHECK: vsra.u64	q8, q9, #64     @ encoding: [0xf2,0x01,0xc0,0xff]
	vsra.u64	q8, q9, #64
@ CHECK: vrsra.s8	d17, d16, #8    @ encoding: [0x30,0x13,0xc8,0xef]
	vrsra.s8	d17, d16, #8
@ CHECK: vrsra.s16	d17, d16, #16   @ encoding: [0x30,0x13,0xd0,0xef]
	vrsra.s16	d17, d16, #16
@ CHECK: vrsra.s32	d17, d16, #32   @ encoding: [0x30,0x13,0xe0,0xef]
	vrsra.s32	d17, d16, #32
@ CHECK: vrsra.s64	d17, d16, #64   @ encoding: [0xb0,0x13,0xc0,0xef]
	vrsra.s64	d17, d16, #64
@ CHECK: vrsra.u8	d17, d16, #8    @ encoding: [0x30,0x13,0xc8,0xff]
	vrsra.u8	d17, d16, #8
@ CHECK: vrsra.u16	d17, d16, #16   @ encoding: [0x30,0x13,0xd0,0xff]
	vrsra.u16	d17, d16, #16
@ CHECK: vrsra.u32	d17, d16, #32   @ encoding: [0x30,0x13,0xe0,0xff]
	vrsra.u32	d17, d16, #32
@ CHECK: vrsra.u64	d17, d16, #64   @ encoding: [0xb0,0x13,0xc0,0xff]
	vrsra.u64	d17, d16, #64
@ CHECK: vrsra.s8	q8, q9, #8      @ encoding: [0x72,0x03,0xc8,0xef]
	vrsra.s8	q8, q9, #8
@ CHECK: vrsra.s16	q8, q9, #16     @ encoding: [0x72,0x03,0xd0,0xef]
	vrsra.s16	q8, q9, #16
@ CHECK: vrsra.s32	q8, q9, #32     @ encoding: [0x72,0x03,0xe0,0xef]
	vrsra.s32	q8, q9, #32
@ CHECK: vrsra.s64	q8, q9, #64     @ encoding: [0xf2,0x03,0xc0,0xef]
	vrsra.s64	q8, q9, #64
@ CHECK: vrsra.u8	q8, q9, #8      @ encoding: [0x72,0x03,0xc8,0xff]
	vrsra.u8	q8, q9, #8
@ CHECK: vrsra.u16	q8, q9, #16     @ encoding: [0x72,0x03,0xd0,0xff]
	vrsra.u16	q8, q9, #16
@ CHECK: vrsra.u32	q8, q9, #32     @ encoding: [0x72,0x03,0xe0,0xff]
	vrsra.u32	q8, q9, #32
@ CHECK: vrsra.u64	q8, q9, #64     @ encoding: [0xf2,0x03,0xc0,0xff]
	vrsra.u64	q8, q9, #64
@ CHECK: vsli.8	d17, d16, #7            @ encoding: [0x30,0x15,0xcf,0xff]
	vsli.8	d17, d16, #7
@ CHECK: vsli.16	d17, d16, #15           @ encoding: [0x30,0x15,0xdf,0xff]
	vsli.16	d17, d16, #15
@ CHECK: vsli.32	d17, d16, #31           @ encoding: [0x30,0x15,0xff,0xff]
	vsli.32	d17, d16, #31
@ CHECK: vsli.64	d17, d16, #63           @ encoding: [0xb0,0x15,0xff,0xff]
	vsli.64	d17, d16, #63
@ CHECK: vsli.8	q9, q8, #7              @ encoding: [0x70,0x25,0xcf,0xff]
	vsli.8	q9, q8, #7
@ CHECK: vsli.16	q9, q8, #15             @ encoding: [0x70,0x25,0xdf,0xff]
	vsli.16	q9, q8, #15
@ CHECK: vsli.32	q9, q8, #31             @ encoding: [0x70,0x25,0xff,0xff]
	vsli.32	q9, q8, #31
@ CHECK: vsli.64	q9, q8, #63             @ encoding: [0xf0,0x25,0xff,0xff]
	vsli.64	q9, q8, #63
@ CHECK: vsri.8	d17, d16, #8            @ encoding: [0x30,0x14,0xc8,0xff]
	vsri.8	d17, d16, #8
@ CHECK: vsri.16	d17, d16, #16           @ encoding: [0x30,0x14,0xd0,0xff]
	vsri.16	d17, d16, #16
@ CHECK: vsri.32	d17, d16, #32           @ encoding: [0x30,0x14,0xe0,0xff]
	vsri.32	d17, d16, #32
@ CHECK: vsri.64	d17, d16, #64           @ encoding: [0xb0,0x14,0xc0,0xff]
	vsri.64	d17, d16, #64
@ CHECK: vsri.8	q9, q8, #8              @ encoding: [0x70,0x24,0xc8,0xff]
	vsri.8	q9, q8, #8
@ CHECK: vsri.16	q9, q8, #16             @ encoding: [0x70,0x24,0xd0,0xff]
	vsri.16	q9, q8, #16
@ CHECK: vsri.32	q9, q8, #32             @ encoding: [0x70,0x24,0xe0,0xff]
	vsri.32	q9, q8, #32
@ CHECK: vsri.64	q9, q8, #64             @ encoding: [0xf0,0x24,0xc0,0xff]
	vsri.64	q9, q8, #64