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