llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vwaddu.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -mattr=+v -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,RV32
   3 ; RUN: llc -mtriple=riscv64 -mattr=+v -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,RV64
   4
   5 define <2 x i16> @vwaddu_v2i16(ptr %x, ptr %y) {
   6 ; CHECK-LABEL: vwaddu_v2i16:
   7 ; CHECK:       # %bb.0:
   8 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
   9 ; CHECK-NEXT:    vle8.v v9, (a0)
  10 ; CHECK-NEXT:    vle8.v v10, (a1)
  11 ; CHECK-NEXT:    vwaddu.vv v8, v9, v10
  12 ; CHECK-NEXT:    ret
  13   %a = load <2 x i8>, ptr %x
  14   %b = load <2 x i8>, ptr %y
  15   %c = zext <2 x i8> %a to <2 x i16>
  16   %d = zext <2 x i8> %b to <2 x i16>
  17   %e = add <2 x i16> %c, %d
  18   ret <2 x i16> %e
  19 }
  20
  21 define <4 x i16> @vwaddu_v4i16(ptr %x, ptr %y) {
  22 ; CHECK-LABEL: vwaddu_v4i16:
  23 ; CHECK:       # %bb.0:
  24 ; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, ma
  25 ; CHECK-NEXT:    vle8.v v9, (a0)
  26 ; CHECK-NEXT:    vle8.v v10, (a1)
  27 ; CHECK-NEXT:    vwaddu.vv v8, v9, v10
  28 ; CHECK-NEXT:    ret
  29   %a = load <4 x i8>, ptr %x
  30   %b = load <4 x i8>, ptr %y
  31   %c = zext <4 x i8> %a to <4 x i16>
  32   %d = zext <4 x i8> %b to <4 x i16>
  33   %e = add <4 x i16> %c, %d
  34   ret <4 x i16> %e
  35 }
  36
  37 define <2 x i32> @vwaddu_v2i32(ptr %x, ptr %y) {
  38 ; CHECK-LABEL: vwaddu_v2i32:
  39 ; CHECK:       # %bb.0:
  40 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
  41 ; CHECK-NEXT:    vle16.v v9, (a0)
  42 ; CHECK-NEXT:    vle16.v v10, (a1)
  43 ; CHECK-NEXT:    vwaddu.vv v8, v9, v10
  44 ; CHECK-NEXT:    ret
  45   %a = load <2 x i16>, ptr %x
  46   %b = load <2 x i16>, ptr %y
  47   %c = zext <2 x i16> %a to <2 x i32>
  48   %d = zext <2 x i16> %b to <2 x i32>
  49   %e = add <2 x i32> %c, %d
  50   ret <2 x i32> %e
  51 }
  52
  53 define <8 x i16> @vwaddu_v8i16(ptr %x, ptr %y) {
  54 ; CHECK-LABEL: vwaddu_v8i16:
  55 ; CHECK:       # %bb.0:
  56 ; CHECK-NEXT:    vsetivli zero, 8, e8, mf2, ta, ma
  57 ; CHECK-NEXT:    vle8.v v9, (a0)
  58 ; CHECK-NEXT:    vle8.v v10, (a1)
  59 ; CHECK-NEXT:    vwaddu.vv v8, v9, v10
  60 ; CHECK-NEXT:    ret
  61   %a = load <8 x i8>, ptr %x
  62   %b = load <8 x i8>, ptr %y
  63   %c = zext <8 x i8> %a to <8 x i16>
  64   %d = zext <8 x i8> %b to <8 x i16>
  65   %e = add <8 x i16> %c, %d
  66   ret <8 x i16> %e
  67 }
  68
  69 define <4 x i32> @vwaddu_v4i32(ptr %x, ptr %y) {
  70 ; CHECK-LABEL: vwaddu_v4i32:
  71 ; CHECK:       # %bb.0:
  72 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
  73 ; CHECK-NEXT:    vle16.v v9, (a0)
  74 ; CHECK-NEXT:    vle16.v v10, (a1)
  75 ; CHECK-NEXT:    vwaddu.vv v8, v9, v10
  76 ; CHECK-NEXT:    ret
  77   %a = load <4 x i16>, ptr %x
  78   %b = load <4 x i16>, ptr %y
  79   %c = zext <4 x i16> %a to <4 x i32>
  80   %d = zext <4 x i16> %b to <4 x i32>
  81   %e = add <4 x i32> %c, %d
  82   ret <4 x i32> %e
  83 }
  84
  85 define <2 x i64> @vwaddu_v2i64(ptr %x, ptr %y) {
  86 ; CHECK-LABEL: vwaddu_v2i64:
  87 ; CHECK:       # %bb.0:
  88 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
  89 ; CHECK-NEXT:    vle32.v v9, (a0)
  90 ; CHECK-NEXT:    vle32.v v10, (a1)
  91 ; CHECK-NEXT:    vwaddu.vv v8, v9, v10
  92 ; CHECK-NEXT:    ret
  93   %a = load <2 x i32>, ptr %x
  94   %b = load <2 x i32>, ptr %y
  95   %c = zext <2 x i32> %a to <2 x i64>
  96   %d = zext <2 x i32> %b to <2 x i64>
  97   %e = add <2 x i64> %c, %d
  98   ret <2 x i64> %e
  99 }
 100
 101 define <16 x i16> @vwaddu_v16i16(ptr %x, ptr %y) {
 102 ; CHECK-LABEL: vwaddu_v16i16:
 103 ; CHECK:       # %bb.0:
 104 ; CHECK-NEXT:    vsetivli zero, 16, e8, m1, ta, ma
 105 ; CHECK-NEXT:    vle8.v v10, (a0)
 106 ; CHECK-NEXT:    vle8.v v11, (a1)
 107 ; CHECK-NEXT:    vwaddu.vv v8, v10, v11
 108 ; CHECK-NEXT:    ret
 109   %a = load <16 x i8>, ptr %x
 110   %b = load <16 x i8>, ptr %y
 111   %c = zext <16 x i8> %a to <16 x i16>
 112   %d = zext <16 x i8> %b to <16 x i16>
 113   %e = add <16 x i16> %c, %d
 114   ret <16 x i16> %e
 115 }
 116
 117 define <8 x i32> @vwaddu_v8i32(ptr %x, ptr %y) {
 118 ; CHECK-LABEL: vwaddu_v8i32:
 119 ; CHECK:       # %bb.0:
 120 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
 121 ; CHECK-NEXT:    vle16.v v10, (a0)
 122 ; CHECK-NEXT:    vle16.v v11, (a1)
 123 ; CHECK-NEXT:    vwaddu.vv v8, v10, v11
 124 ; CHECK-NEXT:    ret
 125   %a = load <8 x i16>, ptr %x
 126   %b = load <8 x i16>, ptr %y
 127   %c = zext <8 x i16> %a to <8 x i32>
 128   %d = zext <8 x i16> %b to <8 x i32>
 129   %e = add <8 x i32> %c, %d
 130   ret <8 x i32> %e
 131 }
 132
 133 define <4 x i64> @vwaddu_v4i64(ptr %x, ptr %y) {
 134 ; CHECK-LABEL: vwaddu_v4i64:
 135 ; CHECK:       # %bb.0:
 136 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 137 ; CHECK-NEXT:    vle32.v v10, (a0)
 138 ; CHECK-NEXT:    vle32.v v11, (a1)
 139 ; CHECK-NEXT:    vwaddu.vv v8, v10, v11
 140 ; CHECK-NEXT:    ret
 141   %a = load <4 x i32>, ptr %x
 142   %b = load <4 x i32>, ptr %y
 143   %c = zext <4 x i32> %a to <4 x i64>
 144   %d = zext <4 x i32> %b to <4 x i64>
 145   %e = add <4 x i64> %c, %d
 146   ret <4 x i64> %e
 147 }
 148
 149 define <32 x i16> @vwaddu_v32i16(ptr %x, ptr %y) {
 150 ; CHECK-LABEL: vwaddu_v32i16:
 151 ; CHECK:       # %bb.0:
 152 ; CHECK-NEXT:    li a2, 32
 153 ; CHECK-NEXT:    vsetvli zero, a2, e8, m2, ta, ma
 154 ; CHECK-NEXT:    vle8.v v12, (a0)
 155 ; CHECK-NEXT:    vle8.v v14, (a1)
 156 ; CHECK-NEXT:    vwaddu.vv v8, v12, v14
 157 ; CHECK-NEXT:    ret
 158   %a = load <32 x i8>, ptr %x
 159   %b = load <32 x i8>, ptr %y
 160   %c = zext <32 x i8> %a to <32 x i16>
 161   %d = zext <32 x i8> %b to <32 x i16>
 162   %e = add <32 x i16> %c, %d
 163   ret <32 x i16> %e
 164 }
 165
 166 define <16 x i32> @vwaddu_v16i32(ptr %x, ptr %y) {
 167 ; CHECK-LABEL: vwaddu_v16i32:
 168 ; CHECK:       # %bb.0:
 169 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
 170 ; CHECK-NEXT:    vle16.v v12, (a0)
 171 ; CHECK-NEXT:    vle16.v v14, (a1)
 172 ; CHECK-NEXT:    vwaddu.vv v8, v12, v14
 173 ; CHECK-NEXT:    ret
 174   %a = load <16 x i16>, ptr %x
 175   %b = load <16 x i16>, ptr %y
 176   %c = zext <16 x i16> %a to <16 x i32>
 177   %d = zext <16 x i16> %b to <16 x i32>
 178   %e = add <16 x i32> %c, %d
 179   ret <16 x i32> %e
 180 }
 181
 182 define <8 x  i64> @vwaddu_v8i64(ptr %x, ptr %y) {
 183 ; CHECK-LABEL: vwaddu_v8i64:
 184 ; CHECK:       # %bb.0:
 185 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
 186 ; CHECK-NEXT:    vle32.v v12, (a0)
 187 ; CHECK-NEXT:    vle32.v v14, (a1)
 188 ; CHECK-NEXT:    vwaddu.vv v8, v12, v14
 189 ; CHECK-NEXT:    ret
 190   %a = load <8 x  i32>, ptr %x
 191   %b = load <8 x  i32>, ptr %y
 192   %c = zext <8 x  i32> %a to <8 x  i64>
 193   %d = zext <8 x  i32> %b to <8 x  i64>
 194   %e = add <8 x  i64> %c, %d
 195   ret <8 x  i64> %e
 196 }
 197
 198 define <64 x i16> @vwaddu_v64i16(ptr %x, ptr %y) {
 199 ; CHECK-LABEL: vwaddu_v64i16:
 200 ; CHECK:       # %bb.0:
 201 ; CHECK-NEXT:    li a2, 64
 202 ; CHECK-NEXT:    vsetvli zero, a2, e8, m4, ta, ma
 203 ; CHECK-NEXT:    vle8.v v16, (a0)
 204 ; CHECK-NEXT:    vle8.v v20, (a1)
 205 ; CHECK-NEXT:    vwaddu.vv v8, v16, v20
 206 ; CHECK-NEXT:    ret
 207   %a = load <64 x i8>, ptr %x
 208   %b = load <64 x i8>, ptr %y
 209   %c = zext <64 x i8> %a to <64 x i16>
 210   %d = zext <64 x i8> %b to <64 x i16>
 211   %e = add <64 x i16> %c, %d
 212   ret <64 x i16> %e
 213 }
 214
 215 define <32 x i32> @vwaddu_v32i32(ptr %x, ptr %y) {
 216 ; CHECK-LABEL: vwaddu_v32i32:
 217 ; CHECK:       # %bb.0:
 218 ; CHECK-NEXT:    li a2, 32
 219 ; CHECK-NEXT:    vsetvli zero, a2, e16, m4, ta, ma
 220 ; CHECK-NEXT:    vle16.v v16, (a0)
 221 ; CHECK-NEXT:    vle16.v v20, (a1)
 222 ; CHECK-NEXT:    vwaddu.vv v8, v16, v20
 223 ; CHECK-NEXT:    ret
 224   %a = load <32 x i16>, ptr %x
 225   %b = load <32 x i16>, ptr %y
 226   %c = zext <32 x i16> %a to <32 x i32>
 227   %d = zext <32 x i16> %b to <32 x i32>
 228   %e = add <32 x i32> %c, %d
 229   ret <32 x i32> %e
 230 }
 231
 232 define <16 x i64> @vwaddu_v16i64(ptr %x, ptr %y) {
 233 ; CHECK-LABEL: vwaddu_v16i64:
 234 ; CHECK:       # %bb.0:
 235 ; CHECK-NEXT:    vsetivli zero, 16, e32, m4, ta, ma
 236 ; CHECK-NEXT:    vle32.v v16, (a0)
 237 ; CHECK-NEXT:    vle32.v v20, (a1)
 238 ; CHECK-NEXT:    vwaddu.vv v8, v16, v20
 239 ; CHECK-NEXT:    ret
 240   %a = load <16 x i32>, ptr %x
 241   %b = load <16 x i32>, ptr %y
 242   %c = zext <16 x i32> %a to <16 x i64>
 243   %d = zext <16 x i32> %b to <16 x i64>
 244   %e = add <16 x i64> %c, %d
 245   ret <16 x i64> %e
 246 }
 247
 248 define <128 x i16> @vwaddu_v128i16(ptr %x, ptr %y) nounwind {
 249 ; CHECK-LABEL: vwaddu_v128i16:
 250 ; CHECK:       # %bb.0:
 251 ; CHECK-NEXT:    addi sp, sp, -16
 252 ; CHECK-NEXT:    csrr a2, vlenb
 253 ; CHECK-NEXT:    slli a2, a2, 4
 254 ; CHECK-NEXT:    sub sp, sp, a2
 255 ; CHECK-NEXT:    li a2, 128
 256 ; CHECK-NEXT:    vsetvli zero, a2, e8, m8, ta, ma
 257 ; CHECK-NEXT:    vle8.v v8, (a0)
 258 ; CHECK-NEXT:    addi a0, sp, 16
 259 ; CHECK-NEXT:    vs8r.v v8, (a0) # Unknown-size Folded Spill
 260 ; CHECK-NEXT:    vle8.v v0, (a1)
 261 ; CHECK-NEXT:    li a0, 64
 262 ; CHECK-NEXT:    vsetvli zero, a0, e8, m8, ta, ma
 263 ; CHECK-NEXT:    vslidedown.vx v16, v8, a0
 264 ; CHECK-NEXT:    vslidedown.vx v8, v0, a0
 265 ; CHECK-NEXT:    vsetvli zero, a0, e8, m4, ta, ma
 266 ; CHECK-NEXT:    vwaddu.vv v24, v16, v8
 267 ; CHECK-NEXT:    csrr a0, vlenb
 268 ; CHECK-NEXT:    slli a0, a0, 3
 269 ; CHECK-NEXT:    add a0, sp, a0
 270 ; CHECK-NEXT:    addi a0, a0, 16
 271 ; CHECK-NEXT:    vs8r.v v24, (a0) # Unknown-size Folded Spill
 272 ; CHECK-NEXT:    addi a0, sp, 16
 273 ; CHECK-NEXT:    vl8r.v v16, (a0) # Unknown-size Folded Reload
 274 ; CHECK-NEXT:    vwaddu.vv v8, v16, v0
 275 ; CHECK-NEXT:    csrr a0, vlenb
 276 ; CHECK-NEXT:    slli a0, a0, 3
 277 ; CHECK-NEXT:    add a0, sp, a0
 278 ; CHECK-NEXT:    addi a0, a0, 16
 279 ; CHECK-NEXT:    vl8r.v v16, (a0) # Unknown-size Folded Reload
 280 ; CHECK-NEXT:    csrr a0, vlenb
 281 ; CHECK-NEXT:    slli a0, a0, 4
 282 ; CHECK-NEXT:    add sp, sp, a0
 283 ; CHECK-NEXT:    addi sp, sp, 16
 284 ; CHECK-NEXT:    ret
 285   %a = load <128 x i8>, ptr %x
 286   %b = load <128 x i8>, ptr %y
 287   %c = zext <128 x i8> %a to <128 x i16>
 288   %d = zext <128 x i8> %b to <128 x i16>
 289   %e = add <128 x i16> %c, %d
 290   ret <128 x i16> %e
 291 }
 292
 293 define <64 x i32> @vwaddu_v64i32(ptr %x, ptr %y) nounwind {
 294 ; CHECK-LABEL: vwaddu_v64i32:
 295 ; CHECK:       # %bb.0:
 296 ; CHECK-NEXT:    addi sp, sp, -16
 297 ; CHECK-NEXT:    csrr a2, vlenb
 298 ; CHECK-NEXT:    slli a2, a2, 4
 299 ; CHECK-NEXT:    sub sp, sp, a2
 300 ; CHECK-NEXT:    li a2, 64
 301 ; CHECK-NEXT:    vsetvli zero, a2, e16, m8, ta, ma
 302 ; CHECK-NEXT:    vle16.v v8, (a0)
 303 ; CHECK-NEXT:    addi a0, sp, 16
 304 ; CHECK-NEXT:    vs8r.v v8, (a0) # Unknown-size Folded Spill
 305 ; CHECK-NEXT:    vle16.v v0, (a1)
 306 ; CHECK-NEXT:    li a0, 32
 307 ; CHECK-NEXT:    vsetvli zero, a0, e16, m8, ta, ma
 308 ; CHECK-NEXT:    vslidedown.vx v16, v8, a0
 309 ; CHECK-NEXT:    vslidedown.vx v8, v0, a0
 310 ; CHECK-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
 311 ; CHECK-NEXT:    vwaddu.vv v24, v16, v8
 312 ; CHECK-NEXT:    csrr a0, vlenb
 313 ; CHECK-NEXT:    slli a0, a0, 3
 314 ; CHECK-NEXT:    add a0, sp, a0
 315 ; CHECK-NEXT:    addi a0, a0, 16
 316 ; CHECK-NEXT:    vs8r.v v24, (a0) # Unknown-size Folded Spill
 317 ; CHECK-NEXT:    addi a0, sp, 16
 318 ; CHECK-NEXT:    vl8r.v v16, (a0) # Unknown-size Folded Reload
 319 ; CHECK-NEXT:    vwaddu.vv v8, v16, v0
 320 ; CHECK-NEXT:    csrr a0, vlenb
 321 ; CHECK-NEXT:    slli a0, a0, 3
 322 ; CHECK-NEXT:    add a0, sp, a0
 323 ; CHECK-NEXT:    addi a0, a0, 16
 324 ; CHECK-NEXT:    vl8r.v v16, (a0) # Unknown-size Folded Reload
 325 ; CHECK-NEXT:    csrr a0, vlenb
 326 ; CHECK-NEXT:    slli a0, a0, 4
 327 ; CHECK-NEXT:    add sp, sp, a0
 328 ; CHECK-NEXT:    addi sp, sp, 16
 329 ; CHECK-NEXT:    ret
 330   %a = load <64 x i16>, ptr %x
 331   %b = load <64 x i16>, ptr %y
 332   %c = zext <64 x i16> %a to <64 x i32>
 333   %d = zext <64 x i16> %b to <64 x i32>
 334   %e = add <64 x i32> %c, %d
 335   ret <64 x i32> %e
 336 }
 337
 338 define <32 x i64> @vwaddu_v32i64(ptr %x, ptr %y) nounwind {
 339 ; CHECK-LABEL: vwaddu_v32i64:
 340 ; CHECK:       # %bb.0:
 341 ; CHECK-NEXT:    addi sp, sp, -16
 342 ; CHECK-NEXT:    csrr a2, vlenb
 343 ; CHECK-NEXT:    slli a2, a2, 4
 344 ; CHECK-NEXT:    sub sp, sp, a2
 345 ; CHECK-NEXT:    li a2, 32
 346 ; CHECK-NEXT:    vsetvli zero, a2, e32, m8, ta, ma
 347 ; CHECK-NEXT:    vle32.v v8, (a0)
 348 ; CHECK-NEXT:    addi a0, sp, 16
 349 ; CHECK-NEXT:    vs8r.v v8, (a0) # Unknown-size Folded Spill
 350 ; CHECK-NEXT:    vle32.v v0, (a1)
 351 ; CHECK-NEXT:    vsetivli zero, 16, e32, m8, ta, ma
 352 ; CHECK-NEXT:    vslidedown.vi v16, v8, 16
 353 ; CHECK-NEXT:    vslidedown.vi v8, v0, 16
 354 ; CHECK-NEXT:    vsetivli zero, 16, e32, m4, ta, ma
 355 ; CHECK-NEXT:    vwaddu.vv v24, v16, v8
 356 ; CHECK-NEXT:    csrr a0, vlenb
 357 ; CHECK-NEXT:    slli a0, a0, 3
 358 ; CHECK-NEXT:    add a0, sp, a0
 359 ; CHECK-NEXT:    addi a0, a0, 16
 360 ; CHECK-NEXT:    vs8r.v v24, (a0) # Unknown-size Folded Spill
 361 ; CHECK-NEXT:    addi a0, sp, 16
 362 ; CHECK-NEXT:    vl8r.v v16, (a0) # Unknown-size Folded Reload
 363 ; CHECK-NEXT:    vwaddu.vv v8, v16, v0
 364 ; CHECK-NEXT:    csrr a0, vlenb
 365 ; CHECK-NEXT:    slli a0, a0, 3
 366 ; CHECK-NEXT:    add a0, sp, a0
 367 ; CHECK-NEXT:    addi a0, a0, 16
 368 ; CHECK-NEXT:    vl8r.v v16, (a0) # Unknown-size Folded Reload
 369 ; CHECK-NEXT:    csrr a0, vlenb
 370 ; CHECK-NEXT:    slli a0, a0, 4
 371 ; CHECK-NEXT:    add sp, sp, a0
 372 ; CHECK-NEXT:    addi sp, sp, 16
 373 ; CHECK-NEXT:    ret
 374   %a = load <32 x i32>, ptr %x
 375   %b = load <32 x i32>, ptr %y
 376   %c = zext <32 x i32> %a to <32 x i64>
 377   %d = zext <32 x i32> %b to <32 x i64>
 378   %e = add <32 x i64> %c, %d
 379   ret <32 x i64> %e
 380 }
 381
 382 define <2 x i32> @vwaddu_v2i32_v2i8(ptr %x, ptr %y) {
 383 ; CHECK-LABEL: vwaddu_v2i32_v2i8:
 384 ; CHECK:       # %bb.0:
 385 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
 386 ; CHECK-NEXT:    vle8.v v8, (a0)
 387 ; CHECK-NEXT:    vle8.v v9, (a1)
 388 ; CHECK-NEXT:    vwaddu.vv v10, v8, v9
 389 ; CHECK-NEXT:    vsetvli zero, zero, e32, mf2, ta, ma
 390 ; CHECK-NEXT:    vzext.vf2 v8, v10
 391 ; CHECK-NEXT:    ret
 392   %a = load <2 x i8>, ptr %x
 393   %b = load <2 x i8>, ptr %y
 394   %c = zext <2 x i8> %a to <2 x i32>
 395   %d = zext <2 x i8> %b to <2 x i32>
 396   %e = add <2 x i32> %c, %d
 397   ret <2 x i32> %e
 398 }
 399
 400 define <4 x i32> @vwaddu_v4i32_v4i8_v4i16(ptr %x, ptr %y) {
 401 ; CHECK-LABEL: vwaddu_v4i32_v4i8_v4i16:
 402 ; CHECK:       # %bb.0:
 403 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 404 ; CHECK-NEXT:    vle8.v v8, (a0)
 405 ; CHECK-NEXT:    vle16.v v9, (a1)
 406 ; CHECK-NEXT:    vzext.vf2 v10, v8
 407 ; CHECK-NEXT:    vwaddu.vv v8, v10, v9
 408 ; CHECK-NEXT:    ret
 409   %a = load <4 x i8>, ptr %x
 410   %b = load <4 x i16>, ptr %y
 411   %c = zext <4 x i8> %a to <4 x i32>
 412   %d = zext <4 x i16> %b to <4 x i32>
 413   %e = add <4 x i32> %c, %d
 414   ret <4 x i32> %e
 415 }
 416
 417 define <4 x i64> @vwaddu_v4i64_v4i32_v4i8(ptr %x, ptr %y) {
 418 ; CHECK-LABEL: vwaddu_v4i64_v4i32_v4i8:
 419 ; CHECK:       # %bb.0:
 420 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 421 ; CHECK-NEXT:    vle8.v v8, (a1)
 422 ; CHECK-NEXT:    vle32.v v10, (a0)
 423 ; CHECK-NEXT:    vzext.vf4 v11, v8
 424 ; CHECK-NEXT:    vwaddu.vv v8, v10, v11
 425 ; CHECK-NEXT:    ret
 426   %a = load <4 x i32>, ptr %x
 427   %b = load <4 x i8>, ptr %y
 428   %c = zext <4 x i32> %a to <4 x i64>
 429   %d = zext <4 x i8> %b to <4 x i64>
 430   %e = add <4 x i64> %c, %d
 431   ret <4 x i64> %e
 432 }
 433
 434 define <2 x i16> @vwaddu_vx_v2i16(ptr %x, i8 %y) {
 435 ; CHECK-LABEL: vwaddu_vx_v2i16:
 436 ; CHECK:       # %bb.0:
 437 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
 438 ; CHECK-NEXT:    vle8.v v9, (a0)
 439 ; CHECK-NEXT:    vwaddu.vx v8, v9, a1
 440 ; CHECK-NEXT:    ret
 441   %a = load <2 x i8>, ptr %x
 442   %b = insertelement <2 x i8> poison, i8 %y, i32 0
 443   %c = shufflevector <2 x i8> %b, <2 x i8> poison, <2 x i32> zeroinitializer
 444   %d = zext <2 x i8> %a to <2 x i16>
 445   %e = zext <2 x i8> %c to <2 x i16>
 446   %f = add <2 x i16> %d, %e
 447   ret <2 x i16> %f
 448 }
 449
 450 define <4 x i16> @vwaddu_vx_v4i16(ptr %x, i8 %y) {
 451 ; CHECK-LABEL: vwaddu_vx_v4i16:
 452 ; CHECK:       # %bb.0:
 453 ; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, ma
 454 ; CHECK-NEXT:    vle8.v v9, (a0)
 455 ; CHECK-NEXT:    vwaddu.vx v8, v9, a1
 456 ; CHECK-NEXT:    ret
 457   %a = load <4 x i8>, ptr %x
 458   %b = insertelement <4 x i8> poison, i8 %y, i32 0
 459   %c = shufflevector <4 x i8> %b, <4 x i8> poison, <4 x i32> zeroinitializer
 460   %d = zext <4 x i8> %a to <4 x i16>
 461   %e = zext <4 x i8> %c to <4 x i16>
 462   %f = add <4 x i16> %d, %e
 463   ret <4 x i16> %f
 464 }
 465
 466 define <2 x i32> @vwaddu_vx_v2i32(ptr %x, i16 %y) {
 467 ; CHECK-LABEL: vwaddu_vx_v2i32:
 468 ; CHECK:       # %bb.0:
 469 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 470 ; CHECK-NEXT:    vle16.v v9, (a0)
 471 ; CHECK-NEXT:    vwaddu.vx v8, v9, a1
 472 ; CHECK-NEXT:    ret
 473   %a = load <2 x i16>, ptr %x
 474   %b = insertelement <2 x i16> poison, i16 %y, i32 0
 475   %c = shufflevector <2 x i16> %b, <2 x i16> poison, <2 x i32> zeroinitializer
 476   %d = zext <2 x i16> %a to <2 x i32>
 477   %e = zext <2 x i16> %c to <2 x i32>
 478   %f = add <2 x i32> %d, %e
 479   ret <2 x i32> %f
 480 }
 481
 482 define <8 x i16> @vwaddu_vx_v8i16(ptr %x, i8 %y) {
 483 ; CHECK-LABEL: vwaddu_vx_v8i16:
 484 ; CHECK:       # %bb.0:
 485 ; CHECK-NEXT:    vsetivli zero, 8, e8, mf2, ta, ma
 486 ; CHECK-NEXT:    vle8.v v9, (a0)
 487 ; CHECK-NEXT:    vwaddu.vx v8, v9, a1
 488 ; CHECK-NEXT:    ret
 489   %a = load <8 x i8>, ptr %x
 490   %b = insertelement <8 x i8> poison, i8 %y, i32 0
 491   %c = shufflevector <8 x i8> %b, <8 x i8> poison, <8 x i32> zeroinitializer
 492   %d = zext <8 x i8> %a to <8 x i16>
 493   %e = zext <8 x i8> %c to <8 x i16>
 494   %f = add <8 x i16> %d, %e
 495   ret <8 x i16> %f
 496 }
 497
 498 define <4 x i32> @vwaddu_vx_v4i32(ptr %x, i16 %y) {
 499 ; CHECK-LABEL: vwaddu_vx_v4i32:
 500 ; CHECK:       # %bb.0:
 501 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 502 ; CHECK-NEXT:    vle16.v v9, (a0)
 503 ; CHECK-NEXT:    vwaddu.vx v8, v9, a1
 504 ; CHECK-NEXT:    ret
 505   %a = load <4 x i16>, ptr %x
 506   %b = insertelement <4 x i16> poison, i16 %y, i32 0
 507   %c = shufflevector <4 x i16> %b, <4 x i16> poison, <4 x i32> zeroinitializer
 508   %d = zext <4 x i16> %a to <4 x i32>
 509   %e = zext <4 x i16> %c to <4 x i32>
 510   %f = add <4 x i32> %d, %e
 511   ret <4 x i32> %f
 512 }
 513
 514 define <2 x i64> @vwaddu_vx_v2i64(ptr %x, i32 %y) {
 515 ; CHECK-LABEL: vwaddu_vx_v2i64:
 516 ; CHECK:       # %bb.0:
 517 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 518 ; CHECK-NEXT:    vle32.v v9, (a0)
 519 ; CHECK-NEXT:    vwaddu.vx v8, v9, a1
 520 ; CHECK-NEXT:    ret
 521   %a = load <2 x i32>, ptr %x
 522   %b = insertelement <2 x i32> poison, i32 %y, i64 0
 523   %c = shufflevector <2 x i32> %b, <2 x i32> poison, <2 x i32> zeroinitializer
 524   %d = zext <2 x i32> %a to <2 x i64>
 525   %e = zext <2 x i32> %c to <2 x i64>
 526   %f = add <2 x i64> %d, %e
 527   ret <2 x i64> %f
 528 }
 529
 530 define <16 x i16> @vwaddu_vx_v16i16(ptr %x, i8 %y) {
 531 ; CHECK-LABEL: vwaddu_vx_v16i16:
 532 ; CHECK:       # %bb.0:
 533 ; CHECK-NEXT:    vsetivli zero, 16, e8, m1, ta, ma
 534 ; CHECK-NEXT:    vle8.v v10, (a0)
 535 ; CHECK-NEXT:    vwaddu.vx v8, v10, a1
 536 ; CHECK-NEXT:    ret
 537   %a = load <16 x i8>, ptr %x
 538   %b = insertelement <16 x i8> poison, i8 %y, i32 0
 539   %c = shufflevector <16 x i8> %b, <16 x i8> poison, <16 x i32> zeroinitializer
 540   %d = zext <16 x i8> %a to <16 x i16>
 541   %e = zext <16 x i8> %c to <16 x i16>
 542   %f = add <16 x i16> %d, %e
 543   ret <16 x i16> %f
 544 }
 545
 546 define <8 x i32> @vwaddu_vx_v8i32(ptr %x, i16 %y) {
 547 ; CHECK-LABEL: vwaddu_vx_v8i32:
 548 ; CHECK:       # %bb.0:
 549 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
 550 ; CHECK-NEXT:    vle16.v v10, (a0)
 551 ; CHECK-NEXT:    vwaddu.vx v8, v10, a1
 552 ; CHECK-NEXT:    ret
 553   %a = load <8 x i16>, ptr %x
 554   %b = insertelement <8 x i16> poison, i16 %y, i32 0
 555   %c = shufflevector <8 x i16> %b, <8 x i16> poison, <8 x i32> zeroinitializer
 556   %d = zext <8 x i16> %a to <8 x i32>
 557   %e = zext <8 x i16> %c to <8 x i32>
 558   %f = add <8 x i32> %d, %e
 559   ret <8 x i32> %f
 560 }
 561
 562 define <4 x i64> @vwaddu_vx_v4i64(ptr %x, i32 %y) {
 563 ; CHECK-LABEL: vwaddu_vx_v4i64:
 564 ; CHECK:       # %bb.0:
 565 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 566 ; CHECK-NEXT:    vle32.v v10, (a0)
 567 ; CHECK-NEXT:    vwaddu.vx v8, v10, a1
 568 ; CHECK-NEXT:    ret
 569   %a = load <4 x i32>, ptr %x
 570   %b = insertelement <4 x i32> poison, i32 %y, i64 0
 571   %c = shufflevector <4 x i32> %b, <4 x i32> poison, <4 x i32> zeroinitializer
 572   %d = zext <4 x i32> %a to <4 x i64>
 573   %e = zext <4 x i32> %c to <4 x i64>
 574   %f = add <4 x i64> %d, %e
 575   ret <4 x i64> %f
 576 }
 577
 578 define <32 x i16> @vwaddu_vx_v32i16(ptr %x, i8 %y) {
 579 ; CHECK-LABEL: vwaddu_vx_v32i16:
 580 ; CHECK:       # %bb.0:
 581 ; CHECK-NEXT:    li a2, 32
 582 ; CHECK-NEXT:    vsetvli zero, a2, e8, m2, ta, ma
 583 ; CHECK-NEXT:    vle8.v v12, (a0)
 584 ; CHECK-NEXT:    vwaddu.vx v8, v12, a1
 585 ; CHECK-NEXT:    ret
 586   %a = load <32 x i8>, ptr %x
 587   %b = insertelement <32 x i8> poison, i8 %y, i32 0
 588   %c = shufflevector <32 x i8> %b, <32 x i8> poison, <32 x i32> zeroinitializer
 589   %d = zext <32 x i8> %a to <32 x i16>
 590   %e = zext <32 x i8> %c to <32 x i16>
 591   %f = add <32 x i16> %d, %e
 592   ret <32 x i16> %f
 593 }
 594
 595 define <16 x i32> @vwaddu_vx_v16i32(ptr %x, i16 %y) {
 596 ; CHECK-LABEL: vwaddu_vx_v16i32:
 597 ; CHECK:       # %bb.0:
 598 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
 599 ; CHECK-NEXT:    vle16.v v12, (a0)
 600 ; CHECK-NEXT:    vwaddu.vx v8, v12, a1
 601 ; CHECK-NEXT:    ret
 602   %a = load <16 x i16>, ptr %x
 603   %b = insertelement <16 x i16> poison, i16 %y, i32 0
 604   %c = shufflevector <16 x i16> %b, <16 x i16> poison, <16 x i32> zeroinitializer
 605   %d = zext <16 x i16> %a to <16 x i32>
 606   %e = zext <16 x i16> %c to <16 x i32>
 607   %f = add <16 x i32> %d, %e
 608   ret <16 x i32> %f
 609 }
 610
 611 define <8 x i64> @vwaddu_vx_v8i64(ptr %x, i32 %y) {
 612 ; CHECK-LABEL: vwaddu_vx_v8i64:
 613 ; CHECK:       # %bb.0:
 614 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
 615 ; CHECK-NEXT:    vle32.v v12, (a0)
 616 ; CHECK-NEXT:    vwaddu.vx v8, v12, a1
 617 ; CHECK-NEXT:    ret
 618   %a = load <8 x i32>, ptr %x
 619   %b = insertelement <8 x i32> poison, i32 %y, i64 0
 620   %c = shufflevector <8 x i32> %b, <8 x i32> poison, <8 x i32> zeroinitializer
 621   %d = zext <8 x i32> %a to <8 x i64>
 622   %e = zext <8 x i32> %c to <8 x i64>
 623   %f = add <8 x i64> %d, %e
 624   ret <8 x i64> %f
 625 }
 626
 627 define <64 x i16> @vwaddu_vx_v64i16(ptr %x, i8 %y) {
 628 ; CHECK-LABEL: vwaddu_vx_v64i16:
 629 ; CHECK:       # %bb.0:
 630 ; CHECK-NEXT:    li a2, 64
 631 ; CHECK-NEXT:    vsetvli zero, a2, e8, m4, ta, ma
 632 ; CHECK-NEXT:    vle8.v v16, (a0)
 633 ; CHECK-NEXT:    vwaddu.vx v8, v16, a1
 634 ; CHECK-NEXT:    ret
 635   %a = load <64 x i8>, ptr %x
 636   %b = insertelement <64 x i8> poison, i8 %y, i32 0
 637   %c = shufflevector <64 x i8> %b, <64 x i8> poison, <64 x i32> zeroinitializer
 638   %d = zext <64 x i8> %a to <64 x i16>
 639   %e = zext <64 x i8> %c to <64 x i16>
 640   %f = add <64 x i16> %d, %e
 641   ret <64 x i16> %f
 642 }
 643
 644 define <32 x i32> @vwaddu_vx_v32i32(ptr %x, i16 %y) {
 645 ; CHECK-LABEL: vwaddu_vx_v32i32:
 646 ; CHECK:       # %bb.0:
 647 ; CHECK-NEXT:    li a2, 32
 648 ; CHECK-NEXT:    vsetvli zero, a2, e16, m4, ta, ma
 649 ; CHECK-NEXT:    vle16.v v16, (a0)
 650 ; CHECK-NEXT:    vwaddu.vx v8, v16, a1
 651 ; CHECK-NEXT:    ret
 652   %a = load <32 x i16>, ptr %x
 653   %b = insertelement <32 x i16> poison, i16 %y, i32 0
 654   %c = shufflevector <32 x i16> %b, <32 x i16> poison, <32 x i32> zeroinitializer
 655   %d = zext <32 x i16> %a to <32 x i32>
 656   %e = zext <32 x i16> %c to <32 x i32>
 657   %f = add <32 x i32> %d, %e
 658   ret <32 x i32> %f
 659 }
 660
 661 define <16 x i64> @vwaddu_vx_v16i64(ptr %x, i32 %y) {
 662 ; CHECK-LABEL: vwaddu_vx_v16i64:
 663 ; CHECK:       # %bb.0:
 664 ; CHECK-NEXT:    vsetivli zero, 16, e32, m4, ta, ma
 665 ; CHECK-NEXT:    vle32.v v16, (a0)
 666 ; CHECK-NEXT:    vwaddu.vx v8, v16, a1
 667 ; CHECK-NEXT:    ret
 668   %a = load <16 x i32>, ptr %x
 669   %b = insertelement <16 x i32> poison, i32 %y, i64 0
 670   %c = shufflevector <16 x i32> %b, <16 x i32> poison, <16 x i32> zeroinitializer
 671   %d = zext <16 x i32> %a to <16 x i64>
 672   %e = zext <16 x i32> %c to <16 x i64>
 673   %f = add <16 x i64> %d, %e
 674   ret <16 x i64> %f
 675 }
 676
 677 define <8 x i16> @vwaddu_vx_v8i16_i8(ptr %x, ptr %y) {
 678 ; CHECK-LABEL: vwaddu_vx_v8i16_i8:
 679 ; CHECK:       # %bb.0:
 680 ; CHECK-NEXT:    vsetivli zero, 8, e8, mf2, ta, ma
 681 ; CHECK-NEXT:    vle8.v v9, (a0)
 682 ; CHECK-NEXT:    lbu a0, 0(a1)
 683 ; CHECK-NEXT:    vwaddu.vx v8, v9, a0
 684 ; CHECK-NEXT:    ret
 685   %a = load <8 x i8>, ptr %x
 686   %b = load i8, ptr %y
 687   %c = zext i8 %b to i16
 688   %d = insertelement <8 x i16> poison, i16 %c, i32 0
 689   %e = shufflevector <8 x i16> %d, <8 x i16> poison, <8 x i32> zeroinitializer
 690   %f = zext <8 x i8> %a to <8 x i16>
 691   %g = add <8 x i16> %e, %f
 692   ret <8 x i16> %g
 693 }
 694
 695 define <8 x i16> @vwaddu_vx_v8i16_i16(ptr %x, ptr %y) {
 696 ; CHECK-LABEL: vwaddu_vx_v8i16_i16:
 697 ; CHECK:       # %bb.0:
 698 ; CHECK-NEXT:    lh a1, 0(a1)
 699 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
 700 ; CHECK-NEXT:    vle8.v v9, (a0)
 701 ; CHECK-NEXT:    vmv.v.x v8, a1
 702 ; CHECK-NEXT:    vsetvli zero, zero, e8, mf2, ta, ma
 703 ; CHECK-NEXT:    vwaddu.wv v8, v8, v9
 704 ; CHECK-NEXT:    ret
 705   %a = load <8 x i8>, ptr %x
 706   %b = load i16, ptr %y
 707   %d = insertelement <8 x i16> poison, i16 %b, i32 0
 708   %e = shufflevector <8 x i16> %d, <8 x i16> poison, <8 x i32> zeroinitializer
 709   %f = zext <8 x i8> %a to <8 x i16>
 710   %g = add <8 x i16> %e, %f
 711   ret <8 x i16> %g
 712 }
 713
 714 define <4 x i32> @vwaddu_vx_v4i32_i8(ptr %x, ptr %y) {
 715 ; CHECK-LABEL: vwaddu_vx_v4i32_i8:
 716 ; CHECK:       # %bb.0:
 717 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 718 ; CHECK-NEXT:    vle16.v v9, (a0)
 719 ; CHECK-NEXT:    lbu a0, 0(a1)
 720 ; CHECK-NEXT:    vwaddu.vx v8, v9, a0
 721 ; CHECK-NEXT:    ret
 722   %a = load <4 x i16>, ptr %x
 723   %b = load i8, ptr %y
 724   %c = zext i8 %b to i32
 725   %d = insertelement <4 x i32> poison, i32 %c, i32 0
 726   %e = shufflevector <4 x i32> %d, <4 x i32> poison, <4 x i32> zeroinitializer
 727   %f = zext <4 x i16> %a to <4 x i32>
 728   %g = add <4 x i32> %e, %f
 729   ret <4 x i32> %g
 730 }
 731
 732 define <4 x i32> @vwaddu_vx_v4i32_i16(ptr %x, ptr %y) {
 733 ; CHECK-LABEL: vwaddu_vx_v4i32_i16:
 734 ; CHECK:       # %bb.0:
 735 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
 736 ; CHECK-NEXT:    vle16.v v9, (a0)
 737 ; CHECK-NEXT:    lhu a0, 0(a1)
 738 ; CHECK-NEXT:    vwaddu.vx v8, v9, a0
 739 ; CHECK-NEXT:    ret
 740   %a = load <4 x i16>, ptr %x
 741   %b = load i16, ptr %y
 742   %c = zext i16 %b to i32
 743   %d = insertelement <4 x i32> poison, i32 %c, i32 0
 744   %e = shufflevector <4 x i32> %d, <4 x i32> poison, <4 x i32> zeroinitializer
 745   %f = zext <4 x i16> %a to <4 x i32>
 746   %g = add <4 x i32> %e, %f
 747   ret <4 x i32> %g
 748 }
 749
 750 define <4 x i32> @vwaddu_vx_v4i32_i32(ptr %x, ptr %y) {
 751 ; CHECK-LABEL: vwaddu_vx_v4i32_i32:
 752 ; CHECK:       # %bb.0:
 753 ; CHECK-NEXT:    lw a1, 0(a1)
 754 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
 755 ; CHECK-NEXT:    vle16.v v9, (a0)
 756 ; CHECK-NEXT:    vmv.v.x v8, a1
 757 ; CHECK-NEXT:    vsetvli zero, zero, e16, mf2, ta, ma
 758 ; CHECK-NEXT:    vwaddu.wv v8, v8, v9
 759 ; CHECK-NEXT:    ret
 760   %a = load <4 x i16>, ptr %x
 761   %b = load i32, ptr %y
 762   %d = insertelement <4 x i32> poison, i32 %b, i32 0
 763   %e = shufflevector <4 x i32> %d, <4 x i32> poison, <4 x i32> zeroinitializer
 764   %f = zext <4 x i16> %a to <4 x i32>
 765   %g = add <4 x i32> %e, %f
 766   ret <4 x i32> %g
 767 }
 768
 769 define <2 x i64> @vwaddu_vx_v2i64_i8(ptr %x, ptr %y) nounwind {
 770 ; RV32-LABEL: vwaddu_vx_v2i64_i8:
 771 ; RV32:       # %bb.0:
 772 ; RV32-NEXT:    addi sp, sp, -16
 773 ; RV32-NEXT:    lbu a1, 0(a1)
 774 ; RV32-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 775 ; RV32-NEXT:    vle32.v v9, (a0)
 776 ; RV32-NEXT:    sw zero, 12(sp)
 777 ; RV32-NEXT:    sw a1, 8(sp)
 778 ; RV32-NEXT:    addi a0, sp, 8
 779 ; RV32-NEXT:    vlse64.v v8, (a0), zero
 780 ; RV32-NEXT:    vwaddu.wv v8, v8, v9
 781 ; RV32-NEXT:    addi sp, sp, 16
 782 ; RV32-NEXT:    ret
 783 ;
 784 ; RV64-LABEL: vwaddu_vx_v2i64_i8:
 785 ; RV64:       # %bb.0:
 786 ; RV64-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 787 ; RV64-NEXT:    vle32.v v9, (a0)
 788 ; RV64-NEXT:    lbu a0, 0(a1)
 789 ; RV64-NEXT:    vwaddu.vx v8, v9, a0
 790 ; RV64-NEXT:    ret
 791   %a = load <2 x i32>, ptr %x
 792   %b = load i8, ptr %y
 793   %c = zext i8 %b to i64
 794   %d = insertelement <2 x i64> poison, i64 %c, i64 0
 795   %e = shufflevector <2 x i64> %d, <2 x i64> poison, <2 x i32> zeroinitializer
 796   %f = zext <2 x i32> %a to <2 x i64>
 797   %g = add <2 x i64> %e, %f
 798   ret <2 x i64> %g
 799 }
 800
 801 define <2 x i64> @vwaddu_vx_v2i64_i16(ptr %x, ptr %y) nounwind {
 802 ; RV32-LABEL: vwaddu_vx_v2i64_i16:
 803 ; RV32:       # %bb.0:
 804 ; RV32-NEXT:    addi sp, sp, -16
 805 ; RV32-NEXT:    lhu a1, 0(a1)
 806 ; RV32-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 807 ; RV32-NEXT:    vle32.v v9, (a0)
 808 ; RV32-NEXT:    sw zero, 12(sp)
 809 ; RV32-NEXT:    sw a1, 8(sp)
 810 ; RV32-NEXT:    addi a0, sp, 8
 811 ; RV32-NEXT:    vlse64.v v8, (a0), zero
 812 ; RV32-NEXT:    vwaddu.wv v8, v8, v9
 813 ; RV32-NEXT:    addi sp, sp, 16
 814 ; RV32-NEXT:    ret
 815 ;
 816 ; RV64-LABEL: vwaddu_vx_v2i64_i16:
 817 ; RV64:       # %bb.0:
 818 ; RV64-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 819 ; RV64-NEXT:    vle32.v v9, (a0)
 820 ; RV64-NEXT:    lhu a0, 0(a1)
 821 ; RV64-NEXT:    vwaddu.vx v8, v9, a0
 822 ; RV64-NEXT:    ret
 823   %a = load <2 x i32>, ptr %x
 824   %b = load i16, ptr %y
 825   %c = zext i16 %b to i64
 826   %d = insertelement <2 x i64> poison, i64 %c, i64 0
 827   %e = shufflevector <2 x i64> %d, <2 x i64> poison, <2 x i32> zeroinitializer
 828   %f = zext <2 x i32> %a to <2 x i64>
 829   %g = add <2 x i64> %e, %f
 830   ret <2 x i64> %g
 831 }
 832
 833 define <2 x i64> @vwaddu_vx_v2i64_i32(ptr %x, ptr %y) nounwind {
 834 ; RV32-LABEL: vwaddu_vx_v2i64_i32:
 835 ; RV32:       # %bb.0:
 836 ; RV32-NEXT:    addi sp, sp, -16
 837 ; RV32-NEXT:    lw a1, 0(a1)
 838 ; RV32-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 839 ; RV32-NEXT:    vle32.v v9, (a0)
 840 ; RV32-NEXT:    sw zero, 12(sp)
 841 ; RV32-NEXT:    sw a1, 8(sp)
 842 ; RV32-NEXT:    addi a0, sp, 8
 843 ; RV32-NEXT:    vlse64.v v8, (a0), zero
 844 ; RV32-NEXT:    vwaddu.wv v8, v8, v9
 845 ; RV32-NEXT:    addi sp, sp, 16
 846 ; RV32-NEXT:    ret
 847 ;
 848 ; RV64-LABEL: vwaddu_vx_v2i64_i32:
 849 ; RV64:       # %bb.0:
 850 ; RV64-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 851 ; RV64-NEXT:    vle32.v v9, (a0)
 852 ; RV64-NEXT:    lwu a0, 0(a1)
 853 ; RV64-NEXT:    vwaddu.vx v8, v9, a0
 854 ; RV64-NEXT:    ret
 855   %a = load <2 x i32>, ptr %x
 856   %b = load i32, ptr %y
 857   %c = zext i32 %b to i64
 858   %d = insertelement <2 x i64> poison, i64 %c, i64 0
 859   %e = shufflevector <2 x i64> %d, <2 x i64> poison, <2 x i32> zeroinitializer
 860   %f = zext <2 x i32> %a to <2 x i64>
 861   %g = add <2 x i64> %e, %f
 862   ret <2 x i64> %g
 863 }
 864
 865 define <2 x i64> @vwaddu_vx_v2i64_i64(ptr %x, ptr %y) nounwind {
 866 ; RV32-LABEL: vwaddu_vx_v2i64_i64:
 867 ; RV32:       # %bb.0:
 868 ; RV32-NEXT:    addi sp, sp, -16
 869 ; RV32-NEXT:    lw a2, 4(a1)
 870 ; RV32-NEXT:    lw a1, 0(a1)
 871 ; RV32-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
 872 ; RV32-NEXT:    vle32.v v9, (a0)
 873 ; RV32-NEXT:    sw a2, 12(sp)
 874 ; RV32-NEXT:    sw a1, 8(sp)
 875 ; RV32-NEXT:    addi a0, sp, 8
 876 ; RV32-NEXT:    vlse64.v v8, (a0), zero
 877 ; RV32-NEXT:    vwaddu.wv v8, v8, v9
 878 ; RV32-NEXT:    addi sp, sp, 16
 879 ; RV32-NEXT:    ret
 880 ;
 881 ; RV64-LABEL: vwaddu_vx_v2i64_i64:
 882 ; RV64:       # %bb.0:
 883 ; RV64-NEXT:    ld a1, 0(a1)
 884 ; RV64-NEXT:    vsetivli zero, 2, e64, m1, ta, ma
 885 ; RV64-NEXT:    vle32.v v9, (a0)
 886 ; RV64-NEXT:    vmv.v.x v8, a1
 887 ; RV64-NEXT:    vsetvli zero, zero, e32, mf2, ta, ma
 888 ; RV64-NEXT:    vwaddu.wv v8, v8, v9
 889 ; RV64-NEXT:    ret
 890   %a = load <2 x i32>, ptr %x
 891   %b = load i64, ptr %y
 892   %d = insertelement <2 x i64> poison, i64 %b, i64 0
 893   %e = shufflevector <2 x i64> %d, <2 x i64> poison, <2 x i32> zeroinitializer
 894   %f = zext <2 x i32> %a to <2 x i64>
 895   %g = add <2 x i64> %e, %f
 896   ret <2 x i64> %g
 897 }
 898
 899 define <4 x i64> @crash(<4 x i16> %x, <4 x i16> %y) {
 900 ; CHECK-LABEL: crash:
 901 ; CHECK:       # %bb.0:
 902 ; CHECK-NEXT:    vsetivli zero, 4, e64, m2, ta, ma
 903 ; CHECK-NEXT:    vsext.vf4 v10, v8
 904 ; CHECK-NEXT:    vsetvli zero, zero, e32, m1, ta, ma
 905 ; CHECK-NEXT:    vzext.vf2 v8, v9
 906 ; CHECK-NEXT:    vwaddu.wv v10, v10, v8
 907 ; CHECK-NEXT:    vmv2r.v v8, v10
 908 ; CHECK-NEXT:    ret
 909   %a = sext <4 x i16> %x to <4 x i64>
 910   %b = zext <4 x i16> %y to <4 x i64>
 911   %c = add <4 x i64> %a, %b
 912   ret <4 x i64> %c
 913 }
 914
 915 define <2 x i32> @vwaddu_v2i32_of_v2i8(ptr %x, ptr %y) {
 916 ; CHECK-LABEL: vwaddu_v2i32_of_v2i8:
 917 ; CHECK:       # %bb.0:
 918 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
 919 ; CHECK-NEXT:    vle8.v v8, (a0)
 920 ; CHECK-NEXT:    vle8.v v9, (a1)
 921 ; CHECK-NEXT:    vwaddu.vv v10, v8, v9
 922 ; CHECK-NEXT:    vsetvli zero, zero, e32, mf2, ta, ma
 923 ; CHECK-NEXT:    vzext.vf2 v8, v10
 924 ; CHECK-NEXT:    ret
 925   %a = load <2 x i8>, ptr %x
 926   %b = load <2 x i8>, ptr %y
 927   %c = zext <2 x i8> %a to <2 x i32>
 928   %d = zext <2 x i8> %b to <2 x i32>
 929   %e = add <2 x i32> %c, %d
 930   ret <2 x i32> %e
 931 }
 932
 933 define <2 x i64> @vwaddu_v2i64_of_v2i8(ptr %x, ptr %y) {
 934 ; CHECK-LABEL: vwaddu_v2i64_of_v2i8:
 935 ; CHECK:       # %bb.0:
 936 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
 937 ; CHECK-NEXT:    vle8.v v8, (a0)
 938 ; CHECK-NEXT:    vle8.v v9, (a1)
 939 ; CHECK-NEXT:    vwaddu.vv v10, v8, v9
 940 ; CHECK-NEXT:    vsetvli zero, zero, e64, m1, ta, ma
 941 ; CHECK-NEXT:    vzext.vf4 v8, v10
 942 ; CHECK-NEXT:    ret
 943   %a = load <2 x i8>, ptr %x
 944   %b = load <2 x i8>, ptr %y
 945   %c = zext <2 x i8> %a to <2 x i64>
 946   %d = zext <2 x i8> %b to <2 x i64>
 947   %e = add <2 x i64> %c, %d
 948   ret <2 x i64> %e
 949 }
 950
 951 define <2 x i64> @vwaddu_v2i64_of_v2i16(ptr %x, ptr %y) {
 952 ; CHECK-LABEL: vwaddu_v2i64_of_v2i16:
 953 ; CHECK:       # %bb.0:
 954 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
 955 ; CHECK-NEXT:    vle16.v v8, (a0)
 956 ; CHECK-NEXT:    vle16.v v9, (a1)
 957 ; CHECK-NEXT:    vwaddu.vv v10, v8, v9
 958 ; CHECK-NEXT:    vsetvli zero, zero, e64, m1, ta, ma
 959 ; CHECK-NEXT:    vzext.vf2 v8, v10
 960 ; CHECK-NEXT:    ret
 961   %a = load <2 x i16>, ptr %x
 962   %b = load <2 x i16>, ptr %y
 963   %c = zext <2 x i16> %a to <2 x i64>
 964   %d = zext <2 x i16> %b to <2 x i64>
 965   %e = add <2 x i64> %c, %d
 966   ret <2 x i64> %e
 967 }