# 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