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

[0x00,0xf8,0xf8,0x0e]
# CHECK: warning: invalid instruction encoding
[0x00,0xf8,0xf8,0x2e]
# CHECK: warning: invalid instruction encoding
[0x00,0xd8,0xf9,0x0e]
# CHECK: warning: invalid instruction encoding
[0x00,0x88,0x79,0x2e]
# CHECK: warning: invalid instruction encoding
[0x00,0x98,0x79,0x2e]
# CHECK: warning: invalid instruction encoding
[0x00,0x98,0xf9,0x2e]
# CHECK: warning: invalid instruction encoding
[0x00,0x98,0x79,0x0e]
# CHECK: warning: invalid instruction encoding
[0x00,0x88,0x79,0x0e]
# CHECK: warning: invalid instruction encoding
[0x00,0x88,0xf9,0x0e]
# CHECK: warning: invalid instruction encoding
[0x00,0x98,0xf9,0x0e]
# CHECK: warning: invalid instruction encoding
[0x00,0xd8,0xf9,0x2e]
# CHECK: warning: invalid instruction encoding
[0x00,0xf8,0xf9,0x2e]
# CHECK: warning: invalid instruction encoding
[0x00,0xf8,0xf8,0x4e]
# CHECK: warning: invalid instruction encoding
[0x00,0xf8,0xf8,0x6e]
# CHECK: warning: invalid instruction encoding
[0x00,0xd8,0xf9,0x4e]
# CHECK: warning: invalid instruction encoding
[0x00,0x88,0x79,0x6e]
# CHECK: warning: invalid instruction encoding
[0x00,0x98,0x79,0x6e]
# CHECK: warning: invalid instruction encoding
[0x00,0x98,0xf9,0x6e]
# CHECK: warning: invalid instruction encoding
[0x00,0x98,0x79,0x4e]
# CHECK: warning: invalid instruction encoding
[0x00,0x88,0x79,0x4e]
# CHECK: warning: invalid instruction encoding
[0x00,0x88,0xf9,0x4e]
# CHECK: warning: invalid instruction encoding
[0x00,0x98,0xf9,0x4e]
# CHECK: warning: invalid instruction encoding
[0x00,0xd8,0xf9,0x6e]
# CHECK: warning: invalid instruction encoding
[0x00,0xf8,0xf9,0x6e]
# CHECK: warning: invalid instruction encoding
[0x20,0x10,0x22,0x0f]
# CHECK: warning: invalid instruction encoding
[0x03,0x11,0x12,0x4f]
# CHECK: warning: invalid instruction encoding
[0x20,0x50,0x22,0x0f]
# CHECK: warning: invalid instruction encoding
[0x03,0x51,0x12,0x4f]
# CHECK: warning: invalid instruction encoding
[0x20,0x90,0x22,0x0f]
# CHECK: warning: invalid instruction encoding
[0x20,0x90,0x22,0x4f]
# CHECK: warning: invalid instruction encoding
[0x20,0x90,0x22,0x2f]
# CHECK: warning: invalid instruction encoding
[0x20,0x90,0x22,0x6f]
# CHECK: warning: invalid instruction encoding
[0x20,0x14,0xc2,0x2e]
# CHECK: warning: invalid instruction encoding
[0x20,0xc8,0x30,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0xc8,0xb0,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0xf8,0x30,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0xf8,0xb0,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0x14,0x42,0x2e]
# CHECK: warning: invalid instruction encoding
[0x20,0x14,0x42,0x6e]
# CHECK: warning: invalid instruction encoding
[0x20,0x14,0x42,0x0e]
# CHECK: warning: invalid instruction encoding
[0x20,0x14,0x42,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0x14,0xc2,0x0e]
# CHECK: warning: invalid instruction encoding
[0x20,0x14,0xc2,0x4e]
# CHECK: warning: invalid instruction encoding
[0xe0,0x27,0x50,0x0e]
# CHECK: warning: invalid instruction encoding
[0xe4,0x24,0x4f,0x4e]
# CHECK: warning: invalid instruction encoding
[0x03,0x25,0x4c,0x2e]
# CHECK: warning: invalid instruction encoding
[0xbf,0x27,0x5c,0x6e]
# CHECK: warning: invalid instruction encoding
[0x03,0x25,0x4c,0x2e]
# CHECK: warning: invalid instruction encoding
[0xbf,0x27,0x5c,0x6e]
# CHECK: warning: invalid instruction encoding
[0xe0,0x27,0xd0,0x2e]
# CHECK: warning: invalid instruction encoding
[0xe4,0x24,0xcf,0x6e]
# CHECK: warning: invalid instruction encoding
[0xe0,0x27,0xd0,0x2e]
# CHECK: warning: invalid instruction encoding
[0xe4,0x24,0xcf,0x6e]
# CHECK: warning: invalid instruction encoding
[0xe0,0xdb,0xf8,0x0e]
# CHECK: warning: invalid instruction encoding
[0xe4,0xd8,0xf8,0x4e]
# CHECK: warning: invalid instruction encoding
[0xe0,0xdb,0xf8,0x0e]
# CHECK: warning: invalid instruction encoding
[0xe4,0xd8,0xf8,0x4e]
# CHECK: warning: invalid instruction encoding
[0x03,0xc9,0xf8,0x2e]
# CHECK: warning: invalid instruction encoding
[0xbf,0xcb,0xf8,0x6e]
# CHECK: warning: invalid instruction encoding
[0x03,0xc9,0xf8,0x2e]
# CHECK: warning: invalid instruction encoding
[0xbf,0xcb,0xf8,0x6e]
# CHECK: warning: invalid instruction encoding
[0xe0,0xcb,0xf8,0x0e]
# CHECK: warning: invalid instruction encoding
[0xe4,0xc8,0xf8,0x4e]
# CHECK: warning: invalid instruction encoding
[0xe0,0xcb,0xf8,0x0e]
# CHECK: warning: invalid instruction encoding
[0xe4,0xc8,0xf8,0x4e]
# CHECK: warning: invalid instruction encoding
[0x83,0xda,0xf8,0x2e]
# CHECK: warning: invalid instruction encoding
[0x01,0xd9,0xf8,0x6e]
# CHECK: warning: invalid instruction encoding
[0x83,0xda,0xf8,0x2e]
# CHECK: warning: invalid instruction encoding
[0x01,0xd9,0xf8,0x6e]
# CHECK: warning: invalid instruction encoding
[0x50,0xe8,0xf8,0x0e]
# CHECK: warning: invalid instruction encoding
[0x8f,0xe8,0xf8,0x4e]
# CHECK: warning: invalid instruction encoding
[0x50,0xe8,0xf8,0x0e]
# CHECK: warning: invalid instruction encoding
[0x8f,0xe8,0xf8,0x4e]
# CHECK: warning: invalid instruction encoding
[0xe0,0x2f,0x50,0x2e]
# CHECK: warning: invalid instruction encoding
[0xe4,0x2c,0x4f,0x6e]
# CHECK: warning: invalid instruction encoding
[0xe0,0x2f,0x50,0x2e]
# CHECK: warning: invalid instruction encoding
[0xe4,0x2c,0x4f,0x6e]
# CHECK: warning: invalid instruction encoding
[0x03,0x2d,0xcc,0x2e]
# CHECK: warning: invalid instruction encoding
[0xbf,0x2f,0xdc,0x6e]
# CHECK: warning: invalid instruction encoding
[0x03,0x2d,0xcc,0x2e]
# CHECK: warning: invalid instruction encoding
[0xbf,0x2f,0xdc,0x6e]
# CHECK: warning: invalid instruction encoding
[0xe0,0x3f,0xd0,0x0e]
# CHECK: warning: invalid instruction encoding
[0xe4,0x3c,0xcf,0x4e]
# CHECK: warning: invalid instruction encoding
[0x03,0x3d,0x4c,0x0e]
# CHECK: warning: invalid instruction encoding
[0xbf,0x3f,0x5c,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0x34,0x42,0x2e]
# CHECK: warning: invalid instruction encoding
[0xff,0x35,0x50,0x6e]
# CHECK: warning: invalid instruction encoding
[0xea,0x35,0xd6,0x2e]
# CHECK: warning: invalid instruction encoding
[0xa3,0x34,0xc6,0x6e]
# CHECK: warning: invalid instruction encoding
[0x20,0x04,0x42,0x2e]
# CHECK: warning: invalid instruction encoding
[0xff,0x05,0x50,0x6e]
# CHECK: warning: invalid instruction encoding
[0xea,0x05,0xd6,0x2e]
# CHECK: warning: invalid instruction encoding
[0xa3,0x04,0xc6,0x6e]
# CHECK: warning: invalid instruction encoding
[0x20,0x34,0x42,0x0e]
# CHECK: warning: invalid instruction encoding
[0x20,0x34,0x42,0x4e]
# CHECK: warning: invalid instruction encoding
[0xea,0x35,0xd6,0x0e]
# CHECK: warning: invalid instruction encoding
[0xea,0x35,0xd6,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0x04,0x42,0x0e]
# CHECK: warning: invalid instruction encoding
[0x20,0x04,0x42,0x4e]
# CHECK: warning: invalid instruction encoding
[0xea,0x05,0xd6,0x0e]
# CHECK: warning: invalid instruction encoding
[0xea,0x05,0xd6,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0x0c,0x42,0x0e]
# CHECK: warning: invalid instruction encoding
[0x20,0x0c,0x42,0x4e]
# CHECK: warning: invalid instruction encoding
[0x20,0x0c,0xc2,0x0e]
# CHECK: warning: invalid instruction encoding
[0x20,0x0c,0xc2,0x4e]
# CHECK: warning: invalid instruction encoding
[0x1d,0x17,0xd4,0x7e]
# CHECK: warning: invalid instruction encoding
[0x20,0x18,0x11,0x5f]
# CHECK: warning: invalid instruction encoding
[0x62,0x58,0x14,0x5f]
# CHECK: warning: invalid instruction encoding
[0x20,0x98,0x11,0x5f]
# CHECK: warning: invalid instruction encoding
[0x46,0x98,0x18,0x7f]
# CHECK: warning: invalid instruction encoding
[0x95,0xfd,0x1f,0x5f]
# CHECK: warning: invalid instruction encoding
[0x95,0xfd,0x1f,0x7f]
# CHECK: warning: invalid instruction encoding
[0xac,0xc9,0x79,0x5e]
# CHECK: warning: invalid instruction encoding
[0xac,0xc9,0x79,0x7e]
# CHECK: warning: invalid instruction encoding
[0xb6,0xb9,0x79,0x5e]
# CHECK: warning: invalid instruction encoding
[0xac,0xb9,0x79,0x7e]
# CHECK: warning: invalid instruction encoding
[0xb6,0xa9,0x79,0x5e]
# CHECK: warning: invalid instruction encoding
[0xac,0xa9,0x79,0x7e]
# CHECK: warning: invalid instruction encoding
[0xb6,0xa9,0xf9,0x5e]
# CHECK: warning: invalid instruction encoding
[0xac,0xa9,0xf9,0x7e]
# CHECK: warning: invalid instruction encoding
[0xac,0xb9,0xf9,0x5e]
# CHECK: warning: invalid instruction encoding
[0xac,0xb9,0xf9,0x7e]
# CHECK: warning: invalid instruction encoding
[0x6a,0x25,0x4c,0x5e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xd9,0xf8,0x5e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xd9,0xf8,0x5e]
# CHECK: warning: invalid instruction encoding
[0x6a,0x25,0x4c,0x7e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xc9,0xf8,0x7e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xc9,0xf8,0x7e]
# CHECK: warning: invalid instruction encoding
[0x6a,0x25,0xcc,0x7e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xc9,0xf8,0x5e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xc9,0xf8,0x5e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xd9,0xf8,0x7e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xd9,0xf8,0x7e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xe9,0xf8,0x5e]
# CHECK: warning: invalid instruction encoding
[0x6a,0xe9,0xf8,0x5e]
# CHECK: warning: invalid instruction encoding
[0x6a,0x2d,0x4c,0x7e]
# CHECK: warning: invalid instruction encoding
[0x6a,0x2d,0xcc,0x7e]
# CHECK: warning: invalid instruction encoding
[0xd4,0x1e,0x4f,0x5e]
# CHECK: warning: invalid instruction encoding
[0x15,0x3e,0x4d,0x5e]
# CHECK: warning: invalid instruction encoding
[0xb5,0x3c,0xcc,0x5e]
# CHECK: warning: invalid instruction encoding
[0xd3,0xd9,0xf9,0x5e]
# CHECK: warning: invalid instruction encoding
[0x52,0xf9,0xf9,0x5e]
# CHECK: warning: invalid instruction encoding
[0xb6,0xd9,0xf9,0x7e]
# CHECK: warning: invalid instruction encoding
[0x72,0xd8,0x30,0x5e]
# CHECK: warning: invalid instruction encoding
[0x04,0xf8,0xf8,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0xf9,0xf8,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0xf8,0xf8,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0xf9,0xf8,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0x88,0x79,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0x89,0x79,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0x88,0x79,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0x89,0x79,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0x88,0xf9,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0x89,0xf9,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0x98,0x79,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0x99,0x79,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0x98,0x79,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0x99,0x79,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0x98,0xf9,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0x99,0xf9,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0x98,0xf9,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0x99,0xf9,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0xa8,0x79,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0xa9,0x79,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0xa8,0x79,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0xa9,0x79,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0xa8,0xf9,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0xa9,0xf9,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0xa8,0xf9,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0xa9,0xf9,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0xb8,0x79,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0xb9,0x79,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0xb8,0x79,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0xb9,0x79,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0xb8,0xf9,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0xb9,0xf9,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0xb8,0xf9,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0xb9,0xf9,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0xc8,0x79,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0xc9,0x79,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0xc8,0x79,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0xc9,0x79,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0xd8,0xf9,0x0e]
# CHECK: warning: invalid instruction encoding
[0x06,0xd9,0xf9,0x4e]
# CHECK: warning: invalid instruction encoding
[0x04,0xd8,0xf9,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0xd9,0xf9,0x6e]
# CHECK: warning: invalid instruction encoding
[0x04,0xf8,0xf9,0x2e]
# CHECK: warning: invalid instruction encoding
[0x06,0xf9,0xf9,0x6e]
# CHECK: warning: invalid instruction encoding

# CHECK-NOT: warning: invalid instruction encoding
