| # RUN: not llvm-mc -disassemble -triple armv8a-none-eabi -mattr=-fullfp16 -show-encoding < %s 2>&1 | FileCheck %s | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x80,0x09,0x30,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc0,0x09,0x30,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x80,0x09,0x80,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x80,0x09,0x20,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc0,0x09,0x20,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x00,0x09,0x41,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x40,0x09,0x41,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x40,0x09,0x51,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x00,0x09,0x51,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x60,0x09,0xb4,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x40,0x19,0xb5,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc0,0x09,0xf4,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc0,0x09,0xb5,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc0,0x09,0xb0,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x40,0x09,0xb1,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc0,0x09,0xb1,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc0,0x09,0xb8,0xee] | 
 | [0x40,0x09,0xb8,0xee] | 
 | [0xc0,0x09,0xbd,0xee] | 
 | [0xc0,0x09,0xbc,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x60,0x09,0xbd,0xee] | 
 | [0x60,0x09,0xbc,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc6,0x09,0xbb,0xee] | 
 | [0x67,0x09,0xbb,0xee] | 
 | [0xc6,0x09,0xfa,0xee] | 
 | [0x67,0x89,0xfa,0xee] | 
 | [0xc6,0x69,0xbf,0xee] | 
 | [0x67,0xe9,0xbf,0xee] | 
 | [0xc6,0x09,0xfe,0xee] | 
 | [0x67,0x89,0xfe,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xe1,0x19,0xbc,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xeb,0x39,0xbd,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc2,0x09,0xbe,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc4,0x89,0xff,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x61,0x19,0xbc,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x6b,0x39,0xbd,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x42,0x09,0xbe,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x44,0x89,0xff,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xab,0x29,0x20,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x80,0x09,0x30,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x2b,0xf9,0x0e,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x07,0xa9,0x58,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x00,0x29,0xc6,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x46,0x09,0x80,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xcc,0x19,0xf6,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x64,0x09,0xb6,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x47,0x59,0xb7,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x60,0x69,0xb8,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x60,0x69,0xb9,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x60,0x69,0xba,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x60,0x69,0xbb,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x82,0x19,0xa3,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc2,0x19,0xa3,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0xc2,0x19,0x93,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x82,0x19,0x93,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x62,0x1a,0xb0,0xfe] | 
 | [0xe2,0x1a,0xb0,0xfe] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x03,0x09,0xdf,0xed] | 
 | [0xff,0x19,0x9f,0xed] | 
 | [0xff,0x19,0x5f,0xed] | 
 | [0x09,0x29,0x14,0xed] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x03,0x09,0xcf,0xed] | 
 | [0xff,0x19,0x8f,0xed] | 
 | [0xff,0x19,0x4f,0xed] | 
 | [0x09,0x29,0x04,0xed] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x00,0x09,0xb7,0xee] | 
 |  | 
 | # CHECK: warning: invalid instruction encoding | 
 | # CHECK: warning: invalid instruction encoding | 
 | [0x90,0x29,0x00,0xee] | 
 | [0x10,0x39,0x12,0xee] | 
 |  | 
 | # CHECK-NOT: warning: invalid instruction encoding |