1@ RUN: llvm-mc < %s -triple thumbv7-unknown-unknown -show-encoding -mattr=+vfp4,-d16 2>&1 | FileCheck %s --check-prefix=D32 2@ RUN: not llvm-mc < %s -triple thumbv7-unknown-unknown -show-encoding -mattr=+vfp4,+d16 2>&1 | FileCheck %s --check-prefix=D16 3 4@ D32-NOT: error: 5 6@ D16: invalid operand for instruction 7@ D16-NEXT: vadd.f64 d1, d2, d16 8vadd.f64 d1, d2, d16 9 10@ D16: invalid operand for instruction 11@ D16-NEXT: vadd.f64 d1, d17, d6 12vadd.f64 d1, d17, d6 13 14@ D16: invalid operand for instruction 15@ D16-NEXT: vadd.f64 d19, d7, d6 16vadd.f64 d19, d7, d6 17 18@ D16: invalid operand for instruction 19@ D16-NEXT: vcvt.f64.f32 d22, s4 20vcvt.f64.f32 d22, s4 21 22@ D16: invalid operand for instruction 23@ D16-NEXT: vcvt.f32.f64 s26, d30 24vcvt.f32.f64 s26, d30 25