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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

# CHECK-NOT: warning: invalid instruction encoding