1# RUN: not llvm-mc -triple=thumbv7 -disassemble < %s 2> %t | FileCheck --check-prefix=ACCEPT-01234567CD --check-prefix=ACCEPT-89 --check-prefix=ACCEPT-EF %s 2# RUN: FileCheck --check-prefix=REJECT-AB < %t %s 3# RUN: not llvm-mc -triple=thumbv8 -disassemble < %s 2> %t | FileCheck --check-prefix=ACCEPT-EF %s 4# RUN: FileCheck --check-prefix=REJECT-01234567CD --check-prefix=REJECT-89 --check-prefix=REJECT-AB < %t %s 5# RUN: not llvm-mc -triple=thumbv8.1m.main -disassemble < %s 2> %t | FileCheck --check-prefix=ACCEPT-01234567CD %s 6# RUN: FileCheck --check-prefix=REJECT-89 --check-prefix=REJECT-AB --check-prefix=REJECT-EF < %t %s 7 8[0x33,0xee,0xb4,0x20] 9# ACCEPT-01234567CD: mrc p0, #1, r2, c3, c4, #5 10# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 11 12[0x33,0xee,0xb4,0x21] 13# ACCEPT-01234567CD: mrc p1, #1, r2, c3, c4, #5 14# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 15 16[0x33,0xee,0xb4,0x22] 17# ACCEPT-01234567CD: mrc p2, #1, r2, c3, c4, #5 18# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 19 20[0x33,0xee,0xb4,0x23] 21# ACCEPT-01234567CD: mrc p3, #1, r2, c3, c4, #5 22# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 23 24[0x33,0xee,0xb4,0x24] 25# ACCEPT-01234567CD: mrc p4, #1, r2, c3, c4, #5 26# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 27 28[0x33,0xee,0xb4,0x25] 29# ACCEPT-01234567CD: mrc p5, #1, r2, c3, c4, #5 30# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 31 32[0x33,0xee,0xb4,0x26] 33# ACCEPT-01234567CD: mrc p6, #1, r2, c3, c4, #5 34# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 35 36[0x33,0xee,0xb4,0x27] 37# ACCEPT-01234567CD: mrc p7, #1, r2, c3, c4, #5 38# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 39 40[0x33,0xee,0xb4,0x28] 41# ACCEPT-89: mrc p8, #1, r2, c3, c4, #5 42# REJECT-89: [[@LINE-2]]:2: warning: invalid instruction encoding 43 44[0x33,0xee,0xb4,0x29] 45# ACCEPT-89: mrc p9, #1, r2, c3, c4, #5 46# REJECT-89: [[@LINE-2]]:2: warning: invalid instruction encoding 47 48[0x33,0xee,0xb4,0x2a] 49# ACCEPT-AB: mrc p10, #1, r2, c3, c4, #5 50# REJECT-AB: [[@LINE-2]]:2: warning: invalid instruction encoding 51 52[0x33,0xee,0xb4,0x2b] 53# ACCEPT-AB: mrc p11, #1, r2, c3, c4, #5 54# REJECT-AB: [[@LINE-2]]:2: warning: invalid instruction encoding 55 56[0x33,0xee,0xb4,0x2c] 57# ACCEPT-01234567CD: mrc p12, #1, r2, c3, c4, #5 58# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 59 60[0x33,0xee,0xb4,0x2d] 61# ACCEPT-01234567CD: mrc p13, #1, r2, c3, c4, #5 62# REJECT-01234567CD: [[@LINE-2]]:2: warning: invalid instruction encoding 63 64[0x33,0xee,0xb4,0x2e] 65# ACCEPT-EF: mrc p14, #1, r2, c3, c4, #5 66# REJECT-EF: [[@LINE-2]]:2: warning: invalid instruction encoding 67 68[0x33,0xee,0xb4,0x2f] 69# ACCEPT-EF: mrc p15, #1, r2, c3, c4, #5 70# REJECT-EF: [[@LINE-2]]:2: warning: invalid instruction encoding 71