# 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
