llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vand-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 <8 x i7> @llvm.vp.and.v8i7(<8 x i7>, <8 x i7>, <8 x i1>, i32)
   8
   9 define <8 x i7> @vand_vv_v8i7(<8 x i7> %va, <8 x i7> %b, <8 x i1> %m, i32 zeroext %evl) {
  10 ; CHECK-LABEL: vand_vv_v8i7:
  11 ; CHECK:       # %bb.0:
  12 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
  13 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
  14 ; CHECK-NEXT:    ret
  15   %v = call <8 x i7> @llvm.vp.and.v8i7(<8 x i7> %va, <8 x i7> %b, <8 x i1> %m, i32 %evl)
  16   ret <8 x i7> %v
  17 }
  18
  19 declare <2 x i8> @llvm.vp.and.v2i8(<2 x i8>, <2 x i8>, <2 x i1>, i32)
  20
  21 define <2 x i8> @vand_vv_v2i8(<2 x i8> %va, <2 x i8> %b, <2 x i1> %m, i32 zeroext %evl) {
  22 ; CHECK-LABEL: vand_vv_v2i8:
  23 ; CHECK:       # %bb.0:
  24 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf8, ta, ma
  25 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
  26 ; CHECK-NEXT:    ret
  27   %v = call <2 x i8> @llvm.vp.and.v2i8(<2 x i8> %va, <2 x i8> %b, <2 x i1> %m, i32 %evl)
  28   ret <2 x i8> %v
  29 }
  30
  31 define <2 x i8> @vand_vv_v2i8_unmasked(<2 x i8> %va, <2 x i8> %b, i32 zeroext %evl) {
  32 ; CHECK-LABEL: vand_vv_v2i8_unmasked:
  33 ; CHECK:       # %bb.0:
  34 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf8, ta, ma
  35 ; CHECK-NEXT:    vand.vv v8, v8, v9
  36 ; CHECK-NEXT:    ret
  37   %v = call <2 x i8> @llvm.vp.and.v2i8(<2 x i8> %va, <2 x i8> %b, <2 x i1> splat (i1 true), i32 %evl)
  38   ret <2 x i8> %v
  39 }
  40
  41 define <2 x i8> @vand_vx_v2i8(<2 x i8> %va, i8 %b, <2 x i1> %m, i32 zeroext %evl) {
  42 ; CHECK-LABEL: vand_vx_v2i8:
  43 ; CHECK:       # %bb.0:
  44 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf8, ta, ma
  45 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
  46 ; CHECK-NEXT:    ret
  47   %elt.head = insertelement <2 x i8> poison, i8 %b, i32 0
  48   %vb = shufflevector <2 x i8> %elt.head, <2 x i8> poison, <2 x i32> zeroinitializer
  49   %v = call <2 x i8> @llvm.vp.and.v2i8(<2 x i8> %va, <2 x i8> %vb, <2 x i1> %m, i32 %evl)
  50   ret <2 x i8> %v
  51 }
  52
  53 define <2 x i8> @vand_vx_v2i8_commute(<2 x i8> %va, i8 %b, <2 x i1> %m, i32 zeroext %evl) {
  54 ; CHECK-LABEL: vand_vx_v2i8_commute:
  55 ; CHECK:       # %bb.0:
  56 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf8, ta, ma
  57 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
  58 ; CHECK-NEXT:    ret
  59   %elt.head = insertelement <2 x i8> poison, i8 %b, i32 0
  60   %vb = shufflevector <2 x i8> %elt.head, <2 x i8> poison, <2 x i32> zeroinitializer
  61   %v = call <2 x i8> @llvm.vp.and.v2i8(<2 x i8> %vb, <2 x i8> %va, <2 x i1> %m, i32 %evl)
  62   ret <2 x i8> %v
  63 }
  64
  65 define <2 x i8> @vand_vx_v2i8_unmasked(<2 x i8> %va, i8 %b, i32 zeroext %evl) {
  66 ; CHECK-LABEL: vand_vx_v2i8_unmasked:
  67 ; CHECK:       # %bb.0:
  68 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf8, ta, ma
  69 ; CHECK-NEXT:    vand.vx v8, v8, a0
  70 ; CHECK-NEXT:    ret
  71   %elt.head = insertelement <2 x i8> poison, i8 %b, i32 0
  72   %vb = shufflevector <2 x i8> %elt.head, <2 x i8> poison, <2 x i32> zeroinitializer
  73   %v = call <2 x i8> @llvm.vp.and.v2i8(<2 x i8> %va, <2 x i8> %vb, <2 x i1> splat (i1 true), i32 %evl)
  74   ret <2 x i8> %v
  75 }
  76
  77 define <2 x i8> @vand_vx_v2i8_unmasked_commute(<2 x i8> %va, i8 %b, i32 zeroext %evl) {
  78 ; CHECK-LABEL: vand_vx_v2i8_unmasked_commute:
  79 ; CHECK:       # %bb.0:
  80 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf8, ta, ma
  81 ; CHECK-NEXT:    vand.vx v8, v8, a0
  82 ; CHECK-NEXT:    ret
  83   %elt.head = insertelement <2 x i8> poison, i8 %b, i32 0
  84   %vb = shufflevector <2 x i8> %elt.head, <2 x i8> poison, <2 x i32> zeroinitializer
  85   %v = call <2 x i8> @llvm.vp.and.v2i8(<2 x i8> %vb, <2 x i8> %va, <2 x i1> splat (i1 true), i32 %evl)
  86   ret <2 x i8> %v
  87 }
  88
  89 define <2 x i8> @vand_vi_v2i8(<2 x i8> %va, <2 x i1> %m, i32 zeroext %evl) {
  90 ; CHECK-LABEL: vand_vi_v2i8:
  91 ; CHECK:       # %bb.0:
  92 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf8, ta, ma
  93 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
  94 ; CHECK-NEXT:    ret
  95   %v = call <2 x i8> @llvm.vp.and.v2i8(<2 x i8> %va, <2 x i8> splat (i8 4), <2 x i1> %m, i32 %evl)
  96   ret <2 x i8> %v
  97 }
  98
  99 define <2 x i8> @vand_vi_v2i8_unmasked(<2 x i8> %va, i32 zeroext %evl) {
 100 ; CHECK-LABEL: vand_vi_v2i8_unmasked:
 101 ; CHECK:       # %bb.0:
 102 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf8, ta, ma
 103 ; CHECK-NEXT:    vand.vi v8, v8, 4
 104 ; CHECK-NEXT:    ret
 105   %v = call <2 x i8> @llvm.vp.and.v2i8(<2 x i8> %va, <2 x i8> splat (i8 4), <2 x i1> splat (i1 true), i32 %evl)
 106   ret <2 x i8> %v
 107 }
 108
 109 declare <4 x i8> @llvm.vp.and.v4i8(<4 x i8>, <4 x i8>, <4 x i1>, i32)
 110
 111 define <4 x i8> @vand_vv_v4i8(<4 x i8> %va, <4 x i8> %b, <4 x i1> %m, i32 zeroext %evl) {
 112 ; CHECK-LABEL: vand_vv_v4i8:
 113 ; CHECK:       # %bb.0:
 114 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf4, ta, ma
 115 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 116 ; CHECK-NEXT:    ret
 117   %v = call <4 x i8> @llvm.vp.and.v4i8(<4 x i8> %va, <4 x i8> %b, <4 x i1> %m, i32 %evl)
 118   ret <4 x i8> %v
 119 }
 120
 121 define <4 x i8> @vand_vv_v4i8_unmasked(<4 x i8> %va, <4 x i8> %b, i32 zeroext %evl) {
 122 ; CHECK-LABEL: vand_vv_v4i8_unmasked:
 123 ; CHECK:       # %bb.0:
 124 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf4, ta, ma
 125 ; CHECK-NEXT:    vand.vv v8, v8, v9
 126 ; CHECK-NEXT:    ret
 127   %v = call <4 x i8> @llvm.vp.and.v4i8(<4 x i8> %va, <4 x i8> %b, <4 x i1> splat (i1 true), i32 %evl)
 128   ret <4 x i8> %v
 129 }
 130
 131 define <4 x i8> @vand_vx_v4i8(<4 x i8> %va, i8 %b, <4 x i1> %m, i32 zeroext %evl) {
 132 ; CHECK-LABEL: vand_vx_v4i8:
 133 ; CHECK:       # %bb.0:
 134 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf4, ta, ma
 135 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 136 ; CHECK-NEXT:    ret
 137   %elt.head = insertelement <4 x i8> poison, i8 %b, i32 0
 138   %vb = shufflevector <4 x i8> %elt.head, <4 x i8> poison, <4 x i32> zeroinitializer
 139   %v = call <4 x i8> @llvm.vp.and.v4i8(<4 x i8> %va, <4 x i8> %vb, <4 x i1> %m, i32 %evl)
 140   ret <4 x i8> %v
 141 }
 142
 143 define <4 x i8> @vand_vx_v4i8_unmasked(<4 x i8> %va, i8 %b, i32 zeroext %evl) {
 144 ; CHECK-LABEL: vand_vx_v4i8_unmasked:
 145 ; CHECK:       # %bb.0:
 146 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf4, ta, ma
 147 ; CHECK-NEXT:    vand.vx v8, v8, a0
 148 ; CHECK-NEXT:    ret
 149   %elt.head = insertelement <4 x i8> poison, i8 %b, i32 0
 150   %vb = shufflevector <4 x i8> %elt.head, <4 x i8> poison, <4 x i32> zeroinitializer
 151   %v = call <4 x i8> @llvm.vp.and.v4i8(<4 x i8> %va, <4 x i8> %vb, <4 x i1> splat (i1 true), i32 %evl)
 152   ret <4 x i8> %v
 153 }
 154
 155 define <4 x i8> @vand_vi_v4i8(<4 x i8> %va, <4 x i1> %m, i32 zeroext %evl) {
 156 ; CHECK-LABEL: vand_vi_v4i8:
 157 ; CHECK:       # %bb.0:
 158 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf4, ta, ma
 159 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 160 ; CHECK-NEXT:    ret
 161   %v = call <4 x i8> @llvm.vp.and.v4i8(<4 x i8> %va, <4 x i8> splat (i8 4), <4 x i1> %m, i32 %evl)
 162   ret <4 x i8> %v
 163 }
 164
 165 define <4 x i8> @vand_vi_v4i8_unmasked(<4 x i8> %va, i32 zeroext %evl) {
 166 ; CHECK-LABEL: vand_vi_v4i8_unmasked:
 167 ; CHECK:       # %bb.0:
 168 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf4, ta, ma
 169 ; CHECK-NEXT:    vand.vi v8, v8, 4
 170 ; CHECK-NEXT:    ret
 171   %v = call <4 x i8> @llvm.vp.and.v4i8(<4 x i8> %va, <4 x i8> splat (i8 4), <4 x i1> splat (i1 true), i32 %evl)
 172   ret <4 x i8> %v
 173 }
 174
 175 declare <8 x i8> @llvm.vp.and.v8i8(<8 x i8>, <8 x i8>, <8 x i1>, i32)
 176
 177 define <8 x i8> @vand_vv_v8i8(<8 x i8> %va, <8 x i8> %b, <8 x i1> %m, i32 zeroext %evl) {
 178 ; CHECK-LABEL: vand_vv_v8i8:
 179 ; CHECK:       # %bb.0:
 180 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 181 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 182 ; CHECK-NEXT:    ret
 183   %v = call <8 x i8> @llvm.vp.and.v8i8(<8 x i8> %va, <8 x i8> %b, <8 x i1> %m, i32 %evl)
 184   ret <8 x i8> %v
 185 }
 186
 187 define <8 x i8> @vand_vv_v8i8_unmasked(<8 x i8> %va, <8 x i8> %b, i32 zeroext %evl) {
 188 ; CHECK-LABEL: vand_vv_v8i8_unmasked:
 189 ; CHECK:       # %bb.0:
 190 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 191 ; CHECK-NEXT:    vand.vv v8, v8, v9
 192 ; CHECK-NEXT:    ret
 193   %v = call <8 x i8> @llvm.vp.and.v8i8(<8 x i8> %va, <8 x i8> %b, <8 x i1> splat (i1 true), i32 %evl)
 194   ret <8 x i8> %v
 195 }
 196
 197 define <8 x i8> @vand_vx_v8i8(<8 x i8> %va, i8 %b, <8 x i1> %m, i32 zeroext %evl) {
 198 ; CHECK-LABEL: vand_vx_v8i8:
 199 ; CHECK:       # %bb.0:
 200 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf2, ta, ma
 201 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 202 ; CHECK-NEXT:    ret
 203   %elt.head = insertelement <8 x i8> poison, i8 %b, i32 0
 204   %vb = shufflevector <8 x i8> %elt.head, <8 x i8> poison, <8 x i32> zeroinitializer
 205   %v = call <8 x i8> @llvm.vp.and.v8i8(<8 x i8> %va, <8 x i8> %vb, <8 x i1> %m, i32 %evl)
 206   ret <8 x i8> %v
 207 }
 208
 209 define <8 x i8> @vand_vx_v8i8_unmasked(<8 x i8> %va, i8 %b, i32 zeroext %evl) {
 210 ; CHECK-LABEL: vand_vx_v8i8_unmasked:
 211 ; CHECK:       # %bb.0:
 212 ; CHECK-NEXT:    vsetvli zero, a1, e8, mf2, ta, ma
 213 ; CHECK-NEXT:    vand.vx v8, v8, a0
 214 ; CHECK-NEXT:    ret
 215   %elt.head = insertelement <8 x i8> poison, i8 %b, i32 0
 216   %vb = shufflevector <8 x i8> %elt.head, <8 x i8> poison, <8 x i32> zeroinitializer
 217   %v = call <8 x i8> @llvm.vp.and.v8i8(<8 x i8> %va, <8 x i8> %vb, <8 x i1> splat (i1 true), i32 %evl)
 218   ret <8 x i8> %v
 219 }
 220
 221 define <8 x i8> @vand_vi_v8i8(<8 x i8> %va, <8 x i1> %m, i32 zeroext %evl) {
 222 ; CHECK-LABEL: vand_vi_v8i8:
 223 ; CHECK:       # %bb.0:
 224 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 225 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 226 ; CHECK-NEXT:    ret
 227   %v = call <8 x i8> @llvm.vp.and.v8i8(<8 x i8> %va, <8 x i8> splat (i8 4), <8 x i1> %m, i32 %evl)
 228   ret <8 x i8> %v
 229 }
 230
 231 define <8 x i8> @vand_vi_v8i8_unmasked(<8 x i8> %va, i32 zeroext %evl) {
 232 ; CHECK-LABEL: vand_vi_v8i8_unmasked:
 233 ; CHECK:       # %bb.0:
 234 ; CHECK-NEXT:    vsetvli zero, a0, e8, mf2, ta, ma
 235 ; CHECK-NEXT:    vand.vi v8, v8, 4
 236 ; CHECK-NEXT:    ret
 237   %v = call <8 x i8> @llvm.vp.and.v8i8(<8 x i8> %va, <8 x i8> splat (i8 4), <8 x i1> splat (i1 true), i32 %evl)
 238   ret <8 x i8> %v
 239 }
 240
 241 declare <16 x i8> @llvm.vp.and.v16i8(<16 x i8>, <16 x i8>, <16 x i1>, i32)
 242
 243 define <16 x i8> @vand_vv_v16i8(<16 x i8> %va, <16 x i8> %b, <16 x i1> %m, i32 zeroext %evl) {
 244 ; CHECK-LABEL: vand_vv_v16i8:
 245 ; CHECK:       # %bb.0:
 246 ; CHECK-NEXT:    vsetvli zero, a0, e8, m1, ta, ma
 247 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 248 ; CHECK-NEXT:    ret
 249   %v = call <16 x i8> @llvm.vp.and.v16i8(<16 x i8> %va, <16 x i8> %b, <16 x i1> %m, i32 %evl)
 250   ret <16 x i8> %v
 251 }
 252
 253 define <16 x i8> @vand_vv_v16i8_unmasked(<16 x i8> %va, <16 x i8> %b, i32 zeroext %evl) {
 254 ; CHECK-LABEL: vand_vv_v16i8_unmasked:
 255 ; CHECK:       # %bb.0:
 256 ; CHECK-NEXT:    vsetvli zero, a0, e8, m1, ta, ma
 257 ; CHECK-NEXT:    vand.vv v8, v8, v9
 258 ; CHECK-NEXT:    ret
 259   %v = call <16 x i8> @llvm.vp.and.v16i8(<16 x i8> %va, <16 x i8> %b, <16 x i1> splat (i1 true), i32 %evl)
 260   ret <16 x i8> %v
 261 }
 262
 263 define <16 x i8> @vand_vx_v16i8(<16 x i8> %va, i8 %b, <16 x i1> %m, i32 zeroext %evl) {
 264 ; CHECK-LABEL: vand_vx_v16i8:
 265 ; CHECK:       # %bb.0:
 266 ; CHECK-NEXT:    vsetvli zero, a1, e8, m1, ta, ma
 267 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 268 ; CHECK-NEXT:    ret
 269   %elt.head = insertelement <16 x i8> poison, i8 %b, i32 0
 270   %vb = shufflevector <16 x i8> %elt.head, <16 x i8> poison, <16 x i32> zeroinitializer
 271   %v = call <16 x i8> @llvm.vp.and.v16i8(<16 x i8> %va, <16 x i8> %vb, <16 x i1> %m, i32 %evl)
 272   ret <16 x i8> %v
 273 }
 274
 275 define <16 x i8> @vand_vx_v16i8_unmasked(<16 x i8> %va, i8 %b, i32 zeroext %evl) {
 276 ; CHECK-LABEL: vand_vx_v16i8_unmasked:
 277 ; CHECK:       # %bb.0:
 278 ; CHECK-NEXT:    vsetvli zero, a1, e8, m1, ta, ma
 279 ; CHECK-NEXT:    vand.vx v8, v8, a0
 280 ; CHECK-NEXT:    ret
 281   %elt.head = insertelement <16 x i8> poison, i8 %b, i32 0
 282   %vb = shufflevector <16 x i8> %elt.head, <16 x i8> poison, <16 x i32> zeroinitializer
 283   %v = call <16 x i8> @llvm.vp.and.v16i8(<16 x i8> %va, <16 x i8> %vb, <16 x i1> splat (i1 true), i32 %evl)
 284   ret <16 x i8> %v
 285 }
 286
 287 define <16 x i8> @vand_vi_v16i8(<16 x i8> %va, <16 x i1> %m, i32 zeroext %evl) {
 288 ; CHECK-LABEL: vand_vi_v16i8:
 289 ; CHECK:       # %bb.0:
 290 ; CHECK-NEXT:    vsetvli zero, a0, e8, m1, ta, ma
 291 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 292 ; CHECK-NEXT:    ret
 293   %v = call <16 x i8> @llvm.vp.and.v16i8(<16 x i8> %va, <16 x i8> splat (i8 4), <16 x i1> %m, i32 %evl)
 294   ret <16 x i8> %v
 295 }
 296
 297 define <16 x i8> @vand_vi_v16i8_unmasked(<16 x i8> %va, i32 zeroext %evl) {
 298 ; CHECK-LABEL: vand_vi_v16i8_unmasked:
 299 ; CHECK:       # %bb.0:
 300 ; CHECK-NEXT:    vsetvli zero, a0, e8, m1, ta, ma
 301 ; CHECK-NEXT:    vand.vi v8, v8, 4
 302 ; CHECK-NEXT:    ret
 303   %v = call <16 x i8> @llvm.vp.and.v16i8(<16 x i8> %va, <16 x i8> splat (i8 4), <16 x i1> splat (i1 true), i32 %evl)
 304   ret <16 x i8> %v
 305 }
 306
 307 declare <2 x i16> @llvm.vp.and.v2i16(<2 x i16>, <2 x i16>, <2 x i1>, i32)
 308
 309 define <2 x i16> @vand_vv_v2i16(<2 x i16> %va, <2 x i16> %b, <2 x i1> %m, i32 zeroext %evl) {
 310 ; CHECK-LABEL: vand_vv_v2i16:
 311 ; CHECK:       # %bb.0:
 312 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
 313 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 314 ; CHECK-NEXT:    ret
 315   %v = call <2 x i16> @llvm.vp.and.v2i16(<2 x i16> %va, <2 x i16> %b, <2 x i1> %m, i32 %evl)
 316   ret <2 x i16> %v
 317 }
 318
 319 define <2 x i16> @vand_vv_v2i16_unmasked(<2 x i16> %va, <2 x i16> %b, i32 zeroext %evl) {
 320 ; CHECK-LABEL: vand_vv_v2i16_unmasked:
 321 ; CHECK:       # %bb.0:
 322 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
 323 ; CHECK-NEXT:    vand.vv v8, v8, v9
 324 ; CHECK-NEXT:    ret
 325   %v = call <2 x i16> @llvm.vp.and.v2i16(<2 x i16> %va, <2 x i16> %b, <2 x i1> splat (i1 true), i32 %evl)
 326   ret <2 x i16> %v
 327 }
 328
 329 define <2 x i16> @vand_vx_v2i16(<2 x i16> %va, i16 %b, <2 x i1> %m, i32 zeroext %evl) {
 330 ; CHECK-LABEL: vand_vx_v2i16:
 331 ; CHECK:       # %bb.0:
 332 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf4, ta, ma
 333 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 334 ; CHECK-NEXT:    ret
 335   %elt.head = insertelement <2 x i16> poison, i16 %b, i32 0
 336   %vb = shufflevector <2 x i16> %elt.head, <2 x i16> poison, <2 x i32> zeroinitializer
 337   %v = call <2 x i16> @llvm.vp.and.v2i16(<2 x i16> %va, <2 x i16> %vb, <2 x i1> %m, i32 %evl)
 338   ret <2 x i16> %v
 339 }
 340
 341 define <2 x i16> @vand_vx_v2i16_unmasked(<2 x i16> %va, i16 %b, i32 zeroext %evl) {
 342 ; CHECK-LABEL: vand_vx_v2i16_unmasked:
 343 ; CHECK:       # %bb.0:
 344 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf4, ta, ma
 345 ; CHECK-NEXT:    vand.vx v8, v8, a0
 346 ; CHECK-NEXT:    ret
 347   %elt.head = insertelement <2 x i16> poison, i16 %b, i32 0
 348   %vb = shufflevector <2 x i16> %elt.head, <2 x i16> poison, <2 x i32> zeroinitializer
 349   %v = call <2 x i16> @llvm.vp.and.v2i16(<2 x i16> %va, <2 x i16> %vb, <2 x i1> splat (i1 true), i32 %evl)
 350   ret <2 x i16> %v
 351 }
 352
 353 define <2 x i16> @vand_vi_v2i16(<2 x i16> %va, <2 x i1> %m, i32 zeroext %evl) {
 354 ; CHECK-LABEL: vand_vi_v2i16:
 355 ; CHECK:       # %bb.0:
 356 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
 357 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 358 ; CHECK-NEXT:    ret
 359   %v = call <2 x i16> @llvm.vp.and.v2i16(<2 x i16> %va, <2 x i16> splat (i16 4), <2 x i1> %m, i32 %evl)
 360   ret <2 x i16> %v
 361 }
 362
 363 define <2 x i16> @vand_vi_v2i16_unmasked(<2 x i16> %va, i32 zeroext %evl) {
 364 ; CHECK-LABEL: vand_vi_v2i16_unmasked:
 365 ; CHECK:       # %bb.0:
 366 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
 367 ; CHECK-NEXT:    vand.vi v8, v8, 4
 368 ; CHECK-NEXT:    ret
 369   %v = call <2 x i16> @llvm.vp.and.v2i16(<2 x i16> %va, <2 x i16> splat (i16 4), <2 x i1> splat (i1 true), i32 %evl)
 370   ret <2 x i16> %v
 371 }
 372
 373 declare <4 x i16> @llvm.vp.and.v4i16(<4 x i16>, <4 x i16>, <4 x i1>, i32)
 374
 375 define <4 x i16> @vand_vv_v4i16(<4 x i16> %va, <4 x i16> %b, <4 x i1> %m, i32 zeroext %evl) {
 376 ; CHECK-LABEL: vand_vv_v4i16:
 377 ; CHECK:       # %bb.0:
 378 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
 379 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 380 ; CHECK-NEXT:    ret
 381   %v = call <4 x i16> @llvm.vp.and.v4i16(<4 x i16> %va, <4 x i16> %b, <4 x i1> %m, i32 %evl)
 382   ret <4 x i16> %v
 383 }
 384
 385 define <4 x i16> @vand_vv_v4i16_unmasked(<4 x i16> %va, <4 x i16> %b, i32 zeroext %evl) {
 386 ; CHECK-LABEL: vand_vv_v4i16_unmasked:
 387 ; CHECK:       # %bb.0:
 388 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
 389 ; CHECK-NEXT:    vand.vv v8, v8, v9
 390 ; CHECK-NEXT:    ret
 391   %v = call <4 x i16> @llvm.vp.and.v4i16(<4 x i16> %va, <4 x i16> %b, <4 x i1> splat (i1 true), i32 %evl)
 392   ret <4 x i16> %v
 393 }
 394
 395 define <4 x i16> @vand_vx_v4i16(<4 x i16> %va, i16 %b, <4 x i1> %m, i32 zeroext %evl) {
 396 ; CHECK-LABEL: vand_vx_v4i16:
 397 ; CHECK:       # %bb.0:
 398 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf2, ta, ma
 399 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 400 ; CHECK-NEXT:    ret
 401   %elt.head = insertelement <4 x i16> poison, i16 %b, i32 0
 402   %vb = shufflevector <4 x i16> %elt.head, <4 x i16> poison, <4 x i32> zeroinitializer
 403   %v = call <4 x i16> @llvm.vp.and.v4i16(<4 x i16> %va, <4 x i16> %vb, <4 x i1> %m, i32 %evl)
 404   ret <4 x i16> %v
 405 }
 406
 407 define <4 x i16> @vand_vx_v4i16_unmasked(<4 x i16> %va, i16 %b, i32 zeroext %evl) {
 408 ; CHECK-LABEL: vand_vx_v4i16_unmasked:
 409 ; CHECK:       # %bb.0:
 410 ; CHECK-NEXT:    vsetvli zero, a1, e16, mf2, ta, ma
 411 ; CHECK-NEXT:    vand.vx v8, v8, a0
 412 ; CHECK-NEXT:    ret
 413   %elt.head = insertelement <4 x i16> poison, i16 %b, i32 0
 414   %vb = shufflevector <4 x i16> %elt.head, <4 x i16> poison, <4 x i32> zeroinitializer
 415   %v = call <4 x i16> @llvm.vp.and.v4i16(<4 x i16> %va, <4 x i16> %vb, <4 x i1> splat (i1 true), i32 %evl)
 416   ret <4 x i16> %v
 417 }
 418
 419 define <4 x i16> @vand_vi_v4i16(<4 x i16> %va, <4 x i1> %m, i32 zeroext %evl) {
 420 ; CHECK-LABEL: vand_vi_v4i16:
 421 ; CHECK:       # %bb.0:
 422 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
 423 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 424 ; CHECK-NEXT:    ret
 425   %v = call <4 x i16> @llvm.vp.and.v4i16(<4 x i16> %va, <4 x i16> splat (i16 4), <4 x i1> %m, i32 %evl)
 426   ret <4 x i16> %v
 427 }
 428
 429 define <4 x i16> @vand_vi_v4i16_unmasked(<4 x i16> %va, i32 zeroext %evl) {
 430 ; CHECK-LABEL: vand_vi_v4i16_unmasked:
 431 ; CHECK:       # %bb.0:
 432 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
 433 ; CHECK-NEXT:    vand.vi v8, v8, 4
 434 ; CHECK-NEXT:    ret
 435   %v = call <4 x i16> @llvm.vp.and.v4i16(<4 x i16> %va, <4 x i16> splat (i16 4), <4 x i1> splat (i1 true), i32 %evl)
 436   ret <4 x i16> %v
 437 }
 438
 439 declare <8 x i16> @llvm.vp.and.v8i16(<8 x i16>, <8 x i16>, <8 x i1>, i32)
 440
 441 define <8 x i16> @vand_vv_v8i16(<8 x i16> %va, <8 x i16> %b, <8 x i1> %m, i32 zeroext %evl) {
 442 ; CHECK-LABEL: vand_vv_v8i16:
 443 ; CHECK:       # %bb.0:
 444 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 445 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 446 ; CHECK-NEXT:    ret
 447   %v = call <8 x i16> @llvm.vp.and.v8i16(<8 x i16> %va, <8 x i16> %b, <8 x i1> %m, i32 %evl)
 448   ret <8 x i16> %v
 449 }
 450
 451 define <8 x i16> @vand_vv_v8i16_unmasked(<8 x i16> %va, <8 x i16> %b, i32 zeroext %evl) {
 452 ; CHECK-LABEL: vand_vv_v8i16_unmasked:
 453 ; CHECK:       # %bb.0:
 454 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 455 ; CHECK-NEXT:    vand.vv v8, v8, v9
 456 ; CHECK-NEXT:    ret
 457   %v = call <8 x i16> @llvm.vp.and.v8i16(<8 x i16> %va, <8 x i16> %b, <8 x i1> splat (i1 true), i32 %evl)
 458   ret <8 x i16> %v
 459 }
 460
 461 define <8 x i16> @vand_vx_v8i16(<8 x i16> %va, i16 %b, <8 x i1> %m, i32 zeroext %evl) {
 462 ; CHECK-LABEL: vand_vx_v8i16:
 463 ; CHECK:       # %bb.0:
 464 ; CHECK-NEXT:    vsetvli zero, a1, e16, m1, ta, ma
 465 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 466 ; CHECK-NEXT:    ret
 467   %elt.head = insertelement <8 x i16> poison, i16 %b, i32 0
 468   %vb = shufflevector <8 x i16> %elt.head, <8 x i16> poison, <8 x i32> zeroinitializer
 469   %v = call <8 x i16> @llvm.vp.and.v8i16(<8 x i16> %va, <8 x i16> %vb, <8 x i1> %m, i32 %evl)
 470   ret <8 x i16> %v
 471 }
 472
 473 define <8 x i16> @vand_vx_v8i16_unmasked(<8 x i16> %va, i16 %b, i32 zeroext %evl) {
 474 ; CHECK-LABEL: vand_vx_v8i16_unmasked:
 475 ; CHECK:       # %bb.0:
 476 ; CHECK-NEXT:    vsetvli zero, a1, e16, m1, ta, ma
 477 ; CHECK-NEXT:    vand.vx v8, v8, a0
 478 ; CHECK-NEXT:    ret
 479   %elt.head = insertelement <8 x i16> poison, i16 %b, i32 0
 480   %vb = shufflevector <8 x i16> %elt.head, <8 x i16> poison, <8 x i32> zeroinitializer
 481   %v = call <8 x i16> @llvm.vp.and.v8i16(<8 x i16> %va, <8 x i16> %vb, <8 x i1> splat (i1 true), i32 %evl)
 482   ret <8 x i16> %v
 483 }
 484
 485 define <8 x i16> @vand_vi_v8i16(<8 x i16> %va, <8 x i1> %m, i32 zeroext %evl) {
 486 ; CHECK-LABEL: vand_vi_v8i16:
 487 ; CHECK:       # %bb.0:
 488 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 489 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 490 ; CHECK-NEXT:    ret
 491   %v = call <8 x i16> @llvm.vp.and.v8i16(<8 x i16> %va, <8 x i16> splat (i16 4), <8 x i1> %m, i32 %evl)
 492   ret <8 x i16> %v
 493 }
 494
 495 define <8 x i16> @vand_vi_v8i16_unmasked(<8 x i16> %va, i32 zeroext %evl) {
 496 ; CHECK-LABEL: vand_vi_v8i16_unmasked:
 497 ; CHECK:       # %bb.0:
 498 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 499 ; CHECK-NEXT:    vand.vi v8, v8, 4
 500 ; CHECK-NEXT:    ret
 501   %v = call <8 x i16> @llvm.vp.and.v8i16(<8 x i16> %va, <8 x i16> splat (i16 4), <8 x i1> splat (i1 true), i32 %evl)
 502   ret <8 x i16> %v
 503 }
 504
 505 declare <16 x i16> @llvm.vp.and.v16i16(<16 x i16>, <16 x i16>, <16 x i1>, i32)
 506
 507 define <16 x i16> @vand_vv_v16i16(<16 x i16> %va, <16 x i16> %b, <16 x i1> %m, i32 zeroext %evl) {
 508 ; CHECK-LABEL: vand_vv_v16i16:
 509 ; CHECK:       # %bb.0:
 510 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 511 ; CHECK-NEXT:    vand.vv v8, v8, v10, v0.t
 512 ; CHECK-NEXT:    ret
 513   %v = call <16 x i16> @llvm.vp.and.v16i16(<16 x i16> %va, <16 x i16> %b, <16 x i1> %m, i32 %evl)
 514   ret <16 x i16> %v
 515 }
 516
 517 define <16 x i16> @vand_vv_v16i16_unmasked(<16 x i16> %va, <16 x i16> %b, i32 zeroext %evl) {
 518 ; CHECK-LABEL: vand_vv_v16i16_unmasked:
 519 ; CHECK:       # %bb.0:
 520 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 521 ; CHECK-NEXT:    vand.vv v8, v8, v10
 522 ; CHECK-NEXT:    ret
 523   %v = call <16 x i16> @llvm.vp.and.v16i16(<16 x i16> %va, <16 x i16> %b, <16 x i1> splat (i1 true), i32 %evl)
 524   ret <16 x i16> %v
 525 }
 526
 527 define <16 x i16> @vand_vx_v16i16(<16 x i16> %va, i16 %b, <16 x i1> %m, i32 zeroext %evl) {
 528 ; CHECK-LABEL: vand_vx_v16i16:
 529 ; CHECK:       # %bb.0:
 530 ; CHECK-NEXT:    vsetvli zero, a1, e16, m2, ta, ma
 531 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 532 ; CHECK-NEXT:    ret
 533   %elt.head = insertelement <16 x i16> poison, i16 %b, i32 0
 534   %vb = shufflevector <16 x i16> %elt.head, <16 x i16> poison, <16 x i32> zeroinitializer
 535   %v = call <16 x i16> @llvm.vp.and.v16i16(<16 x i16> %va, <16 x i16> %vb, <16 x i1> %m, i32 %evl)
 536   ret <16 x i16> %v
 537 }
 538
 539 define <16 x i16> @vand_vx_v16i16_unmasked(<16 x i16> %va, i16 %b, i32 zeroext %evl) {
 540 ; CHECK-LABEL: vand_vx_v16i16_unmasked:
 541 ; CHECK:       # %bb.0:
 542 ; CHECK-NEXT:    vsetvli zero, a1, e16, m2, ta, ma
 543 ; CHECK-NEXT:    vand.vx v8, v8, a0
 544 ; CHECK-NEXT:    ret
 545   %elt.head = insertelement <16 x i16> poison, i16 %b, i32 0
 546   %vb = shufflevector <16 x i16> %elt.head, <16 x i16> poison, <16 x i32> zeroinitializer
 547   %v = call <16 x i16> @llvm.vp.and.v16i16(<16 x i16> %va, <16 x i16> %vb, <16 x i1> splat (i1 true), i32 %evl)
 548   ret <16 x i16> %v
 549 }
 550
 551 define <16 x i16> @vand_vi_v16i16(<16 x i16> %va, <16 x i1> %m, i32 zeroext %evl) {
 552 ; CHECK-LABEL: vand_vi_v16i16:
 553 ; CHECK:       # %bb.0:
 554 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 555 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 556 ; CHECK-NEXT:    ret
 557   %v = call <16 x i16> @llvm.vp.and.v16i16(<16 x i16> %va, <16 x i16> splat (i16 4), <16 x i1> %m, i32 %evl)
 558   ret <16 x i16> %v
 559 }
 560
 561 define <16 x i16> @vand_vi_v16i16_unmasked(<16 x i16> %va, i32 zeroext %evl) {
 562 ; CHECK-LABEL: vand_vi_v16i16_unmasked:
 563 ; CHECK:       # %bb.0:
 564 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 565 ; CHECK-NEXT:    vand.vi v8, v8, 4
 566 ; CHECK-NEXT:    ret
 567   %v = call <16 x i16> @llvm.vp.and.v16i16(<16 x i16> %va, <16 x i16> splat (i16 4), <16 x i1> splat (i1 true), i32 %evl)
 568   ret <16 x i16> %v
 569 }
 570
 571 declare <2 x i32> @llvm.vp.and.v2i32(<2 x i32>, <2 x i32>, <2 x i1>, i32)
 572
 573 define <2 x i32> @vand_vv_v2i32(<2 x i32> %va, <2 x i32> %b, <2 x i1> %m, i32 zeroext %evl) {
 574 ; CHECK-LABEL: vand_vv_v2i32:
 575 ; CHECK:       # %bb.0:
 576 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
 577 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 578 ; CHECK-NEXT:    ret
 579   %v = call <2 x i32> @llvm.vp.and.v2i32(<2 x i32> %va, <2 x i32> %b, <2 x i1> %m, i32 %evl)
 580   ret <2 x i32> %v
 581 }
 582
 583 define <2 x i32> @vand_vv_v2i32_unmasked(<2 x i32> %va, <2 x i32> %b, i32 zeroext %evl) {
 584 ; CHECK-LABEL: vand_vv_v2i32_unmasked:
 585 ; CHECK:       # %bb.0:
 586 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
 587 ; CHECK-NEXT:    vand.vv v8, v8, v9
 588 ; CHECK-NEXT:    ret
 589   %v = call <2 x i32> @llvm.vp.and.v2i32(<2 x i32> %va, <2 x i32> %b, <2 x i1> splat (i1 true), i32 %evl)
 590   ret <2 x i32> %v
 591 }
 592
 593 define <2 x i32> @vand_vx_v2i32(<2 x i32> %va, i32 %b, <2 x i1> %m, i32 zeroext %evl) {
 594 ; CHECK-LABEL: vand_vx_v2i32:
 595 ; CHECK:       # %bb.0:
 596 ; CHECK-NEXT:    vsetvli zero, a1, e32, mf2, ta, ma
 597 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 598 ; CHECK-NEXT:    ret
 599   %elt.head = insertelement <2 x i32> poison, i32 %b, i32 0
 600   %vb = shufflevector <2 x i32> %elt.head, <2 x i32> poison, <2 x i32> zeroinitializer
 601   %v = call <2 x i32> @llvm.vp.and.v2i32(<2 x i32> %va, <2 x i32> %vb, <2 x i1> %m, i32 %evl)
 602   ret <2 x i32> %v
 603 }
 604
 605 define <2 x i32> @vand_vx_v2i32_unmasked(<2 x i32> %va, i32 %b, i32 zeroext %evl) {
 606 ; CHECK-LABEL: vand_vx_v2i32_unmasked:
 607 ; CHECK:       # %bb.0:
 608 ; CHECK-NEXT:    vsetvli zero, a1, e32, mf2, ta, ma
 609 ; CHECK-NEXT:    vand.vx v8, v8, a0
 610 ; CHECK-NEXT:    ret
 611   %elt.head = insertelement <2 x i32> poison, i32 %b, i32 0
 612   %vb = shufflevector <2 x i32> %elt.head, <2 x i32> poison, <2 x i32> zeroinitializer
 613   %v = call <2 x i32> @llvm.vp.and.v2i32(<2 x i32> %va, <2 x i32> %vb, <2 x i1> splat (i1 true), i32 %evl)
 614   ret <2 x i32> %v
 615 }
 616
 617 define <2 x i32> @vand_vi_v2i32(<2 x i32> %va, <2 x i1> %m, i32 zeroext %evl) {
 618 ; CHECK-LABEL: vand_vi_v2i32:
 619 ; CHECK:       # %bb.0:
 620 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
 621 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 622 ; CHECK-NEXT:    ret
 623   %v = call <2 x i32> @llvm.vp.and.v2i32(<2 x i32> %va, <2 x i32> splat (i32 4), <2 x i1> %m, i32 %evl)
 624   ret <2 x i32> %v
 625 }
 626
 627 define <2 x i32> @vand_vi_v2i32_unmasked(<2 x i32> %va, i32 zeroext %evl) {
 628 ; CHECK-LABEL: vand_vi_v2i32_unmasked:
 629 ; CHECK:       # %bb.0:
 630 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
 631 ; CHECK-NEXT:    vand.vi v8, v8, 4
 632 ; CHECK-NEXT:    ret
 633   %v = call <2 x i32> @llvm.vp.and.v2i32(<2 x i32> %va, <2 x i32> splat (i32 4), <2 x i1> splat (i1 true), i32 %evl)
 634   ret <2 x i32> %v
 635 }
 636
 637 declare <4 x i32> @llvm.vp.and.v4i32(<4 x i32>, <4 x i32>, <4 x i1>, i32)
 638
 639 define <4 x i32> @vand_vv_v4i32(<4 x i32> %va, <4 x i32> %b, <4 x i1> %m, i32 zeroext %evl) {
 640 ; CHECK-LABEL: vand_vv_v4i32:
 641 ; CHECK:       # %bb.0:
 642 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
 643 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 644 ; CHECK-NEXT:    ret
 645   %v = call <4 x i32> @llvm.vp.and.v4i32(<4 x i32> %va, <4 x i32> %b, <4 x i1> %m, i32 %evl)
 646   ret <4 x i32> %v
 647 }
 648
 649 define <4 x i32> @vand_vv_v4i32_unmasked(<4 x i32> %va, <4 x i32> %b, i32 zeroext %evl) {
 650 ; CHECK-LABEL: vand_vv_v4i32_unmasked:
 651 ; CHECK:       # %bb.0:
 652 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
 653 ; CHECK-NEXT:    vand.vv v8, v8, v9
 654 ; CHECK-NEXT:    ret
 655   %v = call <4 x i32> @llvm.vp.and.v4i32(<4 x i32> %va, <4 x i32> %b, <4 x i1> splat (i1 true), i32 %evl)
 656   ret <4 x i32> %v
 657 }
 658
 659 define <4 x i32> @vand_vx_v4i32(<4 x i32> %va, i32 %b, <4 x i1> %m, i32 zeroext %evl) {
 660 ; CHECK-LABEL: vand_vx_v4i32:
 661 ; CHECK:       # %bb.0:
 662 ; CHECK-NEXT:    vsetvli zero, a1, e32, m1, ta, ma
 663 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 664 ; CHECK-NEXT:    ret
 665   %elt.head = insertelement <4 x i32> poison, i32 %b, i32 0
 666   %vb = shufflevector <4 x i32> %elt.head, <4 x i32> poison, <4 x i32> zeroinitializer
 667   %v = call <4 x i32> @llvm.vp.and.v4i32(<4 x i32> %va, <4 x i32> %vb, <4 x i1> %m, i32 %evl)
 668   ret <4 x i32> %v
 669 }
 670
 671 define <4 x i32> @vand_vx_v4i32_unmasked(<4 x i32> %va, i32 %b, i32 zeroext %evl) {
 672 ; CHECK-LABEL: vand_vx_v4i32_unmasked:
 673 ; CHECK:       # %bb.0:
 674 ; CHECK-NEXT:    vsetvli zero, a1, e32, m1, ta, ma
 675 ; CHECK-NEXT:    vand.vx v8, v8, a0
 676 ; CHECK-NEXT:    ret
 677   %elt.head = insertelement <4 x i32> poison, i32 %b, i32 0
 678   %vb = shufflevector <4 x i32> %elt.head, <4 x i32> poison, <4 x i32> zeroinitializer
 679   %v = call <4 x i32> @llvm.vp.and.v4i32(<4 x i32> %va, <4 x i32> %vb, <4 x i1> splat (i1 true), i32 %evl)
 680   ret <4 x i32> %v
 681 }
 682
 683 define <4 x i32> @vand_vi_v4i32(<4 x i32> %va, <4 x i1> %m, i32 zeroext %evl) {
 684 ; CHECK-LABEL: vand_vi_v4i32:
 685 ; CHECK:       # %bb.0:
 686 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
 687 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 688 ; CHECK-NEXT:    ret
 689   %v = call <4 x i32> @llvm.vp.and.v4i32(<4 x i32> %va, <4 x i32> splat (i32 4), <4 x i1> %m, i32 %evl)
 690   ret <4 x i32> %v
 691 }
 692
 693 define <4 x i32> @vand_vi_v4i32_unmasked(<4 x i32> %va, i32 zeroext %evl) {
 694 ; CHECK-LABEL: vand_vi_v4i32_unmasked:
 695 ; CHECK:       # %bb.0:
 696 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
 697 ; CHECK-NEXT:    vand.vi v8, v8, 4
 698 ; CHECK-NEXT:    ret
 699   %v = call <4 x i32> @llvm.vp.and.v4i32(<4 x i32> %va, <4 x i32> splat (i32 4), <4 x i1> splat (i1 true), i32 %evl)
 700   ret <4 x i32> %v
 701 }
 702
 703 declare <8 x i32> @llvm.vp.and.v8i32(<8 x i32>, <8 x i32>, <8 x i1>, i32)
 704
 705 define <8 x i32> @vand_vv_v8i32(<8 x i32> %va, <8 x i32> %b, <8 x i1> %m, i32 zeroext %evl) {
 706 ; CHECK-LABEL: vand_vv_v8i32:
 707 ; CHECK:       # %bb.0:
 708 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 709 ; CHECK-NEXT:    vand.vv v8, v8, v10, v0.t
 710 ; CHECK-NEXT:    ret
 711   %v = call <8 x i32> @llvm.vp.and.v8i32(<8 x i32> %va, <8 x i32> %b, <8 x i1> %m, i32 %evl)
 712   ret <8 x i32> %v
 713 }
 714
 715 define <8 x i32> @vand_vv_v8i32_unmasked(<8 x i32> %va, <8 x i32> %b, i32 zeroext %evl) {
 716 ; CHECK-LABEL: vand_vv_v8i32_unmasked:
 717 ; CHECK:       # %bb.0:
 718 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 719 ; CHECK-NEXT:    vand.vv v8, v8, v10
 720 ; CHECK-NEXT:    ret
 721   %v = call <8 x i32> @llvm.vp.and.v8i32(<8 x i32> %va, <8 x i32> %b, <8 x i1> splat (i1 true), i32 %evl)
 722   ret <8 x i32> %v
 723 }
 724
 725 define <8 x i32> @vand_vx_v8i32(<8 x i32> %va, i32 %b, <8 x i1> %m, i32 zeroext %evl) {
 726 ; CHECK-LABEL: vand_vx_v8i32:
 727 ; CHECK:       # %bb.0:
 728 ; CHECK-NEXT:    vsetvli zero, a1, e32, m2, ta, ma
 729 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 730 ; CHECK-NEXT:    ret
 731   %elt.head = insertelement <8 x i32> poison, i32 %b, i32 0
 732   %vb = shufflevector <8 x i32> %elt.head, <8 x i32> poison, <8 x i32> zeroinitializer
 733   %v = call <8 x i32> @llvm.vp.and.v8i32(<8 x i32> %va, <8 x i32> %vb, <8 x i1> %m, i32 %evl)
 734   ret <8 x i32> %v
 735 }
 736
 737 define <8 x i32> @vand_vx_v8i32_unmasked(<8 x i32> %va, i32 %b, i32 zeroext %evl) {
 738 ; CHECK-LABEL: vand_vx_v8i32_unmasked:
 739 ; CHECK:       # %bb.0:
 740 ; CHECK-NEXT:    vsetvli zero, a1, e32, m2, ta, ma
 741 ; CHECK-NEXT:    vand.vx v8, v8, a0
 742 ; CHECK-NEXT:    ret
 743   %elt.head = insertelement <8 x i32> poison, i32 %b, i32 0
 744   %vb = shufflevector <8 x i32> %elt.head, <8 x i32> poison, <8 x i32> zeroinitializer
 745   %v = call <8 x i32> @llvm.vp.and.v8i32(<8 x i32> %va, <8 x i32> %vb, <8 x i1> splat (i1 true), i32 %evl)
 746   ret <8 x i32> %v
 747 }
 748
 749 define <8 x i32> @vand_vi_v8i32(<8 x i32> %va, <8 x i1> %m, i32 zeroext %evl) {
 750 ; CHECK-LABEL: vand_vi_v8i32:
 751 ; CHECK:       # %bb.0:
 752 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 753 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 754 ; CHECK-NEXT:    ret
 755   %v = call <8 x i32> @llvm.vp.and.v8i32(<8 x i32> %va, <8 x i32> splat (i32 4), <8 x i1> %m, i32 %evl)
 756   ret <8 x i32> %v
 757 }
 758
 759 define <8 x i32> @vand_vi_v8i32_unmasked(<8 x i32> %va, i32 zeroext %evl) {
 760 ; CHECK-LABEL: vand_vi_v8i32_unmasked:
 761 ; CHECK:       # %bb.0:
 762 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 763 ; CHECK-NEXT:    vand.vi v8, v8, 4
 764 ; CHECK-NEXT:    ret
 765   %v = call <8 x i32> @llvm.vp.and.v8i32(<8 x i32> %va, <8 x i32> splat (i32 4), <8 x i1> splat (i1 true), i32 %evl)
 766   ret <8 x i32> %v
 767 }
 768
 769 declare <16 x i32> @llvm.vp.and.v16i32(<16 x i32>, <16 x i32>, <16 x i1>, i32)
 770
 771 define <16 x i32> @vand_vv_v16i32(<16 x i32> %va, <16 x i32> %b, <16 x i1> %m, i32 zeroext %evl) {
 772 ; CHECK-LABEL: vand_vv_v16i32:
 773 ; CHECK:       # %bb.0:
 774 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 775 ; CHECK-NEXT:    vand.vv v8, v8, v12, v0.t
 776 ; CHECK-NEXT:    ret
 777   %v = call <16 x i32> @llvm.vp.and.v16i32(<16 x i32> %va, <16 x i32> %b, <16 x i1> %m, i32 %evl)
 778   ret <16 x i32> %v
 779 }
 780
 781 define <16 x i32> @vand_vv_v16i32_unmasked(<16 x i32> %va, <16 x i32> %b, i32 zeroext %evl) {
 782 ; CHECK-LABEL: vand_vv_v16i32_unmasked:
 783 ; CHECK:       # %bb.0:
 784 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 785 ; CHECK-NEXT:    vand.vv v8, v8, v12
 786 ; CHECK-NEXT:    ret
 787   %v = call <16 x i32> @llvm.vp.and.v16i32(<16 x i32> %va, <16 x i32> %b, <16 x i1> splat (i1 true), i32 %evl)
 788   ret <16 x i32> %v
 789 }
 790
 791 define <16 x i32> @vand_vx_v16i32(<16 x i32> %va, i32 %b, <16 x i1> %m, i32 zeroext %evl) {
 792 ; CHECK-LABEL: vand_vx_v16i32:
 793 ; CHECK:       # %bb.0:
 794 ; CHECK-NEXT:    vsetvli zero, a1, e32, m4, ta, ma
 795 ; CHECK-NEXT:    vand.vx v8, v8, a0, v0.t
 796 ; CHECK-NEXT:    ret
 797   %elt.head = insertelement <16 x i32> poison, i32 %b, i32 0
 798   %vb = shufflevector <16 x i32> %elt.head, <16 x i32> poison, <16 x i32> zeroinitializer
 799   %v = call <16 x i32> @llvm.vp.and.v16i32(<16 x i32> %va, <16 x i32> %vb, <16 x i1> %m, i32 %evl)
 800   ret <16 x i32> %v
 801 }
 802
 803 define <16 x i32> @vand_vx_v16i32_unmasked(<16 x i32> %va, i32 %b, i32 zeroext %evl) {
 804 ; CHECK-LABEL: vand_vx_v16i32_unmasked:
 805 ; CHECK:       # %bb.0:
 806 ; CHECK-NEXT:    vsetvli zero, a1, e32, m4, ta, ma
 807 ; CHECK-NEXT:    vand.vx v8, v8, a0
 808 ; CHECK-NEXT:    ret
 809   %elt.head = insertelement <16 x i32> poison, i32 %b, i32 0
 810   %vb = shufflevector <16 x i32> %elt.head, <16 x i32> poison, <16 x i32> zeroinitializer
 811   %v = call <16 x i32> @llvm.vp.and.v16i32(<16 x i32> %va, <16 x i32> %vb, <16 x i1> splat (i1 true), i32 %evl)
 812   ret <16 x i32> %v
 813 }
 814
 815 define <16 x i32> @vand_vi_v16i32(<16 x i32> %va, <16 x i1> %m, i32 zeroext %evl) {
 816 ; CHECK-LABEL: vand_vi_v16i32:
 817 ; CHECK:       # %bb.0:
 818 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 819 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 820 ; CHECK-NEXT:    ret
 821   %v = call <16 x i32> @llvm.vp.and.v16i32(<16 x i32> %va, <16 x i32> splat (i32 4), <16 x i1> %m, i32 %evl)
 822   ret <16 x i32> %v
 823 }
 824
 825 define <16 x i32> @vand_vi_v16i32_unmasked(<16 x i32> %va, i32 zeroext %evl) {
 826 ; CHECK-LABEL: vand_vi_v16i32_unmasked:
 827 ; CHECK:       # %bb.0:
 828 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 829 ; CHECK-NEXT:    vand.vi v8, v8, 4
 830 ; CHECK-NEXT:    ret
 831   %v = call <16 x i32> @llvm.vp.and.v16i32(<16 x i32> %va, <16 x i32> splat (i32 4), <16 x i1> splat (i1 true), i32 %evl)
 832   ret <16 x i32> %v
 833 }
 834
 835 declare <2 x i64> @llvm.vp.and.v2i64(<2 x i64>, <2 x i64>, <2 x i1>, i32)
 836
 837 define <2 x i64> @vand_vv_v2i64(<2 x i64> %va, <2 x i64> %b, <2 x i1> %m, i32 zeroext %evl) {
 838 ; CHECK-LABEL: vand_vv_v2i64:
 839 ; CHECK:       # %bb.0:
 840 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
 841 ; CHECK-NEXT:    vand.vv v8, v8, v9, v0.t
 842 ; CHECK-NEXT:    ret
 843   %v = call <2 x i64> @llvm.vp.and.v2i64(<2 x i64> %va, <2 x i64> %b, <2 x i1> %m, i32 %evl)
 844   ret <2 x i64> %v
 845 }
 846
 847 define <2 x i64> @vand_vv_v2i64_unmasked(<2 x i64> %va, <2 x i64> %b, i32 zeroext %evl) {
 848 ; CHECK-LABEL: vand_vv_v2i64_unmasked:
 849 ; CHECK:       # %bb.0:
 850 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
 851 ; CHECK-NEXT:    vand.vv v8, v8, v9
 852 ; CHECK-NEXT:    ret
 853   %v = call <2 x i64> @llvm.vp.and.v2i64(<2 x i64> %va, <2 x i64> %b, <2 x i1> splat (i1 true), i32 %evl)
 854   ret <2 x i64> %v
 855 }
 856
 857 define <2 x i64> @vand_vx_v2i64(<2 x i64> %va, i64 %b, <2 x i1> %m, i32 zeroext %evl) {
 858 ; RV32-LABEL: vand_vx_v2i64:
 859 ; RV32:       # %bb.0:
 860 ; RV32-NEXT:    addi sp, sp, -16
 861 ; RV32-NEXT:    .cfi_def_cfa_offset 16
 862 ; RV32-NEXT:    sw a1, 12(sp)
 863 ; RV32-NEXT:    sw a0, 8(sp)
 864 ; RV32-NEXT:    addi a0, sp, 8
 865 ; RV32-NEXT:    vsetivli zero, 2, e64, m1, ta, ma
 866 ; RV32-NEXT:    vlse64.v v9, (a0), zero
 867 ; RV32-NEXT:    vsetvli zero, a2, e64, m1, ta, ma
 868 ; RV32-NEXT:    vand.vv v8, v8, v9, v0.t
 869 ; RV32-NEXT:    addi sp, sp, 16
 870 ; RV32-NEXT:    ret
 871 ;
 872 ; RV64-LABEL: vand_vx_v2i64:
 873 ; RV64:       # %bb.0:
 874 ; RV64-NEXT:    vsetvli zero, a1, e64, m1, ta, ma
 875 ; RV64-NEXT:    vand.vx v8, v8, a0, v0.t
 876 ; RV64-NEXT:    ret
 877   %elt.head = insertelement <2 x i64> poison, i64 %b, i32 0
 878   %vb = shufflevector <2 x i64> %elt.head, <2 x i64> poison, <2 x i32> zeroinitializer
 879   %v = call <2 x i64> @llvm.vp.and.v2i64(<2 x i64> %va, <2 x i64> %vb, <2 x i1> %m, i32 %evl)
 880   ret <2 x i64> %v
 881 }
 882
 883 define <2 x i64> @vand_vx_v2i64_unmasked(<2 x i64> %va, i64 %b, i32 zeroext %evl) {
 884 ; RV32-LABEL: vand_vx_v2i64_unmasked:
 885 ; RV32:       # %bb.0:
 886 ; RV32-NEXT:    addi sp, sp, -16
 887 ; RV32-NEXT:    .cfi_def_cfa_offset 16
 888 ; RV32-NEXT:    sw a1, 12(sp)
 889 ; RV32-NEXT:    sw a0, 8(sp)
 890 ; RV32-NEXT:    addi a0, sp, 8
 891 ; RV32-NEXT:    vsetivli zero, 2, e64, m1, ta, ma
 892 ; RV32-NEXT:    vlse64.v v9, (a0), zero
 893 ; RV32-NEXT:    vsetvli zero, a2, e64, m1, ta, ma
 894 ; RV32-NEXT:    vand.vv v8, v8, v9
 895 ; RV32-NEXT:    addi sp, sp, 16
 896 ; RV32-NEXT:    ret
 897 ;
 898 ; RV64-LABEL: vand_vx_v2i64_unmasked:
 899 ; RV64:       # %bb.0:
 900 ; RV64-NEXT:    vsetvli zero, a1, e64, m1, ta, ma
 901 ; RV64-NEXT:    vand.vx v8, v8, a0
 902 ; RV64-NEXT:    ret
 903   %elt.head = insertelement <2 x i64> poison, i64 %b, i32 0
 904   %vb = shufflevector <2 x i64> %elt.head, <2 x i64> poison, <2 x i32> zeroinitializer
 905   %v = call <2 x i64> @llvm.vp.and.v2i64(<2 x i64> %va, <2 x i64> %vb, <2 x i1> splat (i1 true), i32 %evl)
 906   ret <2 x i64> %v
 907 }
 908
 909 define <2 x i64> @vand_vi_v2i64(<2 x i64> %va, <2 x i1> %m, i32 zeroext %evl) {
 910 ; CHECK-LABEL: vand_vi_v2i64:
 911 ; CHECK:       # %bb.0:
 912 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
 913 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
 914 ; CHECK-NEXT:    ret
 915   %v = call <2 x i64> @llvm.vp.and.v2i64(<2 x i64> %va, <2 x i64> splat (i64 4), <2 x i1> %m, i32 %evl)
 916   ret <2 x i64> %v
 917 }
 918
 919 define <2 x i64> @vand_vi_v2i64_unmasked(<2 x i64> %va, i32 zeroext %evl) {
 920 ; CHECK-LABEL: vand_vi_v2i64_unmasked:
 921 ; CHECK:       # %bb.0:
 922 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
 923 ; CHECK-NEXT:    vand.vi v8, v8, 4
 924 ; CHECK-NEXT:    ret
 925   %v = call <2 x i64> @llvm.vp.and.v2i64(<2 x i64> %va, <2 x i64> splat (i64 4), <2 x i1> splat (i1 true), i32 %evl)
 926   ret <2 x i64> %v
 927 }
 928
 929 declare <4 x i64> @llvm.vp.and.v4i64(<4 x i64>, <4 x i64>, <4 x i1>, i32)
 930
 931 define <4 x i64> @vand_vv_v4i64(<4 x i64> %va, <4 x i64> %b, <4 x i1> %m, i32 zeroext %evl) {
 932 ; CHECK-LABEL: vand_vv_v4i64:
 933 ; CHECK:       # %bb.0:
 934 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
 935 ; CHECK-NEXT:    vand.vv v8, v8, v10, v0.t
 936 ; CHECK-NEXT:    ret
 937   %v = call <4 x i64> @llvm.vp.and.v4i64(<4 x i64> %va, <4 x i64> %b, <4 x i1> %m, i32 %evl)
 938   ret <4 x i64> %v
 939 }
 940
 941 define <4 x i64> @vand_vv_v4i64_unmasked(<4 x i64> %va, <4 x i64> %b, i32 zeroext %evl) {
 942 ; CHECK-LABEL: vand_vv_v4i64_unmasked:
 943 ; CHECK:       # %bb.0:
 944 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
 945 ; CHECK-NEXT:    vand.vv v8, v8, v10
 946 ; CHECK-NEXT:    ret
 947   %v = call <4 x i64> @llvm.vp.and.v4i64(<4 x i64> %va, <4 x i64> %b, <4 x i1> splat (i1 true), i32 %evl)
 948   ret <4 x i64> %v
 949 }
 950
 951 define <4 x i64> @vand_vx_v4i64(<4 x i64> %va, i64 %b, <4 x i1> %m, i32 zeroext %evl) {
 952 ; RV32-LABEL: vand_vx_v4i64:
 953 ; RV32:       # %bb.0:
 954 ; RV32-NEXT:    addi sp, sp, -16
 955 ; RV32-NEXT:    .cfi_def_cfa_offset 16
 956 ; RV32-NEXT:    sw a1, 12(sp)
 957 ; RV32-NEXT:    sw a0, 8(sp)
 958 ; RV32-NEXT:    addi a0, sp, 8
 959 ; RV32-NEXT:    vsetivli zero, 4, e64, m2, ta, ma
 960 ; RV32-NEXT:    vlse64.v v10, (a0), zero
 961 ; RV32-NEXT:    vsetvli zero, a2, e64, m2, ta, ma
 962 ; RV32-NEXT:    vand.vv v8, v8, v10, v0.t
 963 ; RV32-NEXT:    addi sp, sp, 16
 964 ; RV32-NEXT:    ret
 965 ;
 966 ; RV64-LABEL: vand_vx_v4i64:
 967 ; RV64:       # %bb.0:
 968 ; RV64-NEXT:    vsetvli zero, a1, e64, m2, ta, ma
 969 ; RV64-NEXT:    vand.vx v8, v8, a0, v0.t
 970 ; RV64-NEXT:    ret
 971   %elt.head = insertelement <4 x i64> poison, i64 %b, i32 0
 972   %vb = shufflevector <4 x i64> %elt.head, <4 x i64> poison, <4 x i32> zeroinitializer
 973   %v = call <4 x i64> @llvm.vp.and.v4i64(<4 x i64> %va, <4 x i64> %vb, <4 x i1> %m, i32 %evl)
 974   ret <4 x i64> %v
 975 }
 976
 977 define <4 x i64> @vand_vx_v4i64_unmasked(<4 x i64> %va, i64 %b, i32 zeroext %evl) {
 978 ; RV32-LABEL: vand_vx_v4i64_unmasked:
 979 ; RV32:       # %bb.0:
 980 ; RV32-NEXT:    addi sp, sp, -16
 981 ; RV32-NEXT:    .cfi_def_cfa_offset 16
 982 ; RV32-NEXT:    sw a1, 12(sp)
 983 ; RV32-NEXT:    sw a0, 8(sp)
 984 ; RV32-NEXT:    addi a0, sp, 8
 985 ; RV32-NEXT:    vsetivli zero, 4, e64, m2, ta, ma
 986 ; RV32-NEXT:    vlse64.v v10, (a0), zero
 987 ; RV32-NEXT:    vsetvli zero, a2, e64, m2, ta, ma
 988 ; RV32-NEXT:    vand.vv v8, v8, v10
 989 ; RV32-NEXT:    addi sp, sp, 16
 990 ; RV32-NEXT:    ret
 991 ;
 992 ; RV64-LABEL: vand_vx_v4i64_unmasked:
 993 ; RV64:       # %bb.0:
 994 ; RV64-NEXT:    vsetvli zero, a1, e64, m2, ta, ma
 995 ; RV64-NEXT:    vand.vx v8, v8, a0
 996 ; RV64-NEXT:    ret
 997   %elt.head = insertelement <4 x i64> poison, i64 %b, i32 0
 998   %vb = shufflevector <4 x i64> %elt.head, <4 x i64> poison, <4 x i32> zeroinitializer
 999   %v = call <4 x i64> @llvm.vp.and.v4i64(<4 x i64> %va, <4 x i64> %vb, <4 x i1> splat (i1 true), i32 %evl)
1000   ret <4 x i64> %v
1001 }
1002
1003 define <4 x i64> @vand_vi_v4i64(<4 x i64> %va, <4 x i1> %m, i32 zeroext %evl) {
1004 ; CHECK-LABEL: vand_vi_v4i64:
1005 ; CHECK:       # %bb.0:
1006 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
1007 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
1008 ; CHECK-NEXT:    ret
1009   %v = call <4 x i64> @llvm.vp.and.v4i64(<4 x i64> %va, <4 x i64> splat (i64 4), <4 x i1> %m, i32 %evl)
1010   ret <4 x i64> %v
1011 }
1012
1013 define <4 x i64> @vand_vi_v4i64_unmasked(<4 x i64> %va, i32 zeroext %evl) {
1014 ; CHECK-LABEL: vand_vi_v4i64_unmasked:
1015 ; CHECK:       # %bb.0:
1016 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
1017 ; CHECK-NEXT:    vand.vi v8, v8, 4
1018 ; CHECK-NEXT:    ret
1019   %v = call <4 x i64> @llvm.vp.and.v4i64(<4 x i64> %va, <4 x i64> splat (i64 4), <4 x i1> splat (i1 true), i32 %evl)
1020   ret <4 x i64> %v
1021 }
1022
1023 declare <8 x i64> @llvm.vp.and.v8i64(<8 x i64>, <8 x i64>, <8 x i1>, i32)
1024
1025 define <8 x i64> @vand_vv_v8i64(<8 x i64> %va, <8 x i64> %b, <8 x i1> %m, i32 zeroext %evl) {
1026 ; CHECK-LABEL: vand_vv_v8i64:
1027 ; CHECK:       # %bb.0:
1028 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
1029 ; CHECK-NEXT:    vand.vv v8, v8, v12, v0.t
1030 ; CHECK-NEXT:    ret
1031   %v = call <8 x i64> @llvm.vp.and.v8i64(<8 x i64> %va, <8 x i64> %b, <8 x i1> %m, i32 %evl)
1032   ret <8 x i64> %v
1033 }
1034
1035 define <8 x i64> @vand_vv_v8i64_unmasked(<8 x i64> %va, <8 x i64> %b, i32 zeroext %evl) {
1036 ; CHECK-LABEL: vand_vv_v8i64_unmasked:
1037 ; CHECK:       # %bb.0:
1038 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
1039 ; CHECK-NEXT:    vand.vv v8, v8, v12
1040 ; CHECK-NEXT:    ret
1041   %v = call <8 x i64> @llvm.vp.and.v8i64(<8 x i64> %va, <8 x i64> %b, <8 x i1> splat (i1 true), i32 %evl)
1042   ret <8 x i64> %v
1043 }
1044
1045 define <8 x i64> @vand_vx_v8i64(<8 x i64> %va, i64 %b, <8 x i1> %m, i32 zeroext %evl) {
1046 ; RV32-LABEL: vand_vx_v8i64:
1047 ; RV32:       # %bb.0:
1048 ; RV32-NEXT:    addi sp, sp, -16
1049 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1050 ; RV32-NEXT:    sw a1, 12(sp)
1051 ; RV32-NEXT:    sw a0, 8(sp)
1052 ; RV32-NEXT:    addi a0, sp, 8
1053 ; RV32-NEXT:    vsetivli zero, 8, e64, m4, ta, ma
1054 ; RV32-NEXT:    vlse64.v v12, (a0), zero
1055 ; RV32-NEXT:    vsetvli zero, a2, e64, m4, ta, ma
1056 ; RV32-NEXT:    vand.vv v8, v8, v12, v0.t
1057 ; RV32-NEXT:    addi sp, sp, 16
1058 ; RV32-NEXT:    ret
1059 ;
1060 ; RV64-LABEL: vand_vx_v8i64:
1061 ; RV64:       # %bb.0:
1062 ; RV64-NEXT:    vsetvli zero, a1, e64, m4, ta, ma
1063 ; RV64-NEXT:    vand.vx v8, v8, a0, v0.t
1064 ; RV64-NEXT:    ret
1065   %elt.head = insertelement <8 x i64> poison, i64 %b, i32 0
1066   %vb = shufflevector <8 x i64> %elt.head, <8 x i64> poison, <8 x i32> zeroinitializer
1067   %v = call <8 x i64> @llvm.vp.and.v8i64(<8 x i64> %va, <8 x i64> %vb, <8 x i1> %m, i32 %evl)
1068   ret <8 x i64> %v
1069 }
1070
1071 define <8 x i64> @vand_vx_v8i64_unmasked(<8 x i64> %va, i64 %b, i32 zeroext %evl) {
1072 ; RV32-LABEL: vand_vx_v8i64_unmasked:
1073 ; RV32:       # %bb.0:
1074 ; RV32-NEXT:    addi sp, sp, -16
1075 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1076 ; RV32-NEXT:    sw a1, 12(sp)
1077 ; RV32-NEXT:    sw a0, 8(sp)
1078 ; RV32-NEXT:    addi a0, sp, 8
1079 ; RV32-NEXT:    vsetivli zero, 8, e64, m4, ta, ma
1080 ; RV32-NEXT:    vlse64.v v12, (a0), zero
1081 ; RV32-NEXT:    vsetvli zero, a2, e64, m4, ta, ma
1082 ; RV32-NEXT:    vand.vv v8, v8, v12
1083 ; RV32-NEXT:    addi sp, sp, 16
1084 ; RV32-NEXT:    ret
1085 ;
1086 ; RV64-LABEL: vand_vx_v8i64_unmasked:
1087 ; RV64:       # %bb.0:
1088 ; RV64-NEXT:    vsetvli zero, a1, e64, m4, ta, ma
1089 ; RV64-NEXT:    vand.vx v8, v8, a0
1090 ; RV64-NEXT:    ret
1091   %elt.head = insertelement <8 x i64> poison, i64 %b, i32 0
1092   %vb = shufflevector <8 x i64> %elt.head, <8 x i64> poison, <8 x i32> zeroinitializer
1093   %v = call <8 x i64> @llvm.vp.and.v8i64(<8 x i64> %va, <8 x i64> %vb, <8 x i1> splat (i1 true), i32 %evl)
1094   ret <8 x i64> %v
1095 }
1096
1097 define <8 x i64> @vand_vi_v8i64(<8 x i64> %va, <8 x i1> %m, i32 zeroext %evl) {
1098 ; CHECK-LABEL: vand_vi_v8i64:
1099 ; CHECK:       # %bb.0:
1100 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
1101 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
1102 ; CHECK-NEXT:    ret
1103   %v = call <8 x i64> @llvm.vp.and.v8i64(<8 x i64> %va, <8 x i64> splat (i64 4), <8 x i1> %m, i32 %evl)
1104   ret <8 x i64> %v
1105 }
1106
1107 define <8 x i64> @vand_vi_v8i64_unmasked(<8 x i64> %va, i32 zeroext %evl) {
1108 ; CHECK-LABEL: vand_vi_v8i64_unmasked:
1109 ; CHECK:       # %bb.0:
1110 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
1111 ; CHECK-NEXT:    vand.vi v8, v8, 4
1112 ; CHECK-NEXT:    ret
1113   %v = call <8 x i64> @llvm.vp.and.v8i64(<8 x i64> %va, <8 x i64> splat (i64 4), <8 x i1> splat (i1 true), i32 %evl)
1114   ret <8 x i64> %v
1115 }
1116
1117 declare <11 x i64> @llvm.vp.and.v11i64(<11 x i64>, <11 x i64>, <11 x i1>, i32)
1118
1119 define <11 x i64> @vand_vv_v11i64(<11 x i64> %va, <11 x i64> %b, <11 x i1> %m, i32 zeroext %evl) {
1120 ; CHECK-LABEL: vand_vv_v11i64:
1121 ; CHECK:       # %bb.0:
1122 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1123 ; CHECK-NEXT:    vand.vv v8, v8, v16, v0.t
1124 ; CHECK-NEXT:    ret
1125   %v = call <11 x i64> @llvm.vp.and.v11i64(<11 x i64> %va, <11 x i64> %b, <11 x i1> %m, i32 %evl)
1126   ret <11 x i64> %v
1127 }
1128
1129 define <11 x i64> @vand_vv_v11i64_unmasked(<11 x i64> %va, <11 x i64> %b, i32 zeroext %evl) {
1130 ; CHECK-LABEL: vand_vv_v11i64_unmasked:
1131 ; CHECK:       # %bb.0:
1132 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1133 ; CHECK-NEXT:    vand.vv v8, v8, v16
1134 ; CHECK-NEXT:    ret
1135   %v = call <11 x i64> @llvm.vp.and.v11i64(<11 x i64> %va, <11 x i64> %b, <11 x i1> splat (i1 true), i32 %evl)
1136   ret <11 x i64> %v
1137 }
1138
1139 define <11 x i64> @vand_vx_v11i64(<11 x i64> %va, i64 %b, <11 x i1> %m, i32 zeroext %evl) {
1140 ; RV32-LABEL: vand_vx_v11i64:
1141 ; RV32:       # %bb.0:
1142 ; RV32-NEXT:    vmv1r.v v16, v0
1143 ; RV32-NEXT:    lui a3, 341
1144 ; RV32-NEXT:    addi a3, a3, 1365
1145 ; RV32-NEXT:    vsetivli zero, 1, e32, m1, ta, ma
1146 ; RV32-NEXT:    vmv.s.x v0, a3
1147 ; RV32-NEXT:    li a3, 32
1148 ; RV32-NEXT:    vsetvli zero, a3, e32, m8, ta, ma
1149 ; RV32-NEXT:    vmv.v.x v24, a1
1150 ; RV32-NEXT:    vmerge.vxm v24, v24, a0, v0
1151 ; RV32-NEXT:    vmv1r.v v0, v16
1152 ; RV32-NEXT:    vsetvli zero, a2, e64, m8, ta, ma
1153 ; RV32-NEXT:    vand.vv v8, v8, v24, v0.t
1154 ; RV32-NEXT:    ret
1155 ;
1156 ; RV64-LABEL: vand_vx_v11i64:
1157 ; RV64:       # %bb.0:
1158 ; RV64-NEXT:    vsetvli zero, a1, e64, m8, ta, ma
1159 ; RV64-NEXT:    vand.vx v8, v8, a0, v0.t
1160 ; RV64-NEXT:    ret
1161   %elt.head = insertelement <11 x i64> poison, i64 %b, i32 0
1162   %vb = shufflevector <11 x i64> %elt.head, <11 x i64> poison, <11 x i32> zeroinitializer
1163   %v = call <11 x i64> @llvm.vp.and.v11i64(<11 x i64> %va, <11 x i64> %vb, <11 x i1> %m, i32 %evl)
1164   ret <11 x i64> %v
1165 }
1166
1167 define <11 x i64> @vand_vx_v11i64_unmasked(<11 x i64> %va, i64 %b, i32 zeroext %evl) {
1168 ; RV32-LABEL: vand_vx_v11i64_unmasked:
1169 ; RV32:       # %bb.0:
1170 ; RV32-NEXT:    li a3, 32
1171 ; RV32-NEXT:    lui a4, 341
1172 ; RV32-NEXT:    addi a4, a4, 1365
1173 ; RV32-NEXT:    vsetivli zero, 1, e32, m1, ta, ma
1174 ; RV32-NEXT:    vmv.s.x v0, a4
1175 ; RV32-NEXT:    vsetvli zero, a3, e32, m8, ta, ma
1176 ; RV32-NEXT:    vmv.v.x v16, a1
1177 ; RV32-NEXT:    vmerge.vxm v16, v16, a0, v0
1178 ; RV32-NEXT:    vsetvli zero, a2, e64, m8, ta, ma
1179 ; RV32-NEXT:    vand.vv v8, v8, v16
1180 ; RV32-NEXT:    ret
1181 ;
1182 ; RV64-LABEL: vand_vx_v11i64_unmasked:
1183 ; RV64:       # %bb.0:
1184 ; RV64-NEXT:    vsetvli zero, a1, e64, m8, ta, ma
1185 ; RV64-NEXT:    vand.vx v8, v8, a0
1186 ; RV64-NEXT:    ret
1187   %elt.head = insertelement <11 x i64> poison, i64 %b, i32 0
1188   %vb = shufflevector <11 x i64> %elt.head, <11 x i64> poison, <11 x i32> zeroinitializer
1189   %v = call <11 x i64> @llvm.vp.and.v11i64(<11 x i64> %va, <11 x i64> %vb, <11 x i1> splat (i1 true), i32 %evl)
1190   ret <11 x i64> %v
1191 }
1192
1193 define <11 x i64> @vand_vi_v11i64(<11 x i64> %va, <11 x i1> %m, i32 zeroext %evl) {
1194 ; CHECK-LABEL: vand_vi_v11i64:
1195 ; CHECK:       # %bb.0:
1196 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1197 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
1198 ; CHECK-NEXT:    ret
1199   %v = call <11 x i64> @llvm.vp.and.v11i64(<11 x i64> %va, <11 x i64> splat (i64 4), <11 x i1> %m, i32 %evl)
1200   ret <11 x i64> %v
1201 }
1202
1203 define <11 x i64> @vand_vi_v11i64_unmasked(<11 x i64> %va, i32 zeroext %evl) {
1204 ; CHECK-LABEL: vand_vi_v11i64_unmasked:
1205 ; CHECK:       # %bb.0:
1206 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1207 ; CHECK-NEXT:    vand.vi v8, v8, 4
1208 ; CHECK-NEXT:    ret
1209   %v = call <11 x i64> @llvm.vp.and.v11i64(<11 x i64> %va, <11 x i64> splat (i64 4), <11 x i1> splat (i1 true), i32 %evl)
1210   ret <11 x i64> %v
1211 }
1212
1213 declare <16 x i64> @llvm.vp.and.v16i64(<16 x i64>, <16 x i64>, <16 x i1>, i32)
1214
1215 define <16 x i64> @vand_vv_v16i64(<16 x i64> %va, <16 x i64> %b, <16 x i1> %m, i32 zeroext %evl) {
1216 ; CHECK-LABEL: vand_vv_v16i64:
1217 ; CHECK:       # %bb.0:
1218 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1219 ; CHECK-NEXT:    vand.vv v8, v8, v16, v0.t
1220 ; CHECK-NEXT:    ret
1221   %v = call <16 x i64> @llvm.vp.and.v16i64(<16 x i64> %va, <16 x i64> %b, <16 x i1> %m, i32 %evl)
1222   ret <16 x i64> %v
1223 }
1224
1225 define <16 x i64> @vand_vv_v16i64_unmasked(<16 x i64> %va, <16 x i64> %b, i32 zeroext %evl) {
1226 ; CHECK-LABEL: vand_vv_v16i64_unmasked:
1227 ; CHECK:       # %bb.0:
1228 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1229 ; CHECK-NEXT:    vand.vv v8, v8, v16
1230 ; CHECK-NEXT:    ret
1231   %v = call <16 x i64> @llvm.vp.and.v16i64(<16 x i64> %va, <16 x i64> %b, <16 x i1> splat (i1 true), i32 %evl)
1232   ret <16 x i64> %v
1233 }
1234
1235 define <16 x i64> @vand_vx_v16i64(<16 x i64> %va, i64 %b, <16 x i1> %m, i32 zeroext %evl) {
1236 ; RV32-LABEL: vand_vx_v16i64:
1237 ; RV32:       # %bb.0:
1238 ; RV32-NEXT:    addi sp, sp, -16
1239 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1240 ; RV32-NEXT:    sw a1, 12(sp)
1241 ; RV32-NEXT:    sw a0, 8(sp)
1242 ; RV32-NEXT:    addi a0, sp, 8
1243 ; RV32-NEXT:    vsetivli zero, 16, e64, m8, ta, ma
1244 ; RV32-NEXT:    vlse64.v v16, (a0), zero
1245 ; RV32-NEXT:    vsetvli zero, a2, e64, m8, ta, ma
1246 ; RV32-NEXT:    vand.vv v8, v8, v16, v0.t
1247 ; RV32-NEXT:    addi sp, sp, 16
1248 ; RV32-NEXT:    ret
1249 ;
1250 ; RV64-LABEL: vand_vx_v16i64:
1251 ; RV64:       # %bb.0:
1252 ; RV64-NEXT:    vsetvli zero, a1, e64, m8, ta, ma
1253 ; RV64-NEXT:    vand.vx v8, v8, a0, v0.t
1254 ; RV64-NEXT:    ret
1255   %elt.head = insertelement <16 x i64> poison, i64 %b, i32 0
1256   %vb = shufflevector <16 x i64> %elt.head, <16 x i64> poison, <16 x i32> zeroinitializer
1257   %v = call <16 x i64> @llvm.vp.and.v16i64(<16 x i64> %va, <16 x i64> %vb, <16 x i1> %m, i32 %evl)
1258   ret <16 x i64> %v
1259 }
1260
1261 define <16 x i64> @vand_vx_v16i64_unmasked(<16 x i64> %va, i64 %b, i32 zeroext %evl) {
1262 ; RV32-LABEL: vand_vx_v16i64_unmasked:
1263 ; RV32:       # %bb.0:
1264 ; RV32-NEXT:    addi sp, sp, -16
1265 ; RV32-NEXT:    .cfi_def_cfa_offset 16
1266 ; RV32-NEXT:    sw a1, 12(sp)
1267 ; RV32-NEXT:    sw a0, 8(sp)
1268 ; RV32-NEXT:    addi a0, sp, 8
1269 ; RV32-NEXT:    vsetivli zero, 16, e64, m8, ta, ma
1270 ; RV32-NEXT:    vlse64.v v16, (a0), zero
1271 ; RV32-NEXT:    vsetvli zero, a2, e64, m8, ta, ma
1272 ; RV32-NEXT:    vand.vv v8, v8, v16
1273 ; RV32-NEXT:    addi sp, sp, 16
1274 ; RV32-NEXT:    ret
1275 ;
1276 ; RV64-LABEL: vand_vx_v16i64_unmasked:
1277 ; RV64:       # %bb.0:
1278 ; RV64-NEXT:    vsetvli zero, a1, e64, m8, ta, ma
1279 ; RV64-NEXT:    vand.vx v8, v8, a0
1280 ; RV64-NEXT:    ret
1281   %elt.head = insertelement <16 x i64> poison, i64 %b, i32 0
1282   %vb = shufflevector <16 x i64> %elt.head, <16 x i64> poison, <16 x i32> zeroinitializer
1283   %v = call <16 x i64> @llvm.vp.and.v16i64(<16 x i64> %va, <16 x i64> %vb, <16 x i1> splat (i1 true), i32 %evl)
1284   ret <16 x i64> %v
1285 }
1286
1287 define <16 x i64> @vand_vi_v16i64(<16 x i64> %va, <16 x i1> %m, i32 zeroext %evl) {
1288 ; CHECK-LABEL: vand_vi_v16i64:
1289 ; CHECK:       # %bb.0:
1290 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1291 ; CHECK-NEXT:    vand.vi v8, v8, 4, v0.t
1292 ; CHECK-NEXT:    ret
1293   %v = call <16 x i64> @llvm.vp.and.v16i64(<16 x i64> %va, <16 x i64> splat (i64 4), <16 x i1> %m, i32 %evl)
1294   ret <16 x i64> %v
1295 }
1296
1297 define <16 x i64> @vand_vi_v16i64_unmasked(<16 x i64> %va, i32 zeroext %evl) {
1298 ; CHECK-LABEL: vand_vi_v16i64_unmasked:
1299 ; CHECK:       # %bb.0:
1300 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
1301 ; CHECK-NEXT:    vand.vi v8, v8, 4
1302 ; CHECK-NEXT:    ret
1303   %v = call <16 x i64> @llvm.vp.and.v16i64(<16 x i64> %va, <16 x i64> splat (i64 4), <16 x i1> splat (i1 true), i32 %evl)
1304   ret <16 x i64> %v
1305 }