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

# CHECK: potentially undefined
# CHECK: 0x00 0x10 0x51 0xfc
0x00 0x10 0x51 0xfc

# CHECK: potentially undefined
# CHECK: 0x00 0xf0 0x41 0x0c
0x00 0xf0 0x41 0x0c

# CHECK: potentially undefined
# CHECK: 0x00 0x00 0x4f 0x0c
0x00 0x00 0x4f 0x0c