| # RUN: llvm-mc < %s -triple thumbv7-unknown-unknown -disassemble -mattr=+vfp4,-d16 2>&1 | FileCheck %s --check-prefix=D32 |
| # RUN: llvm-mc < %s -triple thumbv7-unknown-unknown -disassemble -mattr=+vfp4,-d16 2>&1 | FileCheck %s --check-prefix=D32 |
| # D32: vadd.f64 d1, d2, d16 |
| # D16: warning: invalid instruction encoding |
| # D32: vadd.f64 d1, d17, d6 |
| # D16: warning: invalid instruction encoding |
| # D32: vadd.f64 d19, d7, d6 |
| # D16: warning: invalid instruction encoding |
| # D32: vcvt.f64.f32 d22, s4 |
| # D16: warning: invalid instruction encoding |
| # D32: vcvt.f32.f64 s26, d30 |
| # D16: warning: invalid instruction encoding |