llvm/test/CodeGen/RISCV/rvv/vselect-int.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 define <vscale x 1 x i8> @vmerge_vv_nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i8> %vb, <vscale x 1 x i1> %cond) {
   8 ; CHECK-LABEL: vmerge_vv_nxv1i8:
   9 ; CHECK:       # %bb.0:
  10 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf8, ta, ma
  11 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
  12 ; CHECK-NEXT:    ret
  13   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i8> %va, <vscale x 1 x i8> %vb
  14   ret <vscale x 1 x i8> %vc
  15 }
  16
  17 define <vscale x 1 x i8> @vmerge_xv_nxv1i8(<vscale x 1 x i8> %va, i8 signext %b, <vscale x 1 x i1> %cond) {
  18 ; CHECK-LABEL: vmerge_xv_nxv1i8:
  19 ; CHECK:       # %bb.0:
  20 ; CHECK-NEXT:    vsetvli a1, zero, e8, mf8, ta, ma
  21 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
  22 ; CHECK-NEXT:    ret
  23   %head = insertelement <vscale x 1 x i8> poison, i8 %b, i32 0
  24   %splat = shufflevector <vscale x 1 x i8> %head, <vscale x 1 x i8> poison, <vscale x 1 x i32> zeroinitializer
  25   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i8> %splat, <vscale x 1 x i8> %va
  26   ret <vscale x 1 x i8> %vc
  27 }
  28
  29 define <vscale x 1 x i8> @vmerge_iv_nxv1i8(<vscale x 1 x i8> %va, <vscale x 1 x i1> %cond) {
  30 ; CHECK-LABEL: vmerge_iv_nxv1i8:
  31 ; CHECK:       # %bb.0:
  32 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf8, ta, ma
  33 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
  34 ; CHECK-NEXT:    ret
  35   %head = insertelement <vscale x 1 x i8> poison, i8 3, i32 0
  36   %splat = shufflevector <vscale x 1 x i8> %head, <vscale x 1 x i8> poison, <vscale x 1 x i32> zeroinitializer
  37   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i8> %splat, <vscale x 1 x i8> %va
  38   ret <vscale x 1 x i8> %vc
  39 }
  40
  41 define <vscale x 2 x i8> @vmerge_vv_nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i8> %vb, <vscale x 2 x i1> %cond) {
  42 ; CHECK-LABEL: vmerge_vv_nxv2i8:
  43 ; CHECK:       # %bb.0:
  44 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf4, ta, ma
  45 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
  46 ; CHECK-NEXT:    ret
  47   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i8> %va, <vscale x 2 x i8> %vb
  48   ret <vscale x 2 x i8> %vc
  49 }
  50
  51 define <vscale x 2 x i8> @vmerge_xv_nxv2i8(<vscale x 2 x i8> %va, i8 signext %b, <vscale x 2 x i1> %cond) {
  52 ; CHECK-LABEL: vmerge_xv_nxv2i8:
  53 ; CHECK:       # %bb.0:
  54 ; CHECK-NEXT:    vsetvli a1, zero, e8, mf4, ta, ma
  55 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
  56 ; CHECK-NEXT:    ret
  57   %head = insertelement <vscale x 2 x i8> poison, i8 %b, i32 0
  58   %splat = shufflevector <vscale x 2 x i8> %head, <vscale x 2 x i8> poison, <vscale x 2 x i32> zeroinitializer
  59   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i8> %splat, <vscale x 2 x i8> %va
  60   ret <vscale x 2 x i8> %vc
  61 }
  62
  63 define <vscale x 2 x i8> @vmerge_iv_nxv2i8(<vscale x 2 x i8> %va, <vscale x 2 x i1> %cond) {
  64 ; CHECK-LABEL: vmerge_iv_nxv2i8:
  65 ; CHECK:       # %bb.0:
  66 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf4, ta, ma
  67 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
  68 ; CHECK-NEXT:    ret
  69   %head = insertelement <vscale x 2 x i8> poison, i8 3, i32 0
  70   %splat = shufflevector <vscale x 2 x i8> %head, <vscale x 2 x i8> poison, <vscale x 2 x i32> zeroinitializer
  71   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i8> %splat, <vscale x 2 x i8> %va
  72   ret <vscale x 2 x i8> %vc
  73 }
  74
  75 define <vscale x 3 x i8> @vmerge_vv_nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i8> %vb, <vscale x 3 x i1> %cond) {
  76 ; CHECK-LABEL: vmerge_vv_nxv3i8:
  77 ; CHECK:       # %bb.0:
  78 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf2, ta, ma
  79 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
  80 ; CHECK-NEXT:    ret
  81   %vc = select <vscale x 3 x i1> %cond, <vscale x 3 x i8> %va, <vscale x 3 x i8> %vb
  82   ret <vscale x 3 x i8> %vc
  83 }
  84
  85 define <vscale x 3 x i8> @vmerge_xv_nxv3i8(<vscale x 3 x i8> %va, i8 signext %b, <vscale x 3 x i1> %cond) {
  86 ; CHECK-LABEL: vmerge_xv_nxv3i8:
  87 ; CHECK:       # %bb.0:
  88 ; CHECK-NEXT:    vsetvli a1, zero, e8, mf2, ta, ma
  89 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
  90 ; CHECK-NEXT:    ret
  91   %head = insertelement <vscale x 3 x i8> poison, i8 %b, i32 0
  92   %splat = shufflevector <vscale x 3 x i8> %head, <vscale x 3 x i8> poison, <vscale x 3 x i32> zeroinitializer
  93   %vc = select <vscale x 3 x i1> %cond, <vscale x 3 x i8> %splat, <vscale x 3 x i8> %va
  94   ret <vscale x 3 x i8> %vc
  95 }
  96
  97 define <vscale x 3 x i8> @vmerge_iv_nxv3i8(<vscale x 3 x i8> %va, <vscale x 3 x i1> %cond) {
  98 ; CHECK-LABEL: vmerge_iv_nxv3i8:
  99 ; CHECK:       # %bb.0:
 100 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf2, ta, ma
 101 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 102 ; CHECK-NEXT:    ret
 103   %head = insertelement <vscale x 3 x i8> poison, i8 3, i32 0
 104   %splat = shufflevector <vscale x 3 x i8> %head, <vscale x 3 x i8> poison, <vscale x 3 x i32> zeroinitializer
 105   %vc = select <vscale x 3 x i1> %cond, <vscale x 3 x i8> %splat, <vscale x 3 x i8> %va
 106   ret <vscale x 3 x i8> %vc
 107 }
 108
 109 define <vscale x 4 x i8> @vmerge_vv_nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i8> %vb, <vscale x 4 x i1> %cond) {
 110 ; CHECK-LABEL: vmerge_vv_nxv4i8:
 111 ; CHECK:       # %bb.0:
 112 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf2, ta, ma
 113 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
 114 ; CHECK-NEXT:    ret
 115   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i8> %va, <vscale x 4 x i8> %vb
 116   ret <vscale x 4 x i8> %vc
 117 }
 118
 119 define <vscale x 4 x i8> @vmerge_xv_nxv4i8(<vscale x 4 x i8> %va, i8 signext %b, <vscale x 4 x i1> %cond) {
 120 ; CHECK-LABEL: vmerge_xv_nxv4i8:
 121 ; CHECK:       # %bb.0:
 122 ; CHECK-NEXT:    vsetvli a1, zero, e8, mf2, ta, ma
 123 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 124 ; CHECK-NEXT:    ret
 125   %head = insertelement <vscale x 4 x i8> poison, i8 %b, i32 0
 126   %splat = shufflevector <vscale x 4 x i8> %head, <vscale x 4 x i8> poison, <vscale x 4 x i32> zeroinitializer
 127   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i8> %splat, <vscale x 4 x i8> %va
 128   ret <vscale x 4 x i8> %vc
 129 }
 130
 131 define <vscale x 4 x i8> @vmerge_iv_nxv4i8(<vscale x 4 x i8> %va, <vscale x 4 x i1> %cond) {
 132 ; CHECK-LABEL: vmerge_iv_nxv4i8:
 133 ; CHECK:       # %bb.0:
 134 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf2, ta, ma
 135 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 136 ; CHECK-NEXT:    ret
 137   %head = insertelement <vscale x 4 x i8> poison, i8 3, i32 0
 138   %splat = shufflevector <vscale x 4 x i8> %head, <vscale x 4 x i8> poison, <vscale x 4 x i32> zeroinitializer
 139   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i8> %splat, <vscale x 4 x i8> %va
 140   ret <vscale x 4 x i8> %vc
 141 }
 142
 143 define <vscale x 8 x i8> @vmerge_vv_nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i8> %vb, <vscale x 8 x i1> %cond) {
 144 ; CHECK-LABEL: vmerge_vv_nxv8i8:
 145 ; CHECK:       # %bb.0:
 146 ; CHECK-NEXT:    vsetvli a0, zero, e8, m1, ta, ma
 147 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
 148 ; CHECK-NEXT:    ret
 149   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i8> %va, <vscale x 8 x i8> %vb
 150   ret <vscale x 8 x i8> %vc
 151 }
 152
 153 define <vscale x 8 x i8> @vmerge_xv_nxv8i8(<vscale x 8 x i8> %va, i8 signext %b, <vscale x 8 x i1> %cond) {
 154 ; CHECK-LABEL: vmerge_xv_nxv8i8:
 155 ; CHECK:       # %bb.0:
 156 ; CHECK-NEXT:    vsetvli a1, zero, e8, m1, ta, ma
 157 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 158 ; CHECK-NEXT:    ret
 159   %head = insertelement <vscale x 8 x i8> poison, i8 %b, i32 0
 160   %splat = shufflevector <vscale x 8 x i8> %head, <vscale x 8 x i8> poison, <vscale x 8 x i32> zeroinitializer
 161   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i8> %splat, <vscale x 8 x i8> %va
 162   ret <vscale x 8 x i8> %vc
 163 }
 164
 165 define <vscale x 8 x i8> @vmerge_iv_nxv8i8(<vscale x 8 x i8> %va, <vscale x 8 x i1> %cond) {
 166 ; CHECK-LABEL: vmerge_iv_nxv8i8:
 167 ; CHECK:       # %bb.0:
 168 ; CHECK-NEXT:    vsetvli a0, zero, e8, m1, ta, ma
 169 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 170 ; CHECK-NEXT:    ret
 171   %head = insertelement <vscale x 8 x i8> poison, i8 3, i32 0
 172   %splat = shufflevector <vscale x 8 x i8> %head, <vscale x 8 x i8> poison, <vscale x 8 x i32> zeroinitializer
 173   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i8> %splat, <vscale x 8 x i8> %va
 174   ret <vscale x 8 x i8> %vc
 175 }
 176
 177 define <vscale x 16 x i8> @vmerge_vv_nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i8> %vb, <vscale x 16 x i1> %cond) {
 178 ; CHECK-LABEL: vmerge_vv_nxv16i8:
 179 ; CHECK:       # %bb.0:
 180 ; CHECK-NEXT:    vsetvli a0, zero, e8, m2, ta, ma
 181 ; CHECK-NEXT:    vmerge.vvm v8, v10, v8, v0
 182 ; CHECK-NEXT:    ret
 183   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i8> %va, <vscale x 16 x i8> %vb
 184   ret <vscale x 16 x i8> %vc
 185 }
 186
 187 define <vscale x 16 x i8> @vmerge_xv_nxv16i8(<vscale x 16 x i8> %va, i8 signext %b, <vscale x 16 x i1> %cond) {
 188 ; CHECK-LABEL: vmerge_xv_nxv16i8:
 189 ; CHECK:       # %bb.0:
 190 ; CHECK-NEXT:    vsetvli a1, zero, e8, m2, ta, ma
 191 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 192 ; CHECK-NEXT:    ret
 193   %head = insertelement <vscale x 16 x i8> poison, i8 %b, i32 0
 194   %splat = shufflevector <vscale x 16 x i8> %head, <vscale x 16 x i8> poison, <vscale x 16 x i32> zeroinitializer
 195   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i8> %splat, <vscale x 16 x i8> %va
 196   ret <vscale x 16 x i8> %vc
 197 }
 198
 199 define <vscale x 16 x i8> @vmerge_iv_nxv16i8(<vscale x 16 x i8> %va, <vscale x 16 x i1> %cond) {
 200 ; CHECK-LABEL: vmerge_iv_nxv16i8:
 201 ; CHECK:       # %bb.0:
 202 ; CHECK-NEXT:    vsetvli a0, zero, e8, m2, ta, ma
 203 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 204 ; CHECK-NEXT:    ret
 205   %head = insertelement <vscale x 16 x i8> poison, i8 3, i32 0
 206   %splat = shufflevector <vscale x 16 x i8> %head, <vscale x 16 x i8> poison, <vscale x 16 x i32> zeroinitializer
 207   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i8> %splat, <vscale x 16 x i8> %va
 208   ret <vscale x 16 x i8> %vc
 209 }
 210
 211 define <vscale x 32 x i8> @vmerge_vv_nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i8> %vb, <vscale x 32 x i1> %cond) {
 212 ; CHECK-LABEL: vmerge_vv_nxv32i8:
 213 ; CHECK:       # %bb.0:
 214 ; CHECK-NEXT:    vsetvli a0, zero, e8, m4, ta, ma
 215 ; CHECK-NEXT:    vmerge.vvm v8, v12, v8, v0
 216 ; CHECK-NEXT:    ret
 217   %vc = select <vscale x 32 x i1> %cond, <vscale x 32 x i8> %va, <vscale x 32 x i8> %vb
 218   ret <vscale x 32 x i8> %vc
 219 }
 220
 221 define <vscale x 32 x i8> @vmerge_xv_nxv32i8(<vscale x 32 x i8> %va, i8 signext %b, <vscale x 32 x i1> %cond) {
 222 ; CHECK-LABEL: vmerge_xv_nxv32i8:
 223 ; CHECK:       # %bb.0:
 224 ; CHECK-NEXT:    vsetvli a1, zero, e8, m4, ta, ma
 225 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 226 ; CHECK-NEXT:    ret
 227   %head = insertelement <vscale x 32 x i8> poison, i8 %b, i32 0
 228   %splat = shufflevector <vscale x 32 x i8> %head, <vscale x 32 x i8> poison, <vscale x 32 x i32> zeroinitializer
 229   %vc = select <vscale x 32 x i1> %cond, <vscale x 32 x i8> %splat, <vscale x 32 x i8> %va
 230   ret <vscale x 32 x i8> %vc
 231 }
 232
 233 define <vscale x 32 x i8> @vmerge_iv_nxv32i8(<vscale x 32 x i8> %va, <vscale x 32 x i1> %cond) {
 234 ; CHECK-LABEL: vmerge_iv_nxv32i8:
 235 ; CHECK:       # %bb.0:
 236 ; CHECK-NEXT:    vsetvli a0, zero, e8, m4, ta, ma
 237 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 238 ; CHECK-NEXT:    ret
 239   %head = insertelement <vscale x 32 x i8> poison, i8 3, i32 0
 240   %splat = shufflevector <vscale x 32 x i8> %head, <vscale x 32 x i8> poison, <vscale x 32 x i32> zeroinitializer
 241   %vc = select <vscale x 32 x i1> %cond, <vscale x 32 x i8> %splat, <vscale x 32 x i8> %va
 242   ret <vscale x 32 x i8> %vc
 243 }
 244
 245 define <vscale x 64 x i8> @vmerge_vv_nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i8> %vb, <vscale x 64 x i1> %cond) {
 246 ; CHECK-LABEL: vmerge_vv_nxv64i8:
 247 ; CHECK:       # %bb.0:
 248 ; CHECK-NEXT:    vsetvli a0, zero, e8, m8, ta, ma
 249 ; CHECK-NEXT:    vmerge.vvm v8, v16, v8, v0
 250 ; CHECK-NEXT:    ret
 251   %vc = select <vscale x 64 x i1> %cond, <vscale x 64 x i8> %va, <vscale x 64 x i8> %vb
 252   ret <vscale x 64 x i8> %vc
 253 }
 254
 255 define <vscale x 64 x i8> @vmerge_xv_nxv64i8(<vscale x 64 x i8> %va, i8 signext %b, <vscale x 64 x i1> %cond) {
 256 ; CHECK-LABEL: vmerge_xv_nxv64i8:
 257 ; CHECK:       # %bb.0:
 258 ; CHECK-NEXT:    vsetvli a1, zero, e8, m8, ta, ma
 259 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 260 ; CHECK-NEXT:    ret
 261   %head = insertelement <vscale x 64 x i8> poison, i8 %b, i32 0
 262   %splat = shufflevector <vscale x 64 x i8> %head, <vscale x 64 x i8> poison, <vscale x 64 x i32> zeroinitializer
 263   %vc = select <vscale x 64 x i1> %cond, <vscale x 64 x i8> %splat, <vscale x 64 x i8> %va
 264   ret <vscale x 64 x i8> %vc
 265 }
 266
 267 define <vscale x 64 x i8> @vmerge_iv_nxv64i8(<vscale x 64 x i8> %va, <vscale x 64 x i1> %cond) {
 268 ; CHECK-LABEL: vmerge_iv_nxv64i8:
 269 ; CHECK:       # %bb.0:
 270 ; CHECK-NEXT:    vsetvli a0, zero, e8, m8, ta, ma
 271 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 272 ; CHECK-NEXT:    ret
 273   %head = insertelement <vscale x 64 x i8> poison, i8 3, i32 0
 274   %splat = shufflevector <vscale x 64 x i8> %head, <vscale x 64 x i8> poison, <vscale x 64 x i32> zeroinitializer
 275   %vc = select <vscale x 64 x i1> %cond, <vscale x 64 x i8> %splat, <vscale x 64 x i8> %va
 276   ret <vscale x 64 x i8> %vc
 277 }
 278
 279 define <vscale x 1 x i16> @vmerge_vv_nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i16> %vb, <vscale x 1 x i1> %cond) {
 280 ; CHECK-LABEL: vmerge_vv_nxv1i16:
 281 ; CHECK:       # %bb.0:
 282 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
 283 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
 284 ; CHECK-NEXT:    ret
 285   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i16> %va, <vscale x 1 x i16> %vb
 286   ret <vscale x 1 x i16> %vc
 287 }
 288
 289 define <vscale x 1 x i16> @vmerge_xv_nxv1i16(<vscale x 1 x i16> %va, i16 signext %b, <vscale x 1 x i1> %cond) {
 290 ; CHECK-LABEL: vmerge_xv_nxv1i16:
 291 ; CHECK:       # %bb.0:
 292 ; CHECK-NEXT:    vsetvli a1, zero, e16, mf4, ta, ma
 293 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 294 ; CHECK-NEXT:    ret
 295   %head = insertelement <vscale x 1 x i16> poison, i16 %b, i32 0
 296   %splat = shufflevector <vscale x 1 x i16> %head, <vscale x 1 x i16> poison, <vscale x 1 x i32> zeroinitializer
 297   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i16> %splat, <vscale x 1 x i16> %va
 298   ret <vscale x 1 x i16> %vc
 299 }
 300
 301 define <vscale x 1 x i16> @vmerge_iv_nxv1i16(<vscale x 1 x i16> %va, <vscale x 1 x i1> %cond) {
 302 ; CHECK-LABEL: vmerge_iv_nxv1i16:
 303 ; CHECK:       # %bb.0:
 304 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
 305 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 306 ; CHECK-NEXT:    ret
 307   %head = insertelement <vscale x 1 x i16> poison, i16 3, i32 0
 308   %splat = shufflevector <vscale x 1 x i16> %head, <vscale x 1 x i16> poison, <vscale x 1 x i32> zeroinitializer
 309   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i16> %splat, <vscale x 1 x i16> %va
 310   ret <vscale x 1 x i16> %vc
 311 }
 312
 313 define <vscale x 2 x i16> @vmerge_vv_nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i16> %vb, <vscale x 2 x i1> %cond) {
 314 ; CHECK-LABEL: vmerge_vv_nxv2i16:
 315 ; CHECK:       # %bb.0:
 316 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
 317 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
 318 ; CHECK-NEXT:    ret
 319   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i16> %va, <vscale x 2 x i16> %vb
 320   ret <vscale x 2 x i16> %vc
 321 }
 322
 323 define <vscale x 2 x i16> @vmerge_xv_nxv2i16(<vscale x 2 x i16> %va, i16 signext %b, <vscale x 2 x i1> %cond) {
 324 ; CHECK-LABEL: vmerge_xv_nxv2i16:
 325 ; CHECK:       # %bb.0:
 326 ; CHECK-NEXT:    vsetvli a1, zero, e16, mf2, ta, ma
 327 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 328 ; CHECK-NEXT:    ret
 329   %head = insertelement <vscale x 2 x i16> poison, i16 %b, i32 0
 330   %splat = shufflevector <vscale x 2 x i16> %head, <vscale x 2 x i16> poison, <vscale x 2 x i32> zeroinitializer
 331   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i16> %splat, <vscale x 2 x i16> %va
 332   ret <vscale x 2 x i16> %vc
 333 }
 334
 335 define <vscale x 2 x i16> @vmerge_iv_nxv2i16(<vscale x 2 x i16> %va, <vscale x 2 x i1> %cond) {
 336 ; CHECK-LABEL: vmerge_iv_nxv2i16:
 337 ; CHECK:       # %bb.0:
 338 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
 339 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 340 ; CHECK-NEXT:    ret
 341   %head = insertelement <vscale x 2 x i16> poison, i16 3, i32 0
 342   %splat = shufflevector <vscale x 2 x i16> %head, <vscale x 2 x i16> poison, <vscale x 2 x i32> zeroinitializer
 343   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i16> %splat, <vscale x 2 x i16> %va
 344   ret <vscale x 2 x i16> %vc
 345 }
 346
 347 define <vscale x 4 x i16> @vmerge_vv_nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i16> %vb, <vscale x 4 x i1> %cond) {
 348 ; CHECK-LABEL: vmerge_vv_nxv4i16:
 349 ; CHECK:       # %bb.0:
 350 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
 351 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
 352 ; CHECK-NEXT:    ret
 353   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i16> %va, <vscale x 4 x i16> %vb
 354   ret <vscale x 4 x i16> %vc
 355 }
 356
 357 define <vscale x 4 x i16> @vmerge_xv_nxv4i16(<vscale x 4 x i16> %va, i16 signext %b, <vscale x 4 x i1> %cond) {
 358 ; CHECK-LABEL: vmerge_xv_nxv4i16:
 359 ; CHECK:       # %bb.0:
 360 ; CHECK-NEXT:    vsetvli a1, zero, e16, m1, ta, ma
 361 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 362 ; CHECK-NEXT:    ret
 363   %head = insertelement <vscale x 4 x i16> poison, i16 %b, i32 0
 364   %splat = shufflevector <vscale x 4 x i16> %head, <vscale x 4 x i16> poison, <vscale x 4 x i32> zeroinitializer
 365   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i16> %splat, <vscale x 4 x i16> %va
 366   ret <vscale x 4 x i16> %vc
 367 }
 368
 369 define <vscale x 4 x i16> @vmerge_iv_nxv4i16(<vscale x 4 x i16> %va, <vscale x 4 x i1> %cond) {
 370 ; CHECK-LABEL: vmerge_iv_nxv4i16:
 371 ; CHECK:       # %bb.0:
 372 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
 373 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 374 ; CHECK-NEXT:    ret
 375   %head = insertelement <vscale x 4 x i16> poison, i16 3, i32 0
 376   %splat = shufflevector <vscale x 4 x i16> %head, <vscale x 4 x i16> poison, <vscale x 4 x i32> zeroinitializer
 377   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i16> %splat, <vscale x 4 x i16> %va
 378   ret <vscale x 4 x i16> %vc
 379 }
 380
 381 define <vscale x 8 x i16> @vmerge_vv_nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i16> %vb, <vscale x 8 x i1> %cond) {
 382 ; CHECK-LABEL: vmerge_vv_nxv8i16:
 383 ; CHECK:       # %bb.0:
 384 ; CHECK-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 385 ; CHECK-NEXT:    vmerge.vvm v8, v10, v8, v0
 386 ; CHECK-NEXT:    ret
 387   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i16> %va, <vscale x 8 x i16> %vb
 388   ret <vscale x 8 x i16> %vc
 389 }
 390
 391 define <vscale x 8 x i16> @vmerge_xv_nxv8i16(<vscale x 8 x i16> %va, i16 signext %b, <vscale x 8 x i1> %cond) {
 392 ; CHECK-LABEL: vmerge_xv_nxv8i16:
 393 ; CHECK:       # %bb.0:
 394 ; CHECK-NEXT:    vsetvli a1, zero, e16, m2, ta, ma
 395 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 396 ; CHECK-NEXT:    ret
 397   %head = insertelement <vscale x 8 x i16> poison, i16 %b, i32 0
 398   %splat = shufflevector <vscale x 8 x i16> %head, <vscale x 8 x i16> poison, <vscale x 8 x i32> zeroinitializer
 399   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i16> %splat, <vscale x 8 x i16> %va
 400   ret <vscale x 8 x i16> %vc
 401 }
 402
 403 define <vscale x 8 x i16> @vmerge_iv_nxv8i16(<vscale x 8 x i16> %va, <vscale x 8 x i1> %cond) {
 404 ; CHECK-LABEL: vmerge_iv_nxv8i16:
 405 ; CHECK:       # %bb.0:
 406 ; CHECK-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 407 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 408 ; CHECK-NEXT:    ret
 409   %head = insertelement <vscale x 8 x i16> poison, i16 3, i32 0
 410   %splat = shufflevector <vscale x 8 x i16> %head, <vscale x 8 x i16> poison, <vscale x 8 x i32> zeroinitializer
 411   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i16> %splat, <vscale x 8 x i16> %va
 412   ret <vscale x 8 x i16> %vc
 413 }
 414
 415 define <vscale x 16 x i16> @vmerge_vv_nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i16> %vb, <vscale x 16 x i1> %cond) {
 416 ; CHECK-LABEL: vmerge_vv_nxv16i16:
 417 ; CHECK:       # %bb.0:
 418 ; CHECK-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 419 ; CHECK-NEXT:    vmerge.vvm v8, v12, v8, v0
 420 ; CHECK-NEXT:    ret
 421   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i16> %va, <vscale x 16 x i16> %vb
 422   ret <vscale x 16 x i16> %vc
 423 }
 424
 425 define <vscale x 16 x i16> @vmerge_xv_nxv16i16(<vscale x 16 x i16> %va, i16 signext %b, <vscale x 16 x i1> %cond) {
 426 ; CHECK-LABEL: vmerge_xv_nxv16i16:
 427 ; CHECK:       # %bb.0:
 428 ; CHECK-NEXT:    vsetvli a1, zero, e16, m4, ta, ma
 429 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 430 ; CHECK-NEXT:    ret
 431   %head = insertelement <vscale x 16 x i16> poison, i16 %b, i32 0
 432   %splat = shufflevector <vscale x 16 x i16> %head, <vscale x 16 x i16> poison, <vscale x 16 x i32> zeroinitializer
 433   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i16> %splat, <vscale x 16 x i16> %va
 434   ret <vscale x 16 x i16> %vc
 435 }
 436
 437 define <vscale x 16 x i16> @vmerge_iv_nxv16i16(<vscale x 16 x i16> %va, <vscale x 16 x i1> %cond) {
 438 ; CHECK-LABEL: vmerge_iv_nxv16i16:
 439 ; CHECK:       # %bb.0:
 440 ; CHECK-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 441 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 442 ; CHECK-NEXT:    ret
 443   %head = insertelement <vscale x 16 x i16> poison, i16 3, i32 0
 444   %splat = shufflevector <vscale x 16 x i16> %head, <vscale x 16 x i16> poison, <vscale x 16 x i32> zeroinitializer
 445   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i16> %splat, <vscale x 16 x i16> %va
 446   ret <vscale x 16 x i16> %vc
 447 }
 448
 449 define <vscale x 32 x i16> @vmerge_vv_nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i16> %vb, <vscale x 32 x i1> %cond) {
 450 ; CHECK-LABEL: vmerge_vv_nxv32i16:
 451 ; CHECK:       # %bb.0:
 452 ; CHECK-NEXT:    vsetvli a0, zero, e16, m8, ta, ma
 453 ; CHECK-NEXT:    vmerge.vvm v8, v16, v8, v0
 454 ; CHECK-NEXT:    ret
 455   %vc = select <vscale x 32 x i1> %cond, <vscale x 32 x i16> %va, <vscale x 32 x i16> %vb
 456   ret <vscale x 32 x i16> %vc
 457 }
 458
 459 define <vscale x 32 x i16> @vmerge_xv_nxv32i16(<vscale x 32 x i16> %va, i16 signext %b, <vscale x 32 x i1> %cond) {
 460 ; CHECK-LABEL: vmerge_xv_nxv32i16:
 461 ; CHECK:       # %bb.0:
 462 ; CHECK-NEXT:    vsetvli a1, zero, e16, m8, ta, ma
 463 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 464 ; CHECK-NEXT:    ret
 465   %head = insertelement <vscale x 32 x i16> poison, i16 %b, i32 0
 466   %splat = shufflevector <vscale x 32 x i16> %head, <vscale x 32 x i16> poison, <vscale x 32 x i32> zeroinitializer
 467   %vc = select <vscale x 32 x i1> %cond, <vscale x 32 x i16> %splat, <vscale x 32 x i16> %va
 468   ret <vscale x 32 x i16> %vc
 469 }
 470
 471 define <vscale x 32 x i16> @vmerge_iv_nxv32i16(<vscale x 32 x i16> %va, <vscale x 32 x i1> %cond) {
 472 ; CHECK-LABEL: vmerge_iv_nxv32i16:
 473 ; CHECK:       # %bb.0:
 474 ; CHECK-NEXT:    vsetvli a0, zero, e16, m8, ta, ma
 475 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 476 ; CHECK-NEXT:    ret
 477   %head = insertelement <vscale x 32 x i16> poison, i16 3, i32 0
 478   %splat = shufflevector <vscale x 32 x i16> %head, <vscale x 32 x i16> poison, <vscale x 32 x i32> zeroinitializer
 479   %vc = select <vscale x 32 x i1> %cond, <vscale x 32 x i16> %splat, <vscale x 32 x i16> %va
 480   ret <vscale x 32 x i16> %vc
 481 }
 482
 483 define <vscale x 1 x i32> @vmerge_vv_nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i32> %vb, <vscale x 1 x i1> %cond) {
 484 ; CHECK-LABEL: vmerge_vv_nxv1i32:
 485 ; CHECK:       # %bb.0:
 486 ; CHECK-NEXT:    vsetvli a0, zero, e32, mf2, ta, ma
 487 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
 488 ; CHECK-NEXT:    ret
 489   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i32> %va, <vscale x 1 x i32> %vb
 490   ret <vscale x 1 x i32> %vc
 491 }
 492
 493 define <vscale x 1 x i32> @vmerge_xv_nxv1i32(<vscale x 1 x i32> %va, i32 signext %b, <vscale x 1 x i1> %cond) {
 494 ; CHECK-LABEL: vmerge_xv_nxv1i32:
 495 ; CHECK:       # %bb.0:
 496 ; CHECK-NEXT:    vsetvli a1, zero, e32, mf2, ta, ma
 497 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 498 ; CHECK-NEXT:    ret
 499   %head = insertelement <vscale x 1 x i32> poison, i32 %b, i32 0
 500   %splat = shufflevector <vscale x 1 x i32> %head, <vscale x 1 x i32> poison, <vscale x 1 x i32> zeroinitializer
 501   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i32> %splat, <vscale x 1 x i32> %va
 502   ret <vscale x 1 x i32> %vc
 503 }
 504
 505 define <vscale x 1 x i32> @vmerge_iv_nxv1i32(<vscale x 1 x i32> %va, <vscale x 1 x i1> %cond) {
 506 ; CHECK-LABEL: vmerge_iv_nxv1i32:
 507 ; CHECK:       # %bb.0:
 508 ; CHECK-NEXT:    vsetvli a0, zero, e32, mf2, ta, ma
 509 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 510 ; CHECK-NEXT:    ret
 511   %head = insertelement <vscale x 1 x i32> poison, i32 3, i32 0
 512   %splat = shufflevector <vscale x 1 x i32> %head, <vscale x 1 x i32> poison, <vscale x 1 x i32> zeroinitializer
 513   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i32> %splat, <vscale x 1 x i32> %va
 514   ret <vscale x 1 x i32> %vc
 515 }
 516
 517 define <vscale x 2 x i32> @vmerge_vv_nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i32> %vb, <vscale x 2 x i1> %cond) {
 518 ; CHECK-LABEL: vmerge_vv_nxv2i32:
 519 ; CHECK:       # %bb.0:
 520 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, ta, ma
 521 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
 522 ; CHECK-NEXT:    ret
 523   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i32> %va, <vscale x 2 x i32> %vb
 524   ret <vscale x 2 x i32> %vc
 525 }
 526
 527 define <vscale x 2 x i32> @vmerge_xv_nxv2i32(<vscale x 2 x i32> %va, i32 signext %b, <vscale x 2 x i1> %cond) {
 528 ; CHECK-LABEL: vmerge_xv_nxv2i32:
 529 ; CHECK:       # %bb.0:
 530 ; CHECK-NEXT:    vsetvli a1, zero, e32, m1, ta, ma
 531 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 532 ; CHECK-NEXT:    ret
 533   %head = insertelement <vscale x 2 x i32> poison, i32 %b, i32 0
 534   %splat = shufflevector <vscale x 2 x i32> %head, <vscale x 2 x i32> poison, <vscale x 2 x i32> zeroinitializer
 535   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i32> %splat, <vscale x 2 x i32> %va
 536   ret <vscale x 2 x i32> %vc
 537 }
 538
 539 define <vscale x 2 x i32> @vmerge_iv_nxv2i32(<vscale x 2 x i32> %va, <vscale x 2 x i1> %cond) {
 540 ; CHECK-LABEL: vmerge_iv_nxv2i32:
 541 ; CHECK:       # %bb.0:
 542 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, ta, ma
 543 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 544 ; CHECK-NEXT:    ret
 545   %head = insertelement <vscale x 2 x i32> poison, i32 3, i32 0
 546   %splat = shufflevector <vscale x 2 x i32> %head, <vscale x 2 x i32> poison, <vscale x 2 x i32> zeroinitializer
 547   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i32> %splat, <vscale x 2 x i32> %va
 548   ret <vscale x 2 x i32> %vc
 549 }
 550
 551 define <vscale x 4 x i32> @vmerge_vv_nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i32> %vb, <vscale x 4 x i1> %cond) {
 552 ; CHECK-LABEL: vmerge_vv_nxv4i32:
 553 ; CHECK:       # %bb.0:
 554 ; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
 555 ; CHECK-NEXT:    vmerge.vvm v8, v10, v8, v0
 556 ; CHECK-NEXT:    ret
 557   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i32> %va, <vscale x 4 x i32> %vb
 558   ret <vscale x 4 x i32> %vc
 559 }
 560
 561 define <vscale x 4 x i32> @vmerge_xv_nxv4i32(<vscale x 4 x i32> %va, i32 signext %b, <vscale x 4 x i1> %cond) {
 562 ; CHECK-LABEL: vmerge_xv_nxv4i32:
 563 ; CHECK:       # %bb.0:
 564 ; CHECK-NEXT:    vsetvli a1, zero, e32, m2, ta, ma
 565 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 566 ; CHECK-NEXT:    ret
 567   %head = insertelement <vscale x 4 x i32> poison, i32 %b, i32 0
 568   %splat = shufflevector <vscale x 4 x i32> %head, <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer
 569   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i32> %splat, <vscale x 4 x i32> %va
 570   ret <vscale x 4 x i32> %vc
 571 }
 572
 573 define <vscale x 4 x i32> @vmerge_iv_nxv4i32(<vscale x 4 x i32> %va, <vscale x 4 x i1> %cond) {
 574 ; CHECK-LABEL: vmerge_iv_nxv4i32:
 575 ; CHECK:       # %bb.0:
 576 ; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
 577 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 578 ; CHECK-NEXT:    ret
 579   %head = insertelement <vscale x 4 x i32> poison, i32 3, i32 0
 580   %splat = shufflevector <vscale x 4 x i32> %head, <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer
 581   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i32> %splat, <vscale x 4 x i32> %va
 582   ret <vscale x 4 x i32> %vc
 583 }
 584
 585 define <vscale x 8 x i32> @vmerge_vv_nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> %vb, <vscale x 8 x i1> %cond) {
 586 ; CHECK-LABEL: vmerge_vv_nxv8i32:
 587 ; CHECK:       # %bb.0:
 588 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 589 ; CHECK-NEXT:    vmerge.vvm v8, v12, v8, v0
 590 ; CHECK-NEXT:    ret
 591   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i32> %va, <vscale x 8 x i32> %vb
 592   ret <vscale x 8 x i32> %vc
 593 }
 594
 595 define <vscale x 8 x i32> @vmerge_xv_nxv8i32(<vscale x 8 x i32> %va, i32 signext %b, <vscale x 8 x i1> %cond) {
 596 ; CHECK-LABEL: vmerge_xv_nxv8i32:
 597 ; CHECK:       # %bb.0:
 598 ; CHECK-NEXT:    vsetvli a1, zero, e32, m4, ta, ma
 599 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 600 ; CHECK-NEXT:    ret
 601   %head = insertelement <vscale x 8 x i32> poison, i32 %b, i32 0
 602   %splat = shufflevector <vscale x 8 x i32> %head, <vscale x 8 x i32> poison, <vscale x 8 x i32> zeroinitializer
 603   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i32> %splat, <vscale x 8 x i32> %va
 604   ret <vscale x 8 x i32> %vc
 605 }
 606
 607 define <vscale x 8 x i32> @vmerge_iv_nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i1> %cond) {
 608 ; CHECK-LABEL: vmerge_iv_nxv8i32:
 609 ; CHECK:       # %bb.0:
 610 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 611 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 612 ; CHECK-NEXT:    ret
 613   %head = insertelement <vscale x 8 x i32> poison, i32 3, i32 0
 614   %splat = shufflevector <vscale x 8 x i32> %head, <vscale x 8 x i32> poison, <vscale x 8 x i32> zeroinitializer
 615   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i32> %splat, <vscale x 8 x i32> %va
 616   ret <vscale x 8 x i32> %vc
 617 }
 618
 619 define <vscale x 16 x i32> @vmerge_vv_nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i32> %vb, <vscale x 16 x i1> %cond) {
 620 ; CHECK-LABEL: vmerge_vv_nxv16i32:
 621 ; CHECK:       # %bb.0:
 622 ; CHECK-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 623 ; CHECK-NEXT:    vmerge.vvm v8, v16, v8, v0
 624 ; CHECK-NEXT:    ret
 625   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i32> %va, <vscale x 16 x i32> %vb
 626   ret <vscale x 16 x i32> %vc
 627 }
 628
 629 define <vscale x 16 x i32> @vmerge_xv_nxv16i32(<vscale x 16 x i32> %va, i32 signext %b, <vscale x 16 x i1> %cond) {
 630 ; CHECK-LABEL: vmerge_xv_nxv16i32:
 631 ; CHECK:       # %bb.0:
 632 ; CHECK-NEXT:    vsetvli a1, zero, e32, m8, ta, ma
 633 ; CHECK-NEXT:    vmerge.vxm v8, v8, a0, v0
 634 ; CHECK-NEXT:    ret
 635   %head = insertelement <vscale x 16 x i32> poison, i32 %b, i32 0
 636   %splat = shufflevector <vscale x 16 x i32> %head, <vscale x 16 x i32> poison, <vscale x 16 x i32> zeroinitializer
 637   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i32> %splat, <vscale x 16 x i32> %va
 638   ret <vscale x 16 x i32> %vc
 639 }
 640
 641 define <vscale x 16 x i32> @vmerge_iv_nxv16i32(<vscale x 16 x i32> %va, <vscale x 16 x i1> %cond) {
 642 ; CHECK-LABEL: vmerge_iv_nxv16i32:
 643 ; CHECK:       # %bb.0:
 644 ; CHECK-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 645 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 646 ; CHECK-NEXT:    ret
 647   %head = insertelement <vscale x 16 x i32> poison, i32 3, i32 0
 648   %splat = shufflevector <vscale x 16 x i32> %head, <vscale x 16 x i32> poison, <vscale x 16 x i32> zeroinitializer
 649   %vc = select <vscale x 16 x i1> %cond, <vscale x 16 x i32> %splat, <vscale x 16 x i32> %va
 650   ret <vscale x 16 x i32> %vc
 651 }
 652
 653 define <vscale x 1 x i64> @vmerge_vv_nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i64> %vb, <vscale x 1 x i1> %cond) {
 654 ; CHECK-LABEL: vmerge_vv_nxv1i64:
 655 ; CHECK:       # %bb.0:
 656 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, ta, ma
 657 ; CHECK-NEXT:    vmerge.vvm v8, v9, v8, v0
 658 ; CHECK-NEXT:    ret
 659   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i64> %va, <vscale x 1 x i64> %vb
 660   ret <vscale x 1 x i64> %vc
 661 }
 662
 663 define <vscale x 1 x i64> @vmerge_xv_nxv1i64(<vscale x 1 x i64> %va, i64 %b, <vscale x 1 x i1> %cond) {
 664 ; RV32-LABEL: vmerge_xv_nxv1i64:
 665 ; RV32:       # %bb.0:
 666 ; RV32-NEXT:    addi sp, sp, -16
 667 ; RV32-NEXT:    .cfi_def_cfa_offset 16
 668 ; RV32-NEXT:    sw a1, 12(sp)
 669 ; RV32-NEXT:    sw a0, 8(sp)
 670 ; RV32-NEXT:    addi a0, sp, 8
 671 ; RV32-NEXT:    vsetvli a1, zero, e64, m1, ta, mu
 672 ; RV32-NEXT:    vlse64.v v8, (a0), zero, v0.t
 673 ; RV32-NEXT:    addi sp, sp, 16
 674 ; RV32-NEXT:    ret
 675 ;
 676 ; RV64-LABEL: vmerge_xv_nxv1i64:
 677 ; RV64:       # %bb.0:
 678 ; RV64-NEXT:    vsetvli a1, zero, e64, m1, ta, ma
 679 ; RV64-NEXT:    vmerge.vxm v8, v8, a0, v0
 680 ; RV64-NEXT:    ret
 681   %head = insertelement <vscale x 1 x i64> poison, i64 %b, i32 0
 682   %splat = shufflevector <vscale x 1 x i64> %head, <vscale x 1 x i64> poison, <vscale x 1 x i32> zeroinitializer
 683   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i64> %splat, <vscale x 1 x i64> %va
 684   ret <vscale x 1 x i64> %vc
 685 }
 686
 687 define <vscale x 1 x i64> @vmerge_iv_nxv1i64(<vscale x 1 x i64> %va, <vscale x 1 x i1> %cond) {
 688 ; CHECK-LABEL: vmerge_iv_nxv1i64:
 689 ; CHECK:       # %bb.0:
 690 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, ta, ma
 691 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 692 ; CHECK-NEXT:    ret
 693   %head = insertelement <vscale x 1 x i64> poison, i64 3, i32 0
 694   %splat = shufflevector <vscale x 1 x i64> %head, <vscale x 1 x i64> poison, <vscale x 1 x i32> zeroinitializer
 695   %vc = select <vscale x 1 x i1> %cond, <vscale x 1 x i64> %splat, <vscale x 1 x i64> %va
 696   ret <vscale x 1 x i64> %vc
 697 }
 698
 699 define <vscale x 2 x i64> @vmerge_vv_nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i64> %vb, <vscale x 2 x i1> %cond) {
 700 ; CHECK-LABEL: vmerge_vv_nxv2i64:
 701 ; CHECK:       # %bb.0:
 702 ; CHECK-NEXT:    vsetvli a0, zero, e64, m2, ta, ma
 703 ; CHECK-NEXT:    vmerge.vvm v8, v10, v8, v0
 704 ; CHECK-NEXT:    ret
 705   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i64> %va, <vscale x 2 x i64> %vb
 706   ret <vscale x 2 x i64> %vc
 707 }
 708
 709 define <vscale x 2 x i64> @vmerge_xv_nxv2i64(<vscale x 2 x i64> %va, i64 %b, <vscale x 2 x i1> %cond) {
 710 ; RV32-LABEL: vmerge_xv_nxv2i64:
 711 ; RV32:       # %bb.0:
 712 ; RV32-NEXT:    addi sp, sp, -16
 713 ; RV32-NEXT:    .cfi_def_cfa_offset 16
 714 ; RV32-NEXT:    sw a1, 12(sp)
 715 ; RV32-NEXT:    sw a0, 8(sp)
 716 ; RV32-NEXT:    addi a0, sp, 8
 717 ; RV32-NEXT:    vsetvli a1, zero, e64, m2, ta, mu
 718 ; RV32-NEXT:    vlse64.v v8, (a0), zero, v0.t
 719 ; RV32-NEXT:    addi sp, sp, 16
 720 ; RV32-NEXT:    ret
 721 ;
 722 ; RV64-LABEL: vmerge_xv_nxv2i64:
 723 ; RV64:       # %bb.0:
 724 ; RV64-NEXT:    vsetvli a1, zero, e64, m2, ta, ma
 725 ; RV64-NEXT:    vmerge.vxm v8, v8, a0, v0
 726 ; RV64-NEXT:    ret
 727   %head = insertelement <vscale x 2 x i64> poison, i64 %b, i32 0
 728   %splat = shufflevector <vscale x 2 x i64> %head, <vscale x 2 x i64> poison, <vscale x 2 x i32> zeroinitializer
 729   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i64> %splat, <vscale x 2 x i64> %va
 730   ret <vscale x 2 x i64> %vc
 731 }
 732
 733 define <vscale x 2 x i64> @vmerge_iv_nxv2i64(<vscale x 2 x i64> %va, <vscale x 2 x i1> %cond) {
 734 ; CHECK-LABEL: vmerge_iv_nxv2i64:
 735 ; CHECK:       # %bb.0:
 736 ; CHECK-NEXT:    vsetvli a0, zero, e64, m2, ta, ma
 737 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 738 ; CHECK-NEXT:    ret
 739   %head = insertelement <vscale x 2 x i64> poison, i64 3, i32 0
 740   %splat = shufflevector <vscale x 2 x i64> %head, <vscale x 2 x i64> poison, <vscale x 2 x i32> zeroinitializer
 741   %vc = select <vscale x 2 x i1> %cond, <vscale x 2 x i64> %splat, <vscale x 2 x i64> %va
 742   ret <vscale x 2 x i64> %vc
 743 }
 744
 745 define <vscale x 4 x i64> @vmerge_vv_nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i64> %vb, <vscale x 4 x i1> %cond) {
 746 ; CHECK-LABEL: vmerge_vv_nxv4i64:
 747 ; CHECK:       # %bb.0:
 748 ; CHECK-NEXT:    vsetvli a0, zero, e64, m4, ta, ma
 749 ; CHECK-NEXT:    vmerge.vvm v8, v12, v8, v0
 750 ; CHECK-NEXT:    ret
 751   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i64> %va, <vscale x 4 x i64> %vb
 752   ret <vscale x 4 x i64> %vc
 753 }
 754
 755 define <vscale x 4 x i64> @vmerge_xv_nxv4i64(<vscale x 4 x i64> %va, i64 %b, <vscale x 4 x i1> %cond) {
 756 ; RV32-LABEL: vmerge_xv_nxv4i64:
 757 ; RV32:       # %bb.0:
 758 ; RV32-NEXT:    addi sp, sp, -16
 759 ; RV32-NEXT:    .cfi_def_cfa_offset 16
 760 ; RV32-NEXT:    sw a1, 12(sp)
 761 ; RV32-NEXT:    sw a0, 8(sp)
 762 ; RV32-NEXT:    addi a0, sp, 8
 763 ; RV32-NEXT:    vsetvli a1, zero, e64, m4, ta, mu
 764 ; RV32-NEXT:    vlse64.v v8, (a0), zero, v0.t
 765 ; RV32-NEXT:    addi sp, sp, 16
 766 ; RV32-NEXT:    ret
 767 ;
 768 ; RV64-LABEL: vmerge_xv_nxv4i64:
 769 ; RV64:       # %bb.0:
 770 ; RV64-NEXT:    vsetvli a1, zero, e64, m4, ta, ma
 771 ; RV64-NEXT:    vmerge.vxm v8, v8, a0, v0
 772 ; RV64-NEXT:    ret
 773   %head = insertelement <vscale x 4 x i64> poison, i64 %b, i32 0
 774   %splat = shufflevector <vscale x 4 x i64> %head, <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer
 775   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i64> %splat, <vscale x 4 x i64> %va
 776   ret <vscale x 4 x i64> %vc
 777 }
 778
 779 define <vscale x 4 x i64> @vmerge_iv_nxv4i64(<vscale x 4 x i64> %va, <vscale x 4 x i1> %cond) {
 780 ; CHECK-LABEL: vmerge_iv_nxv4i64:
 781 ; CHECK:       # %bb.0:
 782 ; CHECK-NEXT:    vsetvli a0, zero, e64, m4, ta, ma
 783 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 784 ; CHECK-NEXT:    ret
 785   %head = insertelement <vscale x 4 x i64> poison, i64 3, i32 0
 786   %splat = shufflevector <vscale x 4 x i64> %head, <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer
 787   %vc = select <vscale x 4 x i1> %cond, <vscale x 4 x i64> %splat, <vscale x 4 x i64> %va
 788   ret <vscale x 4 x i64> %vc
 789 }
 790
 791 define <vscale x 8 x i64> @vmerge_vv_nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i64> %vb, <vscale x 8 x i1> %cond) {
 792 ; CHECK-LABEL: vmerge_vv_nxv8i64:
 793 ; CHECK:       # %bb.0:
 794 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 795 ; CHECK-NEXT:    vmerge.vvm v8, v16, v8, v0
 796 ; CHECK-NEXT:    ret
 797   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i64> %va, <vscale x 8 x i64> %vb
 798   ret <vscale x 8 x i64> %vc
 799 }
 800
 801 define <vscale x 8 x i64> @vmerge_xv_nxv8i64(<vscale x 8 x i64> %va, i64 %b, <vscale x 8 x i1> %cond) {
 802 ; RV32-LABEL: vmerge_xv_nxv8i64:
 803 ; RV32:       # %bb.0:
 804 ; RV32-NEXT:    addi sp, sp, -16
 805 ; RV32-NEXT:    .cfi_def_cfa_offset 16
 806 ; RV32-NEXT:    sw a1, 12(sp)
 807 ; RV32-NEXT:    sw a0, 8(sp)
 808 ; RV32-NEXT:    addi a0, sp, 8
 809 ; RV32-NEXT:    vsetvli a1, zero, e64, m8, ta, mu
 810 ; RV32-NEXT:    vlse64.v v8, (a0), zero, v0.t
 811 ; RV32-NEXT:    addi sp, sp, 16
 812 ; RV32-NEXT:    ret
 813 ;
 814 ; RV64-LABEL: vmerge_xv_nxv8i64:
 815 ; RV64:       # %bb.0:
 816 ; RV64-NEXT:    vsetvli a1, zero, e64, m8, ta, ma
 817 ; RV64-NEXT:    vmerge.vxm v8, v8, a0, v0
 818 ; RV64-NEXT:    ret
 819   %head = insertelement <vscale x 8 x i64> poison, i64 %b, i32 0
 820   %splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> poison, <vscale x 8 x i32> zeroinitializer
 821   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i64> %splat, <vscale x 8 x i64> %va
 822   ret <vscale x 8 x i64> %vc
 823 }
 824
 825 define <vscale x 8 x i64> @vmerge_iv_nxv8i64(<vscale x 8 x i64> %va, <vscale x 8 x i1> %cond) {
 826 ; CHECK-LABEL: vmerge_iv_nxv8i64:
 827 ; CHECK:       # %bb.0:
 828 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 829 ; CHECK-NEXT:    vmerge.vim v8, v8, 3, v0
 830 ; CHECK-NEXT:    ret
 831   %head = insertelement <vscale x 8 x i64> poison, i64 3, i32 0
 832   %splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> poison, <vscale x 8 x i32> zeroinitializer
 833   %vc = select <vscale x 8 x i1> %cond, <vscale x 8 x i64> %splat, <vscale x 8 x i64> %va
 834   ret <vscale x 8 x i64> %vc
 835 }
 836
 837 define <vscale x 8 x i64> @vmerge_truelhs_nxv8i64_0(<vscale x 8 x i64> %va, <vscale x 8 x i64> %vb) {
 838 ; CHECK-LABEL: vmerge_truelhs_nxv8i64_0:
 839 ; CHECK:       # %bb.0:
 840 ; CHECK-NEXT:    ret
 841   %mhead = insertelement <vscale x 8 x i1> poison, i1 1, i32 0
 842   %mtrue = shufflevector <vscale x 8 x i1> %mhead, <vscale x 8 x i1> poison, <vscale x 8 x i32> zeroinitializer
 843   %vc = select <vscale x 8 x i1> %mtrue, <vscale x 8 x i64> %va, <vscale x 8 x i64> %vb
 844   ret <vscale x 8 x i64> %vc
 845 }
 846
 847 define <vscale x 8 x i64> @vmerge_falselhs_nxv8i64_0(<vscale x 8 x i64> %va, <vscale x 8 x i64> %vb) {
 848 ; CHECK-LABEL: vmerge_falselhs_nxv8i64_0:
 849 ; CHECK:       # %bb.0:
 850 ; CHECK-NEXT:    vmv8r.v v8, v16
 851 ; CHECK-NEXT:    ret
 852   %vc = select <vscale x 8 x i1> zeroinitializer, <vscale x 8 x i64> %va, <vscale x 8 x i64> %vb
 853   ret <vscale x 8 x i64> %vc
 854 }