# RUN: not llvm-mc -triple=armv7 -disassemble < %s 2> %t | FileCheck --check-prefix=ACCEPT-01234567CD --check-prefix=ACCEPT-89 --check-prefix=ACCEPT-EF %s
# RUN: FileCheck --check-prefix=REJECT-AB < %t %s
# RUN: not llvm-mc -triple=armv8 -disassemble < %s 2> %t | FileCheck --check-prefix=ACCEPT-EF %s
# RUN: FileCheck --check-prefix=REJECT-01234567CD --check-prefix=REJECT-89 --check-prefix=REJECT-AB < %t %s

[0xb4,0x20,0x33,0xee]
# ACCEPT-01234567CD: mrc   p0, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x21,0x33,0xee]
# ACCEPT-01234567CD: mrc   p1, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x22,0x33,0xee]
# ACCEPT-01234567CD: mrc   p2, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x23,0x33,0xee]
# ACCEPT-01234567CD: mrc   p3, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x24,0x33,0xee]
# ACCEPT-01234567CD: mrc   p4, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x25,0x33,0xee]
# ACCEPT-01234567CD: mrc   p5, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x26,0x33,0xee]
# ACCEPT-01234567CD: mrc   p6, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x27,0x33,0xee]
# ACCEPT-01234567CD: mrc   p7, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x28,0x33,0xee]
# ACCEPT-89: mrc   p8, #1, r2, c3, c4, #5
# REJECT-89: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x29,0x33,0xee]
# ACCEPT-89: mrc   p9, #1, r2, c3, c4, #5
# REJECT-89: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x2a,0x33,0xee]
# ACCEPT-AB: mrc   p10, #1, r2, c3, c4, #5
# REJECT-AB: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x2b,0x33,0xee]
# ACCEPT-AB: mrc   p11, #1, r2, c3, c4, #5
# REJECT-AB: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x2c,0x33,0xee]
# ACCEPT-01234567CD: mrc   p12, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x2d,0x33,0xee]
# ACCEPT-01234567CD: mrc   p13, #1, r2, c3, c4, #5
# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x2e,0x33,0xee]
# ACCEPT-EF: mrc   p14, #1, r2, c3, c4, #5
# REJECT-EF: [[@LINE-2]]:2: warning: invalid instruction encoding

[0xb4,0x2f,0x33,0xee]
# ACCEPT-EF: mrc   p15, #1, r2, c3, c4, #5
# REJECT-EF: [[@LINE-2]]:2: warning: invalid instruction encoding