Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 1 | @ RUN: llvm-mc -mcpu=cortex-a8 -triple arm-unknown-unkown -show-encoding < %s | FileCheck %s |
| 2 | @ XFAIL: * |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 3 | |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 4 | @ FIXME: We cannot currently test the following instructions, which are |
| 5 | @ currently marked as for-disassembly only in the .td files: |
| 6 | @ - VCEQz |
| 7 | @ - VCGEz, VCLEz |
| 8 | @ - VCGTz, VCLTz |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 9 | |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 10 | @ CHECK: vceq.i8 d16, d16, d17 @ encoding: [0xb1,0x08,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 11 | vceq.i8 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 12 | @ CHECK: vceq.i16 d16, d16, d17 @ encoding: [0xb1,0x08,0x50,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 13 | vceq.i16 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 14 | @ CHECK: vceq.i32 d16, d16, d17 @ encoding: [0xb1,0x08,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 15 | vceq.i32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 16 | @ CHECK: vceq.f32 d16, d16, d17 @ encoding: [0xa1,0x0e,0x40,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 17 | vceq.f32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 18 | @ CHECK: vceq.i8 q8, q8, q9 @ encoding: [0xf2,0x08,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 19 | vceq.i8 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 20 | @ CHECK: vceq.i16 q8, q8, q9 @ encoding: [0xf2,0x08,0x50,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 21 | vceq.i16 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 22 | @ CHECK: vceq.i32 q8, q8, q9 @ encoding: [0xf2,0x08,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 23 | vceq.i32 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 24 | @ CHECK: vceq.f32 q8, q8, q9 @ encoding: [0xe2,0x0e,0x40,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 25 | vceq.f32 q8, q8, q9 |
| 26 | |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 27 | @ CHECK: vcge.s8 d16, d16, d17 @ encoding: [0xb1,0x03,0x40,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 28 | vcge.s8 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 29 | @ CHECK: vcge.s16 d16, d16, d17 @ encoding: [0xb1,0x03,0x50,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 30 | vcge.s16 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 31 | @ CHECK: vcge.s32 d16, d16, d17 @ encoding: [0xb1,0x03,0x60,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 32 | vcge.s32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 33 | @ CHECK: vcge.u8 d16, d16, d17 @ encoding: [0xb1,0x03,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 34 | vcge.u8 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 35 | @ CHECK: vcge.u16 d16, d16, d17 @ encoding: [0xb1,0x03,0x50,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 36 | vcge.u16 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 37 | @ CHECK: vcge.u32 d16, d16, d17 @ encoding: [0xb1,0x03,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 38 | vcge.u32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 39 | @ CHECK: vcge.f32 d16, d16, d17 @ encoding: [0xa1,0x0e,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 40 | vcge.f32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 41 | @ CHECK: vcge.s8 q8, q8, q9 @ encoding: [0xf2,0x03,0x40,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 42 | vcge.s8 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 43 | @ CHECK: vcge.s16 q8, q8, q9 @ encoding: [0xf2,0x03,0x50,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 44 | vcge.s16 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 45 | @ CHECK: vcge.s32 q8, q8, q9 @ encoding: [0xf2,0x03,0x60,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 46 | vcge.s32 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 47 | @ CHECK: vcge.u8 q8, q8, q9 @ encoding: [0xf2,0x03,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 48 | vcge.u8 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 49 | @ CHECK: vcge.u16 q8, q8, q9 @ encoding: [0xf2,0x03,0x50,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 50 | vcge.u16 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 51 | @ CHECK: vcge.u32 q8, q8, q9 @ encoding: [0xf2,0x03,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 52 | vcge.u32 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 53 | @ CHECK: vcge.f32 q8, q8, q9 @ encoding: [0xe2,0x0e,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 54 | vcge.f32 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 55 | @ CHECK: vacge.f32 d16, d16, d17 @ encoding: [0xb1,0x0e,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 56 | vacge.f32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 57 | @ CHECK: vacge.f32 q8, q8, q9 @ encoding: [0xf2,0x0e,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 58 | vacge.f32 q8, q8, q9 |
| 59 | |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 60 | @ CHECK: vcgt.s8 d16, d16, d17 @ encoding: [0xa1,0x03,0x40,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 61 | vcgt.s8 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 62 | @ CHECK: vcgt.s16 d16, d16, d17 @ encoding: [0xa1,0x03,0x50,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 63 | vcgt.s16 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 64 | @ CHECK: vcgt.s32 d16, d16, d17 @ encoding: [0xa1,0x03,0x60,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 65 | vcgt.s32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 66 | @ CHECK: vcgt.u8 d16, d16, d17 @ encoding: [0xa1,0x03,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 67 | vcgt.u8 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 68 | @ CHECK: vcgt.u16 d16, d16, d17 @ encoding: [0xa1,0x03,0x50,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 69 | vcgt.u16 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 70 | @ CHECK: vcgt.u32 d16, d16, d17 @ encoding: [0xa1,0x03,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 71 | vcgt.u32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 72 | @ CHECK: vcgt.f32 d16, d16, d17 @ encoding: [0xa1,0x0e,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 73 | vcgt.f32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 74 | @ CHECK: vcgt.s8 q8, q8, q9 @ encoding: [0xe2,0x03,0x40,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 75 | vcgt.s8 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 76 | @ CHECK: vcgt.s16 q8, q8, q9 @ encoding: [0xe2,0x03,0x50,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 77 | vcgt.s16 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 78 | @ CHECK: vcgt.s32 q8, q8, q9 @ encoding: [0xe2,0x03,0x60,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 79 | vcgt.s32 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 80 | @ CHECK: vcgt.u8 q8, q8, q9 @ encoding: [0xe2,0x03,0x40,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 81 | vcgt.u8 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 82 | @ CHECK: vcgt.u16 q8, q8, q9 @ encoding: [0xe2,0x03,0x50,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 83 | vcgt.u16 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 84 | @ CHECK: vcgt.u32 q8, q8, q9 @ encoding: [0xe2,0x03,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 85 | vcgt.u32 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 86 | @ CHECK: vcgt.f32 q8, q8, q9 @ encoding: [0xe2,0x0e,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 87 | vcgt.f32 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 88 | @ CHECK: vacgt.f32 d16, d16, d17 @ encoding: [0xb1,0x0e,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 89 | vacgt.f32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 90 | @ CHECK: vacgt.f32 q8, q8, q9 @ encoding: [0xf2,0x0e,0x60,0xf3] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 91 | vacgt.f32 q8, q8, q9 |
| 92 | |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 93 | @ CHECK: vtst.8 d16, d16, d17 @ encoding: [0xb1,0x08,0x40,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 94 | vtst.8 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 95 | @ CHECK: vtst.16 d16, d16, d17 @ encoding: [0xb1,0x08,0x50,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 96 | vtst.16 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 97 | @ CHECK: vtst.32 d16, d16, d17 @ encoding: [0xb1,0x08,0x60,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 98 | vtst.32 d16, d16, d17 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 99 | @ CHECK: vtst.8 q8, q8, q9 @ encoding: [0xf2,0x08,0x40,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 100 | vtst.8 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 101 | @ CHECK: vtst.16 q8, q8, q9 @ encoding: [0xf2,0x08,0x50,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 102 | vtst.16 q8, q8, q9 |
Owen Anderson | 95b9766 | 2010-11-01 18:33:37 +0000 | [diff] [blame] | 103 | @ CHECK: vtst.32 q8, q8, q9 @ encoding: [0xf2,0x08,0x60,0xf2] |
Owen Anderson | afe18c7 | 2010-10-29 18:58:30 +0000 | [diff] [blame] | 104 | vtst.32 q8, q8, q9 |
Owen Anderson | c24cb35 | 2010-11-08 23:21:22 +0000 | [diff] [blame] | 105 | |
| 106 | @ CHECK: vceq.i8 d16, d16, #0 @ encoding: [0x20,0x01,0xf1,0xf3] |
| 107 | vceq.i8 d16, d16, #0 |
| 108 | @ CHECK: vcge.s8 d16, d16, #0 @ encoding: [0xa0,0x00,0xf1,0xf3] |
| 109 | vcge.s8 d16, d16, #0 |
| 110 | @ CHECK: vcle.s8 d16, d16, #0 @ encoding: [0xa0,0x01,0xf1,0xf3] |
| 111 | vcle.s8 d16, d16, #0 |
| 112 | @ CHECK: vcgt.s8 d16, d16, #0 @ encoding: [0x20,0x00,0xf1,0xf3] |
| 113 | vcgt.s8 d16, d16, #0 |
| 114 | @ CHECK: vclt.s8 d16, d16, #0 @ encoding: [0x20,0x02,0xf1,0xf3] |
| 115 | vclt.s8 d16, d16, #0 |