1# RUN: llvm-mc -disassemble -triple thumbv8 -mattr=+fp-armv8 -show-encoding < %s | FileCheck %s 2 30xb2 0xee 0xe0 0x3b 4# CHECK: vcvtt.f64.f16 d3, s1 5 60xf3 0xee 0xcc 0x2b 7# CHECK: vcvtt.f16.f64 s5, d12 8 90xb2 0xee 0x60 0x3b 10# CHECK: vcvtb.f64.f16 d3, s1 11 120xb3 0xee 0x41 0x2b 13# CHECK: vcvtb.f16.f64 s4, d1 14 150xa8 0xbf # IT block 160xb2 0xee 0xe0 0x3b 17# CHECK: vcvttge.f64.f16 d3, s1 18 190xc8 0xbf # IT block 200xf3 0xee 0xcc 0x2b 21# CHECK: vcvttgt.f16.f64 s5, d12 22 230x08 0xbf # IT block 240xb2 0xee 0x60 0x3b 25# CHECK: vcvtbeq.f64.f16 d3, s1 26 270xb8 0xbf # IT block 280xb3 0xee 0x41 0x2b 29# CHECK: vcvtblt.f16.f64 s4, d1 30 31 320xbc 0xfe 0xe1 0x1a 33# CHECK: vcvta.s32.f32 s2, s3 34 350xbc 0xfe 0xc3 0x1b 36# CHECK: vcvta.s32.f64 s2, d3 37 380xbd 0xfe 0xeb 0x3a 39# CHECK: vcvtn.s32.f32 s6, s23 40 410xbd 0xfe 0xe7 0x3b 42# CHECK: vcvtn.s32.f64 s6, d23 43 440xbe 0xfe 0xc2 0x0a 45# CHECK: vcvtp.s32.f32 s0, s4 46 470xbe 0xfe 0xc4 0x0b 48# CHECK: vcvtp.s32.f64 s0, d4 49 500xff 0xfe 0xc4 0x8a 51# CHECK: vcvtm.s32.f32 s17, s8 52 530xff 0xfe 0xc8 0x8b 54# CHECK: vcvtm.s32.f64 s17, d8 55 560xbc 0xfe 0x61 0x1a 57# CHECK: vcvta.u32.f32 s2, s3 58 590xbc 0xfe 0x43 0x1b 60# CHECK: vcvta.u32.f64 s2, d3 61 620xbd 0xfe 0x6b 0x3a 63# CHECK: vcvtn.u32.f32 s6, s23 64 650xbd 0xfe 0x67 0x3b 66# CHECK: vcvtn.u32.f64 s6, d23 67 680xbe 0xfe 0x42 0x0a 69# CHECK: vcvtp.u32.f32 s0, s4 70 710xbe 0xfe 0x44 0x0b 72# CHECK: vcvtp.u32.f64 s0, d4 73 740xff 0xfe 0x44 0x8a 75# CHECK: vcvtm.u32.f32 s17, s8 76 770xff 0xfe 0x48 0x8b 78# CHECK: vcvtm.u32.f64 s17, d8 79 80 810x20 0xfe 0xab 0x2a 82# CHECK: vselge.f32 s4, s1, s23 83 840x6f 0xfe 0xa7 0xeb 85# CHECK: vselge.f64 d30, d31, d23 86 870x30 0xfe 0x80 0x0a 88# CHECK: vselgt.f32 s0, s1, s0 89 900x3a 0xfe 0x24 0x5b 91# CHECK: vselgt.f64 d5, d10, d20 92 930x0e 0xfe 0x2b 0xfa 94# CHECK: vseleq.f32 s30, s28, s23 95 960x04 0xfe 0x08 0x2b 97# CHECK: vseleq.f64 d2, d4, d8 98 990x58 0xfe 0x07 0xaa 100# CHECK: vselvs.f32 s21, s16, s14 101 1020x11 0xfe 0x2f 0x0b 103# CHECK: vselvs.f64 d0, d1, d31 104 105 1060xc6 0xfe 0x00 0x2a 107# CHECK: vmaxnm.f32 s5, s12, s0 108 1090x86 0xfe 0xae 0x5b 110# CHECK: vmaxnm.f64 d5, d22, d30 111 1120x80 0xfe 0x46 0x0a 113# CHECK: vminnm.f32 s0, s0, s12 114 1150x86 0xfe 0x49 0x4b 116# CHECK: vminnm.f64 d4, d6, d9 117 118 1190xa8 0xbf # IT block 1200xb6 0xee 0xcc 0x3b 121# CHECK: vrintzge.f64 d3, d12 122 1230xf6 0xee 0xcc 0x1a 124# CHECK: vrintz.f32 s3, s24 125 1260xb8 0xbf # IT block 1270xb6 0xee 0x40 0x5b 128# CHECK: vrintrlt.f64 d5, d0 129 1300xb6 0xee 0x64 0x0a 131# CHECK: vrintr.f32 s0, s9 132 1330x08 0xbf # IT block 1340xf7 0xee 0x6e 0xcb 135# CHECK: vrintxeq.f64 d28, d30 136 1370x68 0xbf # IT block 1380xb7 0xee 0x47 0x5a 139# CHECK: vrintxvs.f32 s10, s14 140 1410xb8 0xfe 0x44 0x3b 142# CHECK: vrinta.f64 d3, d4 143 1440xb8 0xfe 0x60 0x6a 145# CHECK: vrinta.f32 s12, s1 146 1470xb9 0xfe 0x44 0x3b 148# CHECK: vrintn.f64 d3, d4 149 1500xb9 0xfe 0x60 0x6a 151# CHECK: vrintn.f32 s12, s1 152 1530xba 0xfe 0x44 0x3b 154# CHECK: vrintp.f64 d3, d4 155 1560xba 0xfe 0x60 0x6a 157# CHECK: vrintp.f32 s12, s1 158 1590xbb 0xfe 0x44 0x3b 160# CHECK: vrintm.f64 d3, d4 161 1620xbb 0xfe 0x60 0x6a 163# CHECK: vrintm.f32 s12, s1 164