llvm/test/CodeGen/RISCV/rvv/insertelt-fp.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 define <vscale x 1 x half> @insertelt_nxv1f16_0(<vscale x 1 x half> %v, half %elt) {
   8 ; CHECK-LABEL: insertelt_nxv1f16_0:
   9 ; CHECK:       # %bb.0:
  10 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf4, tu, ma
  11 ; CHECK-NEXT:    vfmv.s.f v8, fa0
  12 ; CHECK-NEXT:    ret
  13   %r = insertelement <vscale x 1 x half> %v, half %elt, i32 0
  14   ret <vscale x 1 x half> %r
  15 }
  16
  17 define <vscale x 1 x half> @insertelt_nxv1f16_imm(<vscale x 1 x half> %v, half %elt) {
  18 ; CHECK-LABEL: insertelt_nxv1f16_imm:
  19 ; CHECK:       # %bb.0:
  20 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf4, tu, ma
  21 ; CHECK-NEXT:    vfmv.s.f v9, fa0
  22 ; CHECK-NEXT:    vslideup.vi v8, v9, 3
  23 ; CHECK-NEXT:    ret
  24   %r = insertelement <vscale x 1 x half> %v, half %elt, i32 3
  25   ret <vscale x 1 x half> %r
  26 }
  27
  28 define <vscale x 1 x half> @insertelt_nxv1f16_idx(<vscale x 1 x half> %v, half %elt, i32 zeroext %idx) {
  29 ; CHECK-LABEL: insertelt_nxv1f16_idx:
  30 ; CHECK:       # %bb.0:
  31 ; CHECK-NEXT:    addi a1, a0, 1
  32 ; CHECK-NEXT:    vsetvli a2, zero, e16, mf4, ta, ma
  33 ; CHECK-NEXT:    vfmv.s.f v9, fa0
  34 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf4, tu, ma
  35 ; CHECK-NEXT:    vslideup.vx v8, v9, a0
  36 ; CHECK-NEXT:    ret
  37   %r = insertelement <vscale x 1 x half> %v, half %elt, i32 %idx
  38   ret <vscale x 1 x half> %r
  39 }
  40
  41 define <vscale x 2 x half> @insertelt_nxv2f16_0(<vscale x 2 x half> %v, half %elt) {
  42 ; CHECK-LABEL: insertelt_nxv2f16_0:
  43 ; CHECK:       # %bb.0:
  44 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf2, tu, ma
  45 ; CHECK-NEXT:    vfmv.s.f v8, fa0
  46 ; CHECK-NEXT:    ret
  47   %r = insertelement <vscale x 2 x half> %v, half %elt, i32 0
  48   ret <vscale x 2 x half> %r
  49 }
  50
  51 define <vscale x 2 x half> @insertelt_nxv2f16_imm(<vscale x 2 x half> %v, half %elt) {
  52 ; CHECK-LABEL: insertelt_nxv2f16_imm:
  53 ; CHECK:       # %bb.0:
  54 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, tu, ma
  55 ; CHECK-NEXT:    vfmv.s.f v9, fa0
  56 ; CHECK-NEXT:    vslideup.vi v8, v9, 3
  57 ; CHECK-NEXT:    ret
  58   %r = insertelement <vscale x 2 x half> %v, half %elt, i32 3
  59   ret <vscale x 2 x half> %r
  60 }
  61
  62 define <vscale x 2 x half> @insertelt_nxv2f16_idx(<vscale x 2 x half> %v, half %elt, i32 zeroext %idx) {
  63 ; CHECK-LABEL: insertelt_nxv2f16_idx:
  64 ; CHECK:       # %bb.0:
  65 ; CHECK-NEXT:    addi a1, a0, 1
  66 ; CHECK-NEXT:    vsetvli a2, zero, e16, mf2, ta, ma
  67 ; CHECK-NEXT:    vfmv.s.f v9, fa0
  68 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf2, tu, ma
  69 ; CHECK-NEXT:    vslideup.vx v8, v9, a0
  70 ; CHECK-NEXT:    ret
  71   %r = insertelement <vscale x 2 x half> %v, half %elt, i32 %idx
  72   ret <vscale x 2 x half> %r
  73 }
  74
  75 define <vscale x 4 x half> @insertelt_nxv4f16_0(<vscale x 4 x half> %v, half %elt) {
  76 ; CHECK-LABEL: insertelt_nxv4f16_0:
  77 ; CHECK:       # %bb.0:
  78 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, tu, ma
  79 ; CHECK-NEXT:    vfmv.s.f v8, fa0
  80 ; CHECK-NEXT:    ret
  81   %r = insertelement <vscale x 4 x half> %v, half %elt, i32 0
  82   ret <vscale x 4 x half> %r
  83 }
  84
  85 define <vscale x 4 x half> @insertelt_nxv4f16_imm(<vscale x 4 x half> %v, half %elt) {
  86 ; CHECK-LABEL: insertelt_nxv4f16_imm:
  87 ; CHECK:       # %bb.0:
  88 ; CHECK-NEXT:    vsetivli zero, 4, e16, m1, tu, ma
  89 ; CHECK-NEXT:    vfmv.s.f v9, fa0
  90 ; CHECK-NEXT:    vslideup.vi v8, v9, 3
  91 ; CHECK-NEXT:    ret
  92   %r = insertelement <vscale x 4 x half> %v, half %elt, i32 3
  93   ret <vscale x 4 x half> %r
  94 }
  95
  96 define <vscale x 4 x half> @insertelt_nxv4f16_idx(<vscale x 4 x half> %v, half %elt, i32 zeroext %idx) {
  97 ; CHECK-LABEL: insertelt_nxv4f16_idx:
  98 ; CHECK:       # %bb.0:
  99 ; CHECK-NEXT:    addi a1, a0, 1
 100 ; CHECK-NEXT:    vsetvli a2, zero, e16, m1, ta, ma
 101 ; CHECK-NEXT:    vfmv.s.f v9, fa0
 102 ; CHECK-NEXT:    vsetvli zero, a1, e16, m1, tu, ma
 103 ; CHECK-NEXT:    vslideup.vx v8, v9, a0
 104 ; CHECK-NEXT:    ret
 105   %r = insertelement <vscale x 4 x half> %v, half %elt, i32 %idx
 106   ret <vscale x 4 x half> %r
 107 }
 108
 109 define <vscale x 8 x half> @insertelt_nxv8f16_0(<vscale x 8 x half> %v, half %elt) {
 110 ; CHECK-LABEL: insertelt_nxv8f16_0:
 111 ; CHECK:       # %bb.0:
 112 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, tu, ma
 113 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 114 ; CHECK-NEXT:    ret
 115   %r = insertelement <vscale x 8 x half> %v, half %elt, i32 0
 116   ret <vscale x 8 x half> %r
 117 }
 118
 119 define <vscale x 8 x half> @insertelt_nxv8f16_imm(<vscale x 8 x half> %v, half %elt) {
 120 ; CHECK-LABEL: insertelt_nxv8f16_imm:
 121 ; CHECK:       # %bb.0:
 122 ; CHECK-NEXT:    vsetivli zero, 4, e16, m1, tu, ma
 123 ; CHECK-NEXT:    vfmv.s.f v10, fa0
 124 ; CHECK-NEXT:    vslideup.vi v8, v10, 3
 125 ; CHECK-NEXT:    ret
 126   %r = insertelement <vscale x 8 x half> %v, half %elt, i32 3
 127   ret <vscale x 8 x half> %r
 128 }
 129
 130 define <vscale x 8 x half> @insertelt_nxv8f16_idx(<vscale x 8 x half> %v, half %elt, i32 zeroext %idx) {
 131 ; CHECK-LABEL: insertelt_nxv8f16_idx:
 132 ; CHECK:       # %bb.0:
 133 ; CHECK-NEXT:    vsetvli a1, zero, e16, m1, ta, ma
 134 ; CHECK-NEXT:    vfmv.s.f v10, fa0
 135 ; CHECK-NEXT:    addi a1, a0, 1
 136 ; CHECK-NEXT:    vsetvli zero, a1, e16, m2, tu, ma
 137 ; CHECK-NEXT:    vslideup.vx v8, v10, a0
 138 ; CHECK-NEXT:    ret
 139   %r = insertelement <vscale x 8 x half> %v, half %elt, i32 %idx
 140   ret <vscale x 8 x half> %r
 141 }
 142
 143 define <vscale x 16 x half> @insertelt_nxv16f16_0(<vscale x 16 x half> %v, half %elt) {
 144 ; CHECK-LABEL: insertelt_nxv16f16_0:
 145 ; CHECK:       # %bb.0:
 146 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, tu, ma
 147 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 148 ; CHECK-NEXT:    ret
 149   %r = insertelement <vscale x 16 x half> %v, half %elt, i32 0
 150   ret <vscale x 16 x half> %r
 151 }
 152
 153 define <vscale x 16 x half> @insertelt_nxv16f16_imm(<vscale x 16 x half> %v, half %elt) {
 154 ; CHECK-LABEL: insertelt_nxv16f16_imm:
 155 ; CHECK:       # %bb.0:
 156 ; CHECK-NEXT:    vsetivli zero, 4, e16, m1, tu, ma
 157 ; CHECK-NEXT:    vfmv.s.f v12, fa0
 158 ; CHECK-NEXT:    vslideup.vi v8, v12, 3
 159 ; CHECK-NEXT:    ret
 160   %r = insertelement <vscale x 16 x half> %v, half %elt, i32 3
 161   ret <vscale x 16 x half> %r
 162 }
 163
 164 define <vscale x 16 x half> @insertelt_nxv16f16_idx(<vscale x 16 x half> %v, half %elt, i32 zeroext %idx) {
 165 ; CHECK-LABEL: insertelt_nxv16f16_idx:
 166 ; CHECK:       # %bb.0:
 167 ; CHECK-NEXT:    vsetvli a1, zero, e16, m1, ta, ma
 168 ; CHECK-NEXT:    vfmv.s.f v12, fa0
 169 ; CHECK-NEXT:    addi a1, a0, 1
 170 ; CHECK-NEXT:    vsetvli zero, a1, e16, m4, tu, ma
 171 ; CHECK-NEXT:    vslideup.vx v8, v12, a0
 172 ; CHECK-NEXT:    ret
 173   %r = insertelement <vscale x 16 x half> %v, half %elt, i32 %idx
 174   ret <vscale x 16 x half> %r
 175 }
 176
 177 define <vscale x 32 x half> @insertelt_nxv32f16_0(<vscale x 32 x half> %v, half %elt) {
 178 ; CHECK-LABEL: insertelt_nxv32f16_0:
 179 ; CHECK:       # %bb.0:
 180 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, tu, ma
 181 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 182 ; CHECK-NEXT:    ret
 183   %r = insertelement <vscale x 32 x half> %v, half %elt, i32 0
 184   ret <vscale x 32 x half> %r
 185 }
 186
 187 define <vscale x 32 x half> @insertelt_nxv32f16_imm(<vscale x 32 x half> %v, half %elt) {
 188 ; CHECK-LABEL: insertelt_nxv32f16_imm:
 189 ; CHECK:       # %bb.0:
 190 ; CHECK-NEXT:    vsetivli zero, 4, e16, m1, tu, ma
 191 ; CHECK-NEXT:    vfmv.s.f v16, fa0
 192 ; CHECK-NEXT:    vslideup.vi v8, v16, 3
 193 ; CHECK-NEXT:    ret
 194   %r = insertelement <vscale x 32 x half> %v, half %elt, i32 3
 195   ret <vscale x 32 x half> %r
 196 }
 197
 198 define <vscale x 32 x half> @insertelt_nxv32f16_idx(<vscale x 32 x half> %v, half %elt, i32 zeroext %idx) {
 199 ; CHECK-LABEL: insertelt_nxv32f16_idx:
 200 ; CHECK:       # %bb.0:
 201 ; CHECK-NEXT:    vsetvli a1, zero, e16, m1, ta, ma
 202 ; CHECK-NEXT:    vfmv.s.f v16, fa0
 203 ; CHECK-NEXT:    addi a1, a0, 1
 204 ; CHECK-NEXT:    vsetvli zero, a1, e16, m8, tu, ma
 205 ; CHECK-NEXT:    vslideup.vx v8, v16, a0
 206 ; CHECK-NEXT:    ret
 207   %r = insertelement <vscale x 32 x half> %v, half %elt, i32 %idx
 208   ret <vscale x 32 x half> %r
 209 }
 210
 211 define <vscale x 1 x float> @insertelt_nxv1f32_0(<vscale x 1 x float> %v, float %elt) {
 212 ; CHECK-LABEL: insertelt_nxv1f32_0:
 213 ; CHECK:       # %bb.0:
 214 ; CHECK-NEXT:    vsetvli a0, zero, e32, mf2, tu, ma
 215 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 216 ; CHECK-NEXT:    ret
 217   %r = insertelement <vscale x 1 x float> %v, float %elt, i32 0
 218   ret <vscale x 1 x float> %r
 219 }
 220
 221 define <vscale x 1 x float> @insertelt_nxv1f32_imm(<vscale x 1 x float> %v, float %elt) {
 222 ; CHECK-LABEL: insertelt_nxv1f32_imm:
 223 ; CHECK:       # %bb.0:
 224 ; CHECK-NEXT:    vsetivli zero, 4, e32, mf2, tu, ma
 225 ; CHECK-NEXT:    vfmv.s.f v9, fa0
 226 ; CHECK-NEXT:    vslideup.vi v8, v9, 3
 227 ; CHECK-NEXT:    ret
 228   %r = insertelement <vscale x 1 x float> %v, float %elt, i32 3
 229   ret <vscale x 1 x float> %r
 230 }
 231
 232 define <vscale x 1 x float> @insertelt_nxv1f32_idx(<vscale x 1 x float> %v, float %elt, i32 zeroext %idx) {
 233 ; CHECK-LABEL: insertelt_nxv1f32_idx:
 234 ; CHECK:       # %bb.0:
 235 ; CHECK-NEXT:    addi a1, a0, 1
 236 ; CHECK-NEXT:    vsetvli a2, zero, e32, mf2, ta, ma
 237 ; CHECK-NEXT:    vfmv.s.f v9, fa0
 238 ; CHECK-NEXT:    vsetvli zero, a1, e32, mf2, tu, ma
 239 ; CHECK-NEXT:    vslideup.vx v8, v9, a0
 240 ; CHECK-NEXT:    ret
 241   %r = insertelement <vscale x 1 x float> %v, float %elt, i32 %idx
 242   ret <vscale x 1 x float> %r
 243 }
 244
 245 define <vscale x 2 x float> @insertelt_nxv2f32_0(<vscale x 2 x float> %v, float %elt) {
 246 ; CHECK-LABEL: insertelt_nxv2f32_0:
 247 ; CHECK:       # %bb.0:
 248 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, tu, ma
 249 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 250 ; CHECK-NEXT:    ret
 251   %r = insertelement <vscale x 2 x float> %v, float %elt, i32 0
 252   ret <vscale x 2 x float> %r
 253 }
 254
 255 define <vscale x 2 x float> @insertelt_nxv2f32_imm(<vscale x 2 x float> %v, float %elt) {
 256 ; CHECK-LABEL: insertelt_nxv2f32_imm:
 257 ; CHECK:       # %bb.0:
 258 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, tu, ma
 259 ; CHECK-NEXT:    vfmv.s.f v9, fa0
 260 ; CHECK-NEXT:    vslideup.vi v8, v9, 3
 261 ; CHECK-NEXT:    ret
 262   %r = insertelement <vscale x 2 x float> %v, float %elt, i32 3
 263   ret <vscale x 2 x float> %r
 264 }
 265
 266 define <vscale x 2 x float> @insertelt_nxv2f32_idx(<vscale x 2 x float> %v, float %elt, i32 zeroext %idx) {
 267 ; CHECK-LABEL: insertelt_nxv2f32_idx:
 268 ; CHECK:       # %bb.0:
 269 ; CHECK-NEXT:    addi a1, a0, 1
 270 ; CHECK-NEXT:    vsetvli a2, zero, e32, m1, ta, ma
 271 ; CHECK-NEXT:    vfmv.s.f v9, fa0
 272 ; CHECK-NEXT:    vsetvli zero, a1, e32, m1, tu, ma
 273 ; CHECK-NEXT:    vslideup.vx v8, v9, a0
 274 ; CHECK-NEXT:    ret
 275   %r = insertelement <vscale x 2 x float> %v, float %elt, i32 %idx
 276   ret <vscale x 2 x float> %r
 277 }
 278
 279 define <vscale x 4 x float> @insertelt_nxv4f32_0(<vscale x 4 x float> %v, float %elt) {
 280 ; CHECK-LABEL: insertelt_nxv4f32_0:
 281 ; CHECK:       # %bb.0:
 282 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, tu, ma
 283 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 284 ; CHECK-NEXT:    ret
 285   %r = insertelement <vscale x 4 x float> %v, float %elt, i32 0
 286   ret <vscale x 4 x float> %r
 287 }
 288
 289 define <vscale x 4 x float> @insertelt_nxv4f32_imm(<vscale x 4 x float> %v, float %elt) {
 290 ; CHECK-LABEL: insertelt_nxv4f32_imm:
 291 ; CHECK:       # %bb.0:
 292 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, tu, ma
 293 ; CHECK-NEXT:    vfmv.s.f v10, fa0
 294 ; CHECK-NEXT:    vslideup.vi v8, v10, 3
 295 ; CHECK-NEXT:    ret
 296   %r = insertelement <vscale x 4 x float> %v, float %elt, i32 3
 297   ret <vscale x 4 x float> %r
 298 }
 299
 300 define <vscale x 4 x float> @insertelt_nxv4f32_idx(<vscale x 4 x float> %v, float %elt, i32 zeroext %idx) {
 301 ; CHECK-LABEL: insertelt_nxv4f32_idx:
 302 ; CHECK:       # %bb.0:
 303 ; CHECK-NEXT:    vsetvli a1, zero, e32, m1, ta, ma
 304 ; CHECK-NEXT:    vfmv.s.f v10, fa0
 305 ; CHECK-NEXT:    addi a1, a0, 1
 306 ; CHECK-NEXT:    vsetvli zero, a1, e32, m2, tu, ma
 307 ; CHECK-NEXT:    vslideup.vx v8, v10, a0
 308 ; CHECK-NEXT:    ret
 309   %r = insertelement <vscale x 4 x float> %v, float %elt, i32 %idx
 310   ret <vscale x 4 x float> %r
 311 }
 312
 313 define <vscale x 8 x float> @insertelt_nxv8f32_0(<vscale x 8 x float> %v, float %elt) {
 314 ; CHECK-LABEL: insertelt_nxv8f32_0:
 315 ; CHECK:       # %bb.0:
 316 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, tu, ma
 317 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 318 ; CHECK-NEXT:    ret
 319   %r = insertelement <vscale x 8 x float> %v, float %elt, i32 0
 320   ret <vscale x 8 x float> %r
 321 }
 322
 323 define <vscale x 8 x float> @insertelt_nxv8f32_imm(<vscale x 8 x float> %v, float %elt) {
 324 ; CHECK-LABEL: insertelt_nxv8f32_imm:
 325 ; CHECK:       # %bb.0:
 326 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, tu, ma
 327 ; CHECK-NEXT:    vfmv.s.f v12, fa0
 328 ; CHECK-NEXT:    vslideup.vi v8, v12, 3
 329 ; CHECK-NEXT:    ret
 330   %r = insertelement <vscale x 8 x float> %v, float %elt, i32 3
 331   ret <vscale x 8 x float> %r
 332 }
 333
 334 define <vscale x 8 x float> @insertelt_nxv8f32_idx(<vscale x 8 x float> %v, float %elt, i32 zeroext %idx) {
 335 ; CHECK-LABEL: insertelt_nxv8f32_idx:
 336 ; CHECK:       # %bb.0:
 337 ; CHECK-NEXT:    vsetvli a1, zero, e32, m1, ta, ma
 338 ; CHECK-NEXT:    vfmv.s.f v12, fa0
 339 ; CHECK-NEXT:    addi a1, a0, 1
 340 ; CHECK-NEXT:    vsetvli zero, a1, e32, m4, tu, ma
 341 ; CHECK-NEXT:    vslideup.vx v8, v12, a0
 342 ; CHECK-NEXT:    ret
 343   %r = insertelement <vscale x 8 x float> %v, float %elt, i32 %idx
 344   ret <vscale x 8 x float> %r
 345 }
 346
 347 define <vscale x 16 x float> @insertelt_nxv16f32_0(<vscale x 16 x float> %v, float %elt) {
 348 ; CHECK-LABEL: insertelt_nxv16f32_0:
 349 ; CHECK:       # %bb.0:
 350 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, tu, ma
 351 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 352 ; CHECK-NEXT:    ret
 353   %r = insertelement <vscale x 16 x float> %v, float %elt, i32 0
 354   ret <vscale x 16 x float> %r
 355 }
 356
 357 define <vscale x 16 x float> @insertelt_nxv16f32_imm(<vscale x 16 x float> %v, float %elt) {
 358 ; CHECK-LABEL: insertelt_nxv16f32_imm:
 359 ; CHECK:       # %bb.0:
 360 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, tu, ma
 361 ; CHECK-NEXT:    vfmv.s.f v16, fa0
 362 ; CHECK-NEXT:    vslideup.vi v8, v16, 3
 363 ; CHECK-NEXT:    ret
 364   %r = insertelement <vscale x 16 x float> %v, float %elt, i32 3
 365   ret <vscale x 16 x float> %r
 366 }
 367
 368 define <vscale x 16 x float> @insertelt_nxv16f32_idx(<vscale x 16 x float> %v, float %elt, i32 zeroext %idx) {
 369 ; CHECK-LABEL: insertelt_nxv16f32_idx:
 370 ; CHECK:       # %bb.0:
 371 ; CHECK-NEXT:    vsetvli a1, zero, e32, m1, ta, ma
 372 ; CHECK-NEXT:    vfmv.s.f v16, fa0
 373 ; CHECK-NEXT:    addi a1, a0, 1
 374 ; CHECK-NEXT:    vsetvli zero, a1, e32, m8, tu, ma
 375 ; CHECK-NEXT:    vslideup.vx v8, v16, a0
 376 ; CHECK-NEXT:    ret
 377   %r = insertelement <vscale x 16 x float> %v, float %elt, i32 %idx
 378   ret <vscale x 16 x float> %r
 379 }
 380
 381 define <vscale x 1 x double> @insertelt_nxv1f64_0(<vscale x 1 x double> %v, double %elt) {
 382 ; CHECK-LABEL: insertelt_nxv1f64_0:
 383 ; CHECK:       # %bb.0:
 384 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, tu, ma
 385 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 386 ; CHECK-NEXT:    ret
 387   %r = insertelement <vscale x 1 x double> %v, double %elt, i32 0
 388   ret <vscale x 1 x double> %r
 389 }
 390
 391 define <vscale x 1 x double> @insertelt_nxv1f64_imm(<vscale x 1 x double> %v, double %elt) {
 392 ; CHECK-LABEL: insertelt_nxv1f64_imm:
 393 ; CHECK:       # %bb.0:
 394 ; CHECK-NEXT:    vsetivli zero, 4, e64, m1, tu, ma
 395 ; CHECK-NEXT:    vfmv.s.f v9, fa0
 396 ; CHECK-NEXT:    vslideup.vi v8, v9, 3
 397 ; CHECK-NEXT:    ret
 398   %r = insertelement <vscale x 1 x double> %v, double %elt, i32 3
 399   ret <vscale x 1 x double> %r
 400 }
 401
 402 define <vscale x 1 x double> @insertelt_nxv1f64_idx(<vscale x 1 x double> %v, double %elt, i32 zeroext %idx) {
 403 ; CHECK-LABEL: insertelt_nxv1f64_idx:
 404 ; CHECK:       # %bb.0:
 405 ; CHECK-NEXT:    addi a1, a0, 1
 406 ; CHECK-NEXT:    vsetvli a2, zero, e64, m1, ta, ma
 407 ; CHECK-NEXT:    vfmv.s.f v9, fa0
 408 ; CHECK-NEXT:    vsetvli zero, a1, e64, m1, tu, ma
 409 ; CHECK-NEXT:    vslideup.vx v8, v9, a0
 410 ; CHECK-NEXT:    ret
 411   %r = insertelement <vscale x 1 x double> %v, double %elt, i32 %idx
 412   ret <vscale x 1 x double> %r
 413 }
 414
 415 define <vscale x 2 x double> @insertelt_nxv2f64_0(<vscale x 2 x double> %v, double %elt) {
 416 ; CHECK-LABEL: insertelt_nxv2f64_0:
 417 ; CHECK:       # %bb.0:
 418 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, tu, ma
 419 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 420 ; CHECK-NEXT:    ret
 421   %r = insertelement <vscale x 2 x double> %v, double %elt, i32 0
 422   ret <vscale x 2 x double> %r
 423 }
 424
 425 define <vscale x 2 x double> @insertelt_nxv2f64_imm(<vscale x 2 x double> %v, double %elt) {
 426 ; CHECK-LABEL: insertelt_nxv2f64_imm:
 427 ; CHECK:       # %bb.0:
 428 ; CHECK-NEXT:    vsetivli zero, 4, e64, m2, tu, ma
 429 ; CHECK-NEXT:    vfmv.s.f v10, fa0
 430 ; CHECK-NEXT:    vslideup.vi v8, v10, 3
 431 ; CHECK-NEXT:    ret
 432   %r = insertelement <vscale x 2 x double> %v, double %elt, i32 3
 433   ret <vscale x 2 x double> %r
 434 }
 435
 436 define <vscale x 2 x double> @insertelt_nxv2f64_idx(<vscale x 2 x double> %v, double %elt, i32 zeroext %idx) {
 437 ; CHECK-LABEL: insertelt_nxv2f64_idx:
 438 ; CHECK:       # %bb.0:
 439 ; CHECK-NEXT:    vsetvli a1, zero, e64, m1, ta, ma
 440 ; CHECK-NEXT:    vfmv.s.f v10, fa0
 441 ; CHECK-NEXT:    addi a1, a0, 1
 442 ; CHECK-NEXT:    vsetvli zero, a1, e64, m2, tu, ma
 443 ; CHECK-NEXT:    vslideup.vx v8, v10, a0
 444 ; CHECK-NEXT:    ret
 445   %r = insertelement <vscale x 2 x double> %v, double %elt, i32 %idx
 446   ret <vscale x 2 x double> %r
 447 }
 448
 449 define <vscale x 4 x double> @insertelt_nxv4f64_0(<vscale x 4 x double> %v, double %elt) {
 450 ; CHECK-LABEL: insertelt_nxv4f64_0:
 451 ; CHECK:       # %bb.0:
 452 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, tu, ma
 453 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 454 ; CHECK-NEXT:    ret
 455   %r = insertelement <vscale x 4 x double> %v, double %elt, i32 0
 456   ret <vscale x 4 x double> %r
 457 }
 458
 459 define <vscale x 4 x double> @insertelt_nxv4f64_imm(<vscale x 4 x double> %v, double %elt) {
 460 ; CHECK-LABEL: insertelt_nxv4f64_imm:
 461 ; CHECK:       # %bb.0:
 462 ; CHECK-NEXT:    vsetivli zero, 4, e64, m2, tu, ma
 463 ; CHECK-NEXT:    vfmv.s.f v12, fa0
 464 ; CHECK-NEXT:    vslideup.vi v8, v12, 3
 465 ; CHECK-NEXT:    ret
 466   %r = insertelement <vscale x 4 x double> %v, double %elt, i32 3
 467   ret <vscale x 4 x double> %r
 468 }
 469
 470 define <vscale x 4 x double> @insertelt_nxv4f64_idx(<vscale x 4 x double> %v, double %elt, i32 zeroext %idx) {
 471 ; CHECK-LABEL: insertelt_nxv4f64_idx:
 472 ; CHECK:       # %bb.0:
 473 ; CHECK-NEXT:    vsetvli a1, zero, e64, m1, ta, ma
 474 ; CHECK-NEXT:    vfmv.s.f v12, fa0
 475 ; CHECK-NEXT:    addi a1, a0, 1
 476 ; CHECK-NEXT:    vsetvli zero, a1, e64, m4, tu, ma
 477 ; CHECK-NEXT:    vslideup.vx v8, v12, a0
 478 ; CHECK-NEXT:    ret
 479   %r = insertelement <vscale x 4 x double> %v, double %elt, i32 %idx
 480   ret <vscale x 4 x double> %r
 481 }
 482
 483 define <vscale x 8 x double> @insertelt_nxv8f64_0(<vscale x 8 x double> %v, double %elt) {
 484 ; CHECK-LABEL: insertelt_nxv8f64_0:
 485 ; CHECK:       # %bb.0:
 486 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, tu, ma
 487 ; CHECK-NEXT:    vfmv.s.f v8, fa0
 488 ; CHECK-NEXT:    ret
 489   %r = insertelement <vscale x 8 x double> %v, double %elt, i32 0
 490   ret <vscale x 8 x double> %r
 491 }
 492
 493 define <vscale x 8 x double> @insertelt_nxv8f64_imm(<vscale x 8 x double> %v, double %elt) {
 494 ; CHECK-LABEL: insertelt_nxv8f64_imm:
 495 ; CHECK:       # %bb.0:
 496 ; CHECK-NEXT:    vsetivli zero, 4, e64, m2, tu, ma
 497 ; CHECK-NEXT:    vfmv.s.f v16, fa0
 498 ; CHECK-NEXT:    vslideup.vi v8, v16, 3
 499 ; CHECK-NEXT:    ret
 500   %r = insertelement <vscale x 8 x double> %v, double %elt, i32 3
 501   ret <vscale x 8 x double> %r
 502 }
 503
 504 define <vscale x 8 x double> @insertelt_nxv8f64_idx(<vscale x 8 x double> %v, double %elt, i32 zeroext %idx) {
 505 ; CHECK-LABEL: insertelt_nxv8f64_idx:
 506 ; CHECK:       # %bb.0:
 507 ; CHECK-NEXT:    vsetvli a1, zero, e64, m1, ta, ma
 508 ; CHECK-NEXT:    vfmv.s.f v16, fa0
 509 ; CHECK-NEXT:    addi a1, a0, 1
 510 ; CHECK-NEXT:    vsetvli zero, a1, e64, m8, tu, ma
 511 ; CHECK-NEXT:    vslideup.vx v8, v16, a0
 512 ; CHECK-NEXT:    ret
 513   %r = insertelement <vscale x 8 x double> %v, double %elt, i32 %idx
 514   ret <vscale x 8 x double> %r
 515 }