# RUN: not llvm-mc -disassemble -triple thumbv8a-none-eabi -mattr=-fullfp16,+thumb-mode -show-encoding < %s 2>&1 | FileCheck %s

# CHECK: warning: invalid instruction encoding
[0x30,0xee,0x80,0x09]

# CHECK: warning: invalid instruction encoding
[0x30,0xee,0xc0,0x09]

# CHECK: warning: invalid instruction encoding
[0x80,0xee,0x80,0x09]

# CHECK: warning: invalid instruction encoding
[0x20,0xee,0x80,0x09]

# CHECK: warning: invalid instruction encoding
[0x20,0xee,0xc0,0x09]

# CHECK: warning: invalid instruction encoding
[0x41,0xee,0x00,0x09]

# CHECK: warning: invalid instruction encoding
[0x41,0xee,0x40,0x09]

# CHECK: warning: invalid instruction encoding
[0x51,0xee,0x40,0x09]

# CHECK: warning: invalid instruction encoding
[0x51,0xee,0x00,0x09]

# CHECK: warning: invalid instruction encoding
[0xb4,0xee,0x60,0x09]

# CHECK: warning: invalid instruction encoding
[0xb5,0xee,0x40,0x19]

# CHECK: warning: invalid instruction encoding
[0xf4,0xee,0xc0,0x09]

# CHECK: warning: invalid instruction encoding
[0xb5,0xee,0xc0,0x09]

# CHECK: warning: invalid instruction encoding
[0xb0,0xee,0xc0,0x09]

# CHECK: warning: invalid instruction encoding
[0xb1,0xee,0x40,0x09]

# CHECK: warning: invalid instruction encoding
[0xb1,0xee,0xc0,0x09]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb8,0xee,0xc0,0x09]
[0xb8,0xee,0x40,0x09]
[0xbd,0xee,0xc0,0x09]
[0xbc,0xee,0xc0,0x09]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xbd,0xee,0x60,0x09]
[0xbc,0xee,0x60,0x09]

# 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
[0xbb,0xee,0xc6,0x09]
[0xbb,0xee,0x67,0x09]
[0xfa,0xee,0xc6,0x09]
[0xfa,0xee,0x67,0x89]
[0xbf,0xee,0xc6,0x69]
[0xbf,0xee,0x67,0xe9]
[0xfe,0xee,0xc6,0x09]
[0xfe,0xee,0x67,0x89]

# CHECK: warning: invalid instruction encoding
[0xbc,0xfe,0xe1,0x19]

# CHECK: warning: invalid instruction encoding
[0xbd,0xfe,0xeb,0x39]

# CHECK: warning: invalid instruction encoding
[0xbe,0xfe,0xc2,0x09]

# CHECK: warning: invalid instruction encoding
[0xff,0xfe,0xc4,0x89]

# CHECK: warning: invalid instruction encoding
[0xbc,0xfe,0x61,0x19]

# CHECK: warning: invalid instruction encoding
[0xbd,0xfe,0x6b,0x39]

# CHECK: warning: invalid instruction encoding
[0xbe,0xfe,0x42,0x09]

# CHECK: warning: invalid instruction encoding
[0xff,0xfe,0x44,0x89]

# CHECK: warning: invalid instruction encoding
[0x20,0xfe,0xab,0x29]

# CHECK: warning: invalid instruction encoding
[0x30,0xfe,0x80,0x09]

# CHECK: warning: invalid instruction encoding
[0x0e,0xfe,0x2b,0xf9]

# CHECK: warning: invalid instruction encoding
[0x58,0xfe,0x07,0xa9]

# CHECK: warning: invalid instruction encoding
[0xc6,0xfe,0x00,0x29]

# CHECK: warning: invalid instruction encoding
[0x80,0xfe,0x46,0x09]

# CHECK: warning: invalid instruction encoding
[0xf6,0xee,0xcc,0x19]

# CHECK: warning: invalid instruction encoding
[0xb6,0xee,0x64,0x09]

# CHECK: warning: invalid instruction encoding
[0xb7,0xee,0x47,0x59]

# CHECK: warning: invalid instruction encoding
[0xb8,0xfe,0x60,0x69]

# CHECK: warning: invalid instruction encoding
[0xb9,0xfe,0x60,0x69]

# CHECK: warning: invalid instruction encoding
[0xba,0xfe,0x60,0x69]

# CHECK: warning: invalid instruction encoding
[0xbb,0xfe,0x60,0x69]

# CHECK: warning: invalid instruction encoding
[0xa3,0xee,0x82,0x19]

# CHECK: warning: invalid instruction encoding
[0xa3,0xee,0xc2,0x19]

# CHECK: warning: invalid instruction encoding
[0x93,0xee,0xc2,0x19]

# CHECK: warning: invalid instruction encoding
[0x93,0xee,0x82,0x19]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb0,0xfe,0x62,0x1a]
[0xb0,0xfe,0xe2,0x1a]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xdf,0xed,0x03,0x09]
[0x9f,0xed,0xff,0x19]
[0x5f,0xed,0xff,0x19]
[0x14,0xed,0x09,0x29]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xcf,0xed,0x03,0x09]
[0x8f,0xed,0xff,0x19]
[0x4f,0xed,0xff,0x19]
[0x04,0xed,0x09,0x29]

# CHECK: warning: invalid instruction encoding
[0xb7,0xee,0x00,0x09]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x00,0xee,0x90,0x29]
[0x12,0xee,0x10,0x39]