| # RUN: llvm-mc -disassemble -triple thumbv8 -mattr=+db -show-encoding < %s | FileCheck %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 |