| Artyom Skrobov | b4398107 | 2015-10-28 13:58:36 +0000 | [diff] [blame] | 1 | # RUN: llvm-mc -disassemble -triple thumbv8 -mattr=+db -show-encoding 2>%t < %s | FileCheck %s |
| 2 | # RUN: FileCheck -allow-empty -check-prefix=STDERR < %t %s |
| Richard Barton | 8d519fe | 2013-09-05 14:14:19 +0000 | [diff] [blame] | 3 | |
| 4 | 0x80 0xba |
| 5 | # CHECK: hlt #0 |
| 6 | |
| 7 | 0xbf 0xba |
| 8 | # CHECK: hlt #63 |
| 9 | |
| 10 | # DCPS{1,2,3} |
| 11 | |
| 12 | 0x8f 0xf7 0x01 0x80 |
| 13 | # CHECK: dcps1 |
| 14 | |
| 15 | 0x8f 0xf7 0x02 0x80 |
| 16 | # CHECK: dcps2 |
| 17 | |
| 18 | 0x8f 0xf7 0x03 0x80 |
| 19 | # CHECK: dcps3 |
| Joey Gouly | c209d6a | 2013-09-05 16:05:45 +0000 | [diff] [blame] | 20 | |
| 21 | 0xbf 0xf3 0x59 0x8f |
| 22 | 0xbf 0xf3 0x51 0x8f |
| 23 | 0xbf 0xf3 0x55 0x8f |
| 24 | 0xbf 0xf3 0x5d 0x8f |
| 25 | |
| 26 | # CHECK: dmb ishld |
| 27 | # CHECK: dmb oshld |
| 28 | # CHECK: dmb nshld |
| 29 | # CHECK: dmb ld |
| Artyom Skrobov | b4398107 | 2015-10-28 13:58:36 +0000 | [diff] [blame] | 30 | |
| 31 | [0x00 0xf0 0x00 0x0d] |
| 32 | [0x63 0xeb 0x2d 0x46] |
| 33 | # CHECK: and sp, r0, #0 |
| 34 | # CHECK: sbc.w r6, r3, sp, asr #16 |
| 35 | |
| 36 | # STDERR-NOT: warning |