1 @ RUN: llvm-mc -triple thumbv8 -mattr=+fp-armv8 -show-encoding < %s | FileCheck %s 2 3 @ VCVT{B,T} 4 5 vcvtt.f64.f16 d3, s1 6 @ CHECK: vcvtt.f64.f16 d3, s1 @ encoding: [0xb2,0xee,0xe0,0x3b] 7 vcvtt.f16.f64 s5, d12 8 @ CHECK: vcvtt.f16.f64 s5, d12 @ encoding: [0xf3,0xee,0xcc,0x2b] 9 10 vcvtb.f64.f16 d3, s1 11 @ CHECK: vcvtb.f64.f16 d3, s1 @ encoding: [0xb2,0xee,0x60,0x3b] 12 vcvtb.f16.f64 s4, d1 13 @ CHECK: vcvtb.f16.f64 s4, d1 @ encoding: [0xb3,0xee,0x41,0x2b] 14 15 it ge 16 vcvttge.f64.f16 d3, s1 17 @ CHECK: vcvttge.f64.f16 d3, s1 @ encoding: [0xb2,0xee,0xe0,0x3b] 18 it gt 19 vcvttgt.f16.f64 s5, d12 20 @ CHECK: vcvttgt.f16.f64 s5, d12 @ encoding: [0xf3,0xee,0xcc,0x2b] 21 it eq 22 vcvtbeq.f64.f16 d3, s1 23 @ CHECK: vcvtbeq.f64.f16 d3, s1 @ encoding: [0xb2,0xee,0x60,0x3b] 24 it lt 25 vcvtblt.f16.f64 s4, d1 26 @ CHECK: vcvtblt.f16.f64 s4, d1 @ encoding: [0xb3,0xee,0x41,0x2b] 27 28 29 @ VCVT{A,N,P,M} 30 31 vcvta.s32.f32 s2, s3 32 @ CHECK: vcvta.s32.f32 s2, s3 @ encoding: [0xbc,0xfe,0xe1,0x1a] 33 vcvta.s32.f64 s2, d3 34 @ CHECK: vcvta.s32.f64 s2, d3 @ encoding: [0xbc,0xfe,0xc3,0x1b] 35 vcvtn.s32.f32 s6, s23 36 @ CHECK: vcvtn.s32.f32 s6, s23 @ encoding: [0xbd,0xfe,0xeb,0x3a] 37 vcvtn.s32.f64 s6, d23 38 @ CHECK: vcvtn.s32.f64 s6, d23 @ encoding: [0xbd,0xfe,0xe7,0x3b] 39 vcvtp.s32.f32 s0, s4 40 @ CHECK: vcvtp.s32.f32 s0, s4 @ encoding: [0xbe,0xfe,0xc2,0x0a] 41 vcvtp.s32.f64 s0, d4 42 @ CHECK: vcvtp.s32.f64 s0, d4 @ encoding: [0xbe,0xfe,0xc4,0x0b] 43 vcvtm.s32.f32 s17, s8 44 @ CHECK: vcvtm.s32.f32 s17, s8 @ encoding: [0xff,0xfe,0xc4,0x8a] 45 vcvtm.s32.f64 s17, d8 46 @ CHECK: vcvtm.s32.f64 s17, d8 @ encoding: [0xff,0xfe,0xc8,0x8b] 47 48 vcvta.u32.f32 s2, s3 49 @ CHECK: vcvta.u32.f32 s2, s3 @ encoding: [0xbc,0xfe,0x61,0x1a] 50 vcvta.u32.f64 s2, d3 51 @ CHECK: vcvta.u32.f64 s2, d3 @ encoding: [0xbc,0xfe,0x43,0x1b] 52 vcvtn.u32.f32 s6, s23 53 @ CHECK: vcvtn.u32.f32 s6, s23 @ encoding: [0xbd,0xfe,0x6b,0x3a] 54 vcvtn.u32.f64 s6, d23 55 @ CHECK: vcvtn.u32.f64 s6, d23 @ encoding: [0xbd,0xfe,0x67,0x3b] 56 vcvtp.u32.f32 s0, s4 57 @ CHECK: vcvtp.u32.f32 s0, s4 @ encoding: [0xbe,0xfe,0x42,0x0a] 58 vcvtp.u32.f64 s0, d4 59 @ CHECK: vcvtp.u32.f64 s0, d4 @ encoding: [0xbe,0xfe,0x44,0x0b] 60 vcvtm.u32.f32 s17, s8 61 @ CHECK: vcvtm.u32.f32 s17, s8 @ encoding: [0xff,0xfe,0x44,0x8a] 62 vcvtm.u32.f64 s17, d8 63 @ CHECK: vcvtm.u32.f64 s17, d8 @ encoding: [0xff,0xfe,0x48,0x8b] 64 65 66 @ VSEL 67 vselge.f32 s4, s1, s23 68 @ CHECK: vselge.f32 s4, s1, s23 @ encoding: [0x20,0xfe,0xab,0x2a] 69 vselge.f64 d30, d31, d23 70 @ CHECK: vselge.f64 d30, d31, d23 @ encoding: [0x6f,0xfe,0xa7,0xeb] 71 vselgt.f32 s0, s1, s0 72 @ CHECK: vselgt.f32 s0, s1, s0 @ encoding: [0x30,0xfe,0x80,0x0a] 73 vselgt.f64 d5, d10, d20 74 @ CHECK: vselgt.f64 d5, d10, d20 @ encoding: [0x3a,0xfe,0x24,0x5b] 75 vseleq.f32 s30, s28, s23 76 @ CHECK: vseleq.f32 s30, s28, s23 @ encoding: [0x0e,0xfe,0x2b,0xfa] 77 vseleq.f64 d2, d4, d8 78 @ CHECK: vseleq.f64 d2, d4, d8 @ encoding: [0x04,0xfe,0x08,0x2b] 79 vselvs.f32 s21, s16, s14 80 @ CHECK: vselvs.f32 s21, s16, s14 @ encoding: [0x58,0xfe,0x07,0xaa] 81 vselvs.f64 d0, d1, d31 82 @ CHECK: vselvs.f64 d0, d1, d31 @ encoding: [0x11,0xfe,0x2f,0x0b] 83 84 85 @ VMAXNM / VMINNM 86 vmaxnm.f32 s5, s12, s0 87 @ CHECK: vmaxnm.f32 s5, s12, s0 @ encoding: [0xc6,0xfe,0x00,0x2a] 88 vmaxnm.f64 d5, d22, d30 89 @ CHECK: vmaxnm.f64 d5, d22, d30 @ encoding: [0x86,0xfe,0xae,0x5b] 90 vminnm.f32 s0, s0, s12 91 @ CHECK: vminnm.f32 s0, s0, s12 @ encoding: [0x80,0xfe,0x46,0x0a] 92 vminnm.f64 d4, d6, d9 93 @ CHECK: vminnm.f64 d4, d6, d9 @ encoding: [0x86,0xfe,0x49,0x4b] 94 95 @ VRINT{Z,R,X} 96 it ge 97 vrintzge.f64 d3, d12 98 @ CHECK: vrintzge.f64 d3, d12 @ encoding: [0xb6,0xee,0xcc,0x3b] 99 vrintz.f32 s3, s24 100 @ CHECK: vrintz.f32 s3, s24 @ encoding: [0xf6,0xee,0xcc,0x1a] 101 it lt 102 vrintrlt.f64 d5, d0 103 @ CHECK: vrintrlt.f64 d5, d0 @ encoding: [0xb6,0xee,0x40,0x5b] 104 vrintr.f32 s0, s9 105 @ CHECK: vrintr.f32 s0, s9 @ encoding: [0xb6,0xee,0x64,0x0a] 106 it eq 107 vrintxeq.f64 d28, d30 108 @ CHECK: vrintxeq.f64 d28, d30 @ encoding: [0xf7,0xee,0x6e,0xcb] 109 it vs 110 vrintxvs.f32 s10, s14 111 @ CHECK: vrintxvs.f32 s10, s14 @ encoding: [0xb7,0xee,0x47,0x5a] 112 113 @ VRINT{A,N,P,M} 114 115 vrinta.f64 d3, d4 116 @ CHECK: vrinta.f64 d3, d4 @ encoding: [0xb8,0xfe,0x44,0x3b] 117 vrinta.f32 s12, s1 118 @ CHECK: vrinta.f32 s12, s1 @ encoding: [0xb8,0xfe,0x60,0x6a] 119 vrintn.f64 d3, d4 120 @ CHECK: vrintn.f64 d3, d4 @ encoding: [0xb9,0xfe,0x44,0x3b] 121 vrintn.f32 s12, s1 122 @ CHECK: vrintn.f32 s12, s1 @ encoding: [0xb9,0xfe,0x60,0x6a] 123 vrintp.f64 d3, d4 124 @ CHECK: vrintp.f64 d3, d4 @ encoding: [0xba,0xfe,0x44,0x3b] 125 vrintp.f32 s12, s1 126 @ CHECK: vrintp.f32 s12, s1 @ encoding: [0xba,0xfe,0x60,0x6a] 127 vrintm.f64 d3, d4 128 @ CHECK: vrintm.f64 d3, d4 @ encoding: [0xbb,0xfe,0x44,0x3b] 129 vrintm.f32 s12, s1 130 @ CHECK: vrintm.f32 s12, s1 @ encoding: [0xbb,0xfe,0x60,0x6a] 131