llvm/test/CodeGen/RISCV/rvv/vadd-vp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -mattr=+v -verify-machineinstrs < %s \
   3 ; RUN:   | FileCheck %s --check-prefixes=CHECK,RV32
   4 ; RUN: llc -mtriple=riscv64 -mattr=+v -verify-machineinstrs < %s \
   5 ; RUN:   | FileCheck %s --check-prefixes=CHECK,RV64
   6
   7 declare <vscale x 8 x i7> @llvm.vp.add.nxv8i7(<vscale x 8 x i7>, <vscale x 8 x i7>, <vscale x 8 x i1>, i32)
   8
   9 define <vscale x 8 x i7> @vadd_vx_nxv8i7(<vscale x 8 x i7> %a, i7 signext %b, <vscale x 8 x i1> %mask, i32 zeroext %evl) {
  10 ; CHECK-LABEL: vadd_vx_nxv8i7:
  11 ; CHECK:       # %bb.0:
  12 ; CHECK-NEXT:    vsetvli zero, a1, e8, m1, ta, ma
  13 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
  14 ; CHECK-NEXT:    ret
  15   %elt.head = insertelement <vscale x 8 x i7> poison, i7 %b, i32 0
  16   %vb = shufflevector <vscale x 8 x i7> %elt.head, <vscale x 8 x i7> poison, <vscale x 8 x i32> zeroinitializer
  17   %v = call <vscale x 8 x i7> @llvm.vp.add.nxv8i7(<vscale x 8 x i7> %a, <vscale x 8 x i7> %vb, <vscale x 8 x i1> %mask, i32 %evl)
  18   ret <vscale x 8 x i7> %v
  19 }
  20
  21 declare <vscale x 1 x i8> @llvm.vp.add.nxv1i8(<vscale x 1 x i8>, <vscale x 1 x i8>, <vscale x 1 x i1>, i32)
  22
  23 define <vscale x 1 x i8> @vadd_vv_nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i8> %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
  24 ; CHECK-LABEL: vadd_vv_nxv1i8:
  25 ; CHECK:       # %bb.0:
  26 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf8, ta, ma
  27 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
  28 ; CHECK-NEXT:    ret
  29   %v = call <vscale x 1 x i8> @llvm.vp.add.nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i8> %b, <vscale x 1 x i1> %m, i32 %evl)
  30   ret <vscale x 1 x i8> %v
  31 }
  32
  33 define <vscale x 1 x i8> @vadd_vv_nxv1i8_unmasked(<vscale x 1 x i8> %va, <vscale x 1 x i8> %b, i32 zeroext %evl) {
  34 ; CHECK-LABEL: vadd_vv_nxv1i8_unmasked:
  35 ; CHECK:       # %bb.0:
  36 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf8, ta, ma
  37 ; CHECK-NEXT:    vadd.vv v8, v8, v9
  38 ; CHECK-NEXT:    ret
  39   %v = call <vscale x 1 x i8> @llvm.vp.add.nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i8> %b, <vscale x 1 x i1> splat (i1 true), i32 %evl)
  40   ret <vscale x 1 x i8> %v
  41 }
  42
  43 define <vscale x 1 x i8> @vadd_vx_nxv1i8(<vscale x 1 x i8> %va, i8 %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
  44 ; CHECK-LABEL: vadd_vx_nxv1i8:
  45 ; CHECK:       # %bb.0:
  46 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf8, ta, ma
  47 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
  48 ; CHECK-NEXT:    ret
  49   %elt.head = insertelement <vscale x 1 x i8> poison, i8 %b, i32 0
  50   %vb = shufflevector <vscale x 1 x i8> %elt.head, <vscale x 1 x i8> poison, <vscale x 1 x i32> zeroinitializer
  51   %v = call <vscale x 1 x i8> @llvm.vp.add.nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i8> %vb, <vscale x 1 x i1> %m, i32 %evl)
  52   ret <vscale x 1 x i8> %v
  53 }
  54
  55 define <vscale x 1 x i8> @vadd_vx_nxv1i8_commute(<vscale x 1 x i8> %va, i8 %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
  56 ; CHECK-LABEL: vadd_vx_nxv1i8_commute:
  57 ; CHECK:       # %bb.0:
  58 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf8, ta, ma
  59 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
  60 ; CHECK-NEXT:    ret
  61   %elt.head = insertelement <vscale x 1 x i8> poison, i8 %b, i32 0
  62   %vb = shufflevector <vscale x 1 x i8> %elt.head, <vscale x 1 x i8> poison, <vscale x 1 x i32> zeroinitializer
  63   %v = call <vscale x 1 x i8> @llvm.vp.add.nxv1i8(<vscale x 1 x i8> %vb, <vscale x 1 x i8> %va, <vscale x 1 x i1> %m, i32 %evl)
  64   ret <vscale x 1 x i8> %v
  65 }
  66
  67 define <vscale x 1 x i8> @vadd_vx_nxv1i8_unmasked(<vscale x 1 x i8> %va, i8 %b, i32 zeroext %evl) {
  68 ; CHECK-LABEL: vadd_vx_nxv1i8_unmasked:
  69 ; CHECK:       # %bb.0:
  70 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf8, ta, ma
  71 ; CHECK-NEXT:    vadd.vx v8, v8, a0
  72 ; CHECK-NEXT:    ret
  73   %elt.head = insertelement <vscale x 1 x i8> poison, i8 %b, i32 0
  74   %vb = shufflevector <vscale x 1 x i8> %elt.head, <vscale x 1 x i8> poison, <vscale x 1 x i32> zeroinitializer
  75   %v = call <vscale x 1 x i8> @llvm.vp.add.nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i8> %vb, <vscale x 1 x i1> splat (i1 true), i32 %evl)
  76   ret <vscale x 1 x i8> %v
  77 }
  78
  79 define <vscale x 1 x i8> @vadd_vi_nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i1> %m, i32 zeroext %evl) {
  80 ; CHECK-LABEL: vadd_vi_nxv1i8:
  81 ; CHECK:       # %bb.0:
  82 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf8, ta, ma
  83 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
  84 ; CHECK-NEXT:    ret
  85   %v = call <vscale x 1 x i8> @llvm.vp.add.nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i8> splat (i8 -1), <vscale x 1 x i1> %m, i32 %evl)
  86   ret <vscale x 1 x i8> %v
  87 }
  88
  89 define <vscale x 1 x i8> @vadd_vi_nxv1i8_unmasked(<vscale x 1 x i8> %va, i32 zeroext %evl) {
  90 ; CHECK-LABEL: vadd_vi_nxv1i8_unmasked:
  91 ; CHECK:       # %bb.0:
  92 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf8, ta, ma
  93 ; CHECK-NEXT:    vadd.vi v8, v8, -1
  94 ; CHECK-NEXT:    ret
  95   %v = call <vscale x 1 x i8> @llvm.vp.add.nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i8> splat (i8 -1), <vscale x 1 x i1> splat (i1 true), i32 %evl)
  96   ret <vscale x 1 x i8> %v
  97 }
  98
  99 declare <vscale x 2 x i8> @llvm.vp.add.nxv2i8(<vscale x 2 x i8>, <vscale x 2 x i8>, <vscale x 2 x i1>, i32)
 100
 101 define <vscale x 2 x i8> @vadd_vv_nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i8> %b, <vscale x 2 x i1> %m, i32 zeroext %evl) {
 102 ; CHECK-LABEL: vadd_vv_nxv2i8:
 103 ; CHECK:       # %bb.0:
 104 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf4, ta, ma
 105 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
 106 ; CHECK-NEXT:    ret
 107   %v = call <vscale x 2 x i8> @llvm.vp.add.nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i8> %b, <vscale x 2 x i1> %m, i32 %evl)
 108   ret <vscale x 2 x i8> %v
 109 }
 110
 111 define <vscale x 2 x i8> @vadd_vv_nxv2i8_unmasked(<vscale x 2 x i8> %va, <vscale x 2 x i8> %b, i32 zeroext %evl) {
 112 ; CHECK-LABEL: vadd_vv_nxv2i8_unmasked:
 113 ; CHECK:       # %bb.0:
 114 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf4, ta, ma
 115 ; CHECK-NEXT:    vadd.vv v8, v8, v9
 116 ; CHECK-NEXT:    ret
 117   %v = call <vscale x 2 x i8> @llvm.vp.add.nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i8> %b, <vscale x 2 x i1> splat (i1 true), i32 %evl)
 118   ret <vscale x 2 x i8> %v
 119 }
 120
 121 define <vscale x 2 x i8> @vadd_vx_nxv2i8(<vscale x 2 x i8> %va, i8 %b, <vscale x 2 x i1> %m, i32 zeroext %evl) {
 122 ; CHECK-LABEL: vadd_vx_nxv2i8:
 123 ; CHECK:       # %bb.0:
 124 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf4, ta, ma
 125 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 126 ; CHECK-NEXT:    ret
 127   %elt.head = insertelement <vscale x 2 x i8> poison, i8 %b, i32 0
 128   %vb = shufflevector <vscale x 2 x i8> %elt.head, <vscale x 2 x i8> poison, <vscale x 2 x i32> zeroinitializer
 129   %v = call <vscale x 2 x i8> @llvm.vp.add.nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i8> %vb, <vscale x 2 x i1> %m, i32 %evl)
 130   ret <vscale x 2 x i8> %v
 131 }
 132
 133 define <vscale x 2 x i8> @vadd_vx_nxv2i8_unmasked(<vscale x 2 x i8> %va, i8 %b, i32 zeroext %evl) {
 134 ; CHECK-LABEL: vadd_vx_nxv2i8_unmasked:
 135 ; CHECK:       # %bb.0:
 136 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf4, ta, ma
 137 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 138 ; CHECK-NEXT:    ret
 139   %elt.head = insertelement <vscale x 2 x i8> poison, i8 %b, i32 0
 140   %vb = shufflevector <vscale x 2 x i8> %elt.head, <vscale x 2 x i8> poison, <vscale x 2 x i32> zeroinitializer
 141   %v = call <vscale x 2 x i8> @llvm.vp.add.nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i8> %vb, <vscale x 2 x i1> splat (i1 true), i32 %evl)
 142   ret <vscale x 2 x i8> %v
 143 }
 144
 145 define <vscale x 2 x i8> @vadd_vi_nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i1> %m, i32 zeroext %evl) {
 146 ; CHECK-LABEL: vadd_vi_nxv2i8:
 147 ; CHECK:       # %bb.0:
 148 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf4, ta, ma
 149 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 150 ; CHECK-NEXT:    ret
 151   %v = call <vscale x 2 x i8> @llvm.vp.add.nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i8> splat (i8 -1), <vscale x 2 x i1> %m, i32 %evl)
 152   ret <vscale x 2 x i8> %v
 153 }
 154
 155 define <vscale x 2 x i8> @vadd_vi_nxv2i8_unmasked(<vscale x 2 x i8> %va, i32 zeroext %evl) {
 156 ; CHECK-LABEL: vadd_vi_nxv2i8_unmasked:
 157 ; CHECK:       # %bb.0:
 158 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf4, ta, ma
 159 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 160 ; CHECK-NEXT:    ret
 161   %v = call <vscale x 2 x i8> @llvm.vp.add.nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i8> splat (i8 -1), <vscale x 2 x i1> splat (i1 true), i32 %evl)
 162   ret <vscale x 2 x i8> %v
 163 }
 164
 165 declare <vscale x 3 x i8> @llvm.vp.add.nxv3i8(<vscale x 3 x i8>, <vscale x 3 x i8>, <vscale x 3 x i1>, i32)
 166
 167 define <vscale x 3 x i8> @vadd_vv_nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i8> %b, <vscale x 3 x i1> %m, i32 zeroext %evl) {
 168 ; CHECK-LABEL: vadd_vv_nxv3i8:
 169 ; CHECK:       # %bb.0:
 170 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 171 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
 172 ; CHECK-NEXT:    ret
 173   %v = call <vscale x 3 x i8> @llvm.vp.add.nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i8> %b, <vscale x 3 x i1> %m, i32 %evl)
 174   ret <vscale x 3 x i8> %v
 175 }
 176
 177 define <vscale x 3 x i8> @vadd_vv_nxv3i8_unmasked(<vscale x 3 x i8> %va, <vscale x 3 x i8> %b, i32 zeroext %evl) {
 178 ; CHECK-LABEL: vadd_vv_nxv3i8_unmasked:
 179 ; CHECK:       # %bb.0:
 180 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 181 ; CHECK-NEXT:    vadd.vv v8, v8, v9
 182 ; CHECK-NEXT:    ret
 183   %v = call <vscale x 3 x i8> @llvm.vp.add.nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i8> %b, <vscale x 3 x i1> splat (i1 true), i32 %evl)
 184   ret <vscale x 3 x i8> %v
 185 }
 186
 187 define <vscale x 3 x i8> @vadd_vx_nxv3i8(<vscale x 3 x i8> %va, i8 %b, <vscale x 3 x i1> %m, i32 zeroext %evl) {
 188 ; CHECK-LABEL: vadd_vx_nxv3i8:
 189 ; CHECK:       # %bb.0:
 190 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf2, ta, ma
 191 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 192 ; CHECK-NEXT:    ret
 193   %elt.head = insertelement <vscale x 3 x i8> poison, i8 %b, i32 0
 194   %vb = shufflevector <vscale x 3 x i8> %elt.head, <vscale x 3 x i8> poison, <vscale x 3 x i32> zeroinitializer
 195   %v = call <vscale x 3 x i8> @llvm.vp.add.nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i8> %vb, <vscale x 3 x i1> %m, i32 %evl)
 196   ret <vscale x 3 x i8> %v
 197 }
 198
 199 define <vscale x 3 x i8> @vadd_vx_nxv3i8_unmasked(<vscale x 3 x i8> %va, i8 %b, i32 zeroext %evl) {
 200 ; CHECK-LABEL: vadd_vx_nxv3i8_unmasked:
 201 ; CHECK:       # %bb.0:
 202 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf2, ta, ma
 203 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 204 ; CHECK-NEXT:    ret
 205   %elt.head = insertelement <vscale x 3 x i8> poison, i8 %b, i32 0
 206   %vb = shufflevector <vscale x 3 x i8> %elt.head, <vscale x 3 x i8> poison, <vscale x 3 x i32> zeroinitializer
 207   %v = call <vscale x 3 x i8> @llvm.vp.add.nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i8> %vb, <vscale x 3 x i1> splat (i1 true), i32 %evl)
 208   ret <vscale x 3 x i8> %v
 209 }
 210
 211 define <vscale x 3 x i8> @vadd_vi_nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i1> %m, i32 zeroext %evl) {
 212 ; CHECK-LABEL: vadd_vi_nxv3i8:
 213 ; CHECK:       # %bb.0:
 214 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 215 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 216 ; CHECK-NEXT:    ret
 217   %v = call <vscale x 3 x i8> @llvm.vp.add.nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i8> splat (i8 -1), <vscale x 3 x i1> %m, i32 %evl)
 218   ret <vscale x 3 x i8> %v
 219 }
 220
 221 define <vscale x 3 x i8> @vadd_vi_nxv3i8_unmasked(<vscale x 3 x i8> %va, i32 zeroext %evl) {
 222 ; CHECK-LABEL: vadd_vi_nxv3i8_unmasked:
 223 ; CHECK:       # %bb.0:
 224 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 225 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 226 ; CHECK-NEXT:    ret
 227   %v = call <vscale x 3 x i8> @llvm.vp.add.nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i8> splat (i8 -1), <vscale x 3 x i1> splat (i1 true), i32 %evl)
 228   ret <vscale x 3 x i8> %v
 229 }
 230
 231 declare <vscale x 4 x i8> @llvm.vp.add.nxv4i8(<vscale x 4 x i8>, <vscale x 4 x i8>, <vscale x 4 x i1>, i32)
 232
 233 define <vscale x 4 x i8> @vadd_vv_nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i8> %b, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 234 ; CHECK-LABEL: vadd_vv_nxv4i8:
 235 ; CHECK:       # %bb.0:
 236 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 237 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
 238 ; CHECK-NEXT:    ret
 239   %v = call <vscale x 4 x i8> @llvm.vp.add.nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i8> %b, <vscale x 4 x i1> %m, i32 %evl)
 240   ret <vscale x 4 x i8> %v
 241 }
 242
 243 define <vscale x 4 x i8> @vadd_vv_nxv4i8_unmasked(<vscale x 4 x i8> %va, <vscale x 4 x i8> %b, i32 zeroext %evl) {
 244 ; CHECK-LABEL: vadd_vv_nxv4i8_unmasked:
 245 ; CHECK:       # %bb.0:
 246 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 247 ; CHECK-NEXT:    vadd.vv v8, v8, v9
 248 ; CHECK-NEXT:    ret
 249   %v = call <vscale x 4 x i8> @llvm.vp.add.nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i8> %b, <vscale x 4 x i1> splat (i1 true), i32 %evl)
 250   ret <vscale x 4 x i8> %v
 251 }
 252
 253 define <vscale x 4 x i8> @vadd_vx_nxv4i8(<vscale x 4 x i8> %va, i8 %b, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 254 ; CHECK-LABEL: vadd_vx_nxv4i8:
 255 ; CHECK:       # %bb.0:
 256 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf2, ta, ma
 257 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 258 ; CHECK-NEXT:    ret
 259   %elt.head = insertelement <vscale x 4 x i8> poison, i8 %b, i32 0
 260   %vb = shufflevector <vscale x 4 x i8> %elt.head, <vscale x 4 x i8> poison, <vscale x 4 x i32> zeroinitializer
 261   %v = call <vscale x 4 x i8> @llvm.vp.add.nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i8> %vb, <vscale x 4 x i1> %m, i32 %evl)
 262   ret <vscale x 4 x i8> %v
 263 }
 264
 265 define <vscale x 4 x i8> @vadd_vx_nxv4i8_unmasked(<vscale x 4 x i8> %va, i8 %b, i32 zeroext %evl) {
 266 ; CHECK-LABEL: vadd_vx_nxv4i8_unmasked:
 267 ; CHECK:       # %bb.0:
 268 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf2, ta, ma
 269 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 270 ; CHECK-NEXT:    ret
 271   %elt.head = insertelement <vscale x 4 x i8> poison, i8 %b, i32 0
 272   %vb = shufflevector <vscale x 4 x i8> %elt.head, <vscale x 4 x i8> poison, <vscale x 4 x i32> zeroinitializer
 273   %v = call <vscale x 4 x i8> @llvm.vp.add.nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i8> %vb, <vscale x 4 x i1> splat (i1 true), i32 %evl)
 274   ret <vscale x 4 x i8> %v
 275 }
 276
 277 define <vscale x 4 x i8> @vadd_vi_nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 278 ; CHECK-LABEL: vadd_vi_nxv4i8:
 279 ; CHECK:       # %bb.0:
 280 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 281 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 282 ; CHECK-NEXT:    ret
 283   %v = call <vscale x 4 x i8> @llvm.vp.add.nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i8> splat (i8 -1), <vscale x 4 x i1> %m, i32 %evl)
 284   ret <vscale x 4 x i8> %v
 285 }
 286
 287 define <vscale x 4 x i8> @vadd_vi_nxv4i8_unmasked(<vscale x 4 x i8> %va, i32 zeroext %evl) {
 288 ; CHECK-LABEL: vadd_vi_nxv4i8_unmasked:
 289 ; CHECK:       # %bb.0:
 290 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 291 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 292 ; CHECK-NEXT:    ret
 293   %v = call <vscale x 4 x i8> @llvm.vp.add.nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i8> splat (i8 -1), <vscale x 4 x i1> splat (i1 true), i32 %evl)
 294   ret <vscale x 4 x i8> %v
 295 }
 296
 297 declare <vscale x 8 x i8> @llvm.vp.add.nxv8i8(<vscale x 8 x i8>, <vscale x 8 x i8>, <vscale x 8 x i1>, i32)
 298
 299 define <vscale x 8 x i8> @vadd_vv_nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i8> %b, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 300 ; CHECK-LABEL: vadd_vv_nxv8i8:
 301 ; CHECK:       # %bb.0:
 302 ; CHECK-NEXT:    vsetvli zero, a0, e8, m1, ta, ma
 303 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
 304 ; CHECK-NEXT:    ret
 305   %v = call <vscale x 8 x i8> @llvm.vp.add.nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i8> %b, <vscale x 8 x i1> %m, i32 %evl)
 306   ret <vscale x 8 x i8> %v
 307 }
 308
 309 define <vscale x 8 x i8> @vadd_vv_nxv8i8_unmasked(<vscale x 8 x i8> %va, <vscale x 8 x i8> %b, i32 zeroext %evl) {
 310 ; CHECK-LABEL: vadd_vv_nxv8i8_unmasked:
 311 ; CHECK:       # %bb.0:
 312 ; CHECK-NEXT:    vsetvli zero, a0, e8, m1, ta, ma
 313 ; CHECK-NEXT:    vadd.vv v8, v8, v9
 314 ; CHECK-NEXT:    ret
 315   %v = call <vscale x 8 x i8> @llvm.vp.add.nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i8> %b, <vscale x 8 x i1> splat (i1 true), i32 %evl)
 316   ret <vscale x 8 x i8> %v
 317 }
 318
 319 define <vscale x 8 x i8> @vadd_vx_nxv8i8(<vscale x 8 x i8> %va, i8 %b, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 320 ; CHECK-LABEL: vadd_vx_nxv8i8:
 321 ; CHECK:       # %bb.0:
 322 ; CHECK-NEXT:    vsetvli zero, a1, e8, m1, ta, ma
 323 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 324 ; CHECK-NEXT:    ret
 325   %elt.head = insertelement <vscale x 8 x i8> poison, i8 %b, i32 0
 326   %vb = shufflevector <vscale x 8 x i8> %elt.head, <vscale x 8 x i8> poison, <vscale x 8 x i32> zeroinitializer
 327   %v = call <vscale x 8 x i8> @llvm.vp.add.nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i8> %vb, <vscale x 8 x i1> %m, i32 %evl)
 328   ret <vscale x 8 x i8> %v
 329 }
 330
 331 define <vscale x 8 x i8> @vadd_vx_nxv8i8_unmasked(<vscale x 8 x i8> %va, i8 %b, i32 zeroext %evl) {
 332 ; CHECK-LABEL: vadd_vx_nxv8i8_unmasked:
 333 ; CHECK:       # %bb.0:
 334 ; CHECK-NEXT:    vsetvli zero, a1, e8, m1, ta, ma
 335 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 336 ; CHECK-NEXT:    ret
 337   %elt.head = insertelement <vscale x 8 x i8> poison, i8 %b, i32 0
 338   %vb = shufflevector <vscale x 8 x i8> %elt.head, <vscale x 8 x i8> poison, <vscale x 8 x i32> zeroinitializer
 339   %v = call <vscale x 8 x i8> @llvm.vp.add.nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i8> %vb, <vscale x 8 x i1> splat (i1 true), i32 %evl)
 340   ret <vscale x 8 x i8> %v
 341 }
 342
 343 define <vscale x 8 x i8> @vadd_vi_nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 344 ; CHECK-LABEL: vadd_vi_nxv8i8:
 345 ; CHECK:       # %bb.0:
 346 ; CHECK-NEXT:    vsetvli zero, a0, e8, m1, ta, ma
 347 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 348 ; CHECK-NEXT:    ret
 349   %v = call <vscale x 8 x i8> @llvm.vp.add.nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i8> splat (i8 -1), <vscale x 8 x i1> %m, i32 %evl)
 350   ret <vscale x 8 x i8> %v
 351 }
 352
 353 define <vscale x 8 x i8> @vadd_vi_nxv8i8_unmasked(<vscale x 8 x i8> %va, i32 zeroext %evl) {
 354 ; CHECK-LABEL: vadd_vi_nxv8i8_unmasked:
 355 ; CHECK:       # %bb.0:
 356 ; CHECK-NEXT:    vsetvli zero, a0, e8, m1, ta, ma
 357 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 358 ; CHECK-NEXT:    ret
 359   %v = call <vscale x 8 x i8> @llvm.vp.add.nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i8> splat (i8 -1), <vscale x 8 x i1> splat (i1 true), i32 %evl)
 360   ret <vscale x 8 x i8> %v
 361 }
 362
 363 declare <vscale x 16 x i8> @llvm.vp.add.nxv16i8(<vscale x 16 x i8>, <vscale x 16 x i8>, <vscale x 16 x i1>, i32)
 364
 365 define <vscale x 16 x i8> @vadd_vv_nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i8> %b, <vscale x 16 x i1> %m, i32 zeroext %evl) {
 366 ; CHECK-LABEL: vadd_vv_nxv16i8:
 367 ; CHECK:       # %bb.0:
 368 ; CHECK-NEXT:    vsetvli zero, a0, e8, m2, ta, ma
 369 ; CHECK-NEXT:    vadd.vv v8, v8, v10, v0.t
 370 ; CHECK-NEXT:    ret
 371   %v = call <vscale x 16 x i8> @llvm.vp.add.nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i8> %b, <vscale x 16 x i1> %m, i32 %evl)
 372   ret <vscale x 16 x i8> %v
 373 }
 374
 375 define <vscale x 16 x i8> @vadd_vv_nxv16i8_unmasked(<vscale x 16 x i8> %va, <vscale x 16 x i8> %b, i32 zeroext %evl) {
 376 ; CHECK-LABEL: vadd_vv_nxv16i8_unmasked:
 377 ; CHECK:       # %bb.0:
 378 ; CHECK-NEXT:    vsetvli zero, a0, e8, m2, ta, ma
 379 ; CHECK-NEXT:    vadd.vv v8, v8, v10
 380 ; CHECK-NEXT:    ret
 381   %v = call <vscale x 16 x i8> @llvm.vp.add.nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i8> %b, <vscale x 16 x i1> splat (i1 true), i32 %evl)
 382   ret <vscale x 16 x i8> %v
 383 }
 384
 385 define <vscale x 16 x i8> @vadd_vx_nxv16i8(<vscale x 16 x i8> %va, i8 %b, <vscale x 16 x i1> %m, i32 zeroext %evl) {
 386 ; CHECK-LABEL: vadd_vx_nxv16i8:
 387 ; CHECK:       # %bb.0:
 388 ; CHECK-NEXT:    vsetvli zero, a1, e8, m2, ta, ma
 389 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 390 ; CHECK-NEXT:    ret
 391   %elt.head = insertelement <vscale x 16 x i8> poison, i8 %b, i32 0
 392   %vb = shufflevector <vscale x 16 x i8> %elt.head, <vscale x 16 x i8> poison, <vscale x 16 x i32> zeroinitializer
 393   %v = call <vscale x 16 x i8> @llvm.vp.add.nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i8> %vb, <vscale x 16 x i1> %m, i32 %evl)
 394   ret <vscale x 16 x i8> %v
 395 }
 396
 397 define <vscale x 16 x i8> @vadd_vx_nxv16i8_unmasked(<vscale x 16 x i8> %va, i8 %b, i32 zeroext %evl) {
 398 ; CHECK-LABEL: vadd_vx_nxv16i8_unmasked:
 399 ; CHECK:       # %bb.0:
 400 ; CHECK-NEXT:    vsetvli zero, a1, e8, m2, ta, ma
 401 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 402 ; CHECK-NEXT:    ret
 403   %elt.head = insertelement <vscale x 16 x i8> poison, i8 %b, i32 0
 404   %vb = shufflevector <vscale x 16 x i8> %elt.head, <vscale x 16 x i8> poison, <vscale x 16 x i32> zeroinitializer
 405   %v = call <vscale x 16 x i8> @llvm.vp.add.nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i8> %vb, <vscale x 16 x i1> splat (i1 true), i32 %evl)
 406   ret <vscale x 16 x i8> %v
 407 }
 408
 409 define <vscale x 16 x i8> @vadd_vi_nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i1> %m, i32 zeroext %evl) {
 410 ; CHECK-LABEL: vadd_vi_nxv16i8:
 411 ; CHECK:       # %bb.0:
 412 ; CHECK-NEXT:    vsetvli zero, a0, e8, m2, ta, ma
 413 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 414 ; CHECK-NEXT:    ret
 415   %v = call <vscale x 16 x i8> @llvm.vp.add.nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i8> splat (i8 -1), <vscale x 16 x i1> %m, i32 %evl)
 416   ret <vscale x 16 x i8> %v
 417 }
 418
 419 define <vscale x 16 x i8> @vadd_vi_nxv16i8_unmasked(<vscale x 16 x i8> %va, i32 zeroext %evl) {
 420 ; CHECK-LABEL: vadd_vi_nxv16i8_unmasked:
 421 ; CHECK:       # %bb.0:
 422 ; CHECK-NEXT:    vsetvli zero, a0, e8, m2, ta, ma
 423 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 424 ; CHECK-NEXT:    ret
 425   %v = call <vscale x 16 x i8> @llvm.vp.add.nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i8> splat (i8 -1), <vscale x 16 x i1> splat (i1 true), i32 %evl)
 426   ret <vscale x 16 x i8> %v
 427 }
 428
 429 declare <vscale x 32 x i8> @llvm.vp.add.nxv32i8(<vscale x 32 x i8>, <vscale x 32 x i8>, <vscale x 32 x i1>, i32)
 430
 431 define <vscale x 32 x i8> @vadd_vv_nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i8> %b, <vscale x 32 x i1> %m, i32 zeroext %evl) {
 432 ; CHECK-LABEL: vadd_vv_nxv32i8:
 433 ; CHECK:       # %bb.0:
 434 ; CHECK-NEXT:    vsetvli zero, a0, e8, m4, ta, ma
 435 ; CHECK-NEXT:    vadd.vv v8, v8, v12, v0.t
 436 ; CHECK-NEXT:    ret
 437   %v = call <vscale x 32 x i8> @llvm.vp.add.nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i8> %b, <vscale x 32 x i1> %m, i32 %evl)
 438   ret <vscale x 32 x i8> %v
 439 }
 440
 441 define <vscale x 32 x i8> @vadd_vv_nxv32i8_unmasked(<vscale x 32 x i8> %va, <vscale x 32 x i8> %b, i32 zeroext %evl) {
 442 ; CHECK-LABEL: vadd_vv_nxv32i8_unmasked:
 443 ; CHECK:       # %bb.0:
 444 ; CHECK-NEXT:    vsetvli zero, a0, e8, m4, ta, ma
 445 ; CHECK-NEXT:    vadd.vv v8, v8, v12
 446 ; CHECK-NEXT:    ret
 447   %v = call <vscale x 32 x i8> @llvm.vp.add.nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i8> %b, <vscale x 32 x i1> splat (i1 true), i32 %evl)
 448   ret <vscale x 32 x i8> %v
 449 }
 450
 451 define <vscale x 32 x i8> @vadd_vx_nxv32i8(<vscale x 32 x i8> %va, i8 %b, <vscale x 32 x i1> %m, i32 zeroext %evl) {
 452 ; CHECK-LABEL: vadd_vx_nxv32i8:
 453 ; CHECK:       # %bb.0:
 454 ; CHECK-NEXT:    vsetvli zero, a1, e8, m4, ta, ma
 455 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 456 ; CHECK-NEXT:    ret
 457   %elt.head = insertelement <vscale x 32 x i8> poison, i8 %b, i32 0
 458   %vb = shufflevector <vscale x 32 x i8> %elt.head, <vscale x 32 x i8> poison, <vscale x 32 x i32> zeroinitializer
 459   %v = call <vscale x 32 x i8> @llvm.vp.add.nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i8> %vb, <vscale x 32 x i1> %m, i32 %evl)
 460   ret <vscale x 32 x i8> %v
 461 }
 462
 463 define <vscale x 32 x i8> @vadd_vx_nxv32i8_unmasked(<vscale x 32 x i8> %va, i8 %b, i32 zeroext %evl) {
 464 ; CHECK-LABEL: vadd_vx_nxv32i8_unmasked:
 465 ; CHECK:       # %bb.0:
 466 ; CHECK-NEXT:    vsetvli zero, a1, e8, m4, ta, ma
 467 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 468 ; CHECK-NEXT:    ret
 469   %elt.head = insertelement <vscale x 32 x i8> poison, i8 %b, i32 0
 470   %vb = shufflevector <vscale x 32 x i8> %elt.head, <vscale x 32 x i8> poison, <vscale x 32 x i32> zeroinitializer
 471   %v = call <vscale x 32 x i8> @llvm.vp.add.nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i8> %vb, <vscale x 32 x i1> splat (i1 true), i32 %evl)
 472   ret <vscale x 32 x i8> %v
 473 }
 474
 475 define <vscale x 32 x i8> @vadd_vi_nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i1> %m, i32 zeroext %evl) {
 476 ; CHECK-LABEL: vadd_vi_nxv32i8:
 477 ; CHECK:       # %bb.0:
 478 ; CHECK-NEXT:    vsetvli zero, a0, e8, m4, ta, ma
 479 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 480 ; CHECK-NEXT:    ret
 481   %v = call <vscale x 32 x i8> @llvm.vp.add.nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i8> splat (i8 -1), <vscale x 32 x i1> %m, i32 %evl)
 482   ret <vscale x 32 x i8> %v
 483 }
 484
 485 define <vscale x 32 x i8> @vadd_vi_nxv32i8_unmasked(<vscale x 32 x i8> %va, i32 zeroext %evl) {
 486 ; CHECK-LABEL: vadd_vi_nxv32i8_unmasked:
 487 ; CHECK:       # %bb.0:
 488 ; CHECK-NEXT:    vsetvli zero, a0, e8, m4, ta, ma
 489 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 490 ; CHECK-NEXT:    ret
 491   %v = call <vscale x 32 x i8> @llvm.vp.add.nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i8> splat (i8 -1), <vscale x 32 x i1> splat (i1 true), i32 %evl)
 492   ret <vscale x 32 x i8> %v
 493 }
 494
 495 declare <vscale x 64 x i8> @llvm.vp.add.nxv64i8(<vscale x 64 x i8>, <vscale x 64 x i8>, <vscale x 64 x i1>, i32)
 496
 497 define <vscale x 64 x i8> @vadd_vv_nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i8> %b, <vscale x 64 x i1> %m, i32 zeroext %evl) {
 498 ; CHECK-LABEL: vadd_vv_nxv64i8:
 499 ; CHECK:       # %bb.0:
 500 ; CHECK-NEXT:    vsetvli zero, a0, e8, m8, ta, ma
 501 ; CHECK-NEXT:    vadd.vv v8, v8, v16, v0.t
 502 ; CHECK-NEXT:    ret
 503   %v = call <vscale x 64 x i8> @llvm.vp.add.nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i8> %b, <vscale x 64 x i1> %m, i32 %evl)
 504   ret <vscale x 64 x i8> %v
 505 }
 506
 507 define <vscale x 64 x i8> @vadd_vv_nxv64i8_unmasked(<vscale x 64 x i8> %va, <vscale x 64 x i8> %b, i32 zeroext %evl) {
 508 ; CHECK-LABEL: vadd_vv_nxv64i8_unmasked:
 509 ; CHECK:       # %bb.0:
 510 ; CHECK-NEXT:    vsetvli zero, a0, e8, m8, ta, ma
 511 ; CHECK-NEXT:    vadd.vv v8, v8, v16
 512 ; CHECK-NEXT:    ret
 513   %v = call <vscale x 64 x i8> @llvm.vp.add.nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i8> %b, <vscale x 64 x i1> splat (i1 true), i32 %evl)
 514   ret <vscale x 64 x i8> %v
 515 }
 516
 517 define <vscale x 64 x i8> @vadd_vx_nxv64i8(<vscale x 64 x i8> %va, i8 %b, <vscale x 64 x i1> %m, i32 zeroext %evl) {
 518 ; CHECK-LABEL: vadd_vx_nxv64i8:
 519 ; CHECK:       # %bb.0:
 520 ; CHECK-NEXT:    vsetvli zero, a1, e8, m8, ta, ma
 521 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 522 ; CHECK-NEXT:    ret
 523   %elt.head = insertelement <vscale x 64 x i8> poison, i8 %b, i32 0
 524   %vb = shufflevector <vscale x 64 x i8> %elt.head, <vscale x 64 x i8> poison, <vscale x 64 x i32> zeroinitializer
 525   %v = call <vscale x 64 x i8> @llvm.vp.add.nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i8> %vb, <vscale x 64 x i1> %m, i32 %evl)
 526   ret <vscale x 64 x i8> %v
 527 }
 528
 529 define <vscale x 64 x i8> @vadd_vx_nxv64i8_unmasked(<vscale x 64 x i8> %va, i8 %b, i32 zeroext %evl) {
 530 ; CHECK-LABEL: vadd_vx_nxv64i8_unmasked:
 531 ; CHECK:       # %bb.0:
 532 ; CHECK-NEXT:    vsetvli zero, a1, e8, m8, ta, ma
 533 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 534 ; CHECK-NEXT:    ret
 535   %elt.head = insertelement <vscale x 64 x i8> poison, i8 %b, i32 0
 536   %vb = shufflevector <vscale x 64 x i8> %elt.head, <vscale x 64 x i8> poison, <vscale x 64 x i32> zeroinitializer
 537   %v = call <vscale x 64 x i8> @llvm.vp.add.nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i8> %vb, <vscale x 64 x i1> splat (i1 true), i32 %evl)
 538   ret <vscale x 64 x i8> %v
 539 }
 540
 541 define <vscale x 64 x i8> @vadd_vi_nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i1> %m, i32 zeroext %evl) {
 542 ; CHECK-LABEL: vadd_vi_nxv64i8:
 543 ; CHECK:       # %bb.0:
 544 ; CHECK-NEXT:    vsetvli zero, a0, e8, m8, ta, ma
 545 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 546 ; CHECK-NEXT:    ret
 547   %v = call <vscale x 64 x i8> @llvm.vp.add.nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i8> splat (i8 -1), <vscale x 64 x i1> %m, i32 %evl)
 548   ret <vscale x 64 x i8> %v
 549 }
 550
 551 define <vscale x 64 x i8> @vadd_vi_nxv64i8_unmasked(<vscale x 64 x i8> %va, i32 zeroext %evl) {
 552 ; CHECK-LABEL: vadd_vi_nxv64i8_unmasked:
 553 ; CHECK:       # %bb.0:
 554 ; CHECK-NEXT:    vsetvli zero, a0, e8, m8, ta, ma
 555 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 556 ; CHECK-NEXT:    ret
 557   %v = call <vscale x 64 x i8> @llvm.vp.add.nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i8> splat (i8 -1), <vscale x 64 x i1> splat (i1 true), i32 %evl)
 558   ret <vscale x 64 x i8> %v
 559 }
 560
 561 ; Test that split-legalization works when the mask itself needs splitting.
 562
 563 declare <vscale x 128 x i8> @llvm.vp.add.nxv128i8(<vscale x 128 x i8>, <vscale x 128 x i8>, <vscale x 128 x i1>, i32)
 564
 565 define <vscale x 128 x i8> @vadd_vi_nxv128i8(<vscale x 128 x i8> %va, <vscale x 128 x i1> %m, i32 zeroext %evl) {
 566 ; CHECK-LABEL: vadd_vi_nxv128i8:
 567 ; CHECK:       # %bb.0:
 568 ; CHECK-NEXT:    vmv1r.v v24, v0
 569 ; CHECK-NEXT:    vsetvli a2, zero, e8, m8, ta, ma
 570 ; CHECK-NEXT:    vlm.v v0, (a0)
 571 ; CHECK-NEXT:    csrr a0, vlenb
 572 ; CHECK-NEXT:    slli a0, a0, 3
 573 ; CHECK-NEXT:    sub a2, a1, a0
 574 ; CHECK-NEXT:    sltu a3, a1, a2
 575 ; CHECK-NEXT:    addi a3, a3, -1
 576 ; CHECK-NEXT:    and a2, a3, a2
 577 ; CHECK-NEXT:    vsetvli zero, a2, e8, m8, ta, ma
 578 ; CHECK-NEXT:    vadd.vi v16, v16, -1, v0.t
 579 ; CHECK-NEXT:    bltu a1, a0, .LBB50_2
 580 ; CHECK-NEXT:  # %bb.1:
 581 ; CHECK-NEXT:    mv a1, a0
 582 ; CHECK-NEXT:  .LBB50_2:
 583 ; CHECK-NEXT:    vmv1r.v v0, v24
 584 ; CHECK-NEXT:    vsetvli zero, a1, e8, m8, ta, ma
 585 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 586 ; CHECK-NEXT:    ret
 587   %v = call <vscale x 128 x i8> @llvm.vp.add.nxv128i8(<vscale x 128 x i8> %va, <vscale x 128 x i8> splat (i8 -1), <vscale x 128 x i1> %m, i32 %evl)
 588   ret <vscale x 128 x i8> %v
 589 }
 590
 591 define <vscale x 128 x i8> @vadd_vi_nxv128i8_unmasked(<vscale x 128 x i8> %va, i32 zeroext %evl) {
 592 ; CHECK-LABEL: vadd_vi_nxv128i8_unmasked:
 593 ; CHECK:       # %bb.0:
 594 ; CHECK-NEXT:    csrr a1, vlenb
 595 ; CHECK-NEXT:    slli a1, a1, 3
 596 ; CHECK-NEXT:    sub a2, a0, a1
 597 ; CHECK-NEXT:    sltu a3, a0, a2
 598 ; CHECK-NEXT:    addi a3, a3, -1
 599 ; CHECK-NEXT:    and a2, a3, a2
 600 ; CHECK-NEXT:    vsetvli zero, a2, e8, m8, ta, ma
 601 ; CHECK-NEXT:    vadd.vi v16, v16, -1
 602 ; CHECK-NEXT:    bltu a0, a1, .LBB51_2
 603 ; CHECK-NEXT:  # %bb.1:
 604 ; CHECK-NEXT:    mv a0, a1
 605 ; CHECK-NEXT:  .LBB51_2:
 606 ; CHECK-NEXT:    vsetvli zero, a0, e8, m8, ta, ma
 607 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 608 ; CHECK-NEXT:    ret
 609   %v = call <vscale x 128 x i8> @llvm.vp.add.nxv128i8(<vscale x 128 x i8> %va, <vscale x 128 x i8> splat (i8 -1), <vscale x 128 x i1> splat (i1 true), i32 %evl)
 610   ret <vscale x 128 x i8> %v
 611 }
 612
 613 declare <vscale x 1 x i16> @llvm.vp.add.nxv1i16(<vscale x 1 x i16>, <vscale x 1 x i16>, <vscale x 1 x i1>, i32)
 614
 615 define <vscale x 1 x i16> @vadd_vv_nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i16> %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
 616 ; CHECK-LABEL: vadd_vv_nxv1i16:
 617 ; CHECK:       # %bb.0:
 618 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
 619 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
 620 ; CHECK-NEXT:    ret
 621   %v = call <vscale x 1 x i16> @llvm.vp.add.nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i16> %b, <vscale x 1 x i1> %m, i32 %evl)
 622   ret <vscale x 1 x i16> %v
 623 }
 624
 625 define <vscale x 1 x i16> @vadd_vv_nxv1i16_unmasked(<vscale x 1 x i16> %va, <vscale x 1 x i16> %b, i32 zeroext %evl) {
 626 ; CHECK-LABEL: vadd_vv_nxv1i16_unmasked:
 627 ; CHECK:       # %bb.0:
 628 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
 629 ; CHECK-NEXT:    vadd.vv v8, v8, v9
 630 ; CHECK-NEXT:    ret
 631   %v = call <vscale x 1 x i16> @llvm.vp.add.nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i16> %b, <vscale x 1 x i1> splat (i1 true), i32 %evl)
 632   ret <vscale x 1 x i16> %v
 633 }
 634
 635 define <vscale x 1 x i16> @vadd_vx_nxv1i16(<vscale x 1 x i16> %va, i16 %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
 636 ; CHECK-LABEL: vadd_vx_nxv1i16:
 637 ; CHECK:       # %bb.0:
 638 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf4, ta, ma
 639 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 640 ; CHECK-NEXT:    ret
 641   %elt.head = insertelement <vscale x 1 x i16> poison, i16 %b, i32 0
 642   %vb = shufflevector <vscale x 1 x i16> %elt.head, <vscale x 1 x i16> poison, <vscale x 1 x i32> zeroinitializer
 643   %v = call <vscale x 1 x i16> @llvm.vp.add.nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i16> %vb, <vscale x 1 x i1> %m, i32 %evl)
 644   ret <vscale x 1 x i16> %v
 645 }
 646
 647 define <vscale x 1 x i16> @vadd_vx_nxv1i16_unmasked(<vscale x 1 x i16> %va, i16 %b, i32 zeroext %evl) {
 648 ; CHECK-LABEL: vadd_vx_nxv1i16_unmasked:
 649 ; CHECK:       # %bb.0:
 650 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf4, ta, ma
 651 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 652 ; CHECK-NEXT:    ret
 653   %elt.head = insertelement <vscale x 1 x i16> poison, i16 %b, i32 0
 654   %vb = shufflevector <vscale x 1 x i16> %elt.head, <vscale x 1 x i16> poison, <vscale x 1 x i32> zeroinitializer
 655   %v = call <vscale x 1 x i16> @llvm.vp.add.nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i16> %vb, <vscale x 1 x i1> splat (i1 true), i32 %evl)
 656   ret <vscale x 1 x i16> %v
 657 }
 658
 659 define <vscale x 1 x i16> @vadd_vi_nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i1> %m, i32 zeroext %evl) {
 660 ; CHECK-LABEL: vadd_vi_nxv1i16:
 661 ; CHECK:       # %bb.0:
 662 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
 663 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 664 ; CHECK-NEXT:    ret
 665   %v = call <vscale x 1 x i16> @llvm.vp.add.nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i16> splat (i16 -1), <vscale x 1 x i1> %m, i32 %evl)
 666   ret <vscale x 1 x i16> %v
 667 }
 668
 669 define <vscale x 1 x i16> @vadd_vi_nxv1i16_unmasked(<vscale x 1 x i16> %va, i32 zeroext %evl) {
 670 ; CHECK-LABEL: vadd_vi_nxv1i16_unmasked:
 671 ; CHECK:       # %bb.0:
 672 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
 673 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 674 ; CHECK-NEXT:    ret
 675   %v = call <vscale x 1 x i16> @llvm.vp.add.nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i16> splat (i16 -1), <vscale x 1 x i1> splat (i1 true), i32 %evl)
 676   ret <vscale x 1 x i16> %v
 677 }
 678
 679 declare <vscale x 2 x i16> @llvm.vp.add.nxv2i16(<vscale x 2 x i16>, <vscale x 2 x i16>, <vscale x 2 x i1>, i32)
 680
 681 define <vscale x 2 x i16> @vadd_vv_nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i16> %b, <vscale x 2 x i1> %m, i32 zeroext %evl) {
 682 ; CHECK-LABEL: vadd_vv_nxv2i16:
 683 ; CHECK:       # %bb.0:
 684 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
 685 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
 686 ; CHECK-NEXT:    ret
 687   %v = call <vscale x 2 x i16> @llvm.vp.add.nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i16> %b, <vscale x 2 x i1> %m, i32 %evl)
 688   ret <vscale x 2 x i16> %v
 689 }
 690
 691 define <vscale x 2 x i16> @vadd_vv_nxv2i16_unmasked(<vscale x 2 x i16> %va, <vscale x 2 x i16> %b, i32 zeroext %evl) {
 692 ; CHECK-LABEL: vadd_vv_nxv2i16_unmasked:
 693 ; CHECK:       # %bb.0:
 694 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
 695 ; CHECK-NEXT:    vadd.vv v8, v8, v9
 696 ; CHECK-NEXT:    ret
 697   %v = call <vscale x 2 x i16> @llvm.vp.add.nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i16> %b, <vscale x 2 x i1> splat (i1 true), i32 %evl)
 698   ret <vscale x 2 x i16> %v
 699 }
 700
 701 define <vscale x 2 x i16> @vadd_vx_nxv2i16(<vscale x 2 x i16> %va, i16 %b, <vscale x 2 x i1> %m, i32 zeroext %evl) {
 702 ; CHECK-LABEL: vadd_vx_nxv2i16:
 703 ; CHECK:       # %bb.0:
 704 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf2, ta, ma
 705 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 706 ; CHECK-NEXT:    ret
 707   %elt.head = insertelement <vscale x 2 x i16> poison, i16 %b, i32 0
 708   %vb = shufflevector <vscale x 2 x i16> %elt.head, <vscale x 2 x i16> poison, <vscale x 2 x i32> zeroinitializer
 709   %v = call <vscale x 2 x i16> @llvm.vp.add.nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i16> %vb, <vscale x 2 x i1> %m, i32 %evl)
 710   ret <vscale x 2 x i16> %v
 711 }
 712
 713 define <vscale x 2 x i16> @vadd_vx_nxv2i16_unmasked(<vscale x 2 x i16> %va, i16 %b, i32 zeroext %evl) {
 714 ; CHECK-LABEL: vadd_vx_nxv2i16_unmasked:
 715 ; CHECK:       # %bb.0:
 716 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf2, ta, ma
 717 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 718 ; CHECK-NEXT:    ret
 719   %elt.head = insertelement <vscale x 2 x i16> poison, i16 %b, i32 0
 720   %vb = shufflevector <vscale x 2 x i16> %elt.head, <vscale x 2 x i16> poison, <vscale x 2 x i32> zeroinitializer
 721   %v = call <vscale x 2 x i16> @llvm.vp.add.nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i16> %vb, <vscale x 2 x i1> splat (i1 true), i32 %evl)
 722   ret <vscale x 2 x i16> %v
 723 }
 724
 725 define <vscale x 2 x i16> @vadd_vi_nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i1> %m, i32 zeroext %evl) {
 726 ; CHECK-LABEL: vadd_vi_nxv2i16:
 727 ; CHECK:       # %bb.0:
 728 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
 729 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 730 ; CHECK-NEXT:    ret
 731   %v = call <vscale x 2 x i16> @llvm.vp.add.nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i16> splat (i16 -1), <vscale x 2 x i1> %m, i32 %evl)
 732   ret <vscale x 2 x i16> %v
 733 }
 734
 735 define <vscale x 2 x i16> @vadd_vi_nxv2i16_unmasked(<vscale x 2 x i16> %va, i32 zeroext %evl) {
 736 ; CHECK-LABEL: vadd_vi_nxv2i16_unmasked:
 737 ; CHECK:       # %bb.0:
 738 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
 739 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 740 ; CHECK-NEXT:    ret
 741   %v = call <vscale x 2 x i16> @llvm.vp.add.nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i16> splat (i16 -1), <vscale x 2 x i1> splat (i1 true), i32 %evl)
 742   ret <vscale x 2 x i16> %v
 743 }
 744
 745 declare <vscale x 4 x i16> @llvm.vp.add.nxv4i16(<vscale x 4 x i16>, <vscale x 4 x i16>, <vscale x 4 x i1>, i32)
 746
 747 define <vscale x 4 x i16> @vadd_vv_nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i16> %b, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 748 ; CHECK-LABEL: vadd_vv_nxv4i16:
 749 ; CHECK:       # %bb.0:
 750 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 751 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
 752 ; CHECK-NEXT:    ret
 753   %v = call <vscale x 4 x i16> @llvm.vp.add.nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i16> %b, <vscale x 4 x i1> %m, i32 %evl)
 754   ret <vscale x 4 x i16> %v
 755 }
 756
 757 define <vscale x 4 x i16> @vadd_vv_nxv4i16_unmasked(<vscale x 4 x i16> %va, <vscale x 4 x i16> %b, i32 zeroext %evl) {
 758 ; CHECK-LABEL: vadd_vv_nxv4i16_unmasked:
 759 ; CHECK:       # %bb.0:
 760 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 761 ; CHECK-NEXT:    vadd.vv v8, v8, v9
 762 ; CHECK-NEXT:    ret
 763   %v = call <vscale x 4 x i16> @llvm.vp.add.nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i16> %b, <vscale x 4 x i1> splat (i1 true), i32 %evl)
 764   ret <vscale x 4 x i16> %v
 765 }
 766
 767 define <vscale x 4 x i16> @vadd_vx_nxv4i16(<vscale x 4 x i16> %va, i16 %b, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 768 ; CHECK-LABEL: vadd_vx_nxv4i16:
 769 ; CHECK:       # %bb.0:
 770 ; CHECK-NEXT:    vsetvli zero, a1, e16, m1, ta, ma
 771 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 772 ; CHECK-NEXT:    ret
 773   %elt.head = insertelement <vscale x 4 x i16> poison, i16 %b, i32 0
 774   %vb = shufflevector <vscale x 4 x i16> %elt.head, <vscale x 4 x i16> poison, <vscale x 4 x i32> zeroinitializer
 775   %v = call <vscale x 4 x i16> @llvm.vp.add.nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i16> %vb, <vscale x 4 x i1> %m, i32 %evl)
 776   ret <vscale x 4 x i16> %v
 777 }
 778
 779 define <vscale x 4 x i16> @vadd_vx_nxv4i16_unmasked(<vscale x 4 x i16> %va, i16 %b, i32 zeroext %evl) {
 780 ; CHECK-LABEL: vadd_vx_nxv4i16_unmasked:
 781 ; CHECK:       # %bb.0:
 782 ; CHECK-NEXT:    vsetvli zero, a1, e16, m1, ta, ma
 783 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 784 ; CHECK-NEXT:    ret
 785   %elt.head = insertelement <vscale x 4 x i16> poison, i16 %b, i32 0
 786   %vb = shufflevector <vscale x 4 x i16> %elt.head, <vscale x 4 x i16> poison, <vscale x 4 x i32> zeroinitializer
 787   %v = call <vscale x 4 x i16> @llvm.vp.add.nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i16> %vb, <vscale x 4 x i1> splat (i1 true), i32 %evl)
 788   ret <vscale x 4 x i16> %v
 789 }
 790
 791 define <vscale x 4 x i16> @vadd_vi_nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 792 ; CHECK-LABEL: vadd_vi_nxv4i16:
 793 ; CHECK:       # %bb.0:
 794 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 795 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 796 ; CHECK-NEXT:    ret
 797   %v = call <vscale x 4 x i16> @llvm.vp.add.nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i16> splat (i16 -1), <vscale x 4 x i1> %m, i32 %evl)
 798   ret <vscale x 4 x i16> %v
 799 }
 800
 801 define <vscale x 4 x i16> @vadd_vi_nxv4i16_unmasked(<vscale x 4 x i16> %va, i32 zeroext %evl) {
 802 ; CHECK-LABEL: vadd_vi_nxv4i16_unmasked:
 803 ; CHECK:       # %bb.0:
 804 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 805 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 806 ; CHECK-NEXT:    ret
 807   %v = call <vscale x 4 x i16> @llvm.vp.add.nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i16> splat (i16 -1), <vscale x 4 x i1> splat (i1 true), i32 %evl)
 808   ret <vscale x 4 x i16> %v
 809 }
 810
 811 declare <vscale x 8 x i16> @llvm.vp.add.nxv8i16(<vscale x 8 x i16>, <vscale x 8 x i16>, <vscale x 8 x i1>, i32)
 812
 813 define <vscale x 8 x i16> @vadd_vv_nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i16> %b, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 814 ; CHECK-LABEL: vadd_vv_nxv8i16:
 815 ; CHECK:       # %bb.0:
 816 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 817 ; CHECK-NEXT:    vadd.vv v8, v8, v10, v0.t
 818 ; CHECK-NEXT:    ret
 819   %v = call <vscale x 8 x i16> @llvm.vp.add.nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i16> %b, <vscale x 8 x i1> %m, i32 %evl)
 820   ret <vscale x 8 x i16> %v
 821 }
 822
 823 define <vscale x 8 x i16> @vadd_vv_nxv8i16_unmasked(<vscale x 8 x i16> %va, <vscale x 8 x i16> %b, i32 zeroext %evl) {
 824 ; CHECK-LABEL: vadd_vv_nxv8i16_unmasked:
 825 ; CHECK:       # %bb.0:
 826 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 827 ; CHECK-NEXT:    vadd.vv v8, v8, v10
 828 ; CHECK-NEXT:    ret
 829   %v = call <vscale x 8 x i16> @llvm.vp.add.nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i16> %b, <vscale x 8 x i1> splat (i1 true), i32 %evl)
 830   ret <vscale x 8 x i16> %v
 831 }
 832
 833 define <vscale x 8 x i16> @vadd_vx_nxv8i16(<vscale x 8 x i16> %va, i16 %b, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 834 ; CHECK-LABEL: vadd_vx_nxv8i16:
 835 ; CHECK:       # %bb.0:
 836 ; CHECK-NEXT:    vsetvli zero, a1, e16, m2, ta, ma
 837 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 838 ; CHECK-NEXT:    ret
 839   %elt.head = insertelement <vscale x 8 x i16> poison, i16 %b, i32 0
 840   %vb = shufflevector <vscale x 8 x i16> %elt.head, <vscale x 8 x i16> poison, <vscale x 8 x i32> zeroinitializer
 841   %v = call <vscale x 8 x i16> @llvm.vp.add.nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i16> %vb, <vscale x 8 x i1> %m, i32 %evl)
 842   ret <vscale x 8 x i16> %v
 843 }
 844
 845 define <vscale x 8 x i16> @vadd_vx_nxv8i16_unmasked(<vscale x 8 x i16> %va, i16 %b, i32 zeroext %evl) {
 846 ; CHECK-LABEL: vadd_vx_nxv8i16_unmasked:
 847 ; CHECK:       # %bb.0:
 848 ; CHECK-NEXT:    vsetvli zero, a1, e16, m2, ta, ma
 849 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 850 ; CHECK-NEXT:    ret
 851   %elt.head = insertelement <vscale x 8 x i16> poison, i16 %b, i32 0
 852   %vb = shufflevector <vscale x 8 x i16> %elt.head, <vscale x 8 x i16> poison, <vscale x 8 x i32> zeroinitializer
 853   %v = call <vscale x 8 x i16> @llvm.vp.add.nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i16> %vb, <vscale x 8 x i1> splat (i1 true), i32 %evl)
 854   ret <vscale x 8 x i16> %v
 855 }
 856
 857 define <vscale x 8 x i16> @vadd_vi_nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 858 ; CHECK-LABEL: vadd_vi_nxv8i16:
 859 ; CHECK:       # %bb.0:
 860 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 861 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 862 ; CHECK-NEXT:    ret
 863   %v = call <vscale x 8 x i16> @llvm.vp.add.nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i16> splat (i16 -1), <vscale x 8 x i1> %m, i32 %evl)
 864   ret <vscale x 8 x i16> %v
 865 }
 866
 867 define <vscale x 8 x i16> @vadd_vi_nxv8i16_unmasked(<vscale x 8 x i16> %va, i32 zeroext %evl) {
 868 ; CHECK-LABEL: vadd_vi_nxv8i16_unmasked:
 869 ; CHECK:       # %bb.0:
 870 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 871 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 872 ; CHECK-NEXT:    ret
 873   %v = call <vscale x 8 x i16> @llvm.vp.add.nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i16> splat (i16 -1), <vscale x 8 x i1> splat (i1 true), i32 %evl)
 874   ret <vscale x 8 x i16> %v
 875 }
 876
 877 declare <vscale x 16 x i16> @llvm.vp.add.nxv16i16(<vscale x 16 x i16>, <vscale x 16 x i16>, <vscale x 16 x i1>, i32)
 878
 879 define <vscale x 16 x i16> @vadd_vv_nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i16> %b, <vscale x 16 x i1> %m, i32 zeroext %evl) {
 880 ; CHECK-LABEL: vadd_vv_nxv16i16:
 881 ; CHECK:       # %bb.0:
 882 ; CHECK-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
 883 ; CHECK-NEXT:    vadd.vv v8, v8, v12, v0.t
 884 ; CHECK-NEXT:    ret
 885   %v = call <vscale x 16 x i16> @llvm.vp.add.nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i16> %b, <vscale x 16 x i1> %m, i32 %evl)
 886   ret <vscale x 16 x i16> %v
 887 }
 888
 889 define <vscale x 16 x i16> @vadd_vv_nxv16i16_unmasked(<vscale x 16 x i16> %va, <vscale x 16 x i16> %b, i32 zeroext %evl) {
 890 ; CHECK-LABEL: vadd_vv_nxv16i16_unmasked:
 891 ; CHECK:       # %bb.0:
 892 ; CHECK-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
 893 ; CHECK-NEXT:    vadd.vv v8, v8, v12
 894 ; CHECK-NEXT:    ret
 895   %v = call <vscale x 16 x i16> @llvm.vp.add.nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i16> %b, <vscale x 16 x i1> splat (i1 true), i32 %evl)
 896   ret <vscale x 16 x i16> %v
 897 }
 898
 899 define <vscale x 16 x i16> @vadd_vx_nxv16i16(<vscale x 16 x i16> %va, i16 %b, <vscale x 16 x i1> %m, i32 zeroext %evl) {
 900 ; CHECK-LABEL: vadd_vx_nxv16i16:
 901 ; CHECK:       # %bb.0:
 902 ; CHECK-NEXT:    vsetvli zero, a1, e16, m4, ta, ma
 903 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 904 ; CHECK-NEXT:    ret
 905   %elt.head = insertelement <vscale x 16 x i16> poison, i16 %b, i32 0
 906   %vb = shufflevector <vscale x 16 x i16> %elt.head, <vscale x 16 x i16> poison, <vscale x 16 x i32> zeroinitializer
 907   %v = call <vscale x 16 x i16> @llvm.vp.add.nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i16> %vb, <vscale x 16 x i1> %m, i32 %evl)
 908   ret <vscale x 16 x i16> %v
 909 }
 910
 911 define <vscale x 16 x i16> @vadd_vx_nxv16i16_unmasked(<vscale x 16 x i16> %va, i16 %b, i32 zeroext %evl) {
 912 ; CHECK-LABEL: vadd_vx_nxv16i16_unmasked:
 913 ; CHECK:       # %bb.0:
 914 ; CHECK-NEXT:    vsetvli zero, a1, e16, m4, ta, ma
 915 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 916 ; CHECK-NEXT:    ret
 917   %elt.head = insertelement <vscale x 16 x i16> poison, i16 %b, i32 0
 918   %vb = shufflevector <vscale x 16 x i16> %elt.head, <vscale x 16 x i16> poison, <vscale x 16 x i32> zeroinitializer
 919   %v = call <vscale x 16 x i16> @llvm.vp.add.nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i16> %vb, <vscale x 16 x i1> splat (i1 true), i32 %evl)
 920   ret <vscale x 16 x i16> %v
 921 }
 922
 923 define <vscale x 16 x i16> @vadd_vi_nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i1> %m, i32 zeroext %evl) {
 924 ; CHECK-LABEL: vadd_vi_nxv16i16:
 925 ; CHECK:       # %bb.0:
 926 ; CHECK-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
 927 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 928 ; CHECK-NEXT:    ret
 929   %v = call <vscale x 16 x i16> @llvm.vp.add.nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i16> splat (i16 -1), <vscale x 16 x i1> %m, i32 %evl)
 930   ret <vscale x 16 x i16> %v
 931 }
 932
 933 define <vscale x 16 x i16> @vadd_vi_nxv16i16_unmasked(<vscale x 16 x i16> %va, i32 zeroext %evl) {
 934 ; CHECK-LABEL: vadd_vi_nxv16i16_unmasked:
 935 ; CHECK:       # %bb.0:
 936 ; CHECK-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
 937 ; CHECK-NEXT:    vadd.vi v8, v8, -1
 938 ; CHECK-NEXT:    ret
 939   %v = call <vscale x 16 x i16> @llvm.vp.add.nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i16> splat (i16 -1), <vscale x 16 x i1> splat (i1 true), i32 %evl)
 940   ret <vscale x 16 x i16> %v
 941 }
 942
 943 declare <vscale x 32 x i16> @llvm.vp.add.nxv32i16(<vscale x 32 x i16>, <vscale x 32 x i16>, <vscale x 32 x i1>, i32)
 944
 945 define <vscale x 32 x i16> @vadd_vv_nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i16> %b, <vscale x 32 x i1> %m, i32 zeroext %evl) {
 946 ; CHECK-LABEL: vadd_vv_nxv32i16:
 947 ; CHECK:       # %bb.0:
 948 ; CHECK-NEXT:    vsetvli zero, a0, e16, m8, ta, ma
 949 ; CHECK-NEXT:    vadd.vv v8, v8, v16, v0.t
 950 ; CHECK-NEXT:    ret
 951   %v = call <vscale x 32 x i16> @llvm.vp.add.nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i16> %b, <vscale x 32 x i1> %m, i32 %evl)
 952   ret <vscale x 32 x i16> %v
 953 }
 954
 955 define <vscale x 32 x i16> @vadd_vv_nxv32i16_unmasked(<vscale x 32 x i16> %va, <vscale x 32 x i16> %b, i32 zeroext %evl) {
 956 ; CHECK-LABEL: vadd_vv_nxv32i16_unmasked:
 957 ; CHECK:       # %bb.0:
 958 ; CHECK-NEXT:    vsetvli zero, a0, e16, m8, ta, ma
 959 ; CHECK-NEXT:    vadd.vv v8, v8, v16
 960 ; CHECK-NEXT:    ret
 961   %v = call <vscale x 32 x i16> @llvm.vp.add.nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i16> %b, <vscale x 32 x i1> splat (i1 true), i32 %evl)
 962   ret <vscale x 32 x i16> %v
 963 }
 964
 965 define <vscale x 32 x i16> @vadd_vx_nxv32i16(<vscale x 32 x i16> %va, i16 %b, <vscale x 32 x i1> %m, i32 zeroext %evl) {
 966 ; CHECK-LABEL: vadd_vx_nxv32i16:
 967 ; CHECK:       # %bb.0:
 968 ; CHECK-NEXT:    vsetvli zero, a1, e16, m8, ta, ma
 969 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
 970 ; CHECK-NEXT:    ret
 971   %elt.head = insertelement <vscale x 32 x i16> poison, i16 %b, i32 0
 972   %vb = shufflevector <vscale x 32 x i16> %elt.head, <vscale x 32 x i16> poison, <vscale x 32 x i32> zeroinitializer
 973   %v = call <vscale x 32 x i16> @llvm.vp.add.nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i16> %vb, <vscale x 32 x i1> %m, i32 %evl)
 974   ret <vscale x 32 x i16> %v
 975 }
 976
 977 define <vscale x 32 x i16> @vadd_vx_nxv32i16_unmasked(<vscale x 32 x i16> %va, i16 %b, i32 zeroext %evl) {
 978 ; CHECK-LABEL: vadd_vx_nxv32i16_unmasked:
 979 ; CHECK:       # %bb.0:
 980 ; CHECK-NEXT:    vsetvli zero, a1, e16, m8, ta, ma
 981 ; CHECK-NEXT:    vadd.vx v8, v8, a0
 982 ; CHECK-NEXT:    ret
 983   %elt.head = insertelement <vscale x 32 x i16> poison, i16 %b, i32 0
 984   %vb = shufflevector <vscale x 32 x i16> %elt.head, <vscale x 32 x i16> poison, <vscale x 32 x i32> zeroinitializer
 985   %v = call <vscale x 32 x i16> @llvm.vp.add.nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i16> %vb, <vscale x 32 x i1> splat (i1 true), i32 %evl)
 986   ret <vscale x 32 x i16> %v
 987 }
 988
 989 define <vscale x 32 x i16> @vadd_vi_nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i1> %m, i32 zeroext %evl) {
 990 ; CHECK-LABEL: vadd_vi_nxv32i16:
 991 ; CHECK:       # %bb.0:
 992 ; CHECK-NEXT:    vsetvli zero, a0, e16, m8, ta, ma
 993 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
 994 ; CHECK-NEXT:    ret
 995   %v = call <vscale x 32 x i16> @llvm.vp.add.nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i16> splat (i16 -1), <vscale x 32 x i1> %m, i32 %evl)
 996   ret <vscale x 32 x i16> %v
 997 }
 998
 999 define <vscale x 32 x i16> @vadd_vi_nxv32i16_unmasked(<vscale x 32 x i16> %va, i32 zeroext %evl) {
1000 ; CHECK-LABEL: vadd_vi_nxv32i16_unmasked:
1001 ; CHECK:       # %bb.0:
1002 ; CHECK-NEXT:    vsetvli zero, a0, e16, m8, ta, ma
1003 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1004 ; CHECK-NEXT:    ret
1005   %v = call <vscale x 32 x i16> @llvm.vp.add.nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i16> splat (i16 -1), <vscale x 32 x i1> splat (i1 true), i32 %evl)
1006   ret <vscale x 32 x i16> %v
1007 }
1008
1009 declare <vscale x 1 x i32> @llvm.vp.add.nxv1i32(<vscale x 1 x i32>, <vscale x 1 x i32>, <vscale x 1 x i1>, i32)
1010
1011 define <vscale x 1 x i32> @vadd_vv_nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i32> %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
1012 ; CHECK-LABEL: vadd_vv_nxv1i32:
1013 ; CHECK:       # %bb.0:
1014 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
1015 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
1016 ; CHECK-NEXT:    ret
1017   %v = call <vscale x 1 x i32> @llvm.vp.add.nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i32> %b, <vscale x 1 x i1> %m, i32 %evl)
1018   ret <vscale x 1 x i32> %v
1019 }
1020
1021 define <vscale x 1 x i32> @vadd_vv_nxv1i32_unmasked(<vscale x 1 x i32> %va, <vscale x 1 x i32> %b, i32 zeroext %evl) {
1022 ; CHECK-LABEL: vadd_vv_nxv1i32_unmasked:
1023 ; CHECK:       # %bb.0:
1024 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
1025 ; CHECK-NEXT:    vadd.vv v8, v8, v9
1026 ; CHECK-NEXT:    ret
1027   %v = call <vscale x 1 x i32> @llvm.vp.add.nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i32> %b, <vscale x 1 x i1> splat (i1 true), i32 %evl)
1028   ret <vscale x 1 x i32> %v
1029 }
1030
1031 define <vscale x 1 x i32> @vadd_vx_nxv1i32(<vscale x 1 x i32> %va, i32 %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
1032 ; CHECK-LABEL: vadd_vx_nxv1i32:
1033 ; CHECK:       # %bb.0:
1034 ; CHECK-NEXT:    vsetvli zero, a1, e32, mf2, ta, ma
1035 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
1036 ; CHECK-NEXT:    ret
1037   %elt.head = insertelement <vscale x 1 x i32> poison, i32 %b, i32 0
1038   %vb = shufflevector <vscale x 1 x i32> %elt.head, <vscale x 1 x i32> poison, <vscale x 1 x i32> zeroinitializer
1039   %v = call <vscale x 1 x i32> @llvm.vp.add.nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i32> %vb, <vscale x 1 x i1> %m, i32 %evl)
1040   ret <vscale x 1 x i32> %v
1041 }
1042
1043 define <vscale x 1 x i32> @vadd_vx_nxv1i32_unmasked(<vscale x 1 x i32> %va, i32 %b, i32 zeroext %evl) {
1044 ; CHECK-LABEL: vadd_vx_nxv1i32_unmasked:
1045 ; CHECK:       # %bb.0:
1046 ; CHECK-NEXT:    vsetvli zero, a1, e32, mf2, ta, ma
1047 ; CHECK-NEXT:    vadd.vx v8, v8, a0
1048 ; CHECK-NEXT:    ret
1049   %elt.head = insertelement <vscale x 1 x i32> poison, i32 %b, i32 0
1050   %vb = shufflevector <vscale x 1 x i32> %elt.head, <vscale x 1 x i32> poison, <vscale x 1 x i32> zeroinitializer
1051   %v = call <vscale x 1 x i32> @llvm.vp.add.nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i32> %vb, <vscale x 1 x i1> splat (i1 true), i32 %evl)
1052   ret <vscale x 1 x i32> %v
1053 }
1054
1055 define <vscale x 1 x i32> @vadd_vi_nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i1> %m, i32 zeroext %evl) {
1056 ; CHECK-LABEL: vadd_vi_nxv1i32:
1057 ; CHECK:       # %bb.0:
1058 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
1059 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1060 ; CHECK-NEXT:    ret
1061   %v = call <vscale x 1 x i32> @llvm.vp.add.nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i32> splat (i32 -1), <vscale x 1 x i1> %m, i32 %evl)
1062   ret <vscale x 1 x i32> %v
1063 }
1064
1065 define <vscale x 1 x i32> @vadd_vi_nxv1i32_unmasked(<vscale x 1 x i32> %va, i32 zeroext %evl) {
1066 ; CHECK-LABEL: vadd_vi_nxv1i32_unmasked:
1067 ; CHECK:       # %bb.0:
1068 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
1069 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1070 ; CHECK-NEXT:    ret
1071   %v = call <vscale x 1 x i32> @llvm.vp.add.nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i32> splat (i32 -1), <vscale x 1 x i1> splat (i1 true), i32 %evl)
1072   ret <vscale x 1 x i32> %v
1073 }
1074
1075 declare <vscale x 2 x i32> @llvm.vp.add.nxv2i32(<vscale x 2 x i32>, <vscale x 2 x i32>, <vscale x 2 x i1>, i32)
1076
1077 define <vscale x 2 x i32> @vadd_vv_nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i32> %b, <vscale x 2 x i1> %m, i32 zeroext %evl) {
1078 ; CHECK-LABEL: vadd_vv_nxv2i32:
1079 ; CHECK:       # %bb.0:
1080 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
1081 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
1082 ; CHECK-NEXT:    ret
1083   %v = call <vscale x 2 x i32> @llvm.vp.add.nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i32> %b, <vscale x 2 x i1> %m, i32 %evl)
1084   ret <vscale x 2 x i32> %v
1085 }
1086
1087 define <vscale x 2 x i32> @vadd_vv_nxv2i32_unmasked(<vscale x 2 x i32> %va, <vscale x 2 x i32> %b, i32 zeroext %evl) {
1088 ; CHECK-LABEL: vadd_vv_nxv2i32_unmasked:
1089 ; CHECK:       # %bb.0:
1090 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
1091 ; CHECK-NEXT:    vadd.vv v8, v8, v9
1092 ; CHECK-NEXT:    ret
1093   %v = call <vscale x 2 x i32> @llvm.vp.add.nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i32> %b, <vscale x 2 x i1> splat (i1 true), i32 %evl)
1094   ret <vscale x 2 x i32> %v
1095 }
1096
1097 define <vscale x 2 x i32> @vadd_vx_nxv2i32(<vscale x 2 x i32> %va, i32 %b, <vscale x 2 x i1> %m, i32 zeroext %evl) {
1098 ; CHECK-LABEL: vadd_vx_nxv2i32:
1099 ; CHECK:       # %bb.0:
1100 ; CHECK-NEXT:    vsetvli zero, a1, e32, m1, ta, ma
1101 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
1102 ; CHECK-NEXT:    ret
1103   %elt.head = insertelement <vscale x 2 x i32> poison, i32 %b, i32 0
1104   %vb = shufflevector <vscale x 2 x i32> %elt.head, <vscale x 2 x i32> poison, <vscale x 2 x i32> zeroinitializer
1105   %v = call <vscale x 2 x i32> @llvm.vp.add.nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i32> %vb, <vscale x 2 x i1> %m, i32 %evl)
1106   ret <vscale x 2 x i32> %v
1107 }
1108
1109 define <vscale x 2 x i32> @vadd_vx_nxv2i32_unmasked(<vscale x 2 x i32> %va, i32 %b, i32 zeroext %evl) {
1110 ; CHECK-LABEL: vadd_vx_nxv2i32_unmasked:
1111 ; CHECK:       # %bb.0:
1112 ; CHECK-NEXT:    vsetvli zero, a1, e32, m1, ta, ma
1113 ; CHECK-NEXT:    vadd.vx v8, v8, a0
1114 ; CHECK-NEXT:    ret
1115   %elt.head = insertelement <vscale x 2 x i32> poison, i32 %b, i32 0
1116   %vb = shufflevector <vscale x 2 x i32> %elt.head, <vscale x 2 x i32> poison, <vscale x 2 x i32> zeroinitializer
1117   %v = call <vscale x 2 x i32> @llvm.vp.add.nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i32> %vb, <vscale x 2 x i1> splat (i1 true), i32 %evl)
1118   ret <vscale x 2 x i32> %v
1119 }
1120
1121 define <vscale x 2 x i32> @vadd_vi_nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i1> %m, i32 zeroext %evl) {
1122 ; CHECK-LABEL: vadd_vi_nxv2i32:
1123 ; CHECK:       # %bb.0:
1124 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
1125 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1126 ; CHECK-NEXT:    ret
1127   %v = call <vscale x 2 x i32> @llvm.vp.add.nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i32> splat (i32 -1), <vscale x 2 x i1> %m, i32 %evl)
1128   ret <vscale x 2 x i32> %v
1129 }
1130
1131 define <vscale x 2 x i32> @vadd_vi_nxv2i32_unmasked(<vscale x 2 x i32> %va, i32 zeroext %evl) {
1132 ; CHECK-LABEL: vadd_vi_nxv2i32_unmasked:
1133 ; CHECK:       # %bb.0:
1134 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
1135 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1136 ; CHECK-NEXT:    ret
1137   %v = call <vscale x 2 x i32> @llvm.vp.add.nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i32> splat (i32 -1), <vscale x 2 x i1> splat (i1 true), i32 %evl)
1138   ret <vscale x 2 x i32> %v
1139 }
1140
1141 declare <vscale x 4 x i32> @llvm.vp.add.nxv4i32(<vscale x 4 x i32>, <vscale x 4 x i32>, <vscale x 4 x i1>, i32)
1142
1143 define <vscale x 4 x i32> @vadd_vv_nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i32> %b, <vscale x 4 x i1> %m, i32 zeroext %evl) {
1144 ; CHECK-LABEL: vadd_vv_nxv4i32:
1145 ; CHECK:       # %bb.0:
1146 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
1147 ; CHECK-NEXT:    vadd.vv v8, v8, v10, v0.t
1148 ; CHECK-NEXT:    ret
1149   %v = call <vscale x 4 x i32> @llvm.vp.add.nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i32> %b, <vscale x 4 x i1> %m, i32 %evl)
1150   ret <vscale x 4 x i32> %v
1151 }
1152
1153 define <vscale x 4 x i32> @vadd_vv_nxv4i32_unmasked(<vscale x 4 x i32> %va, <vscale x 4 x i32> %b, i32 zeroext %evl) {
1154 ; CHECK-LABEL: vadd_vv_nxv4i32_unmasked:
1155 ; CHECK:       # %bb.0:
1156 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
1157 ; CHECK-NEXT:    vadd.vv v8, v8, v10
1158 ; CHECK-NEXT:    ret
1159   %v = call <vscale x 4 x i32> @llvm.vp.add.nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i32> %b, <vscale x 4 x i1> splat (i1 true), i32 %evl)
1160   ret <vscale x 4 x i32> %v
1161 }
1162
1163 define <vscale x 4 x i32> @vadd_vx_nxv4i32(<vscale x 4 x i32> %va, i32 %b, <vscale x 4 x i1> %m, i32 zeroext %evl) {
1164 ; CHECK-LABEL: vadd_vx_nxv4i32:
1165 ; CHECK:       # %bb.0:
1166 ; CHECK-NEXT:    vsetvli zero, a1, e32, m2, ta, ma
1167 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
1168 ; CHECK-NEXT:    ret
1169   %elt.head = insertelement <vscale x 4 x i32> poison, i32 %b, i32 0
1170   %vb = shufflevector <vscale x 4 x i32> %elt.head, <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer
1171   %v = call <vscale x 4 x i32> @llvm.vp.add.nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i32> %vb, <vscale x 4 x i1> %m, i32 %evl)
1172   ret <vscale x 4 x i32> %v
1173 }
1174
1175 define <vscale x 4 x i32> @vadd_vx_nxv4i32_unmasked(<vscale x 4 x i32> %va, i32 %b, i32 zeroext %evl) {
1176 ; CHECK-LABEL: vadd_vx_nxv4i32_unmasked:
1177 ; CHECK:       # %bb.0:
1178 ; CHECK-NEXT:    vsetvli zero, a1, e32, m2, ta, ma
1179 ; CHECK-NEXT:    vadd.vx v8, v8, a0
1180 ; CHECK-NEXT:    ret
1181   %elt.head = insertelement <vscale x 4 x i32> poison, i32 %b, i32 0
1182   %vb = shufflevector <vscale x 4 x i32> %elt.head, <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer
1183   %v = call <vscale x 4 x i32> @llvm.vp.add.nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i32> %vb, <vscale x 4 x i1> splat (i1 true), i32 %evl)
1184   ret <vscale x 4 x i32> %v
1185 }
1186
1187 define <vscale x 4 x i32> @vadd_vi_nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i1> %m, i32 zeroext %evl) {
1188 ; CHECK-LABEL: vadd_vi_nxv4i32:
1189 ; CHECK:       # %bb.0:
1190 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
1191 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1192 ; CHECK-NEXT:    ret
1193   %v = call <vscale x 4 x i32> @llvm.vp.add.nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i32> splat (i32 -1), <vscale x 4 x i1> %m, i32 %evl)
1194   ret <vscale x 4 x i32> %v
1195 }
1196
1197 define <vscale x 4 x i32> @vadd_vi_nxv4i32_unmasked(<vscale x 4 x i32> %va, i32 zeroext %evl) {
1198 ; CHECK-LABEL: vadd_vi_nxv4i32_unmasked:
1199 ; CHECK:       # %bb.0:
1200 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
1201 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1202 ; CHECK-NEXT:    ret
1203   %v = call <vscale x 4 x i32> @llvm.vp.add.nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i32> splat (i32 -1), <vscale x 4 x i1> splat (i1 true), i32 %evl)
1204   ret <vscale x 4 x i32> %v
1205 }
1206
1207 declare <vscale x 8 x i32> @llvm.vp.add.nxv8i32(<vscale x 8 x i32>, <vscale x 8 x i32>, <vscale x 8 x i1>, i32)
1208
1209 define <vscale x 8 x i32> @vadd_vv_nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> %b, <vscale x 8 x i1> %m, i32 zeroext %evl) {
1210 ; CHECK-LABEL: vadd_vv_nxv8i32:
1211 ; CHECK:       # %bb.0:
1212 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
1213 ; CHECK-NEXT:    vadd.vv v8, v8, v12, v0.t
1214 ; CHECK-NEXT:    ret
1215   %v = call <vscale x 8 x i32> @llvm.vp.add.nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> %b, <vscale x 8 x i1> %m, i32 %evl)
1216   ret <vscale x 8 x i32> %v
1217 }
1218
1219 define <vscale x 8 x i32> @vadd_vv_nxv8i32_unmasked(<vscale x 8 x i32> %va, <vscale x 8 x i32> %b, i32 zeroext %evl) {
1220 ; CHECK-LABEL: vadd_vv_nxv8i32_unmasked:
1221 ; CHECK:       # %bb.0:
1222 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
1223 ; CHECK-NEXT:    vadd.vv v8, v8, v12
1224 ; CHECK-NEXT:    ret
1225   %v = call <vscale x 8 x i32> @llvm.vp.add.nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> %b, <vscale x 8 x i1> splat (i1 true), i32 %evl)
1226   ret <vscale x 8 x i32> %v
1227 }
1228
1229 define <vscale x 8 x i32> @vadd_vx_nxv8i32(<vscale x 8 x i32> %va, i32 %b, <vscale x 8 x i1> %m, i32 zeroext %evl) {
1230 ; CHECK-LABEL: vadd_vx_nxv8i32:
1231 ; CHECK:       # %bb.0:
1232 ; CHECK-NEXT:    vsetvli zero, a1, e32, m4, ta, ma
1233 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
1234 ; CHECK-NEXT:    ret
1235   %elt.head = insertelement <vscale x 8 x i32> poison, i32 %b, i32 0
1236   %vb = shufflevector <vscale x 8 x i32> %elt.head, <vscale x 8 x i32> poison, <vscale x 8 x i32> zeroinitializer
1237   %v = call <vscale x 8 x i32> @llvm.vp.add.nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> %vb, <vscale x 8 x i1> %m, i32 %evl)
1238   ret <vscale x 8 x i32> %v
1239 }
1240
1241 define <vscale x 8 x i32> @vadd_vx_nxv8i32_unmasked(<vscale x 8 x i32> %va, i32 %b, i32 zeroext %evl) {
1242 ; CHECK-LABEL: vadd_vx_nxv8i32_unmasked:
1243 ; CHECK:       # %bb.0:
1244 ; CHECK-NEXT:    vsetvli zero, a1, e32, m4, ta, ma
1245 ; CHECK-NEXT:    vadd.vx v8, v8, a0
1246 ; CHECK-NEXT:    ret
1247   %elt.head = insertelement <vscale x 8 x i32> poison, i32 %b, i32 0
1248   %vb = shufflevector <vscale x 8 x i32> %elt.head, <vscale x 8 x i32> poison, <vscale x 8 x i32> zeroinitializer
1249   %v = call <vscale x 8 x i32> @llvm.vp.add.nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> %vb, <vscale x 8 x i1> splat (i1 true), i32 %evl)
1250   ret <vscale x 8 x i32> %v
1251 }
1252
1253 define <vscale x 8 x i32> @vadd_vi_nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i1> %m, i32 zeroext %evl) {
1254 ; CHECK-LABEL: vadd_vi_nxv8i32:
1255 ; CHECK:       # %bb.0:
1256 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
1257 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1258 ; CHECK-NEXT:    ret
1259   %v = call <vscale x 8 x i32> @llvm.vp.add.nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> splat (i32 -1), <vscale x 8 x i1> %m, i32 %evl)
1260   ret <vscale x 8 x i32> %v
1261 }
1262
1263 define <vscale x 8 x i32> @vadd_vi_nxv8i32_unmasked(<vscale x 8 x i32> %va, i32 zeroext %evl) {
1264 ; CHECK-LABEL: vadd_vi_nxv8i32_unmasked:
1265 ; CHECK:       # %bb.0:
1266 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
1267 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1268 ; CHECK-NEXT:    ret
1269   %v = call <vscale x 8 x i32> @llvm.vp.add.nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> splat (i32 -1), <vscale x 8 x i1> splat (i1 true), i32 %evl)
1270   ret <vscale x 8 x i32> %v
1271 }
1272
1273 declare <vscale x 16 x i32> @llvm.vp.add.nxv16i32(<vscale x 16 x i32>, <vscale x 16 x i32>, <vscale x 16 x i1>, i32)
1274
1275 define <vscale x 16 x i32> @vadd_vv_nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i32> %b, <vscale x 16 x i1> %m, i32 zeroext %evl) {
1276 ; CHECK-LABEL: vadd_vv_nxv16i32:
1277 ; CHECK:       # %bb.0:
1278 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1279 ; CHECK-NEXT:    vadd.vv v8, v8, v16, v0.t
1280 ; CHECK-NEXT:    ret
1281   %v = call <vscale x 16 x i32> @llvm.vp.add.nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i32> %b, <vscale x 16 x i1> %m, i32 %evl)
1282   ret <vscale x 16 x i32> %v
1283 }
1284
1285 define <vscale x 16 x i32> @vadd_vv_nxv16i32_unmasked(<vscale x 16 x i32> %va, <vscale x 16 x i32> %b, i32 zeroext %evl) {
1286 ; CHECK-LABEL: vadd_vv_nxv16i32_unmasked:
1287 ; CHECK:       # %bb.0:
1288 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1289 ; CHECK-NEXT:    vadd.vv v8, v8, v16
1290 ; CHECK-NEXT:    ret
1291   %v = call <vscale x 16 x i32> @llvm.vp.add.nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i32> %b, <vscale x 16 x i1> splat (i1 true), i32 %evl)
1292   ret <vscale x 16 x i32> %v
1293 }
1294
1295 define <vscale x 16 x i32> @vadd_vx_nxv16i32(<vscale x 16 x i32> %va, i32 %b, <vscale x 16 x i1> %m, i32 zeroext %evl) {
1296 ; CHECK-LABEL: vadd_vx_nxv16i32:
1297 ; CHECK:       # %bb.0:
1298 ; CHECK-NEXT:    vsetvli zero, a1, e32, m8, ta, ma
1299 ; CHECK-NEXT:    vadd.vx v8, v8, a0, v0.t
1300 ; CHECK-NEXT:    ret
1301   %elt.head = insertelement <vscale x 16 x i32> poison, i32 %b, i32 0
1302   %vb = shufflevector <vscale x 16 x i32> %elt.head, <vscale x 16 x i32> poison, <vscale x 16 x i32> zeroinitializer
1303   %v = call <vscale x 16 x i32> @llvm.vp.add.nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i32> %vb, <vscale x 16 x i1> %m, i32 %evl)
1304   ret <vscale x 16 x i32> %v
1305 }
1306
1307 define <vscale x 16 x i32> @vadd_vx_nxv16i32_unmasked(<vscale x 16 x i32> %va, i32 %b, i32 zeroext %evl) {
1308 ; CHECK-LABEL: vadd_vx_nxv16i32_unmasked:
1309 ; CHECK:       # %bb.0:
1310 ; CHECK-NEXT:    vsetvli zero, a1, e32, m8, ta, ma
1311 ; CHECK-NEXT:    vadd.vx v8, v8, a0
1312 ; CHECK-NEXT:    ret
1313   %elt.head = insertelement <vscale x 16 x i32> poison, i32 %b, i32 0
1314   %vb = shufflevector <vscale x 16 x i32> %elt.head, <vscale x 16 x i32> poison, <vscale x 16 x i32> zeroinitializer
1315   %v = call <vscale x 16 x i32> @llvm.vp.add.nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i32> %vb, <vscale x 16 x i1> splat (i1 true), i32 %evl)
1316   ret <vscale x 16 x i32> %v
1317 }
1318
1319 define <vscale x 16 x i32> @vadd_vi_nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i1> %m, i32 zeroext %evl) {
1320 ; CHECK-LABEL: vadd_vi_nxv16i32:
1321 ; CHECK:       # %bb.0:
1322 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1323 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1324 ; CHECK-NEXT:    ret
1325   %v = call <vscale x 16 x i32> @llvm.vp.add.nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i32> splat (i32 -1), <vscale x 16 x i1> %m, i32 %evl)
1326   ret <vscale x 16 x i32> %v
1327 }
1328
1329 define <vscale x 16 x i32> @vadd_vi_nxv16i32_unmasked(<vscale x 16 x i32> %va, i32 zeroext %evl) {
1330 ; CHECK-LABEL: vadd_vi_nxv16i32_unmasked:
1331 ; CHECK:       # %bb.0:
1332 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1333 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1334 ; CHECK-NEXT:    ret
1335   %v = call <vscale x 16 x i32> @llvm.vp.add.nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i32> splat (i32 -1), <vscale x 16 x i1> splat (i1 true), i32 %evl)
1336   ret <vscale x 16 x i32> %v
1337 }
1338
1339 ; Test that split-legalization works then the mask needs manual splitting.
1340
1341 declare <vscale x 32 x i32> @llvm.vp.add.nxv32i32(<vscale x 32 x i32>, <vscale x 32 x i32>, <vscale x 32 x i1>, i32)
1342
1343 define <vscale x 32 x i32> @vadd_vi_nxv32i32(<vscale x 32 x i32> %va, <vscale x 32 x i1> %m, i32 zeroext %evl) {
1344 ; CHECK-LABEL: vadd_vi_nxv32i32:
1345 ; CHECK:       # %bb.0:
1346 ; CHECK-NEXT:    vmv1r.v v24, v0
1347 ; CHECK-NEXT:    csrr a1, vlenb
1348 ; CHECK-NEXT:    srli a2, a1, 2
1349 ; CHECK-NEXT:    vsetvli a3, zero, e8, mf2, ta, ma
1350 ; CHECK-NEXT:    vslidedown.vx v0, v0, a2
1351 ; CHECK-NEXT:    slli a1, a1, 1
1352 ; CHECK-NEXT:    sub a2, a0, a1
1353 ; CHECK-NEXT:    sltu a3, a0, a2
1354 ; CHECK-NEXT:    addi a3, a3, -1
1355 ; CHECK-NEXT:    and a2, a3, a2
1356 ; CHECK-NEXT:    vsetvli zero, a2, e32, m8, ta, ma
1357 ; CHECK-NEXT:    vadd.vi v16, v16, -1, v0.t
1358 ; CHECK-NEXT:    bltu a0, a1, .LBB118_2
1359 ; CHECK-NEXT:  # %bb.1:
1360 ; CHECK-NEXT:    mv a0, a1
1361 ; CHECK-NEXT:  .LBB118_2:
1362 ; CHECK-NEXT:    vmv1r.v v0, v24
1363 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1364 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1365 ; CHECK-NEXT:    ret
1366   %v = call <vscale x 32 x i32> @llvm.vp.add.nxv32i32(<vscale x 32 x i32> %va, <vscale x 32 x i32> splat (i32 -1), <vscale x 32 x i1> %m, i32 %evl)
1367   ret <vscale x 32 x i32> %v
1368 }
1369
1370 define <vscale x 32 x i32> @vadd_vi_nxv32i32_unmasked(<vscale x 32 x i32> %va, i32 zeroext %evl) {
1371 ; CHECK-LABEL: vadd_vi_nxv32i32_unmasked:
1372 ; CHECK:       # %bb.0:
1373 ; CHECK-NEXT:    csrr a1, vlenb
1374 ; CHECK-NEXT:    slli a1, a1, 1
1375 ; CHECK-NEXT:    sub a2, a0, a1
1376 ; CHECK-NEXT:    sltu a3, a0, a2
1377 ; CHECK-NEXT:    addi a3, a3, -1
1378 ; CHECK-NEXT:    and a2, a3, a2
1379 ; CHECK-NEXT:    vsetvli zero, a2, e32, m8, ta, ma
1380 ; CHECK-NEXT:    vadd.vi v16, v16, -1
1381 ; CHECK-NEXT:    bltu a0, a1, .LBB119_2
1382 ; CHECK-NEXT:  # %bb.1:
1383 ; CHECK-NEXT:    mv a0, a1
1384 ; CHECK-NEXT:  .LBB119_2:
1385 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1386 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1387 ; CHECK-NEXT:    ret
1388   %v = call <vscale x 32 x i32> @llvm.vp.add.nxv32i32(<vscale x 32 x i32> %va, <vscale x 32 x i32> splat (i32 -1), <vscale x 32 x i1> splat (i1 true), i32 %evl)
1389   ret <vscale x 32 x i32> %v
1390 }
1391
1392 ; Test splitting when the %evl is a constant (albeit an unknown one).
1393
1394 declare i32 @llvm.vscale.i32()
1395
1396 ; FIXME: The upper half of the operation is doing nothing.
1397 ; FIXME: The branches comparing vscale vs. vscale should be constant-foldable.
1398
1399 define <vscale x 32 x i32> @vadd_vi_nxv32i32_evl_nx8(<vscale x 32 x i32> %va, <vscale x 32 x i1> %m) {
1400 ; CHECK-LABEL: vadd_vi_nxv32i32_evl_nx8:
1401 ; CHECK:       # %bb.0:
1402 ; CHECK-NEXT:    vmv1r.v v24, v0
1403 ; CHECK-NEXT:    csrr a0, vlenb
1404 ; CHECK-NEXT:    srli a1, a0, 2
1405 ; CHECK-NEXT:    vsetvli a2, zero, e8, mf2, ta, ma
1406 ; CHECK-NEXT:    vslidedown.vx v0, v0, a1
1407 ; CHECK-NEXT:    slli a1, a0, 1
1408 ; CHECK-NEXT:    sub a2, a0, a1
1409 ; CHECK-NEXT:    sltu a3, a0, a2
1410 ; CHECK-NEXT:    addi a3, a3, -1
1411 ; CHECK-NEXT:    and a2, a3, a2
1412 ; CHECK-NEXT:    vsetvli zero, a2, e32, m8, ta, ma
1413 ; CHECK-NEXT:    vadd.vi v16, v16, -1, v0.t
1414 ; CHECK-NEXT:    bltu a0, a1, .LBB120_2
1415 ; CHECK-NEXT:  # %bb.1:
1416 ; CHECK-NEXT:    mv a0, a1
1417 ; CHECK-NEXT:  .LBB120_2:
1418 ; CHECK-NEXT:    vmv1r.v v0, v24
1419 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1420 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1421 ; CHECK-NEXT:    ret
1422   %evl = call i32 @llvm.vscale.i32()
1423   %evl0 = mul i32 %evl, 8
1424   %v = call <vscale x 32 x i32> @llvm.vp.add.nxv32i32(<vscale x 32 x i32> %va, <vscale x 32 x i32> splat (i32 -1), <vscale x 32 x i1> %m, i32 %evl0)
1425   ret <vscale x 32 x i32> %v
1426 }
1427
1428 ; FIXME: The first vadd.vi should be able to infer that its AVL is equivalent to VLMAX.
1429 ; FIXME: The upper half of the operation is doing nothing but we don't catch
1430 ; that on RV64; we issue a usubsat(and (vscale x 16), 0xffffffff, vscale x 16)
1431 ; (the "original" %evl is the "and", due to known-bits issues with legalizing
1432 ; the i32 %evl to i64) and this isn't detected as 0.
1433 ; This could be resolved in the future with more detailed KnownBits analysis
1434 ; for ISD::VSCALE.
1435
1436 define <vscale x 32 x i32> @vadd_vi_nxv32i32_evl_nx16(<vscale x 32 x i32> %va, <vscale x 32 x i1> %m) {
1437 ; RV32-LABEL: vadd_vi_nxv32i32_evl_nx16:
1438 ; RV32:       # %bb.0:
1439 ; RV32-NEXT:    csrr a0, vlenb
1440 ; RV32-NEXT:    slli a0, a0, 1
1441 ; RV32-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1442 ; RV32-NEXT:    vadd.vi v8, v8, -1, v0.t
1443 ; RV32-NEXT:    ret
1444 ;
1445 ; RV64-LABEL: vadd_vi_nxv32i32_evl_nx16:
1446 ; RV64:       # %bb.0:
1447 ; RV64-NEXT:    csrr a0, vlenb
1448 ; RV64-NEXT:    srli a1, a0, 2
1449 ; RV64-NEXT:    vsetvli a2, zero, e8, mf2, ta, ma
1450 ; RV64-NEXT:    vslidedown.vx v24, v0, a1
1451 ; RV64-NEXT:    slli a0, a0, 1
1452 ; RV64-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
1453 ; RV64-NEXT:    vadd.vi v8, v8, -1, v0.t
1454 ; RV64-NEXT:    vmv1r.v v0, v24
1455 ; RV64-NEXT:    vsetivli zero, 0, e32, m8, ta, ma
1456 ; RV64-NEXT:    vadd.vi v16, v16, -1, v0.t
1457 ; RV64-NEXT:    ret
1458   %evl = call i32 @llvm.vscale.i32()
1459   %evl0 = mul i32 %evl, 16
1460   %v = call <vscale x 32 x i32> @llvm.vp.add.nxv32i32(<vscale x 32 x i32> %va, <vscale x 32 x i32> splat (i32 -1), <vscale x 32 x i1> %m, i32 %evl0)
1461   ret <vscale x 32 x i32> %v
1462 }
1463
1464 declare <vscale x 1 x i64> @llvm.vp.add.nxv1i64(<vscale x 1 x i64>, <vscale x 1 x i64>, <vscale x 1 x i1>, i32)
1465
1466 define <vscale x 1 x i64> @vadd_vv_nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i64> %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
1467 ; CHECK-LABEL: vadd_vv_nxv1i64:
1468 ; CHECK:       # %bb.0:
1469 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
1470 ; CHECK-NEXT:    vadd.vv v8, v8, v9, v0.t
1471 ; CHECK-NEXT:    ret
1472   %v = call <vscale x 1 x i64> @llvm.vp.add.nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i64> %b, <vscale x 1 x i1> %m, i32 %evl)
1473   ret <vscale x 1 x i64> %v
1474 }
1475
1476 define <vscale x 1 x i64> @vadd_vv_nxv1i64_unmasked(<vscale x 1 x i64> %va, <vscale x 1 x i64> %b, i32 zeroext %evl) {
1477 ; CHECK-LABEL: vadd_vv_nxv1i64_unmasked:
1478 ; CHECK:       # %bb.0:
1479 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
1480 ; CHECK-NEXT:    vadd.vv v8, v8, v9
1481 ; CHECK-NEXT:    ret
1482   %v = call <vscale x 1 x i64> @llvm.vp.add.nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i64> %b, <vscale x 1 x i1> splat (i1 true), i32 %evl)
1483   ret <vscale x 1 x i64> %v
1484 }
1485
1486 define <vscale x 1 x i64> @vadd_vx_nxv1i64(<vscale x 1 x i64> %va, i64 %b, <vscale x 1 x i1> %m, i32 zeroext %evl) {
1487 ; RV32-LABEL: vadd_vx_nxv1i64:
1488 ; RV32:       # %bb.0:
1489 ; RV32-NEXT:    addi sp, sp, -16
1490 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1491 ; RV32-NEXT:    sw a1, 12(sp)
1492 ; RV32-NEXT:    sw a0, 8(sp)
1493 ; RV32-NEXT:    addi a0, sp, 8
1494 ; RV32-NEXT:    vsetvli a1, zero, e64, m1, ta, ma
1495 ; RV32-NEXT:    vlse64.v v9, (a0), zero
1496 ; RV32-NEXT:    vsetvli zero, a2, e64, m1, ta, ma
1497 ; RV32-NEXT:    vadd.vv v8, v8, v9, v0.t
1498 ; RV32-NEXT:    addi sp, sp, 16
1499 ; RV32-NEXT:    ret
1500 ;
1501 ; RV64-LABEL: vadd_vx_nxv1i64:
1502 ; RV64:       # %bb.0:
1503 ; RV64-NEXT:    vsetvli zero, a1, e64, m1, ta, ma
1504 ; RV64-NEXT:    vadd.vx v8, v8, a0, v0.t
1505 ; RV64-NEXT:    ret
1506   %elt.head = insertelement <vscale x 1 x i64> poison, i64 %b, i32 0
1507   %vb = shufflevector <vscale x 1 x i64> %elt.head, <vscale x 1 x i64> poison, <vscale x 1 x i32> zeroinitializer
1508   %v = call <vscale x 1 x i64> @llvm.vp.add.nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i64> %vb, <vscale x 1 x i1> %m, i32 %evl)
1509   ret <vscale x 1 x i64> %v
1510 }
1511
1512 define <vscale x 1 x i64> @vadd_vx_nxv1i64_unmasked(<vscale x 1 x i64> %va, i64 %b, i32 zeroext %evl) {
1513 ; RV32-LABEL: vadd_vx_nxv1i64_unmasked:
1514 ; RV32:       # %bb.0:
1515 ; RV32-NEXT:    addi sp, sp, -16
1516 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1517 ; RV32-NEXT:    sw a1, 12(sp)
1518 ; RV32-NEXT:    sw a0, 8(sp)
1519 ; RV32-NEXT:    addi a0, sp, 8
1520 ; RV32-NEXT:    vsetvli a1, zero, e64, m1, ta, ma
1521 ; RV32-NEXT:    vlse64.v v9, (a0), zero
1522 ; RV32-NEXT:    vsetvli zero, a2, e64, m1, ta, ma
1523 ; RV32-NEXT:    vadd.vv v8, v8, v9
1524 ; RV32-NEXT:    addi sp, sp, 16
1525 ; RV32-NEXT:    ret
1526 ;
1527 ; RV64-LABEL: vadd_vx_nxv1i64_unmasked:
1528 ; RV64:       # %bb.0:
1529 ; RV64-NEXT:    vsetvli zero, a1, e64, m1, ta, ma
1530 ; RV64-NEXT:    vadd.vx v8, v8, a0
1531 ; RV64-NEXT:    ret
1532   %elt.head = insertelement <vscale x 1 x i64> poison, i64 %b, i32 0
1533   %vb = shufflevector <vscale x 1 x i64> %elt.head, <vscale x 1 x i64> poison, <vscale x 1 x i32> zeroinitializer
1534   %v = call <vscale x 1 x i64> @llvm.vp.add.nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i64> %vb, <vscale x 1 x i1> splat (i1 true), i32 %evl)
1535   ret <vscale x 1 x i64> %v
1536 }
1537
1538 define <vscale x 1 x i64> @vadd_vi_nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i1> %m, i32 zeroext %evl) {
1539 ; CHECK-LABEL: vadd_vi_nxv1i64:
1540 ; CHECK:       # %bb.0:
1541 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
1542 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1543 ; CHECK-NEXT:    ret
1544   %v = call <vscale x 1 x i64> @llvm.vp.add.nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i64> splat (i64 -1), <vscale x 1 x i1> %m, i32 %evl)
1545   ret <vscale x 1 x i64> %v
1546 }
1547
1548 define <vscale x 1 x i64> @vadd_vi_nxv1i64_unmasked(<vscale x 1 x i64> %va, i32 zeroext %evl) {
1549 ; CHECK-LABEL: vadd_vi_nxv1i64_unmasked:
1550 ; CHECK:       # %bb.0:
1551 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
1552 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1553 ; CHECK-NEXT:    ret
1554   %v = call <vscale x 1 x i64> @llvm.vp.add.nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i64> splat (i64 -1), <vscale x 1 x i1> splat (i1 true), i32 %evl)
1555   ret <vscale x 1 x i64> %v
1556 }
1557
1558 declare <vscale x 2 x i64> @llvm.vp.add.nxv2i64(<vscale x 2 x i64>, <vscale x 2 x i64>, <vscale x 2 x i1>, i32)
1559
1560 define <vscale x 2 x i64> @vadd_vv_nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i64> %b, <vscale x 2 x i1> %m, i32 zeroext %evl) {
1561 ; CHECK-LABEL: vadd_vv_nxv2i64:
1562 ; CHECK:       # %bb.0:
1563 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
1564 ; CHECK-NEXT:    vadd.vv v8, v8, v10, v0.t
1565 ; CHECK-NEXT:    ret
1566   %v = call <vscale x 2 x i64> @llvm.vp.add.nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i64> %b, <vscale x 2 x i1> %m, i32 %evl)
1567   ret <vscale x 2 x i64> %v
1568 }
1569
1570 define <vscale x 2 x i64> @vadd_vv_nxv2i64_unmasked(<vscale x 2 x i64> %va, <vscale x 2 x i64> %b, i32 zeroext %evl) {
1571 ; CHECK-LABEL: vadd_vv_nxv2i64_unmasked:
1572 ; CHECK:       # %bb.0:
1573 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
1574 ; CHECK-NEXT:    vadd.vv v8, v8, v10
1575 ; CHECK-NEXT:    ret
1576   %v = call <vscale x 2 x i64> @llvm.vp.add.nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i64> %b, <vscale x 2 x i1> splat (i1 true), i32 %evl)
1577   ret <vscale x 2 x i64> %v
1578 }
1579
1580 define <vscale x 2 x i64> @vadd_vx_nxv2i64(<vscale x 2 x i64> %va, i64 %b, <vscale x 2 x i1> %m, i32 zeroext %evl) {
1581 ; RV32-LABEL: vadd_vx_nxv2i64:
1582 ; RV32:       # %bb.0:
1583 ; RV32-NEXT:    addi sp, sp, -16
1584 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1585 ; RV32-NEXT:    sw a1, 12(sp)
1586 ; RV32-NEXT:    sw a0, 8(sp)
1587 ; RV32-NEXT:    addi a0, sp, 8
1588 ; RV32-NEXT:    vsetvli a1, zero, e64, m2, ta, ma
1589 ; RV32-NEXT:    vlse64.v v10, (a0), zero
1590 ; RV32-NEXT:    vsetvli zero, a2, e64, m2, ta, ma
1591 ; RV32-NEXT:    vadd.vv v8, v8, v10, v0.t
1592 ; RV32-NEXT:    addi sp, sp, 16
1593 ; RV32-NEXT:    ret
1594 ;
1595 ; RV64-LABEL: vadd_vx_nxv2i64:
1596 ; RV64:       # %bb.0:
1597 ; RV64-NEXT:    vsetvli zero, a1, e64, m2, ta, ma
1598 ; RV64-NEXT:    vadd.vx v8, v8, a0, v0.t
1599 ; RV64-NEXT:    ret
1600   %elt.head = insertelement <vscale x 2 x i64> poison, i64 %b, i32 0
1601   %vb = shufflevector <vscale x 2 x i64> %elt.head, <vscale x 2 x i64> poison, <vscale x 2 x i32> zeroinitializer
1602   %v = call <vscale x 2 x i64> @llvm.vp.add.nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i64> %vb, <vscale x 2 x i1> %m, i32 %evl)
1603   ret <vscale x 2 x i64> %v
1604 }
1605
1606 define <vscale x 2 x i64> @vadd_vx_nxv2i64_unmasked(<vscale x 2 x i64> %va, i64 %b, i32 zeroext %evl) {
1607 ; RV32-LABEL: vadd_vx_nxv2i64_unmasked:
1608 ; RV32:       # %bb.0:
1609 ; RV32-NEXT:    addi sp, sp, -16
1610 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1611 ; RV32-NEXT:    sw a1, 12(sp)
1612 ; RV32-NEXT:    sw a0, 8(sp)
1613 ; RV32-NEXT:    addi a0, sp, 8
1614 ; RV32-NEXT:    vsetvli a1, zero, e64, m2, ta, ma
1615 ; RV32-NEXT:    vlse64.v v10, (a0), zero
1616 ; RV32-NEXT:    vsetvli zero, a2, e64, m2, ta, ma
1617 ; RV32-NEXT:    vadd.vv v8, v8, v10
1618 ; RV32-NEXT:    addi sp, sp, 16
1619 ; RV32-NEXT:    ret
1620 ;
1621 ; RV64-LABEL: vadd_vx_nxv2i64_unmasked:
1622 ; RV64:       # %bb.0:
1623 ; RV64-NEXT:    vsetvli zero, a1, e64, m2, ta, ma
1624 ; RV64-NEXT:    vadd.vx v8, v8, a0
1625 ; RV64-NEXT:    ret
1626   %elt.head = insertelement <vscale x 2 x i64> poison, i64 %b, i32 0
1627   %vb = shufflevector <vscale x 2 x i64> %elt.head, <vscale x 2 x i64> poison, <vscale x 2 x i32> zeroinitializer
1628   %v = call <vscale x 2 x i64> @llvm.vp.add.nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i64> %vb, <vscale x 2 x i1> splat (i1 true), i32 %evl)
1629   ret <vscale x 2 x i64> %v
1630 }
1631
1632 define <vscale x 2 x i64> @vadd_vi_nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i1> %m, i32 zeroext %evl) {
1633 ; CHECK-LABEL: vadd_vi_nxv2i64:
1634 ; CHECK:       # %bb.0:
1635 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
1636 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1637 ; CHECK-NEXT:    ret
1638   %v = call <vscale x 2 x i64> @llvm.vp.add.nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i64> splat (i64 -1), <vscale x 2 x i1> %m, i32 %evl)
1639   ret <vscale x 2 x i64> %v
1640 }
1641
1642 define <vscale x 2 x i64> @vadd_vi_nxv2i64_unmasked(<vscale x 2 x i64> %va, i32 zeroext %evl) {
1643 ; CHECK-LABEL: vadd_vi_nxv2i64_unmasked:
1644 ; CHECK:       # %bb.0:
1645 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
1646 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1647 ; CHECK-NEXT:    ret
1648   %v = call <vscale x 2 x i64> @llvm.vp.add.nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i64> splat (i64 -1), <vscale x 2 x i1> splat (i1 true), i32 %evl)
1649   ret <vscale x 2 x i64> %v
1650 }
1651
1652 declare <vscale x 4 x i64> @llvm.vp.add.nxv4i64(<vscale x 4 x i64>, <vscale x 4 x i64>, <vscale x 4 x i1>, i32)
1653
1654 define <vscale x 4 x i64> @vadd_vv_nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i64> %b, <vscale x 4 x i1> %m, i32 zeroext %evl) {
1655 ; CHECK-LABEL: vadd_vv_nxv4i64:
1656 ; CHECK:       # %bb.0:
1657 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
1658 ; CHECK-NEXT:    vadd.vv v8, v8, v12, v0.t
1659 ; CHECK-NEXT:    ret
1660   %v = call <vscale x 4 x i64> @llvm.vp.add.nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i64> %b, <vscale x 4 x i1> %m, i32 %evl)
1661   ret <vscale x 4 x i64> %v
1662 }
1663
1664 define <vscale x 4 x i64> @vadd_vv_nxv4i64_unmasked(<vscale x 4 x i64> %va, <vscale x 4 x i64> %b, i32 zeroext %evl) {
1665 ; CHECK-LABEL: vadd_vv_nxv4i64_unmasked:
1666 ; CHECK:       # %bb.0:
1667 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
1668 ; CHECK-NEXT:    vadd.vv v8, v8, v12
1669 ; CHECK-NEXT:    ret
1670   %v = call <vscale x 4 x i64> @llvm.vp.add.nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i64> %b, <vscale x 4 x i1> splat (i1 true), i32 %evl)
1671   ret <vscale x 4 x i64> %v
1672 }
1673
1674 define <vscale x 4 x i64> @vadd_vx_nxv4i64(<vscale x 4 x i64> %va, i64 %b, <vscale x 4 x i1> %m, i32 zeroext %evl) {
1675 ; RV32-LABEL: vadd_vx_nxv4i64:
1676 ; RV32:       # %bb.0:
1677 ; RV32-NEXT:    addi sp, sp, -16
1678 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1679 ; RV32-NEXT:    sw a1, 12(sp)
1680 ; RV32-NEXT:    sw a0, 8(sp)
1681 ; RV32-NEXT:    addi a0, sp, 8
1682 ; RV32-NEXT:    vsetvli a1, zero, e64, m4, ta, ma
1683 ; RV32-NEXT:    vlse64.v v12, (a0), zero
1684 ; RV32-NEXT:    vsetvli zero, a2, e64, m4, ta, ma
1685 ; RV32-NEXT:    vadd.vv v8, v8, v12, v0.t
1686 ; RV32-NEXT:    addi sp, sp, 16
1687 ; RV32-NEXT:    ret
1688 ;
1689 ; RV64-LABEL: vadd_vx_nxv4i64:
1690 ; RV64:       # %bb.0:
1691 ; RV64-NEXT:    vsetvli zero, a1, e64, m4, ta, ma
1692 ; RV64-NEXT:    vadd.vx v8, v8, a0, v0.t
1693 ; RV64-NEXT:    ret
1694   %elt.head = insertelement <vscale x 4 x i64> poison, i64 %b, i32 0
1695   %vb = shufflevector <vscale x 4 x i64> %elt.head, <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer
1696   %v = call <vscale x 4 x i64> @llvm.vp.add.nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i64> %vb, <vscale x 4 x i1> %m, i32 %evl)
1697   ret <vscale x 4 x i64> %v
1698 }
1699
1700 define <vscale x 4 x i64> @vadd_vx_nxv4i64_unmasked(<vscale x 4 x i64> %va, i64 %b, i32 zeroext %evl) {
1701 ; RV32-LABEL: vadd_vx_nxv4i64_unmasked:
1702 ; RV32:       # %bb.0:
1703 ; RV32-NEXT:    addi sp, sp, -16
1704 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1705 ; RV32-NEXT:    sw a1, 12(sp)
1706 ; RV32-NEXT:    sw a0, 8(sp)
1707 ; RV32-NEXT:    addi a0, sp, 8
1708 ; RV32-NEXT:    vsetvli a1, zero, e64, m4, ta, ma
1709 ; RV32-NEXT:    vlse64.v v12, (a0), zero
1710 ; RV32-NEXT:    vsetvli zero, a2, e64, m4, ta, ma
1711 ; RV32-NEXT:    vadd.vv v8, v8, v12
1712 ; RV32-NEXT:    addi sp, sp, 16
1713 ; RV32-NEXT:    ret
1714 ;
1715 ; RV64-LABEL: vadd_vx_nxv4i64_unmasked:
1716 ; RV64:       # %bb.0:
1717 ; RV64-NEXT:    vsetvli zero, a1, e64, m4, ta, ma
1718 ; RV64-NEXT:    vadd.vx v8, v8, a0
1719 ; RV64-NEXT:    ret
1720   %elt.head = insertelement <vscale x 4 x i64> poison, i64 %b, i32 0
1721   %vb = shufflevector <vscale x 4 x i64> %elt.head, <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer
1722   %v = call <vscale x 4 x i64> @llvm.vp.add.nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i64> %vb, <vscale x 4 x i1> splat (i1 true), i32 %evl)
1723   ret <vscale x 4 x i64> %v
1724 }
1725
1726 define <vscale x 4 x i64> @vadd_vi_nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i1> %m, i32 zeroext %evl) {
1727 ; CHECK-LABEL: vadd_vi_nxv4i64:
1728 ; CHECK:       # %bb.0:
1729 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
1730 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1731 ; CHECK-NEXT:    ret
1732   %v = call <vscale x 4 x i64> @llvm.vp.add.nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i64> splat (i64 -1), <vscale x 4 x i1> %m, i32 %evl)
1733   ret <vscale x 4 x i64> %v
1734 }
1735
1736 define <vscale x 4 x i64> @vadd_vi_nxv4i64_unmasked(<vscale x 4 x i64> %va, i32 zeroext %evl) {
1737 ; CHECK-LABEL: vadd_vi_nxv4i64_unmasked:
1738 ; CHECK:       # %bb.0:
1739 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
1740 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1741 ; CHECK-NEXT:    ret
1742   %v = call <vscale x 4 x i64> @llvm.vp.add.nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i64> splat (i64 -1), <vscale x 4 x i1> splat (i1 true), i32 %evl)
1743   ret <vscale x 4 x i64> %v
1744 }
1745
1746 declare <vscale x 8 x i64> @llvm.vp.add.nxv8i64(<vscale x 8 x i64>, <vscale x 8 x i64>, <vscale x 8 x i1>, i32)
1747
1748 define <vscale x 8 x i64> @vadd_vv_nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i64> %b, <vscale x 8 x i1> %m, i32 zeroext %evl) {
1749 ; CHECK-LABEL: vadd_vv_nxv8i64:
1750 ; CHECK:       # %bb.0:
1751 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1752 ; CHECK-NEXT:    vadd.vv v8, v8, v16, v0.t
1753 ; CHECK-NEXT:    ret
1754   %v = call <vscale x 8 x i64> @llvm.vp.add.nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i64> %b, <vscale x 8 x i1> %m, i32 %evl)
1755   ret <vscale x 8 x i64> %v
1756 }
1757
1758 define <vscale x 8 x i64> @vadd_vv_nxv8i64_unmasked(<vscale x 8 x i64> %va, <vscale x 8 x i64> %b, i32 zeroext %evl) {
1759 ; CHECK-LABEL: vadd_vv_nxv8i64_unmasked:
1760 ; CHECK:       # %bb.0:
1761 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1762 ; CHECK-NEXT:    vadd.vv v8, v8, v16
1763 ; CHECK-NEXT:    ret
1764   %v = call <vscale x 8 x i64> @llvm.vp.add.nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i64> %b, <vscale x 8 x i1> splat (i1 true), i32 %evl)
1765   ret <vscale x 8 x i64> %v
1766 }
1767
1768 define <vscale x 8 x i64> @vadd_vx_nxv8i64(<vscale x 8 x i64> %va, i64 %b, <vscale x 8 x i1> %m, i32 zeroext %evl) {
1769 ; RV32-LABEL: vadd_vx_nxv8i64:
1770 ; RV32:       # %bb.0:
1771 ; RV32-NEXT:    addi sp, sp, -16
1772 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1773 ; RV32-NEXT:    sw a1, 12(sp)
1774 ; RV32-NEXT:    sw a0, 8(sp)
1775 ; RV32-NEXT:    addi a0, sp, 8
1776 ; RV32-NEXT:    vsetvli a1, zero, e64, m8, ta, ma
1777 ; RV32-NEXT:    vlse64.v v16, (a0), zero
1778 ; RV32-NEXT:    vsetvli zero, a2, e64, m8, ta, ma
1779 ; RV32-NEXT:    vadd.vv v8, v8, v16, v0.t
1780 ; RV32-NEXT:    addi sp, sp, 16
1781 ; RV32-NEXT:    ret
1782 ;
1783 ; RV64-LABEL: vadd_vx_nxv8i64:
1784 ; RV64:       # %bb.0:
1785 ; RV64-NEXT:    vsetvli zero, a1, e64, m8, ta, ma
1786 ; RV64-NEXT:    vadd.vx v8, v8, a0, v0.t
1787 ; RV64-NEXT:    ret
1788   %elt.head = insertelement <vscale x 8 x i64> poison, i64 %b, i32 0
1789   %vb = shufflevector <vscale x 8 x i64> %elt.head, <vscale x 8 x i64> poison, <vscale x 8 x i32> zeroinitializer
1790   %v = call <vscale x 8 x i64> @llvm.vp.add.nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i64> %vb, <vscale x 8 x i1> %m, i32 %evl)
1791   ret <vscale x 8 x i64> %v
1792 }
1793
1794 define <vscale x 8 x i64> @vadd_vx_nxv8i64_unmasked(<vscale x 8 x i64> %va, i64 %b, i32 zeroext %evl) {
1795 ; RV32-LABEL: vadd_vx_nxv8i64_unmasked:
1796 ; RV32:       # %bb.0:
1797 ; RV32-NEXT:    addi sp, sp, -16
1798 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1799 ; RV32-NEXT:    sw a1, 12(sp)
1800 ; RV32-NEXT:    sw a0, 8(sp)
1801 ; RV32-NEXT:    addi a0, sp, 8
1802 ; RV32-NEXT:    vsetvli a1, zero, e64, m8, ta, ma
1803 ; RV32-NEXT:    vlse64.v v16, (a0), zero
1804 ; RV32-NEXT:    vsetvli zero, a2, e64, m8, ta, ma
1805 ; RV32-NEXT:    vadd.vv v8, v8, v16
1806 ; RV32-NEXT:    addi sp, sp, 16
1807 ; RV32-NEXT:    ret
1808 ;
1809 ; RV64-LABEL: vadd_vx_nxv8i64_unmasked:
1810 ; RV64:       # %bb.0:
1811 ; RV64-NEXT:    vsetvli zero, a1, e64, m8, ta, ma
1812 ; RV64-NEXT:    vadd.vx v8, v8, a0
1813 ; RV64-NEXT:    ret
1814   %elt.head = insertelement <vscale x 8 x i64> poison, i64 %b, i32 0
1815   %vb = shufflevector <vscale x 8 x i64> %elt.head, <vscale x 8 x i64> poison, <vscale x 8 x i32> zeroinitializer
1816   %v = call <vscale x 8 x i64> @llvm.vp.add.nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i64> %vb, <vscale x 8 x i1> splat (i1 true), i32 %evl)
1817   ret <vscale x 8 x i64> %v
1818 }
1819
1820 define <vscale x 8 x i64> @vadd_vi_nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i1> %m, i32 zeroext %evl) {
1821 ; CHECK-LABEL: vadd_vi_nxv8i64:
1822 ; CHECK:       # %bb.0:
1823 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1824 ; CHECK-NEXT:    vadd.vi v8, v8, -1, v0.t
1825 ; CHECK-NEXT:    ret
1826   %v = call <vscale x 8 x i64> @llvm.vp.add.nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i64> splat (i64 -1), <vscale x 8 x i1> %m, i32 %evl)
1827   ret <vscale x 8 x i64> %v
1828 }
1829
1830 define <vscale x 8 x i64> @vadd_vi_nxv8i64_unmasked(<vscale x 8 x i64> %va, i32 zeroext %evl) {
1831 ; CHECK-LABEL: vadd_vi_nxv8i64_unmasked:
1832 ; CHECK:       # %bb.0:
1833 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1834 ; CHECK-NEXT:    vadd.vi v8, v8, -1
1835 ; CHECK-NEXT:    ret
1836   %v = call <vscale x 8 x i64> @llvm.vp.add.nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i64> splat (i64 -1), <vscale x 8 x i1> splat (i1 true), i32 %evl)
1837   ret <vscale x 8 x i64> %v
1838 }