| # RUN: llvm-mc -disassemble -triple armv8a-none-eabi -mattr=+fullfp16 -show-encoding < %s 2>&1 | FileCheck %s | |
| # CHECK: [[@LINE+1]]:2: warning: potentially undefined instruction encoding | |
| [0x80,0x09,0x30,0xae] | |
| # CHECK-NOT: [[@LINE+1]]:2: warning | |
| [0x80,0x0a,0x30,0xae] |