| # 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 |