# RUN: llvm-mc --disassemble %s -triple=armv7-linux-gnueabi |& FileCheck %s

# CHECK: potentially undefined
# CHECK: 0x93 0x12 0x01 0x00 
0x93 0x12 0x01 0x00

# CHECK: potentially undefined
# CHECK: 0x92 0x0f 0x01 0x00
0x92 0x0f 0x01 0x00

# CHECK: potentially undefined
# CHECK: 0x9f 0x02 0x01 0x00
0x9f 0x02 0x01 0x00

# CHECK: potentially undefined
# CHECK: 0x92 0x01 0x0f 0x00
0x92 0x01 0x0f 0x00