--- /dev/null
+# RUN: llvm-mc -disassemble -triple thumbv8a-none-eabi -mattr=+fullfp16,+thumb-mode -show-encoding < %s | FileCheck %s
+
+# CHECK: vadd.f16 s0, s1, s0
+[0x30,0xee,0x80,0x09]
+
+# CHECK: vsub.f16 s0, s1, s0
+[0x30,0xee,0xc0,0x09]
+
+# CHECK: vdiv.f16 s0, s1, s0
+[0x80,0xee,0x80,0x09]
+
+# CHECK: vmul.f16 s0, s1, s0
+[0x20,0xee,0x80,0x09]
+
+# CHECK: vnmul.f16 s0, s1, s0
+[0x20,0xee,0xc0,0x09]
+
+# CHECK: vmla.f16 s1, s2, s0
+[0x41,0xee,0x00,0x09]
+
+# CHECK: vmls.f16 s1, s2, s0
+[0x41,0xee,0x40,0x09]
+
+# CHECK: vnmla.f16 s1, s2, s0
+[0x51,0xee,0x40,0x09]
+
+# CHECK: vnmls.f16 s1, s2, s0
+[0x51,0xee,0x00,0x09]
+
+# CHECK: vcmp.f16 s0, s1
+[0xb4,0xee,0x60,0x09]
+
+# CHECK: vcmp.f16 s2, #0
+[0xb5,0xee,0x40,0x19]
+
+# CHECK: vcmpe.f16 s1, s0
+[0xf4,0xee,0xc0,0x09]
+
+# CHECK: vcmpe.f16 s0, #0
+[0xb5,0xee,0xc0,0x09]
+
+# CHECK: vabs.f16 s0, s0
+[0xb0,0xee,0xc0,0x09]
+
+# CHECK: vneg.f16 s0, s0
+[0xb1,0xee,0x40,0x09]
+
+# CHECK: vsqrt.f16 s0, s0
+[0xb1,0xee,0xc0,0x09]
+
+# CHECK: vcvt.f16.s32 s0, s0
+# CHECK: vcvt.f16.u32 s0, s0
+# CHECK: vcvt.s32.f16 s0, s0
+# CHECK: vcvt.u32.f16 s0, s0
+[0xb8,0xee,0xc0,0x09]
+[0xb8,0xee,0x40,0x09]
+[0xbd,0xee,0xc0,0x09]
+[0xbc,0xee,0xc0,0x09]
+
+# CHECK: vcvtr.s32.f16 s0, s1
+# CHECK: vcvtr.u32.f16 s0, s1
+[0xbd,0xee,0x60,0x09]
+[0xbc,0xee,0x60,0x09]
+
+# CHECK: vcvt.f16.u32 s0, s0, #20
+# CHECK: vcvt.f16.u16 s0, s0, #1
+# CHECK: vcvt.f16.s32 s1, s1, #20
+# CHECK: vcvt.f16.s16 s17, s17, #1
+# CHECK: vcvt.u32.f16 s12, s12, #20
+# CHECK: vcvt.u16.f16 s28, s28, #1
+# CHECK: vcvt.s32.f16 s1, s1, #20
+# CHECK: vcvt.s16.f16 s17, s17, #1
+[0xbb,0xee,0xc6,0x09]
+[0xbb,0xee,0x67,0x09]
+[0xfa,0xee,0xc6,0x09]
+[0xfa,0xee,0x67,0x89]
+[0xbf,0xee,0xc6,0x69]
+[0xbf,0xee,0x67,0xe9]
+[0xfe,0xee,0xc6,0x09]
+[0xfe,0xee,0x67,0x89]
+
+# CHECK: vcvta.s32.f16 s2, s3
+[0xbc,0xfe,0xe1,0x19]
+
+# CHECK: vcvtn.s32.f16 s6, s23
+[0xbd,0xfe,0xeb,0x39]
+
+# CHECK: vcvtp.s32.f16 s0, s4
+[0xbe,0xfe,0xc2,0x09]
+
+# CHECK: vcvtm.s32.f16 s17, s8
+[0xff,0xfe,0xc4,0x89]
+
+# CHECK: vcvta.u32.f16 s2, s3
+[0xbc,0xfe,0x61,0x19]
+
+# CHECK: vcvtn.u32.f16 s6, s23
+[0xbd,0xfe,0x6b,0x39]
+
+# CHECK: vcvtp.u32.f16 s0, s4
+[0xbe,0xfe,0x42,0x09]
+
+# CHECK: vcvtm.u32.f16 s17, s8
+[0xff,0xfe,0x44,0x89]
+
+# CHECK: vselge.f16 s4, s1, s23
+[0x20,0xfe,0xab,0x29]
+
+# CHECK: vselgt.f16 s0, s1, s0
+[0x30,0xfe,0x80,0x09]
+
+# CHECK: vseleq.f16 s30, s28, s23
+[0x0e,0xfe,0x2b,0xf9]
+
+# CHECK: vselvs.f16 s21, s16, s14
+[0x58,0xfe,0x07,0xa9]
+
+# CHECK: vmaxnm.f16 s5, s12, s0
+[0xc6,0xfe,0x00,0x29]
+
+# CHECK: vminnm.f16 s0, s0, s12
+[0x80,0xfe,0x46,0x09]
+
+# CHECK: vrintz.f16 s3, s24
+[0xf6,0xee,0xcc,0x19]
+
+# CHECK: vrintr.f16 s0, s9
+[0xb6,0xee,0x64,0x09]
+
+# CHECK: vrintx.f16 s10, s14
+[0xb7,0xee,0x47,0x59]
+
+# CHECK: vrinta.f16 s12, s1
+[0xb8,0xfe,0x60,0x69]
+
+# CHECK: vrintn.f16 s12, s1
+[0xb9,0xfe,0x60,0x69]
+
+# CHECK: vrintp.f16 s12, s1
+[0xba,0xfe,0x60,0x69]
+
+# CHECK: vrintm.f16 s12, s1
+[0xbb,0xfe,0x60,0x69]
+
+# CHECK: vfma.f16 s2, s7, s4
+[0xa3,0xee,0x82,0x19]
+
+# CHECK: vfms.f16 s2, s7, s4
+[0xa3,0xee,0xc2,0x19]
+
+# CHECK: vfnma.f16 s2, s7, s4
+[0x93,0xee,0xc2,0x19]
+
+# CHECK: vfnms.f16 s2, s7, s4
+[0x93,0xee,0x82,0x19]
+
+# CHECK: vmovx.f16 s2, s5
+# CHECK: vins.f16 s2, s5
+[0xb0,0xfe,0x62,0x1a]
+[0xb0,0xfe,0xe2,0x1a]
+
+# CHECK: vldr.16 s1, [pc, #6]
+# CHECK: vldr.16 s2, [pc, #510]
+# CHECK: vldr.16 s3, [pc, #-510]
+# CHECK: vldr.16 s4, [r4, #-18]
+[0xdf,0xed,0x03,0x09]
+[0x9f,0xed,0xff,0x19]
+[0x5f,0xed,0xff,0x19]
+[0x14,0xed,0x09,0x29]
+
+# CHECK: vstr.16 s1, [pc, #6]
+# CHECK: vstr.16 s2, [pc, #510]
+# CHECK: vstr.16 s3, [pc, #-510]
+# CHECK: vstr.16 s4, [r4, #-18]
+[0xcf,0xed,0x03,0x09]
+[0x8f,0xed,0xff,0x19]
+[0x4f,0xed,0xff,0x19]
+[0x04,0xed,0x09,0x29]
+
+# CHECK: vmov.f16 s0, #1.0
+[0xb7,0xee,0x00,0x09]
+
+# CHECK: vmov.f16 s1, r2
+# CHECK: vmov.f16 r3, s4
+[0x00,0xee,0x90,0x29]
+[0x12,0xee,0x10,0x39]