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

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x11,0xef,0x02,0x0d]
[0x12,0xef,0x44,0x0d]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x31,0xef,0x02,0x0d]
[0x32,0xef,0x44,0x0d]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x11,0xff,0x12,0x0d]
[0x12,0xff,0x54,0x0d]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x92,0xef,0x63,0x19]
[0x9a,0xff,0x6e,0x89]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x11,0xef,0x12,0x0d]
[0x12,0xef,0x54,0x0d]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x96,0xef,0x67,0x51]
[0x9c,0xff,0x6f,0xa1]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x31,0xef,0x12,0x0d]
[0x32,0xef,0x54,0x0d]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x96,0xef,0x67,0x55]
[0x9c,0xff,0x6f,0xa5]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x11,0xef,0x12,0x0c]
[0x12,0xef,0x54,0x0c]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x31,0xef,0x12,0x0c]
[0x32,0xef,0x54,0x0c]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x13,0xef,0x04,0x2e]
[0x16,0xef,0x48,0x4e]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb5,0xff,0x03,0x25]
[0xb5,0xff,0x46,0x45]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x13,0xff,0x04,0x2e]
[0x16,0xff,0x48,0x4e]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb5,0xff,0x83,0x24]
[0xb5,0xff,0xc6,0x44]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x33,0xff,0x04,0x2e]
[0x36,0xff,0x48,0x4e]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb5,0xff,0x03,0x24]
[0xb5,0xff,0x46,0x44]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb5,0xff,0x83,0x25]
[0xb5,0xff,0xc6,0x45]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb5,0xff,0x03,0x26]
[0xb5,0xff,0x46,0x46]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x11,0xff,0x12,0x0e]
[0x12,0xff,0x54,0x0e]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x31,0xff,0x12,0x0e]
[0x32,0xff,0x54,0x0e]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x31,0xff,0x02,0x0d]
[0x32,0xff,0x44,0x0d]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb5,0xff,0x01,0x07]
[0xb5,0xff,0x42,0x07]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x11,0xef,0x02,0x0f]
[0x12,0xef,0x44,0x0f]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x31,0xef,0x02,0x0f]
[0x32,0xef,0x44,0x0f]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x11,0xff,0x12,0x0f]
[0x12,0xff,0x54,0x0f]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x31,0xff,0x12,0x0f]
[0x32,0xff,0x54,0x0f]

# CHECK: warning: invalid instruction encoding
[0x11,0xff,0x02,0x0d]

# CHECK: warning: invalid instruction encoding
[0x11,0xff,0x02,0x0f]

# CHECK: warning: invalid instruction encoding
[0x31,0xff,0x02,0x0f]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb7,0xff,0x01,0x05]
[0xb7,0xff,0x42,0x05]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x11,0xef,0x12,0x0f]
[0x12,0xef,0x54,0x0f]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb7,0xff,0x81,0x05]
[0xb7,0xff,0xc2,0x05]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0x31,0xef,0x12,0x0f]
[0x32,0xef,0x54,0x0f]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb5,0xff,0x81,0x07]
[0xb5,0xff,0xc2,0x07]

# 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
[0xb7,0xff,0x01,0x07]
[0xb7,0xff,0x81,0x07]
[0xb7,0xff,0x01,0x06]
[0xb7,0xff,0x81,0x06]
[0xb7,0xff,0x42,0x07]
[0xb7,0xff,0xc2,0x07]
[0xb7,0xff,0x42,0x06]
[0xb7,0xff,0xc2,0x06]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb7,0xff,0x01,0x00]
[0xb7,0xff,0x42,0x00]
[0xb7,0xff,0x81,0x00]
[0xb7,0xff,0xc2,0x00]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb7,0xff,0x01,0x03]
[0xb7,0xff,0x42,0x03]
[0xb7,0xff,0x81,0x03]
[0xb7,0xff,0xc2,0x03]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb7,0xff,0x01,0x01]
[0xb7,0xff,0x42,0x01]
[0xb7,0xff,0x81,0x01]
[0xb7,0xff,0xc2,0x01]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb7,0xff,0x01,0x02]
[0xb7,0xff,0x42,0x02]
[0xb7,0xff,0x81,0x02]
[0xb7,0xff,0xc2,0x02]

# 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
[0xbf,0xef,0x11,0x0d]
[0xbe,0xff,0x11,0x0d]
[0xbd,0xef,0x11,0x0c]
[0xbc,0xff,0x11,0x0c]
[0xbb,0xef,0x52,0x0d]
[0xba,0xff,0x52,0x0d]
[0xb9,0xef,0x52,0x0c]
[0xb8,0xff,0x52,0x0c]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb6,0xff,0x01,0x05]
[0xb6,0xff,0x42,0x05]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb6,0xff,0x81,0x06]
[0xb6,0xff,0xc2,0x06]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb6,0xff,0x01,0x04]
[0xb6,0xff,0x42,0x04]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb6,0xff,0x81,0x07]
[0xb6,0xff,0xc2,0x07]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb6,0xff,0x81,0x04]
[0xb6,0xff,0xc2,0x04]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xb6,0xff,0x81,0x05]
[0xb6,0xff,0xc2,0x05]

# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
# CHECK: warning: invalid instruction encoding
[0xc7,0xef,0x20,0x0d]
[0xc7,0xef,0x20,0x0f]
[0xc7,0xef,0x70,0x0f]

# CHECK-NOT: warning: invalid instruction encoding