| # RUN: llvm-mc -disassemble -triple thumbv8 -mattr=+db -show-encoding 2>%t < %s | FileCheck %s | |
| # RUN: FileCheck -allow-empty -check-prefix=STDERR < %t %s | |
| 0x80 0xba | |
| # CHECK: hlt #0 | |
| 0xbf 0xba | |
| # CHECK: hlt #63 | |
| # DCPS{1,2,3} | |
| 0x8f 0xf7 0x01 0x80 | |
| # CHECK: dcps1 | |
| 0x8f 0xf7 0x02 0x80 | |
| # CHECK: dcps2 | |
| 0x8f 0xf7 0x03 0x80 | |
| # CHECK: dcps3 | |
| 0xbf 0xf3 0x59 0x8f | |
| 0xbf 0xf3 0x51 0x8f | |
| 0xbf 0xf3 0x55 0x8f | |
| 0xbf 0xf3 0x5d 0x8f | |
| # CHECK: dmb ishld | |
| # CHECK: dmb oshld | |
| # CHECK: dmb nshld | |
| # CHECK: dmb ld | |
| [0x00 0xf0 0x00 0x0d] | |
| [0x63 0xeb 0x2d 0x46] | |
| # CHECK: and sp, r0, #0 | |
| # CHECK: sbc.w r6, r3, sp, asr #16 | |
| # STDERR-NOT: warning |