# RUN: not llvm-mc -triple=thumbv7 -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=thumbv8 -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
# RUN: not llvm-mc -triple=thumbv8.1m.main -disassemble < %s 2> %t | FileCheck --check-prefix=ACCEPT-01234567CD %s
# RUN: FileCheck --check-prefix=REJECT-89 --check-prefix=REJECT-AB --check-prefix=REJECT-EF < %t %s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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