@ RUN: not llvm-mc -triple armv7-eabi -filetype asm -o /dev/null 2>&1 %s \
@ RUN:   | FileCheck %s -check-prefix CHECK-V7
@ RUN: not llvm-mc -triple armv8-eabi -filetype asm -o /dev/null 2>&1 %s \
@ RUN:   | FileCheck %s -check-prefix CHECK-V8
@ RUN: not llvm-mc -triple thumbv7-eabi -filetype asm -o /dev/null 2>&1 %s \
@ RUN:   | FileCheck %s -check-prefix CHECK-V7
@ RUN: not llvm-mc -triple thumbv8-eabi -filetype asm -o /dev/null 2>&1 %s \
@ RUN:   | FileCheck %s -check-prefix CHECK-V8

	.syntax unified

	.arch_extension fp
@ CHECK-V7: error: architectural extension 'fp' is not allowed for the current base architecture
@ CHECK-V7-NEXT: 	.arch_extension fp
@ CHECK-V7-NEXT:                     ^

	.type fp,%function
fp:
	vmrs r0, mvfr2
@ CHECK-V7: error: instruction requires: FPARMv8

	vselgt.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vselge.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vseleq.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vselvs.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vmaxnm.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vminnm.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8

	vselgt.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vselge.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vseleq.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vselvs.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vmaxnm.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vminnm.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8

	vcvtb.f64.f16 d0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtb.f16.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtt.f64.f16 d0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtt.f16.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8

	vcvta.s32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvta.u32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvta.s32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvta.u32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtn.s32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtn.u32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtn.s32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtn.u32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtp.s32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtp.u32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtp.s32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtp.u32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtm.s32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtm.u32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtm.s32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vcvtm.u32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8

	vrintz.f32 s0, s1
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintz.f64 d0, d1
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintz.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintz.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintr.f32 s0, s1
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintr.f64 d0, d1
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintr.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintr.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintx.f32 s0, s1
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintx.f64 d0, d1
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintx.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintx.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8

	vrinta.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrinta.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrinta.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrinta.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintn.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintn.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintn.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintn.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintp.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintp.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintp.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintp.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintm.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintm.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintm.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
	vrintm.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8

	.arch_extension nofp
@ CHECK-V7: error: architectural extension 'fp' is not allowed for the current base architecture
@ CHECK-V7-NEXT: 	.arch_extension nofp
@ CHECK-V7-NEXT:                     ^

	.type nofp,%function
nofp:
	vmrs r0, mvfr2
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8

	vselgt.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vselge.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vseleq.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vselvs.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vmaxnm.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vminnm.f32 s0, s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8

	vselgt.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vselge.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vseleq.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vselvs.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vmaxnm.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vminnm.f64 d0, d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8

	vcvtb.f64.f16 d0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtb.f16.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtt.f64.f16 d0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtt.f16.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8

	vcvta.s32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vcvta.u32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vcvta.s32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvta.u32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtn.s32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vcvtn.u32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vcvtn.s32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtn.u32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtp.s32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vcvtp.u32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vcvtp.s32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtp.u32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtm.s32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vcvtm.u32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vcvtm.s32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vcvtm.u32.f64 s0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8

	vrintz.f32 s0, s1
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintz.f64 d0, d1
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintz.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintz.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintr.f32 s0, s1
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintr.f64 d0, d1
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintr.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintr.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintx.f32 s0, s1
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintx.f64 d0, d1
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintx.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintx.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8

	vrinta.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrinta.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrinta.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrinta.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintn.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintn.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintn.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintn.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintp.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintp.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintp.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintp.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintm.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintm.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8
	vrintm.f32.f32 s0, s0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: FPARMv8
	vrintm.f64.f64 d0, d0
@ CHECK-V7: error: instruction requires: FPARMv8
@ CHECK-V8: error: instruction requires: double precision VFP FPARMv8

