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