# RUN: llvm-mc --disassemble %s -triple=armv7-linux-gnueabi 2>&1 | 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