llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vitofp-constrained-sdnode.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -mattr=+d,+zfh,+zvfh,+v -target-abi=ilp32d \
   3 ; RUN:     -verify-machineinstrs < %s | FileCheck %s
   4 ; RUN: llc -mtriple=riscv64 -mattr=+d,+zfh,+zvfh,+v -target-abi=lp64d \
   5 ; RUN:     -verify-machineinstrs < %s | FileCheck %s
   6
   7 declare <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i1(<1 x i1>, metadata, metadata)
   8 define <1 x half> @vsitofp_v1i1_v1f16(<1 x i1> %va) strictfp {
   9 ; CHECK-LABEL: vsitofp_v1i1_v1f16:
  10 ; CHECK:       # %bb.0:
  11 ; CHECK-NEXT:    vsetivli zero, 1, e8, mf8, ta, ma
  12 ; CHECK-NEXT:    vmv.s.x v8, zero
  13 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
  14 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
  15 ; CHECK-NEXT:    ret
  16   %evec = call <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i1(<1 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  17   ret <1 x half> %evec
  18 }
  19
  20 declare <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i1(<1 x i1>, metadata, metadata)
  21 define <1 x half> @vuitofp_v1i1_v1f16(<1 x i1> %va) strictfp {
  22 ; CHECK-LABEL: vuitofp_v1i1_v1f16:
  23 ; CHECK:       # %bb.0:
  24 ; CHECK-NEXT:    vsetivli zero, 1, e8, mf8, ta, ma
  25 ; CHECK-NEXT:    vmv.s.x v8, zero
  26 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
  27 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
  28 ; CHECK-NEXT:    ret
  29   %evec = call <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i1(<1 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  30   ret <1 x half> %evec
  31 }
  32
  33 declare <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i1(<1 x i1>, metadata, metadata)
  34 define <1 x float> @vsitofp_v1i1_v1f32(<1 x i1> %va) strictfp {
  35 ; CHECK-LABEL: vsitofp_v1i1_v1f32:
  36 ; CHECK:       # %bb.0:
  37 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
  38 ; CHECK-NEXT:    vmv.s.x v8, zero
  39 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
  40 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
  41 ; CHECK-NEXT:    ret
  42   %evec = call <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i1(<1 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  43   ret <1 x float> %evec
  44 }
  45
  46 declare <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i1(<1 x i1>, metadata, metadata)
  47 define <1 x float> @vuitofp_v1i1_v1f32(<1 x i1> %va) strictfp {
  48 ; CHECK-LABEL: vuitofp_v1i1_v1f32:
  49 ; CHECK:       # %bb.0:
  50 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
  51 ; CHECK-NEXT:    vmv.s.x v8, zero
  52 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
  53 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
  54 ; CHECK-NEXT:    ret
  55   %evec = call <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i1(<1 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  56   ret <1 x float> %evec
  57 }
  58
  59 declare <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i1(<1 x i1>, metadata, metadata)
  60 define <1 x double> @vsitofp_v1i1_v1f64(<1 x i1> %va) strictfp {
  61 ; CHECK-LABEL: vsitofp_v1i1_v1f64:
  62 ; CHECK:       # %bb.0:
  63 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
  64 ; CHECK-NEXT:    vmv.s.x v8, zero
  65 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
  66 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
  67 ; CHECK-NEXT:    ret
  68   %evec = call <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i1(<1 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  69   ret <1 x double> %evec
  70 }
  71
  72 declare <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i1(<1 x i1>, metadata, metadata)
  73 define <1 x double> @vuitofp_v1i1_v1f64(<1 x i1> %va) strictfp {
  74 ; CHECK-LABEL: vuitofp_v1i1_v1f64:
  75 ; CHECK:       # %bb.0:
  76 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
  77 ; CHECK-NEXT:    vmv.s.x v8, zero
  78 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
  79 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
  80 ; CHECK-NEXT:    ret
  81   %evec = call <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i1(<1 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  82   ret <1 x double> %evec
  83 }
  84
  85 declare <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i1(<2 x i1>, metadata, metadata)
  86 define <2 x half> @vsitofp_v2i1_v2f16(<2 x i1> %va) strictfp {
  87 ; CHECK-LABEL: vsitofp_v2i1_v2f16:
  88 ; CHECK:       # %bb.0:
  89 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
  90 ; CHECK-NEXT:    vmv.v.i v8, 0
  91 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
  92 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
  93 ; CHECK-NEXT:    ret
  94   %evec = call <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i1(<2 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  95   ret <2 x half> %evec
  96 }
  97
  98 declare <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i1(<2 x i1>, metadata, metadata)
  99 define <2 x half> @vuitofp_v2i1_v2f16(<2 x i1> %va) strictfp {
 100 ; CHECK-LABEL: vuitofp_v2i1_v2f16:
 101 ; CHECK:       # %bb.0:
 102 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
 103 ; CHECK-NEXT:    vmv.v.i v8, 0
 104 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
 105 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 106 ; CHECK-NEXT:    ret
 107   %evec = call <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i1(<2 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 108   ret <2 x half> %evec
 109 }
 110
 111 declare <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i1(<2 x i1>, metadata, metadata)
 112 define <2 x float> @vsitofp_v2i1_v2f32(<2 x i1> %va) strictfp {
 113 ; CHECK-LABEL: vsitofp_v2i1_v2f32:
 114 ; CHECK:       # %bb.0:
 115 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 116 ; CHECK-NEXT:    vmv.v.i v8, 0
 117 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
 118 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 119 ; CHECK-NEXT:    ret
 120   %evec = call <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i1(<2 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 121   ret <2 x float> %evec
 122 }
 123
 124 declare <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i1(<2 x i1>, metadata, metadata)
 125 define <2 x float> @vuitofp_v2i1_v2f32(<2 x i1> %va) strictfp {
 126 ; CHECK-LABEL: vuitofp_v2i1_v2f32:
 127 ; CHECK:       # %bb.0:
 128 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 129 ; CHECK-NEXT:    vmv.v.i v8, 0
 130 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
 131 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 132 ; CHECK-NEXT:    ret
 133   %evec = call <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i1(<2 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 134   ret <2 x float> %evec
 135 }
 136
 137 declare <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i1(<2 x i1>, metadata, metadata)
 138 define <2 x double> @vsitofp_v2i1_v2f64(<2 x i1> %va) strictfp {
 139 ; CHECK-LABEL: vsitofp_v2i1_v2f64:
 140 ; CHECK:       # %bb.0:
 141 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 142 ; CHECK-NEXT:    vmv.v.i v8, 0
 143 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
 144 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 145 ; CHECK-NEXT:    ret
 146   %evec = call <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i1(<2 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 147   ret <2 x double> %evec
 148 }
 149
 150 declare <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i1(<2 x i1>, metadata, metadata)
 151 define <2 x double> @vuitofp_v2i1_v2f64(<2 x i1> %va) strictfp {
 152 ; CHECK-LABEL: vuitofp_v2i1_v2f64:
 153 ; CHECK:       # %bb.0:
 154 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 155 ; CHECK-NEXT:    vmv.v.i v8, 0
 156 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
 157 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 158 ; CHECK-NEXT:    ret
 159   %evec = call <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i1(<2 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 160   ret <2 x double> %evec
 161 }
 162
 163 declare <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i1(<4 x i1>, metadata, metadata)
 164 define <4 x half> @vsitofp_v4i1_v4f16(<4 x i1> %va) strictfp {
 165 ; CHECK-LABEL: vsitofp_v4i1_v4f16:
 166 ; CHECK:       # %bb.0:
 167 ; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, ma
 168 ; CHECK-NEXT:    vmv.v.i v8, 0
 169 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
 170 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 171 ; CHECK-NEXT:    ret
 172   %evec = call <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i1(<4 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 173   ret <4 x half> %evec
 174 }
 175
 176 declare <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i1(<4 x i1>, metadata, metadata)
 177 define <4 x half> @vuitofp_v4i1_v4f16(<4 x i1> %va) strictfp {
 178 ; CHECK-LABEL: vuitofp_v4i1_v4f16:
 179 ; CHECK:       # %bb.0:
 180 ; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, ma
 181 ; CHECK-NEXT:    vmv.v.i v8, 0
 182 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
 183 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 184 ; CHECK-NEXT:    ret
 185   %evec = call <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i1(<4 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 186   ret <4 x half> %evec
 187 }
 188
 189 declare <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i1(<4 x i1>, metadata, metadata)
 190 define <4 x float> @vsitofp_v4i1_v4f32(<4 x i1> %va) strictfp {
 191 ; CHECK-LABEL: vsitofp_v4i1_v4f32:
 192 ; CHECK:       # %bb.0:
 193 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 194 ; CHECK-NEXT:    vmv.v.i v8, 0
 195 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
 196 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 197 ; CHECK-NEXT:    ret
 198   %evec = call <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i1(<4 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 199   ret <4 x float> %evec
 200 }
 201
 202 declare <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i1(<4 x i1>, metadata, metadata)
 203 define <4 x float> @vuitofp_v4i1_v4f32(<4 x i1> %va) strictfp {
 204 ; CHECK-LABEL: vuitofp_v4i1_v4f32:
 205 ; CHECK:       # %bb.0:
 206 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 207 ; CHECK-NEXT:    vmv.v.i v8, 0
 208 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
 209 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 210 ; CHECK-NEXT:    ret
 211   %evec = call <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i1(<4 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 212   ret <4 x float> %evec
 213 }
 214
 215 declare <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i1(<4 x i1>, metadata, metadata)
 216 define <4 x double> @vsitofp_v4i1_v4f64(<4 x i1> %va) strictfp {
 217 ; CHECK-LABEL: vsitofp_v4i1_v4f64:
 218 ; CHECK:       # %bb.0:
 219 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 220 ; CHECK-NEXT:    vmv.v.i v8, 0
 221 ; CHECK-NEXT:    vmerge.vim v10, v8, -1, v0
 222 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v10
 223 ; CHECK-NEXT:    ret
 224   %evec = call <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i1(<4 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 225   ret <4 x double> %evec
 226 }
 227
 228 declare <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i1(<4 x i1>, metadata, metadata)
 229 define <4 x double> @vuitofp_v4i1_v4f64(<4 x i1> %va) strictfp {
 230 ; CHECK-LABEL: vuitofp_v4i1_v4f64:
 231 ; CHECK:       # %bb.0:
 232 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 233 ; CHECK-NEXT:    vmv.v.i v8, 0
 234 ; CHECK-NEXT:    vmerge.vim v10, v8, 1, v0
 235 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v10
 236 ; CHECK-NEXT:    ret
 237   %evec = call <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i1(<4 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 238   ret <4 x double> %evec
 239 }
 240
 241 declare <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i1(<8 x i1>, metadata, metadata)
 242 define <8 x half> @vsitofp_v8i1_v8f16(<8 x i1> %va) strictfp {
 243 ; CHECK-LABEL: vsitofp_v8i1_v8f16:
 244 ; CHECK:       # %bb.0:
 245 ; CHECK-NEXT:    vsetivli zero, 8, e8, mf2, ta, ma
 246 ; CHECK-NEXT:    vmv.v.i v8, 0
 247 ; CHECK-NEXT:    vmerge.vim v9, v8, -1, v0
 248 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 249 ; CHECK-NEXT:    ret
 250   %evec = call <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i1(<8 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 251   ret <8 x half> %evec
 252 }
 253
 254 declare <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i1(<8 x i1>, metadata, metadata)
 255 define <8 x half> @vuitofp_v8i1_v8f16(<8 x i1> %va) strictfp {
 256 ; CHECK-LABEL: vuitofp_v8i1_v8f16:
 257 ; CHECK:       # %bb.0:
 258 ; CHECK-NEXT:    vsetivli zero, 8, e8, mf2, ta, ma
 259 ; CHECK-NEXT:    vmv.v.i v8, 0
 260 ; CHECK-NEXT:    vmerge.vim v9, v8, 1, v0
 261 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 262 ; CHECK-NEXT:    ret
 263   %evec = call <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i1(<8 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 264   ret <8 x half> %evec
 265 }
 266
 267 declare <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i1(<8 x i1>, metadata, metadata)
 268 define <8 x float> @vsitofp_v8i1_v8f32(<8 x i1> %va) strictfp {
 269 ; CHECK-LABEL: vsitofp_v8i1_v8f32:
 270 ; CHECK:       # %bb.0:
 271 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
 272 ; CHECK-NEXT:    vmv.v.i v8, 0
 273 ; CHECK-NEXT:    vmerge.vim v10, v8, -1, v0
 274 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v10
 275 ; CHECK-NEXT:    ret
 276   %evec = call <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i1(<8 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 277   ret <8 x float> %evec
 278 }
 279
 280 declare <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i1(<8 x i1>, metadata, metadata)
 281 define <8 x float> @vuitofp_v8i1_v8f32(<8 x i1> %va) strictfp {
 282 ; CHECK-LABEL: vuitofp_v8i1_v8f32:
 283 ; CHECK:       # %bb.0:
 284 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
 285 ; CHECK-NEXT:    vmv.v.i v8, 0
 286 ; CHECK-NEXT:    vmerge.vim v10, v8, 1, v0
 287 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v10
 288 ; CHECK-NEXT:    ret
 289   %evec = call <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i1(<8 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 290   ret <8 x float> %evec
 291 }
 292
 293 declare <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i1(<8 x i1>, metadata, metadata)
 294 define <8 x double> @vsitofp_v8i1_v8f64(<8 x i1> %va) strictfp {
 295 ; CHECK-LABEL: vsitofp_v8i1_v8f64:
 296 ; CHECK:       # %bb.0:
 297 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
 298 ; CHECK-NEXT:    vmv.v.i v8, 0
 299 ; CHECK-NEXT:    vmerge.vim v12, v8, -1, v0
 300 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v12
 301 ; CHECK-NEXT:    ret
 302   %evec = call <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i1(<8 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 303   ret <8 x double> %evec
 304 }
 305
 306 declare <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i1(<8 x i1>, metadata, metadata)
 307 define <8 x double> @vuitofp_v8i1_v8f64(<8 x i1> %va) strictfp {
 308 ; CHECK-LABEL: vuitofp_v8i1_v8f64:
 309 ; CHECK:       # %bb.0:
 310 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
 311 ; CHECK-NEXT:    vmv.v.i v8, 0
 312 ; CHECK-NEXT:    vmerge.vim v12, v8, 1, v0
 313 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v12
 314 ; CHECK-NEXT:    ret
 315   %evec = call <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i1(<8 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 316   ret <8 x double> %evec
 317 }
 318
 319 declare <16 x half> @llvm.experimental.constrained.sitofp.v16f16.v16i1(<16 x i1>, metadata, metadata)
 320 define <16 x half> @vsitofp_v16i1_v16f16(<16 x i1> %va) strictfp {
 321 ; CHECK-LABEL: vsitofp_v16i1_v16f16:
 322 ; CHECK:       # %bb.0:
 323 ; CHECK-NEXT:    vsetivli zero, 16, e8, m1, ta, ma
 324 ; CHECK-NEXT:    vmv.v.i v8, 0
 325 ; CHECK-NEXT:    vmerge.vim v10, v8, -1, v0
 326 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v10
 327 ; CHECK-NEXT:    ret
 328   %evec = call <16 x half> @llvm.experimental.constrained.sitofp.v16f16.v16i1(<16 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 329   ret <16 x half> %evec
 330 }
 331
 332 declare <16 x half> @llvm.experimental.constrained.uitofp.v16f16.v16i1(<16 x i1>, metadata, metadata)
 333 define <16 x half> @vuitofp_v16i1_v16f16(<16 x i1> %va) strictfp {
 334 ; CHECK-LABEL: vuitofp_v16i1_v16f16:
 335 ; CHECK:       # %bb.0:
 336 ; CHECK-NEXT:    vsetivli zero, 16, e8, m1, ta, ma
 337 ; CHECK-NEXT:    vmv.v.i v8, 0
 338 ; CHECK-NEXT:    vmerge.vim v10, v8, 1, v0
 339 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v10
 340 ; CHECK-NEXT:    ret
 341   %evec = call <16 x half> @llvm.experimental.constrained.uitofp.v16f16.v16i1(<16 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 342   ret <16 x half> %evec
 343 }
 344
 345 declare <16 x float> @llvm.experimental.constrained.sitofp.v16f32.v16i1(<16 x i1>, metadata, metadata)
 346 define <16 x float> @vsitofp_v16i1_v16f32(<16 x i1> %va) strictfp {
 347 ; CHECK-LABEL: vsitofp_v16i1_v16f32:
 348 ; CHECK:       # %bb.0:
 349 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
 350 ; CHECK-NEXT:    vmv.v.i v8, 0
 351 ; CHECK-NEXT:    vmerge.vim v12, v8, -1, v0
 352 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v12
 353 ; CHECK-NEXT:    ret
 354   %evec = call <16 x float> @llvm.experimental.constrained.sitofp.v16f32.v16i1(<16 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 355   ret <16 x float> %evec
 356 }
 357
 358 declare <16 x float> @llvm.experimental.constrained.uitofp.v16f32.v16i1(<16 x i1>, metadata, metadata)
 359 define <16 x float> @vuitofp_v16i1_v16f32(<16 x i1> %va) strictfp {
 360 ; CHECK-LABEL: vuitofp_v16i1_v16f32:
 361 ; CHECK:       # %bb.0:
 362 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
 363 ; CHECK-NEXT:    vmv.v.i v8, 0
 364 ; CHECK-NEXT:    vmerge.vim v12, v8, 1, v0
 365 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v12
 366 ; CHECK-NEXT:    ret
 367   %evec = call <16 x float> @llvm.experimental.constrained.uitofp.v16f32.v16i1(<16 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 368   ret <16 x float> %evec
 369 }
 370
 371 declare <32 x half> @llvm.experimental.constrained.sitofp.v32f16.v32i1(<32 x i1>, metadata, metadata)
 372 define <32 x half> @vsitofp_v32i1_v32f16(<32 x i1> %va) strictfp {
 373 ; CHECK-LABEL: vsitofp_v32i1_v32f16:
 374 ; CHECK:       # %bb.0:
 375 ; CHECK-NEXT:    li a0, 32
 376 ; CHECK-NEXT:    vsetvli zero, a0, e8, m2, ta, ma
 377 ; CHECK-NEXT:    vmv.v.i v8, 0
 378 ; CHECK-NEXT:    vmerge.vim v12, v8, -1, v0
 379 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v12
 380 ; CHECK-NEXT:    ret
 381   %evec = call <32 x half> @llvm.experimental.constrained.sitofp.v32f16.v32i1(<32 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 382   ret <32 x half> %evec
 383 }
 384
 385 declare <32 x half> @llvm.experimental.constrained.uitofp.v32f16.v32i1(<32 x i1>, metadata, metadata)
 386 define <32 x half> @vuitofp_v32i1_v32f16(<32 x i1> %va) strictfp {
 387 ; CHECK-LABEL: vuitofp_v32i1_v32f16:
 388 ; CHECK:       # %bb.0:
 389 ; CHECK-NEXT:    li a0, 32
 390 ; CHECK-NEXT:    vsetvli zero, a0, e8, m2, ta, ma
 391 ; CHECK-NEXT:    vmv.v.i v8, 0
 392 ; CHECK-NEXT:    vmerge.vim v12, v8, 1, v0
 393 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v12
 394 ; CHECK-NEXT:    ret
 395   %evec = call <32 x half> @llvm.experimental.constrained.uitofp.v32f16.v32i1(<32 x i1> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 396   ret <32 x half> %evec
 397 }
 398
 399 declare <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i8(<1 x i8>, metadata, metadata)
 400 define <1 x half> @vsitofp_v1i8_v1f16(<1 x i8> %va) strictfp {
 401 ; CHECK-LABEL: vsitofp_v1i8_v1f16:
 402 ; CHECK:       # %bb.0:
 403 ; CHECK-NEXT:    vsetivli zero, 1, e8, mf8, ta, ma
 404 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
 405 ; CHECK-NEXT:    vmv1r.v v8, v9
 406 ; CHECK-NEXT:    ret
 407   %evec = call <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i8(<1 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 408   ret <1 x half> %evec
 409 }
 410
 411 declare <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i7(<1 x i7>, metadata, metadata)
 412 define <1 x half> @vsitofp_v1i7_v1f16(<1 x i7> %va) strictfp {
 413   %evec = call <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i7(<1 x i7> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 414   ret <1 x half> %evec
 415 }
 416
 417 declare <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i7(<1 x i7>, metadata, metadata)
 418 define <1 x half> @vuitofp_v1i7_v1f16(<1 x i7> %va) strictfp {
 419 ; CHECK-LABEL: vuitofp_v1i7_v1f16:
 420 ; CHECK:       # %bb.0:
 421 ; CHECK-NEXT:    addi sp, sp, -16
 422 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
 423 ; CHECK-NEXT:    andi a0, a0, 127
 424 ; CHECK-NEXT:    fcvt.h.wu fa5, a0
 425 ; CHECK-NEXT:    fsh fa5, 14(sp)
 426 ; CHECK-NEXT:    addi a0, sp, 14
 427 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
 428 ; CHECK-NEXT:    vle16.v v8, (a0)
 429 ; CHECK-NEXT:    addi sp, sp, 16
 430 ; CHECK-NEXT:    ret
 431   %evec = call <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i7(<1 x i7> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 432   ret <1 x half> %evec
 433 }
 434
 435 declare <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i8(<1 x i8>, metadata, metadata)
 436 define <1 x half> @vuitofp_v1i8_v1f16(<1 x i8> %va) strictfp {
 437 ; CHECK-LABEL: vuitofp_v1i8_v1f16:
 438 ; CHECK:       # %bb.0:
 439 ; CHECK-NEXT:    vsetivli zero, 1, e8, mf8, ta, ma
 440 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
 441 ; CHECK-NEXT:    vmv1r.v v8, v9
 442 ; CHECK-NEXT:    ret
 443   %evec = call <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i8(<1 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 444   ret <1 x half> %evec
 445 }
 446
 447 declare <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i8(<1 x i8>, metadata, metadata)
 448 define <1 x float> @vsitofp_v1i8_v1f32(<1 x i8> %va) strictfp {
 449 ; CHECK-LABEL: vsitofp_v1i8_v1f32:
 450 ; CHECK:       # %bb.0:
 451 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
 452 ; CHECK-NEXT:    vsext.vf2 v9, v8
 453 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 454 ; CHECK-NEXT:    ret
 455   %evec = call <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i8(<1 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 456   ret <1 x float> %evec
 457 }
 458
 459 declare <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i8(<1 x i8>, metadata, metadata)
 460 define <1 x float> @vuitofp_v1i8_v1f32(<1 x i8> %va) strictfp {
 461 ; CHECK-LABEL: vuitofp_v1i8_v1f32:
 462 ; CHECK:       # %bb.0:
 463 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
 464 ; CHECK-NEXT:    vzext.vf2 v9, v8
 465 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 466 ; CHECK-NEXT:    ret
 467   %evec = call <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i8(<1 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 468   ret <1 x float> %evec
 469 }
 470
 471 declare <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i8(<1 x i8>, metadata, metadata)
 472 define <1 x double> @vsitofp_v1i8_v1f64(<1 x i8> %va) strictfp {
 473 ; CHECK-LABEL: vsitofp_v1i8_v1f64:
 474 ; CHECK:       # %bb.0:
 475 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
 476 ; CHECK-NEXT:    vsext.vf4 v9, v8
 477 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 478 ; CHECK-NEXT:    ret
 479   %evec = call <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i8(<1 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 480   ret <1 x double> %evec
 481 }
 482
 483 declare <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i8(<1 x i8>, metadata, metadata)
 484 define <1 x double> @vuitofp_v1i8_v1f64(<1 x i8> %va) strictfp {
 485 ; CHECK-LABEL: vuitofp_v1i8_v1f64:
 486 ; CHECK:       # %bb.0:
 487 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
 488 ; CHECK-NEXT:    vzext.vf4 v9, v8
 489 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 490 ; CHECK-NEXT:    ret
 491   %evec = call <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i8(<1 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 492   ret <1 x double> %evec
 493 }
 494
 495 declare <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i8(<2 x i8>, metadata, metadata)
 496 define <2 x half> @vsitofp_v2i8_v2f16(<2 x i8> %va) strictfp {
 497 ; CHECK-LABEL: vsitofp_v2i8_v2f16:
 498 ; CHECK:       # %bb.0:
 499 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
 500 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
 501 ; CHECK-NEXT:    vmv1r.v v8, v9
 502 ; CHECK-NEXT:    ret
 503   %evec = call <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i8(<2 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 504   ret <2 x half> %evec
 505 }
 506
 507 declare <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i8(<2 x i8>, metadata, metadata)
 508 define <2 x half> @vuitofp_v2i8_v2f16(<2 x i8> %va) strictfp {
 509 ; CHECK-LABEL: vuitofp_v2i8_v2f16:
 510 ; CHECK:       # %bb.0:
 511 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
 512 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
 513 ; CHECK-NEXT:    vmv1r.v v8, v9
 514 ; CHECK-NEXT:    ret
 515   %evec = call <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i8(<2 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 516   ret <2 x half> %evec
 517 }
 518
 519 declare <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i8(<2 x i8>, metadata, metadata)
 520 define <2 x float> @vsitofp_v2i8_v2f32(<2 x i8> %va) strictfp {
 521 ; CHECK-LABEL: vsitofp_v2i8_v2f32:
 522 ; CHECK:       # %bb.0:
 523 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 524 ; CHECK-NEXT:    vsext.vf2 v9, v8
 525 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 526 ; CHECK-NEXT:    ret
 527   %evec = call <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i8(<2 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 528   ret <2 x float> %evec
 529 }
 530
 531 declare <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i8(<2 x i8>, metadata, metadata)
 532 define <2 x float> @vuitofp_v2i8_v2f32(<2 x i8> %va) strictfp {
 533 ; CHECK-LABEL: vuitofp_v2i8_v2f32:
 534 ; CHECK:       # %bb.0:
 535 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 536 ; CHECK-NEXT:    vzext.vf2 v9, v8
 537 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 538 ; CHECK-NEXT:    ret
 539   %evec = call <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i8(<2 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 540   ret <2 x float> %evec
 541 }
 542
 543 declare <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i8(<2 x i8>, metadata, metadata)
 544 define <2 x double> @vsitofp_v2i8_v2f64(<2 x i8> %va) strictfp {
 545 ; CHECK-LABEL: vsitofp_v2i8_v2f64:
 546 ; CHECK:       # %bb.0:
 547 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 548 ; CHECK-NEXT:    vsext.vf4 v9, v8
 549 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 550 ; CHECK-NEXT:    ret
 551   %evec = call <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i8(<2 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 552   ret <2 x double> %evec
 553 }
 554
 555 declare <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i8(<2 x i8>, metadata, metadata)
 556 define <2 x double> @vuitofp_v2i8_v2f64(<2 x i8> %va) strictfp {
 557 ; CHECK-LABEL: vuitofp_v2i8_v2f64:
 558 ; CHECK:       # %bb.0:
 559 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 560 ; CHECK-NEXT:    vzext.vf4 v9, v8
 561 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 562 ; CHECK-NEXT:    ret
 563   %evec = call <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i8(<2 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 564   ret <2 x double> %evec
 565 }
 566
 567 declare <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i8(<4 x i8>, metadata, metadata)
 568 define <4 x half> @vsitofp_v4i8_v4f16(<4 x i8> %va) strictfp {
 569 ; CHECK-LABEL: vsitofp_v4i8_v4f16:
 570 ; CHECK:       # %bb.0:
 571 ; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, ma
 572 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
 573 ; CHECK-NEXT:    vmv1r.v v8, v9
 574 ; CHECK-NEXT:    ret
 575   %evec = call <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i8(<4 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 576   ret <4 x half> %evec
 577 }
 578
 579 declare <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i8(<4 x i8>, metadata, metadata)
 580 define <4 x half> @vuitofp_v4i8_v4f16(<4 x i8> %va) strictfp {
 581 ; CHECK-LABEL: vuitofp_v4i8_v4f16:
 582 ; CHECK:       # %bb.0:
 583 ; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, ma
 584 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
 585 ; CHECK-NEXT:    vmv1r.v v8, v9
 586 ; CHECK-NEXT:    ret
 587   %evec = call <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i8(<4 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 588   ret <4 x half> %evec
 589 }
 590
 591 declare <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i8(<4 x i8>, metadata, metadata)
 592 define <4 x float> @vsitofp_v4i8_v4f32(<4 x i8> %va) strictfp {
 593 ; CHECK-LABEL: vsitofp_v4i8_v4f32:
 594 ; CHECK:       # %bb.0:
 595 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 596 ; CHECK-NEXT:    vsext.vf2 v9, v8
 597 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 598 ; CHECK-NEXT:    ret
 599   %evec = call <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i8(<4 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 600   ret <4 x float> %evec
 601 }
 602
 603 declare <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i8(<4 x i8>, metadata, metadata)
 604 define <4 x float> @vuitofp_v4i8_v4f32(<4 x i8> %va) strictfp {
 605 ; CHECK-LABEL: vuitofp_v4i8_v4f32:
 606 ; CHECK:       # %bb.0:
 607 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 608 ; CHECK-NEXT:    vzext.vf2 v9, v8
 609 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 610 ; CHECK-NEXT:    ret
 611   %evec = call <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i8(<4 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 612   ret <4 x float> %evec
 613 }
 614
 615 declare <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i8(<4 x i8>, metadata, metadata)
 616 define <4 x double> @vsitofp_v4i8_v4f64(<4 x i8> %va) strictfp {
 617 ; CHECK-LABEL: vsitofp_v4i8_v4f64:
 618 ; CHECK:       # %bb.0:
 619 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 620 ; CHECK-NEXT:    vsext.vf4 v10, v8
 621 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v10
 622 ; CHECK-NEXT:    ret
 623   %evec = call <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i8(<4 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 624   ret <4 x double> %evec
 625 }
 626
 627 declare <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i8(<4 x i8>, metadata, metadata)
 628 define <4 x double> @vuitofp_v4i8_v4f64(<4 x i8> %va) strictfp {
 629 ; CHECK-LABEL: vuitofp_v4i8_v4f64:
 630 ; CHECK:       # %bb.0:
 631 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 632 ; CHECK-NEXT:    vzext.vf4 v10, v8
 633 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v10
 634 ; CHECK-NEXT:    ret
 635   %evec = call <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i8(<4 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 636   ret <4 x double> %evec
 637 }
 638
 639 declare <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i8(<8 x i8>, metadata, metadata)
 640 define <8 x half> @vsitofp_v8i8_v8f16(<8 x i8> %va) strictfp {
 641 ; CHECK-LABEL: vsitofp_v8i8_v8f16:
 642 ; CHECK:       # %bb.0:
 643 ; CHECK-NEXT:    vsetivli zero, 8, e8, mf2, ta, ma
 644 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
 645 ; CHECK-NEXT:    vmv1r.v v8, v9
 646 ; CHECK-NEXT:    ret
 647   %evec = call <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i8(<8 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 648   ret <8 x half> %evec
 649 }
 650
 651 declare <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i8(<8 x i8>, metadata, metadata)
 652 define <8 x half> @vuitofp_v8i8_v8f16(<8 x i8> %va) strictfp {
 653 ; CHECK-LABEL: vuitofp_v8i8_v8f16:
 654 ; CHECK:       # %bb.0:
 655 ; CHECK-NEXT:    vsetivli zero, 8, e8, mf2, ta, ma
 656 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
 657 ; CHECK-NEXT:    vmv1r.v v8, v9
 658 ; CHECK-NEXT:    ret
 659   %evec = call <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i8(<8 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 660   ret <8 x half> %evec
 661 }
 662
 663 declare <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i8(<8 x i8>, metadata, metadata)
 664 define <8 x float> @vsitofp_v8i8_v8f32(<8 x i8> %va) strictfp {
 665 ; CHECK-LABEL: vsitofp_v8i8_v8f32:
 666 ; CHECK:       # %bb.0:
 667 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
 668 ; CHECK-NEXT:    vsext.vf2 v10, v8
 669 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v10
 670 ; CHECK-NEXT:    ret
 671   %evec = call <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i8(<8 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 672   ret <8 x float> %evec
 673 }
 674
 675 declare <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i8(<8 x i8>, metadata, metadata)
 676 define <8 x float> @vuitofp_v8i8_v8f32(<8 x i8> %va) strictfp {
 677 ; CHECK-LABEL: vuitofp_v8i8_v8f32:
 678 ; CHECK:       # %bb.0:
 679 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
 680 ; CHECK-NEXT:    vzext.vf2 v10, v8
 681 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v10
 682 ; CHECK-NEXT:    ret
 683   %evec = call <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i8(<8 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 684   ret <8 x float> %evec
 685 }
 686
 687 declare <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i8(<8 x i8>, metadata, metadata)
 688 define <8 x double> @vsitofp_v8i8_v8f64(<8 x i8> %va) strictfp {
 689 ; CHECK-LABEL: vsitofp_v8i8_v8f64:
 690 ; CHECK:       # %bb.0:
 691 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
 692 ; CHECK-NEXT:    vsext.vf4 v12, v8
 693 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v12
 694 ; CHECK-NEXT:    ret
 695   %evec = call <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i8(<8 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 696   ret <8 x double> %evec
 697 }
 698
 699 declare <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i8(<8 x i8>, metadata, metadata)
 700 define <8 x double> @vuitofp_v8i8_v8f64(<8 x i8> %va) strictfp {
 701 ; CHECK-LABEL: vuitofp_v8i8_v8f64:
 702 ; CHECK:       # %bb.0:
 703 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
 704 ; CHECK-NEXT:    vzext.vf4 v12, v8
 705 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v12
 706 ; CHECK-NEXT:    ret
 707   %evec = call <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i8(<8 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 708   ret <8 x double> %evec
 709 }
 710
 711 declare <16 x half> @llvm.experimental.constrained.sitofp.v16f16.v16i8(<16 x i8>, metadata, metadata)
 712 define <16 x half> @vsitofp_v16i8_v16f16(<16 x i8> %va) strictfp {
 713 ; CHECK-LABEL: vsitofp_v16i8_v16f16:
 714 ; CHECK:       # %bb.0:
 715 ; CHECK-NEXT:    vsetivli zero, 16, e8, m1, ta, ma
 716 ; CHECK-NEXT:    vfwcvt.f.x.v v10, v8
 717 ; CHECK-NEXT:    vmv2r.v v8, v10
 718 ; CHECK-NEXT:    ret
 719   %evec = call <16 x half> @llvm.experimental.constrained.sitofp.v16f16.v16i8(<16 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 720   ret <16 x half> %evec
 721 }
 722
 723 declare <16 x half> @llvm.experimental.constrained.uitofp.v16f16.v16i8(<16 x i8>, metadata, metadata)
 724 define <16 x half> @vuitofp_v16i8_v16f16(<16 x i8> %va) strictfp {
 725 ; CHECK-LABEL: vuitofp_v16i8_v16f16:
 726 ; CHECK:       # %bb.0:
 727 ; CHECK-NEXT:    vsetivli zero, 16, e8, m1, ta, ma
 728 ; CHECK-NEXT:    vfwcvt.f.xu.v v10, v8
 729 ; CHECK-NEXT:    vmv2r.v v8, v10
 730 ; CHECK-NEXT:    ret
 731   %evec = call <16 x half> @llvm.experimental.constrained.uitofp.v16f16.v16i8(<16 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 732   ret <16 x half> %evec
 733 }
 734
 735 declare <16 x float> @llvm.experimental.constrained.sitofp.v16f32.v16i8(<16 x i8>, metadata, metadata)
 736 define <16 x float> @vsitofp_v16i8_v16f32(<16 x i8> %va) strictfp {
 737 ; CHECK-LABEL: vsitofp_v16i8_v16f32:
 738 ; CHECK:       # %bb.0:
 739 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
 740 ; CHECK-NEXT:    vsext.vf2 v12, v8
 741 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v12
 742 ; CHECK-NEXT:    ret
 743   %evec = call <16 x float> @llvm.experimental.constrained.sitofp.v16f32.v16i8(<16 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 744   ret <16 x float> %evec
 745 }
 746
 747 declare <16 x float> @llvm.experimental.constrained.uitofp.v16f32.v16i8(<16 x i8>, metadata, metadata)
 748 define <16 x float> @vuitofp_v16i8_v16f32(<16 x i8> %va) strictfp {
 749 ; CHECK-LABEL: vuitofp_v16i8_v16f32:
 750 ; CHECK:       # %bb.0:
 751 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
 752 ; CHECK-NEXT:    vzext.vf2 v12, v8
 753 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v12
 754 ; CHECK-NEXT:    ret
 755   %evec = call <16 x float> @llvm.experimental.constrained.uitofp.v16f32.v16i8(<16 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 756   ret <16 x float> %evec
 757 }
 758
 759 declare <32 x half> @llvm.experimental.constrained.sitofp.v32f16.v32i8(<32 x i8>, metadata, metadata)
 760 define <32 x half> @vsitofp_v32i8_v32f16(<32 x i8> %va) strictfp {
 761 ; CHECK-LABEL: vsitofp_v32i8_v32f16:
 762 ; CHECK:       # %bb.0:
 763 ; CHECK-NEXT:    li a0, 32
 764 ; CHECK-NEXT:    vsetvli zero, a0, e8, m2, ta, ma
 765 ; CHECK-NEXT:    vfwcvt.f.x.v v12, v8
 766 ; CHECK-NEXT:    vmv4r.v v8, v12
 767 ; CHECK-NEXT:    ret
 768   %evec = call <32 x half> @llvm.experimental.constrained.sitofp.v32f16.v32i8(<32 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 769   ret <32 x half> %evec
 770 }
 771
 772 declare <32 x half> @llvm.experimental.constrained.uitofp.v32f16.v32i8(<32 x i8>, metadata, metadata)
 773 define <32 x half> @vuitofp_v32i8_v32f16(<32 x i8> %va) strictfp {
 774 ; CHECK-LABEL: vuitofp_v32i8_v32f16:
 775 ; CHECK:       # %bb.0:
 776 ; CHECK-NEXT:    li a0, 32
 777 ; CHECK-NEXT:    vsetvli zero, a0, e8, m2, ta, ma
 778 ; CHECK-NEXT:    vfwcvt.f.xu.v v12, v8
 779 ; CHECK-NEXT:    vmv4r.v v8, v12
 780 ; CHECK-NEXT:    ret
 781   %evec = call <32 x half> @llvm.experimental.constrained.uitofp.v32f16.v32i8(<32 x i8> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 782   ret <32 x half> %evec
 783 }
 784
 785 declare <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i16(<1 x i16>, metadata, metadata)
 786 define <1 x half> @vsitofp_v1i16_v1f16(<1 x i16> %va) strictfp {
 787 ; CHECK-LABEL: vsitofp_v1i16_v1f16:
 788 ; CHECK:       # %bb.0:
 789 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
 790 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
 791 ; CHECK-NEXT:    ret
 792   %evec = call <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i16(<1 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 793   ret <1 x half> %evec
 794 }
 795
 796 declare <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i16(<1 x i16>, metadata, metadata)
 797 define <1 x half> @vuitofp_v1i16_v1f16(<1 x i16> %va) strictfp {
 798 ; CHECK-LABEL: vuitofp_v1i16_v1f16:
 799 ; CHECK:       # %bb.0:
 800 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
 801 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
 802 ; CHECK-NEXT:    ret
 803   %evec = call <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i16(<1 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 804   ret <1 x half> %evec
 805 }
 806
 807 declare <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i16(<1 x i16>, metadata, metadata)
 808 define <1 x float> @vsitofp_v1i16_v1f32(<1 x i16> %va) strictfp {
 809 ; CHECK-LABEL: vsitofp_v1i16_v1f32:
 810 ; CHECK:       # %bb.0:
 811 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
 812 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
 813 ; CHECK-NEXT:    vmv1r.v v8, v9
 814 ; CHECK-NEXT:    ret
 815   %evec = call <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i16(<1 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 816   ret <1 x float> %evec
 817 }
 818
 819 declare <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i16(<1 x i16>, metadata, metadata)
 820 define <1 x float> @vuitofp_v1i16_v1f32(<1 x i16> %va) strictfp {
 821 ; CHECK-LABEL: vuitofp_v1i16_v1f32:
 822 ; CHECK:       # %bb.0:
 823 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
 824 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
 825 ; CHECK-NEXT:    vmv1r.v v8, v9
 826 ; CHECK-NEXT:    ret
 827   %evec = call <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i16(<1 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 828   ret <1 x float> %evec
 829 }
 830
 831 declare <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i16(<1 x i16>, metadata, metadata)
 832 define <1 x double> @vsitofp_v1i16_v1f64(<1 x i16> %va) strictfp {
 833 ; CHECK-LABEL: vsitofp_v1i16_v1f64:
 834 ; CHECK:       # %bb.0:
 835 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
 836 ; CHECK-NEXT:    vsext.vf2 v9, v8
 837 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 838 ; CHECK-NEXT:    ret
 839   %evec = call <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i16(<1 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 840   ret <1 x double> %evec
 841 }
 842
 843 declare <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i16(<1 x i16>, metadata, metadata)
 844 define <1 x double> @vuitofp_v1i16_v1f64(<1 x i16> %va) strictfp {
 845 ; CHECK-LABEL: vuitofp_v1i16_v1f64:
 846 ; CHECK:       # %bb.0:
 847 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
 848 ; CHECK-NEXT:    vzext.vf2 v9, v8
 849 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 850 ; CHECK-NEXT:    ret
 851   %evec = call <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i16(<1 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 852   ret <1 x double> %evec
 853 }
 854
 855 declare <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i16(<2 x i16>, metadata, metadata)
 856 define <2 x half> @vsitofp_v2i16_v2f16(<2 x i16> %va) strictfp {
 857 ; CHECK-LABEL: vsitofp_v2i16_v2f16:
 858 ; CHECK:       # %bb.0:
 859 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 860 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
 861 ; CHECK-NEXT:    ret
 862   %evec = call <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i16(<2 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 863   ret <2 x half> %evec
 864 }
 865
 866 declare <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i16(<2 x i16>, metadata, metadata)
 867 define <2 x half> @vuitofp_v2i16_v2f16(<2 x i16> %va) strictfp {
 868 ; CHECK-LABEL: vuitofp_v2i16_v2f16:
 869 ; CHECK:       # %bb.0:
 870 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 871 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
 872 ; CHECK-NEXT:    ret
 873   %evec = call <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i16(<2 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 874   ret <2 x half> %evec
 875 }
 876
 877 declare <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i16(<2 x i16>, metadata, metadata)
 878 define <2 x float> @vsitofp_v2i16_v2f32(<2 x i16> %va) strictfp {
 879 ; CHECK-LABEL: vsitofp_v2i16_v2f32:
 880 ; CHECK:       # %bb.0:
 881 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 882 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
 883 ; CHECK-NEXT:    vmv1r.v v8, v9
 884 ; CHECK-NEXT:    ret
 885   %evec = call <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i16(<2 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 886   ret <2 x float> %evec
 887 }
 888
 889 declare <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i16(<2 x i16>, metadata, metadata)
 890 define <2 x float> @vuitofp_v2i16_v2f32(<2 x i16> %va) strictfp {
 891 ; CHECK-LABEL: vuitofp_v2i16_v2f32:
 892 ; CHECK:       # %bb.0:
 893 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 894 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
 895 ; CHECK-NEXT:    vmv1r.v v8, v9
 896 ; CHECK-NEXT:    ret
 897   %evec = call <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i16(<2 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 898   ret <2 x float> %evec
 899 }
 900
 901 declare <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i16(<2 x i16>, metadata, metadata)
 902 define <2 x double> @vsitofp_v2i16_v2f64(<2 x i16> %va) strictfp {
 903 ; CHECK-LABEL: vsitofp_v2i16_v2f64:
 904 ; CHECK:       # %bb.0:
 905 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 906 ; CHECK-NEXT:    vsext.vf2 v9, v8
 907 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v9
 908 ; CHECK-NEXT:    ret
 909   %evec = call <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i16(<2 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 910   ret <2 x double> %evec
 911 }
 912
 913 declare <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i16(<2 x i16>, metadata, metadata)
 914 define <2 x double> @vuitofp_v2i16_v2f64(<2 x i16> %va) strictfp {
 915 ; CHECK-LABEL: vuitofp_v2i16_v2f64:
 916 ; CHECK:       # %bb.0:
 917 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 918 ; CHECK-NEXT:    vzext.vf2 v9, v8
 919 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v9
 920 ; CHECK-NEXT:    ret
 921   %evec = call <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i16(<2 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 922   ret <2 x double> %evec
 923 }
 924
 925 declare <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i16(<4 x i16>, metadata, metadata)
 926 define <4 x half> @vsitofp_v4i16_v4f16(<4 x i16> %va) strictfp {
 927 ; CHECK-LABEL: vsitofp_v4i16_v4f16:
 928 ; CHECK:       # %bb.0:
 929 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 930 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
 931 ; CHECK-NEXT:    ret
 932   %evec = call <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i16(<4 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 933   ret <4 x half> %evec
 934 }
 935
 936 declare <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i16(<4 x i16>, metadata, metadata)
 937 define <4 x half> @vuitofp_v4i16_v4f16(<4 x i16> %va) strictfp {
 938 ; CHECK-LABEL: vuitofp_v4i16_v4f16:
 939 ; CHECK:       # %bb.0:
 940 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 941 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
 942 ; CHECK-NEXT:    ret
 943   %evec = call <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i16(<4 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 944   ret <4 x half> %evec
 945 }
 946
 947 declare <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i16(<4 x i16>, metadata, metadata)
 948 define <4 x float> @vsitofp_v4i16_v4f32(<4 x i16> %va) strictfp {
 949 ; CHECK-LABEL: vsitofp_v4i16_v4f32:
 950 ; CHECK:       # %bb.0:
 951 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 952 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
 953 ; CHECK-NEXT:    vmv1r.v v8, v9
 954 ; CHECK-NEXT:    ret
 955   %evec = call <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i16(<4 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 956   ret <4 x float> %evec
 957 }
 958
 959 declare <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i16(<4 x i16>, metadata, metadata)
 960 define <4 x float> @vuitofp_v4i16_v4f32(<4 x i16> %va) strictfp {
 961 ; CHECK-LABEL: vuitofp_v4i16_v4f32:
 962 ; CHECK:       # %bb.0:
 963 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 964 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
 965 ; CHECK-NEXT:    vmv1r.v v8, v9
 966 ; CHECK-NEXT:    ret
 967   %evec = call <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i16(<4 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 968   ret <4 x float> %evec
 969 }
 970
 971 declare <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i16(<4 x i16>, metadata, metadata)
 972 define <4 x double> @vsitofp_v4i16_v4f64(<4 x i16> %va) strictfp {
 973 ; CHECK-LABEL: vsitofp_v4i16_v4f64:
 974 ; CHECK:       # %bb.0:
 975 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 976 ; CHECK-NEXT:    vsext.vf2 v10, v8
 977 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v10
 978 ; CHECK-NEXT:    ret
 979   %evec = call <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i16(<4 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 980   ret <4 x double> %evec
 981 }
 982
 983 declare <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i16(<4 x i16>, metadata, metadata)
 984 define <4 x double> @vuitofp_v4i16_v4f64(<4 x i16> %va) strictfp {
 985 ; CHECK-LABEL: vuitofp_v4i16_v4f64:
 986 ; CHECK:       # %bb.0:
 987 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 988 ; CHECK-NEXT:    vzext.vf2 v10, v8
 989 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v10
 990 ; CHECK-NEXT:    ret
 991   %evec = call <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i16(<4 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 992   ret <4 x double> %evec
 993 }
 994
 995 declare <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i16(<8 x i16>, metadata, metadata)
 996 define <8 x half> @vsitofp_v8i16_v8f16(<8 x i16> %va) strictfp {
 997 ; CHECK-LABEL: vsitofp_v8i16_v8f16:
 998 ; CHECK:       # %bb.0:
 999 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
1000 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1001 ; CHECK-NEXT:    ret
1002   %evec = call <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i16(<8 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1003   ret <8 x half> %evec
1004 }
1005
1006 declare <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i16(<8 x i16>, metadata, metadata)
1007 define <8 x half> @vuitofp_v8i16_v8f16(<8 x i16> %va) strictfp {
1008 ; CHECK-LABEL: vuitofp_v8i16_v8f16:
1009 ; CHECK:       # %bb.0:
1010 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
1011 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1012 ; CHECK-NEXT:    ret
1013   %evec = call <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i16(<8 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1014   ret <8 x half> %evec
1015 }
1016
1017 declare <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i16(<8 x i16>, metadata, metadata)
1018 define <8 x float> @vsitofp_v8i16_v8f32(<8 x i16> %va) strictfp {
1019 ; CHECK-LABEL: vsitofp_v8i16_v8f32:
1020 ; CHECK:       # %bb.0:
1021 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
1022 ; CHECK-NEXT:    vfwcvt.f.x.v v10, v8
1023 ; CHECK-NEXT:    vmv2r.v v8, v10
1024 ; CHECK-NEXT:    ret
1025   %evec = call <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i16(<8 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1026   ret <8 x float> %evec
1027 }
1028
1029 declare <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i16(<8 x i16>, metadata, metadata)
1030 define <8 x float> @vuitofp_v8i16_v8f32(<8 x i16> %va) strictfp {
1031 ; CHECK-LABEL: vuitofp_v8i16_v8f32:
1032 ; CHECK:       # %bb.0:
1033 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
1034 ; CHECK-NEXT:    vfwcvt.f.xu.v v10, v8
1035 ; CHECK-NEXT:    vmv2r.v v8, v10
1036 ; CHECK-NEXT:    ret
1037   %evec = call <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i16(<8 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1038   ret <8 x float> %evec
1039 }
1040
1041 declare <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i16(<8 x i16>, metadata, metadata)
1042 define <8 x double> @vsitofp_v8i16_v8f64(<8 x i16> %va) strictfp {
1043 ; CHECK-LABEL: vsitofp_v8i16_v8f64:
1044 ; CHECK:       # %bb.0:
1045 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1046 ; CHECK-NEXT:    vsext.vf2 v12, v8
1047 ; CHECK-NEXT:    vfwcvt.f.x.v v8, v12
1048 ; CHECK-NEXT:    ret
1049   %evec = call <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i16(<8 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1050   ret <8 x double> %evec
1051 }
1052
1053 declare <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i16(<8 x i16>, metadata, metadata)
1054 define <8 x double> @vuitofp_v8i16_v8f64(<8 x i16> %va) strictfp {
1055 ; CHECK-LABEL: vuitofp_v8i16_v8f64:
1056 ; CHECK:       # %bb.0:
1057 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1058 ; CHECK-NEXT:    vzext.vf2 v12, v8
1059 ; CHECK-NEXT:    vfwcvt.f.xu.v v8, v12
1060 ; CHECK-NEXT:    ret
1061   %evec = call <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i16(<8 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1062   ret <8 x double> %evec
1063 }
1064
1065 declare <16 x half> @llvm.experimental.constrained.sitofp.v16f16.v16i16(<16 x i16>, metadata, metadata)
1066 define <16 x half> @vsitofp_v16i16_v16f16(<16 x i16> %va) strictfp {
1067 ; CHECK-LABEL: vsitofp_v16i16_v16f16:
1068 ; CHECK:       # %bb.0:
1069 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
1070 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1071 ; CHECK-NEXT:    ret
1072   %evec = call <16 x half> @llvm.experimental.constrained.sitofp.v16f16.v16i16(<16 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1073   ret <16 x half> %evec
1074 }
1075
1076 declare <16 x half> @llvm.experimental.constrained.uitofp.v16f16.v16i16(<16 x i16>, metadata, metadata)
1077 define <16 x half> @vuitofp_v16i16_v16f16(<16 x i16> %va) strictfp {
1078 ; CHECK-LABEL: vuitofp_v16i16_v16f16:
1079 ; CHECK:       # %bb.0:
1080 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
1081 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1082 ; CHECK-NEXT:    ret
1083   %evec = call <16 x half> @llvm.experimental.constrained.uitofp.v16f16.v16i16(<16 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1084   ret <16 x half> %evec
1085 }
1086
1087 declare <16 x float> @llvm.experimental.constrained.sitofp.v16f32.v16i16(<16 x i16>, metadata, metadata)
1088 define <16 x float> @vsitofp_v16i16_v16f32(<16 x i16> %va) strictfp {
1089 ; CHECK-LABEL: vsitofp_v16i16_v16f32:
1090 ; CHECK:       # %bb.0:
1091 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
1092 ; CHECK-NEXT:    vfwcvt.f.x.v v12, v8
1093 ; CHECK-NEXT:    vmv4r.v v8, v12
1094 ; CHECK-NEXT:    ret
1095   %evec = call <16 x float> @llvm.experimental.constrained.sitofp.v16f32.v16i16(<16 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1096   ret <16 x float> %evec
1097 }
1098
1099 declare <16 x float> @llvm.experimental.constrained.uitofp.v16f32.v16i16(<16 x i16>, metadata, metadata)
1100 define <16 x float> @vuitofp_v16i16_v16f32(<16 x i16> %va) strictfp {
1101 ; CHECK-LABEL: vuitofp_v16i16_v16f32:
1102 ; CHECK:       # %bb.0:
1103 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
1104 ; CHECK-NEXT:    vfwcvt.f.xu.v v12, v8
1105 ; CHECK-NEXT:    vmv4r.v v8, v12
1106 ; CHECK-NEXT:    ret
1107   %evec = call <16 x float> @llvm.experimental.constrained.uitofp.v16f32.v16i16(<16 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1108   ret <16 x float> %evec
1109 }
1110
1111 declare <32 x half> @llvm.experimental.constrained.sitofp.v32f16.v32i16(<32 x i16>, metadata, metadata)
1112 define <32 x half> @vsitofp_v32i16_v32f16(<32 x i16> %va) strictfp {
1113 ; CHECK-LABEL: vsitofp_v32i16_v32f16:
1114 ; CHECK:       # %bb.0:
1115 ; CHECK-NEXT:    li a0, 32
1116 ; CHECK-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
1117 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1118 ; CHECK-NEXT:    ret
1119   %evec = call <32 x half> @llvm.experimental.constrained.sitofp.v32f16.v32i16(<32 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1120   ret <32 x half> %evec
1121 }
1122
1123 declare <32 x half> @llvm.experimental.constrained.uitofp.v32f16.v32i16(<32 x i16>, metadata, metadata)
1124 define <32 x half> @vuitofp_v32i16_v32f16(<32 x i16> %va) strictfp {
1125 ; CHECK-LABEL: vuitofp_v32i16_v32f16:
1126 ; CHECK:       # %bb.0:
1127 ; CHECK-NEXT:    li a0, 32
1128 ; CHECK-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
1129 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1130 ; CHECK-NEXT:    ret
1131   %evec = call <32 x half> @llvm.experimental.constrained.uitofp.v32f16.v32i16(<32 x i16> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1132   ret <32 x half> %evec
1133 }
1134
1135 declare <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i32(<1 x i32>, metadata, metadata)
1136 define <1 x half> @vsitofp_v1i32_v1f16(<1 x i32> %va) strictfp {
1137 ; CHECK-LABEL: vsitofp_v1i32_v1f16:
1138 ; CHECK:       # %bb.0:
1139 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
1140 ; CHECK-NEXT:    vfncvt.f.x.w v9, v8
1141 ; CHECK-NEXT:    vmv1r.v v8, v9
1142 ; CHECK-NEXT:    ret
1143   %evec = call <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i32(<1 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1144   ret <1 x half> %evec
1145 }
1146
1147 declare <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i32(<1 x i32>, metadata, metadata)
1148 define <1 x half> @vuitofp_v1i32_v1f16(<1 x i32> %va) strictfp {
1149 ; CHECK-LABEL: vuitofp_v1i32_v1f16:
1150 ; CHECK:       # %bb.0:
1151 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
1152 ; CHECK-NEXT:    vfncvt.f.xu.w v9, v8
1153 ; CHECK-NEXT:    vmv1r.v v8, v9
1154 ; CHECK-NEXT:    ret
1155   %evec = call <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i32(<1 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1156   ret <1 x half> %evec
1157 }
1158
1159 declare <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i32(<1 x i32>, metadata, metadata)
1160 define <1 x float> @vsitofp_v1i32_v1f32(<1 x i32> %va) strictfp {
1161 ; CHECK-LABEL: vsitofp_v1i32_v1f32:
1162 ; CHECK:       # %bb.0:
1163 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
1164 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1165 ; CHECK-NEXT:    ret
1166   %evec = call <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i32(<1 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1167   ret <1 x float> %evec
1168 }
1169
1170 declare <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i32(<1 x i32>, metadata, metadata)
1171 define <1 x float> @vuitofp_v1i32_v1f32(<1 x i32> %va) strictfp {
1172 ; CHECK-LABEL: vuitofp_v1i32_v1f32:
1173 ; CHECK:       # %bb.0:
1174 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
1175 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1176 ; CHECK-NEXT:    ret
1177   %evec = call <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i32(<1 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1178   ret <1 x float> %evec
1179 }
1180
1181 declare <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i32(<1 x i32>, metadata, metadata)
1182 define <1 x double> @vsitofp_v1i32_v1f64(<1 x i32> %va) strictfp {
1183 ; CHECK-LABEL: vsitofp_v1i32_v1f64:
1184 ; CHECK:       # %bb.0:
1185 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
1186 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
1187 ; CHECK-NEXT:    vmv1r.v v8, v9
1188 ; CHECK-NEXT:    ret
1189   %evec = call <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i32(<1 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1190   ret <1 x double> %evec
1191 }
1192
1193 declare <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i32(<1 x i32>, metadata, metadata)
1194 define <1 x double> @vuitofp_v1i32_v1f64(<1 x i32> %va) strictfp {
1195 ; CHECK-LABEL: vuitofp_v1i32_v1f64:
1196 ; CHECK:       # %bb.0:
1197 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
1198 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
1199 ; CHECK-NEXT:    vmv1r.v v8, v9
1200 ; CHECK-NEXT:    ret
1201   %evec = call <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i32(<1 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1202   ret <1 x double> %evec
1203 }
1204
1205 declare <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i32(<2 x i32>, metadata, metadata)
1206 define <2 x half> @vsitofp_v2i32_v2f16(<2 x i32> %va) strictfp {
1207 ; CHECK-LABEL: vsitofp_v2i32_v2f16:
1208 ; CHECK:       # %bb.0:
1209 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
1210 ; CHECK-NEXT:    vfncvt.f.x.w v9, v8
1211 ; CHECK-NEXT:    vmv1r.v v8, v9
1212 ; CHECK-NEXT:    ret
1213   %evec = call <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i32(<2 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1214   ret <2 x half> %evec
1215 }
1216
1217 declare <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i32(<2 x i32>, metadata, metadata)
1218 define <2 x half> @vuitofp_v2i32_v2f16(<2 x i32> %va) strictfp {
1219 ; CHECK-LABEL: vuitofp_v2i32_v2f16:
1220 ; CHECK:       # %bb.0:
1221 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
1222 ; CHECK-NEXT:    vfncvt.f.xu.w v9, v8
1223 ; CHECK-NEXT:    vmv1r.v v8, v9
1224 ; CHECK-NEXT:    ret
1225   %evec = call <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i32(<2 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1226   ret <2 x half> %evec
1227 }
1228
1229 declare <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i32(<2 x i32>, metadata, metadata)
1230 define <2 x float> @vsitofp_v2i32_v2f32(<2 x i32> %va) strictfp {
1231 ; CHECK-LABEL: vsitofp_v2i32_v2f32:
1232 ; CHECK:       # %bb.0:
1233 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
1234 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1235 ; CHECK-NEXT:    ret
1236   %evec = call <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i32(<2 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1237   ret <2 x float> %evec
1238 }
1239
1240 declare <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i32(<2 x i32>, metadata, metadata)
1241 define <2 x float> @vuitofp_v2i32_v2f32(<2 x i32> %va) strictfp {
1242 ; CHECK-LABEL: vuitofp_v2i32_v2f32:
1243 ; CHECK:       # %bb.0:
1244 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
1245 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1246 ; CHECK-NEXT:    ret
1247   %evec = call <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i32(<2 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1248   ret <2 x float> %evec
1249 }
1250
1251 declare <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i32(<2 x i32>, metadata, metadata)
1252 define <2 x double> @vsitofp_v2i32_v2f64(<2 x i32> %va) strictfp {
1253 ; CHECK-LABEL: vsitofp_v2i32_v2f64:
1254 ; CHECK:       # %bb.0:
1255 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
1256 ; CHECK-NEXT:    vfwcvt.f.x.v v9, v8
1257 ; CHECK-NEXT:    vmv1r.v v8, v9
1258 ; CHECK-NEXT:    ret
1259   %evec = call <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i32(<2 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1260   ret <2 x double> %evec
1261 }
1262
1263 declare <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i32(<2 x i32>, metadata, metadata)
1264 define <2 x double> @vuitofp_v2i32_v2f64(<2 x i32> %va) strictfp {
1265 ; CHECK-LABEL: vuitofp_v2i32_v2f64:
1266 ; CHECK:       # %bb.0:
1267 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
1268 ; CHECK-NEXT:    vfwcvt.f.xu.v v9, v8
1269 ; CHECK-NEXT:    vmv1r.v v8, v9
1270 ; CHECK-NEXT:    ret
1271   %evec = call <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i32(<2 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1272   ret <2 x double> %evec
1273 }
1274
1275 declare <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i32(<4 x i32>, metadata, metadata)
1276 define <4 x half> @vsitofp_v4i32_v4f16(<4 x i32> %va) strictfp {
1277 ; CHECK-LABEL: vsitofp_v4i32_v4f16:
1278 ; CHECK:       # %bb.0:
1279 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
1280 ; CHECK-NEXT:    vfncvt.f.x.w v9, v8
1281 ; CHECK-NEXT:    vmv1r.v v8, v9
1282 ; CHECK-NEXT:    ret
1283   %evec = call <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i32(<4 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1284   ret <4 x half> %evec
1285 }
1286
1287 declare <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i32(<4 x i32>, metadata, metadata)
1288 define <4 x half> @vuitofp_v4i32_v4f16(<4 x i32> %va) strictfp {
1289 ; CHECK-LABEL: vuitofp_v4i32_v4f16:
1290 ; CHECK:       # %bb.0:
1291 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
1292 ; CHECK-NEXT:    vfncvt.f.xu.w v9, v8
1293 ; CHECK-NEXT:    vmv1r.v v8, v9
1294 ; CHECK-NEXT:    ret
1295   %evec = call <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i32(<4 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1296   ret <4 x half> %evec
1297 }
1298
1299 declare <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i32(<4 x i32>, metadata, metadata)
1300 define <4 x float> @vsitofp_v4i32_v4f32(<4 x i32> %va) strictfp {
1301 ; CHECK-LABEL: vsitofp_v4i32_v4f32:
1302 ; CHECK:       # %bb.0:
1303 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
1304 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1305 ; CHECK-NEXT:    ret
1306   %evec = call <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i32(<4 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1307   ret <4 x float> %evec
1308 }
1309
1310 declare <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i32(<4 x i32>, metadata, metadata)
1311 define <4 x float> @vuitofp_v4i32_v4f32(<4 x i32> %va) strictfp {
1312 ; CHECK-LABEL: vuitofp_v4i32_v4f32:
1313 ; CHECK:       # %bb.0:
1314 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
1315 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1316 ; CHECK-NEXT:    ret
1317   %evec = call <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i32(<4 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1318   ret <4 x float> %evec
1319 }
1320
1321 declare <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i32(<4 x i32>, metadata, metadata)
1322 define <4 x double> @vsitofp_v4i32_v4f64(<4 x i32> %va) strictfp {
1323 ; CHECK-LABEL: vsitofp_v4i32_v4f64:
1324 ; CHECK:       # %bb.0:
1325 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
1326 ; CHECK-NEXT:    vfwcvt.f.x.v v10, v8
1327 ; CHECK-NEXT:    vmv2r.v v8, v10
1328 ; CHECK-NEXT:    ret
1329   %evec = call <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i32(<4 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1330   ret <4 x double> %evec
1331 }
1332
1333 declare <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i32(<4 x i32>, metadata, metadata)
1334 define <4 x double> @vuitofp_v4i32_v4f64(<4 x i32> %va) strictfp {
1335 ; CHECK-LABEL: vuitofp_v4i32_v4f64:
1336 ; CHECK:       # %bb.0:
1337 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
1338 ; CHECK-NEXT:    vfwcvt.f.xu.v v10, v8
1339 ; CHECK-NEXT:    vmv2r.v v8, v10
1340 ; CHECK-NEXT:    ret
1341   %evec = call <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i32(<4 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1342   ret <4 x double> %evec
1343 }
1344
1345 declare <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i32(<8 x i32>, metadata, metadata)
1346 define <8 x half> @vsitofp_v8i32_v8f16(<8 x i32> %va) strictfp {
1347 ; CHECK-LABEL: vsitofp_v8i32_v8f16:
1348 ; CHECK:       # %bb.0:
1349 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
1350 ; CHECK-NEXT:    vfncvt.f.x.w v10, v8
1351 ; CHECK-NEXT:    vmv.v.v v8, v10
1352 ; CHECK-NEXT:    ret
1353   %evec = call <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i32(<8 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1354   ret <8 x half> %evec
1355 }
1356
1357 declare <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i32(<8 x i32>, metadata, metadata)
1358 define <8 x half> @vuitofp_v8i32_v8f16(<8 x i32> %va) strictfp {
1359 ; CHECK-LABEL: vuitofp_v8i32_v8f16:
1360 ; CHECK:       # %bb.0:
1361 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
1362 ; CHECK-NEXT:    vfncvt.f.xu.w v10, v8
1363 ; CHECK-NEXT:    vmv.v.v v8, v10
1364 ; CHECK-NEXT:    ret
1365   %evec = call <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i32(<8 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1366   ret <8 x half> %evec
1367 }
1368
1369 declare <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i32(<8 x i32>, metadata, metadata)
1370 define <8 x float> @vsitofp_v8i32_v8f32(<8 x i32> %va) strictfp {
1371 ; CHECK-LABEL: vsitofp_v8i32_v8f32:
1372 ; CHECK:       # %bb.0:
1373 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1374 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1375 ; CHECK-NEXT:    ret
1376   %evec = call <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i32(<8 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1377   ret <8 x float> %evec
1378 }
1379
1380 declare <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i32(<8 x i32>, metadata, metadata)
1381 define <8 x float> @vuitofp_v8i32_v8f32(<8 x i32> %va) strictfp {
1382 ; CHECK-LABEL: vuitofp_v8i32_v8f32:
1383 ; CHECK:       # %bb.0:
1384 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1385 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1386 ; CHECK-NEXT:    ret
1387   %evec = call <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i32(<8 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1388   ret <8 x float> %evec
1389 }
1390
1391 declare <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i32(<8 x i32>, metadata, metadata)
1392 define <8 x double> @vsitofp_v8i32_v8f64(<8 x i32> %va) strictfp {
1393 ; CHECK-LABEL: vsitofp_v8i32_v8f64:
1394 ; CHECK:       # %bb.0:
1395 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1396 ; CHECK-NEXT:    vfwcvt.f.x.v v12, v8
1397 ; CHECK-NEXT:    vmv4r.v v8, v12
1398 ; CHECK-NEXT:    ret
1399   %evec = call <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i32(<8 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1400   ret <8 x double> %evec
1401 }
1402
1403 declare <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i32(<8 x i32>, metadata, metadata)
1404 define <8 x double> @vuitofp_v8i32_v8f64(<8 x i32> %va) strictfp {
1405 ; CHECK-LABEL: vuitofp_v8i32_v8f64:
1406 ; CHECK:       # %bb.0:
1407 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1408 ; CHECK-NEXT:    vfwcvt.f.xu.v v12, v8
1409 ; CHECK-NEXT:    vmv4r.v v8, v12
1410 ; CHECK-NEXT:    ret
1411   %evec = call <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i32(<8 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1412   ret <8 x double> %evec
1413 }
1414
1415 declare <16 x half> @llvm.experimental.constrained.sitofp.v16f16.v16i32(<16 x i32>, metadata, metadata)
1416 define <16 x half> @vsitofp_v16i32_v16f16(<16 x i32> %va) strictfp {
1417 ; CHECK-LABEL: vsitofp_v16i32_v16f16:
1418 ; CHECK:       # %bb.0:
1419 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
1420 ; CHECK-NEXT:    vfncvt.f.x.w v12, v8
1421 ; CHECK-NEXT:    vmv.v.v v8, v12
1422 ; CHECK-NEXT:    ret
1423   %evec = call <16 x half> @llvm.experimental.constrained.sitofp.v16f16.v16i32(<16 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1424   ret <16 x half> %evec
1425 }
1426
1427 declare <16 x half> @llvm.experimental.constrained.uitofp.v16f16.v16i32(<16 x i32>, metadata, metadata)
1428 define <16 x half> @vuitofp_v16i32_v16f16(<16 x i32> %va) strictfp {
1429 ; CHECK-LABEL: vuitofp_v16i32_v16f16:
1430 ; CHECK:       # %bb.0:
1431 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
1432 ; CHECK-NEXT:    vfncvt.f.xu.w v12, v8
1433 ; CHECK-NEXT:    vmv.v.v v8, v12
1434 ; CHECK-NEXT:    ret
1435   %evec = call <16 x half> @llvm.experimental.constrained.uitofp.v16f16.v16i32(<16 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1436   ret <16 x half> %evec
1437 }
1438
1439 declare <16 x float> @llvm.experimental.constrained.sitofp.v16f32.v16i32(<16 x i32>, metadata, metadata)
1440 define <16 x float> @vsitofp_v16i32_v16f32(<16 x i32> %va) strictfp {
1441 ; CHECK-LABEL: vsitofp_v16i32_v16f32:
1442 ; CHECK:       # %bb.0:
1443 ; CHECK-NEXT:    vsetivli zero, 16, e32, m4, ta, ma
1444 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1445 ; CHECK-NEXT:    ret
1446   %evec = call <16 x float> @llvm.experimental.constrained.sitofp.v16f32.v16i32(<16 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1447   ret <16 x float> %evec
1448 }
1449
1450 declare <16 x float> @llvm.experimental.constrained.uitofp.v16f32.v16i32(<16 x i32>, metadata, metadata)
1451 define <16 x float> @vuitofp_v16i32_v16f32(<16 x i32> %va) strictfp {
1452 ; CHECK-LABEL: vuitofp_v16i32_v16f32:
1453 ; CHECK:       # %bb.0:
1454 ; CHECK-NEXT:    vsetivli zero, 16, e32, m4, ta, ma
1455 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1456 ; CHECK-NEXT:    ret
1457   %evec = call <16 x float> @llvm.experimental.constrained.uitofp.v16f32.v16i32(<16 x i32> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1458   ret <16 x float> %evec
1459 }
1460
1461 declare <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i64(<1 x i64>, metadata, metadata)
1462 define <1 x half> @vsitofp_v1i64_v1f16(<1 x i64> %va) strictfp {
1463 ; CHECK-LABEL: vsitofp_v1i64_v1f16:
1464 ; CHECK:       # %bb.0:
1465 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
1466 ; CHECK-NEXT:    vfncvt.f.x.w v9, v8
1467 ; CHECK-NEXT:    vsetvli zero, zero, e16, mf4, ta, ma
1468 ; CHECK-NEXT:    vfncvt.f.f.w v8, v9
1469 ; CHECK-NEXT:    ret
1470   %evec = call <1 x half> @llvm.experimental.constrained.sitofp.v1f16.v1i64(<1 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1471   ret <1 x half> %evec
1472 }
1473
1474 declare <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i64(<1 x i64>, metadata, metadata)
1475 define <1 x half> @vuitofp_v1i64_v1f16(<1 x i64> %va) strictfp {
1476 ; CHECK-LABEL: vuitofp_v1i64_v1f16:
1477 ; CHECK:       # %bb.0:
1478 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
1479 ; CHECK-NEXT:    vfncvt.f.xu.w v9, v8
1480 ; CHECK-NEXT:    vsetvli zero, zero, e16, mf4, ta, ma
1481 ; CHECK-NEXT:    vfncvt.f.f.w v8, v9
1482 ; CHECK-NEXT:    ret
1483   %evec = call <1 x half> @llvm.experimental.constrained.uitofp.v1f16.v1i64(<1 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1484   ret <1 x half> %evec
1485 }
1486
1487 declare <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i64(<1 x i64>, metadata, metadata)
1488 define <1 x float> @vsitofp_v1i64_v1f32(<1 x i64> %va) strictfp {
1489 ; CHECK-LABEL: vsitofp_v1i64_v1f32:
1490 ; CHECK:       # %bb.0:
1491 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
1492 ; CHECK-NEXT:    vfncvt.f.x.w v9, v8
1493 ; CHECK-NEXT:    vmv1r.v v8, v9
1494 ; CHECK-NEXT:    ret
1495   %evec = call <1 x float> @llvm.experimental.constrained.sitofp.v1f32.v1i64(<1 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1496   ret <1 x float> %evec
1497 }
1498
1499 declare <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i64(<1 x i64>, metadata, metadata)
1500 define <1 x float> @vuitofp_v1i64_v1f32(<1 x i64> %va) strictfp {
1501 ; CHECK-LABEL: vuitofp_v1i64_v1f32:
1502 ; CHECK:       # %bb.0:
1503 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
1504 ; CHECK-NEXT:    vfncvt.f.xu.w v9, v8
1505 ; CHECK-NEXT:    vmv1r.v v8, v9
1506 ; CHECK-NEXT:    ret
1507   %evec = call <1 x float> @llvm.experimental.constrained.uitofp.v1f32.v1i64(<1 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1508   ret <1 x float> %evec
1509 }
1510
1511 declare <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i64(<1 x i64>, metadata, metadata)
1512 define <1 x double> @vsitofp_v1i64_v1f64(<1 x i64> %va) strictfp {
1513 ; CHECK-LABEL: vsitofp_v1i64_v1f64:
1514 ; CHECK:       # %bb.0:
1515 ; CHECK-NEXT:    vsetivli zero, 1, e64, m1, ta, ma
1516 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1517 ; CHECK-NEXT:    ret
1518   %evec = call <1 x double> @llvm.experimental.constrained.sitofp.v1f64.v1i64(<1 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1519   ret <1 x double> %evec
1520 }
1521
1522 declare <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i64(<1 x i64>, metadata, metadata)
1523 define <1 x double> @vuitofp_v1i64_v1f64(<1 x i64> %va) strictfp {
1524 ; CHECK-LABEL: vuitofp_v1i64_v1f64:
1525 ; CHECK:       # %bb.0:
1526 ; CHECK-NEXT:    vsetivli zero, 1, e64, m1, ta, ma
1527 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1528 ; CHECK-NEXT:    ret
1529   %evec = call <1 x double> @llvm.experimental.constrained.uitofp.v1f64.v1i64(<1 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1530   ret <1 x double> %evec
1531 }
1532
1533
1534 declare <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i64(<2 x i64>, metadata, metadata)
1535 define <2 x half> @vsitofp_v2i64_v2f16(<2 x i64> %va) strictfp {
1536 ; CHECK-LABEL: vsitofp_v2i64_v2f16:
1537 ; CHECK:       # %bb.0:
1538 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
1539 ; CHECK-NEXT:    vfncvt.f.x.w v9, v8
1540 ; CHECK-NEXT:    vsetvli zero, zero, e16, mf4, ta, ma
1541 ; CHECK-NEXT:    vfncvt.f.f.w v8, v9
1542 ; CHECK-NEXT:    ret
1543   %evec = call <2 x half> @llvm.experimental.constrained.sitofp.v2f16.v2i64(<2 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1544   ret <2 x half> %evec
1545 }
1546
1547 declare <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i64(<2 x i64>, metadata, metadata)
1548 define <2 x half> @vuitofp_v2i64_v2f16(<2 x i64> %va) strictfp {
1549 ; CHECK-LABEL: vuitofp_v2i64_v2f16:
1550 ; CHECK:       # %bb.0:
1551 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
1552 ; CHECK-NEXT:    vfncvt.f.xu.w v9, v8
1553 ; CHECK-NEXT:    vsetvli zero, zero, e16, mf4, ta, ma
1554 ; CHECK-NEXT:    vfncvt.f.f.w v8, v9
1555 ; CHECK-NEXT:    ret
1556   %evec = call <2 x half> @llvm.experimental.constrained.uitofp.v2f16.v2i64(<2 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1557   ret <2 x half> %evec
1558 }
1559
1560 declare <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i64(<2 x i64>, metadata, metadata)
1561 define <2 x float> @vsitofp_v2i64_v2f32(<2 x i64> %va) strictfp {
1562 ; CHECK-LABEL: vsitofp_v2i64_v2f32:
1563 ; CHECK:       # %bb.0:
1564 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
1565 ; CHECK-NEXT:    vfncvt.f.x.w v9, v8
1566 ; CHECK-NEXT:    vmv1r.v v8, v9
1567 ; CHECK-NEXT:    ret
1568   %evec = call <2 x float> @llvm.experimental.constrained.sitofp.v2f32.v2i64(<2 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1569   ret <2 x float> %evec
1570 }
1571
1572 declare <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i64(<2 x i64>, metadata, metadata)
1573 define <2 x float> @vuitofp_v2i64_v2f32(<2 x i64> %va) strictfp {
1574 ; CHECK-LABEL: vuitofp_v2i64_v2f32:
1575 ; CHECK:       # %bb.0:
1576 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
1577 ; CHECK-NEXT:    vfncvt.f.xu.w v9, v8
1578 ; CHECK-NEXT:    vmv1r.v v8, v9
1579 ; CHECK-NEXT:    ret
1580   %evec = call <2 x float> @llvm.experimental.constrained.uitofp.v2f32.v2i64(<2 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1581   ret <2 x float> %evec
1582 }
1583
1584 declare <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i64(<2 x i64>, metadata, metadata)
1585 define <2 x double> @vsitofp_v2i64_v2f64(<2 x i64> %va) strictfp {
1586 ; CHECK-LABEL: vsitofp_v2i64_v2f64:
1587 ; CHECK:       # %bb.0:
1588 ; CHECK-NEXT:    vsetivli zero, 2, e64, m1, ta, ma
1589 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1590 ; CHECK-NEXT:    ret
1591   %evec = call <2 x double> @llvm.experimental.constrained.sitofp.v2f64.v2i64(<2 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1592   ret <2 x double> %evec
1593 }
1594
1595 declare <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i64(<2 x i64>, metadata, metadata)
1596 define <2 x double> @vuitofp_v2i64_v2f64(<2 x i64> %va) strictfp {
1597 ; CHECK-LABEL: vuitofp_v2i64_v2f64:
1598 ; CHECK:       # %bb.0:
1599 ; CHECK-NEXT:    vsetivli zero, 2, e64, m1, ta, ma
1600 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1601 ; CHECK-NEXT:    ret
1602   %evec = call <2 x double> @llvm.experimental.constrained.uitofp.v2f64.v2i64(<2 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1603   ret <2 x double> %evec
1604 }
1605
1606 declare <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i64(<4 x i64>, metadata, metadata)
1607 define <4 x half> @vsitofp_v4i64_v4f16(<4 x i64> %va) strictfp {
1608 ; CHECK-LABEL: vsitofp_v4i64_v4f16:
1609 ; CHECK:       # %bb.0:
1610 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
1611 ; CHECK-NEXT:    vfncvt.f.x.w v10, v8
1612 ; CHECK-NEXT:    vsetvli zero, zero, e16, mf2, ta, ma
1613 ; CHECK-NEXT:    vfncvt.f.f.w v8, v10
1614 ; CHECK-NEXT:    ret
1615   %evec = call <4 x half> @llvm.experimental.constrained.sitofp.v4f16.v4i64(<4 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1616   ret <4 x half> %evec
1617 }
1618
1619 declare <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i64(<4 x i64>, metadata, metadata)
1620 define <4 x half> @vuitofp_v4i64_v4f16(<4 x i64> %va) strictfp {
1621 ; CHECK-LABEL: vuitofp_v4i64_v4f16:
1622 ; CHECK:       # %bb.0:
1623 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
1624 ; CHECK-NEXT:    vfncvt.f.xu.w v10, v8
1625 ; CHECK-NEXT:    vsetvli zero, zero, e16, mf2, ta, ma
1626 ; CHECK-NEXT:    vfncvt.f.f.w v8, v10
1627 ; CHECK-NEXT:    ret
1628   %evec = call <4 x half> @llvm.experimental.constrained.uitofp.v4f16.v4i64(<4 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1629   ret <4 x half> %evec
1630 }
1631
1632 declare <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i64(<4 x i64>, metadata, metadata)
1633 define <4 x float> @vsitofp_v4i64_v4f32(<4 x i64> %va) strictfp {
1634 ; CHECK-LABEL: vsitofp_v4i64_v4f32:
1635 ; CHECK:       # %bb.0:
1636 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
1637 ; CHECK-NEXT:    vfncvt.f.x.w v10, v8
1638 ; CHECK-NEXT:    vmv.v.v v8, v10
1639 ; CHECK-NEXT:    ret
1640   %evec = call <4 x float> @llvm.experimental.constrained.sitofp.v4f32.v4i64(<4 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1641   ret <4 x float> %evec
1642 }
1643
1644 declare <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i64(<4 x i64>, metadata, metadata)
1645 define <4 x float> @vuitofp_v4i64_v4f32(<4 x i64> %va) strictfp {
1646 ; CHECK-LABEL: vuitofp_v4i64_v4f32:
1647 ; CHECK:       # %bb.0:
1648 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
1649 ; CHECK-NEXT:    vfncvt.f.xu.w v10, v8
1650 ; CHECK-NEXT:    vmv.v.v v8, v10
1651 ; CHECK-NEXT:    ret
1652   %evec = call <4 x float> @llvm.experimental.constrained.uitofp.v4f32.v4i64(<4 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1653   ret <4 x float> %evec
1654 }
1655
1656 declare <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i64(<4 x i64>, metadata, metadata)
1657 define <4 x double> @vsitofp_v4i64_v4f64(<4 x i64> %va) strictfp {
1658 ; CHECK-LABEL: vsitofp_v4i64_v4f64:
1659 ; CHECK:       # %bb.0:
1660 ; CHECK-NEXT:    vsetivli zero, 4, e64, m2, ta, ma
1661 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1662 ; CHECK-NEXT:    ret
1663   %evec = call <4 x double> @llvm.experimental.constrained.sitofp.v4f64.v4i64(<4 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1664   ret <4 x double> %evec
1665 }
1666
1667 declare <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i64(<4 x i64>, metadata, metadata)
1668 define <4 x double> @vuitofp_v4i64_v4f64(<4 x i64> %va) strictfp {
1669 ; CHECK-LABEL: vuitofp_v4i64_v4f64:
1670 ; CHECK:       # %bb.0:
1671 ; CHECK-NEXT:    vsetivli zero, 4, e64, m2, ta, ma
1672 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1673 ; CHECK-NEXT:    ret
1674   %evec = call <4 x double> @llvm.experimental.constrained.uitofp.v4f64.v4i64(<4 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1675   ret <4 x double> %evec
1676 }
1677
1678 declare <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i64(<8 x i64>, metadata, metadata)
1679 define <8 x half> @vsitofp_v8i64_v8f16(<8 x i64> %va) strictfp {
1680 ; CHECK-LABEL: vsitofp_v8i64_v8f16:
1681 ; CHECK:       # %bb.0:
1682 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1683 ; CHECK-NEXT:    vfncvt.f.x.w v12, v8
1684 ; CHECK-NEXT:    vsetvli zero, zero, e16, m1, ta, ma
1685 ; CHECK-NEXT:    vfncvt.f.f.w v8, v12
1686 ; CHECK-NEXT:    ret
1687   %evec = call <8 x half> @llvm.experimental.constrained.sitofp.v8f16.v8i64(<8 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1688   ret <8 x half> %evec
1689 }
1690
1691 declare <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i64(<8 x i64>, metadata, metadata)
1692 define <8 x half> @vuitofp_v8i64_v8f16(<8 x i64> %va) strictfp {
1693 ; CHECK-LABEL: vuitofp_v8i64_v8f16:
1694 ; CHECK:       # %bb.0:
1695 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1696 ; CHECK-NEXT:    vfncvt.f.xu.w v12, v8
1697 ; CHECK-NEXT:    vsetvli zero, zero, e16, m1, ta, ma
1698 ; CHECK-NEXT:    vfncvt.f.f.w v8, v12
1699 ; CHECK-NEXT:    ret
1700   %evec = call <8 x half> @llvm.experimental.constrained.uitofp.v8f16.v8i64(<8 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1701   ret <8 x half> %evec
1702 }
1703
1704 declare <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i64(<8 x i64>, metadata, metadata)
1705 define <8 x float> @vsitofp_v8i64_v8f32(<8 x i64> %va) strictfp {
1706 ; CHECK-LABEL: vsitofp_v8i64_v8f32:
1707 ; CHECK:       # %bb.0:
1708 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1709 ; CHECK-NEXT:    vfncvt.f.x.w v12, v8
1710 ; CHECK-NEXT:    vmv.v.v v8, v12
1711 ; CHECK-NEXT:    ret
1712   %evec = call <8 x float> @llvm.experimental.constrained.sitofp.v8f32.v8i64(<8 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1713   ret <8 x float> %evec
1714 }
1715
1716 declare <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i64(<8 x i64>, metadata, metadata)
1717 define <8 x float> @vuitofp_v8i64_v8f32(<8 x i64> %va) strictfp {
1718 ; CHECK-LABEL: vuitofp_v8i64_v8f32:
1719 ; CHECK:       # %bb.0:
1720 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
1721 ; CHECK-NEXT:    vfncvt.f.xu.w v12, v8
1722 ; CHECK-NEXT:    vmv.v.v v8, v12
1723 ; CHECK-NEXT:    ret
1724   %evec = call <8 x float> @llvm.experimental.constrained.uitofp.v8f32.v8i64(<8 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1725   ret <8 x float> %evec
1726 }
1727
1728 declare <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i64(<8 x i64>, metadata, metadata)
1729 define <8 x double> @vsitofp_v8i64_v8f64(<8 x i64> %va) strictfp {
1730 ; CHECK-LABEL: vsitofp_v8i64_v8f64:
1731 ; CHECK:       # %bb.0:
1732 ; CHECK-NEXT:    vsetivli zero, 8, e64, m4, ta, ma
1733 ; CHECK-NEXT:    vfcvt.f.x.v v8, v8
1734 ; CHECK-NEXT:    ret
1735   %evec = call <8 x double> @llvm.experimental.constrained.sitofp.v8f64.v8i64(<8 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1736   ret <8 x double> %evec
1737 }
1738
1739 declare <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i64(<8 x i64>, metadata, metadata)
1740 define <8 x double> @vuitofp_v8i64_v8f64(<8 x i64> %va) strictfp {
1741 ; CHECK-LABEL: vuitofp_v8i64_v8f64:
1742 ; CHECK:       # %bb.0:
1743 ; CHECK-NEXT:    vsetivli zero, 8, e64, m4, ta, ma
1744 ; CHECK-NEXT:    vfcvt.f.xu.v v8, v8
1745 ; CHECK-NEXT:    ret
1746   %evec = call <8 x double> @llvm.experimental.constrained.uitofp.v8f64.v8i64(<8 x i64> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
1747   ret <8 x double> %evec
1748 }