# 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
