1# RUN: llvm-mc < %s -triple thumbv7-unknown-unknown -disassemble -mattr=+vfp4,-d16 2>&1 | FileCheck %s --check-prefix=D32 2# RUN: llvm-mc < %s -triple thumbv7-unknown-unknown -disassemble -mattr=+vfp4,-d16 2>&1 | FileCheck %s --check-prefix=D32 3 4 5# D32: vadd.f64 d1, d2, d16 6# D16: warning: invalid instruction encoding 7[0x32,0xee,0x20,0x1b] 8 9# D32: vadd.f64 d1, d17, d6 10# D16: warning: invalid instruction encoding 11[0x31,0xee,0x86,0x1b] 12 13# D32: vadd.f64 d19, d7, d6 14# D16: warning: invalid instruction encoding 15[0x77,0xee,0x06,0x3b] 16 17# D32: vcvt.f64.f32 d22, s4 18# D16: warning: invalid instruction encoding 19[0xf7,0xee,0xc2,0x6a] 20 21# D32: vcvt.f32.f64 s26, d30 22# D16: warning: invalid instruction encoding 23[0xb7,0xee,0xee,0xdb] 24