llvm/test/CodeGen/RISCV/rvv/vshl-sdnode.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -mattr=+v -verify-machineinstrs < %s | FileCheck %s
   3 ; RUN: llc -mtriple=riscv64 -mattr=+v -verify-machineinstrs < %s | FileCheck %s
   4
   5 define <vscale x 1 x i8> @vshl_vx_nxv1i8(<vscale x 1 x i8> %va, i8 signext %b) {
   6 ; CHECK-LABEL: vshl_vx_nxv1i8:
   7 ; CHECK:       # %bb.0:
   8 ; CHECK-NEXT:    vsetvli a1, zero, e8, mf8, ta, ma
   9 ; CHECK-NEXT:    vsll.vx v8, v8, a0
  10 ; CHECK-NEXT:    ret
  11   %head = insertelement <vscale x 1 x i8> poison, i8 %b, i32 0
  12   %splat = shufflevector <vscale x 1 x i8> %head, <vscale x 1 x i8> poison, <vscale x 1 x i32> zeroinitializer
  13   %vc = shl <vscale x 1 x i8> %va, %splat
  14   ret <vscale x 1 x i8> %vc
  15 }
  16
  17 define <vscale x 1 x i8> @vshl_vx_nxv1i8_0(<vscale x 1 x i8> %va) {
  18 ; CHECK-LABEL: vshl_vx_nxv1i8_0:
  19 ; CHECK:       # %bb.0:
  20 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf8, ta, ma
  21 ; CHECK-NEXT:    vsll.vi v8, v8, 6
  22 ; CHECK-NEXT:    ret
  23   %vc = shl <vscale x 1 x i8> %va, splat (i8 6)
  24   ret <vscale x 1 x i8> %vc
  25 }
  26
  27 define <vscale x 2 x i8> @vshl_vx_nxv2i8(<vscale x 2 x i8> %va, i8 signext %b) {
  28 ; CHECK-LABEL: vshl_vx_nxv2i8:
  29 ; CHECK:       # %bb.0:
  30 ; CHECK-NEXT:    vsetvli a1, zero, e8, mf4, ta, ma
  31 ; CHECK-NEXT:    vsll.vx v8, v8, a0
  32 ; CHECK-NEXT:    ret
  33   %head = insertelement <vscale x 2 x i8> poison, i8 %b, i32 0
  34   %splat = shufflevector <vscale x 2 x i8> %head, <vscale x 2 x i8> poison, <vscale x 2 x i32> zeroinitializer
  35   %vc = shl <vscale x 2 x i8> %va, %splat
  36   ret <vscale x 2 x i8> %vc
  37 }
  38
  39 define <vscale x 2 x i8> @vshl_vx_nxv2i8_0(<vscale x 2 x i8> %va) {
  40 ; CHECK-LABEL: vshl_vx_nxv2i8_0:
  41 ; CHECK:       # %bb.0:
  42 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf4, ta, ma
  43 ; CHECK-NEXT:    vsll.vi v8, v8, 6
  44 ; CHECK-NEXT:    ret
  45   %vc = shl <vscale x 2 x i8> %va, splat (i8 6)
  46   ret <vscale x 2 x i8> %vc
  47 }
  48
  49 define <vscale x 4 x i8> @vshl_vx_nxv4i8(<vscale x 4 x i8> %va, i8 signext %b) {
  50 ; CHECK-LABEL: vshl_vx_nxv4i8:
  51 ; CHECK:       # %bb.0:
  52 ; CHECK-NEXT:    vsetvli a1, zero, e8, mf2, ta, ma
  53 ; CHECK-NEXT:    vsll.vx v8, v8, a0
  54 ; CHECK-NEXT:    ret
  55   %head = insertelement <vscale x 4 x i8> poison, i8 %b, i32 0
  56   %splat = shufflevector <vscale x 4 x i8> %head, <vscale x 4 x i8> poison, <vscale x 4 x i32> zeroinitializer
  57   %vc = shl <vscale x 4 x i8> %va, %splat
  58   ret <vscale x 4 x i8> %vc
  59 }
  60
  61 define <vscale x 4 x i8> @vshl_vx_nxv4i8_0(<vscale x 4 x i8> %va) {
  62 ; CHECK-LABEL: vshl_vx_nxv4i8_0:
  63 ; CHECK:       # %bb.0:
  64 ; CHECK-NEXT:    vsetvli a0, zero, e8, mf2, ta, ma
  65 ; CHECK-NEXT:    vsll.vi v8, v8, 6
  66 ; CHECK-NEXT:    ret
  67   %vc = shl <vscale x 4 x i8> %va, splat (i8 6)
  68   ret <vscale x 4 x i8> %vc
  69 }
  70
  71 define <vscale x 8 x i8> @vshl_vx_nxv8i8(<vscale x 8 x i8> %va, i8 signext %b) {
  72 ; CHECK-LABEL: vshl_vx_nxv8i8:
  73 ; CHECK:       # %bb.0:
  74 ; CHECK-NEXT:    vsetvli a1, zero, e8, m1, ta, ma
  75 ; CHECK-NEXT:    vsll.vx v8, v8, a0
  76 ; CHECK-NEXT:    ret
  77   %head = insertelement <vscale x 8 x i8> poison, i8 %b, i32 0
  78   %splat = shufflevector <vscale x 8 x i8> %head, <vscale x 8 x i8> poison, <vscale x 8 x i32> zeroinitializer
  79   %vc = shl <vscale x 8 x i8> %va, %splat
  80   ret <vscale x 8 x i8> %vc
  81 }
  82
  83 define <vscale x 8 x i8> @vshl_vx_nxv8i8_0(<vscale x 8 x i8> %va) {
  84 ; CHECK-LABEL: vshl_vx_nxv8i8_0:
  85 ; CHECK:       # %bb.0:
  86 ; CHECK-NEXT:    vsetvli a0, zero, e8, m1, ta, ma
  87 ; CHECK-NEXT:    vsll.vi v8, v8, 6
  88 ; CHECK-NEXT:    ret
  89   %vc = shl <vscale x 8 x i8> %va, splat (i8 6)
  90   ret <vscale x 8 x i8> %vc
  91 }
  92
  93 define <vscale x 16 x i8> @vshl_vx_nxv16i8(<vscale x 16 x i8> %va, i8 signext %b) {
  94 ; CHECK-LABEL: vshl_vx_nxv16i8:
  95 ; CHECK:       # %bb.0:
  96 ; CHECK-NEXT:    vsetvli a1, zero, e8, m2, ta, ma
  97 ; CHECK-NEXT:    vsll.vx v8, v8, a0
  98 ; CHECK-NEXT:    ret
  99   %head = insertelement <vscale x 16 x i8> poison, i8 %b, i32 0
 100   %splat = shufflevector <vscale x 16 x i8> %head, <vscale x 16 x i8> poison, <vscale x 16 x i32> zeroinitializer
 101   %vc = shl <vscale x 16 x i8> %va, %splat
 102   ret <vscale x 16 x i8> %vc
 103 }
 104
 105 define <vscale x 16 x i8> @vshl_vx_nxv16i8_0(<vscale x 16 x i8> %va) {
 106 ; CHECK-LABEL: vshl_vx_nxv16i8_0:
 107 ; CHECK:       # %bb.0:
 108 ; CHECK-NEXT:    vsetvli a0, zero, e8, m2, ta, ma
 109 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 110 ; CHECK-NEXT:    ret
 111   %vc = shl <vscale x 16 x i8> %va, splat (i8 6)
 112   ret <vscale x 16 x i8> %vc
 113 }
 114
 115 define <vscale x 32 x i8> @vshl_vx_nxv32i8(<vscale x 32 x i8> %va, i8 signext %b) {
 116 ; CHECK-LABEL: vshl_vx_nxv32i8:
 117 ; CHECK:       # %bb.0:
 118 ; CHECK-NEXT:    vsetvli a1, zero, e8, m4, ta, ma
 119 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 120 ; CHECK-NEXT:    ret
 121   %head = insertelement <vscale x 32 x i8> poison, i8 %b, i32 0
 122   %splat = shufflevector <vscale x 32 x i8> %head, <vscale x 32 x i8> poison, <vscale x 32 x i32> zeroinitializer
 123   %vc = shl <vscale x 32 x i8> %va, %splat
 124   ret <vscale x 32 x i8> %vc
 125 }
 126
 127 define <vscale x 32 x i8> @vshl_vx_nxv32i8_0(<vscale x 32 x i8> %va) {
 128 ; CHECK-LABEL: vshl_vx_nxv32i8_0:
 129 ; CHECK:       # %bb.0:
 130 ; CHECK-NEXT:    vsetvli a0, zero, e8, m4, ta, ma
 131 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 132 ; CHECK-NEXT:    ret
 133   %vc = shl <vscale x 32 x i8> %va, splat (i8 6)
 134   ret <vscale x 32 x i8> %vc
 135 }
 136
 137 define <vscale x 64 x i8> @vshl_vx_nxv64i8(<vscale x 64 x i8> %va, i8 signext %b) {
 138 ; CHECK-LABEL: vshl_vx_nxv64i8:
 139 ; CHECK:       # %bb.0:
 140 ; CHECK-NEXT:    vsetvli a1, zero, e8, m8, ta, ma
 141 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 142 ; CHECK-NEXT:    ret
 143   %head = insertelement <vscale x 64 x i8> poison, i8 %b, i32 0
 144   %splat = shufflevector <vscale x 64 x i8> %head, <vscale x 64 x i8> poison, <vscale x 64 x i32> zeroinitializer
 145   %vc = shl <vscale x 64 x i8> %va, %splat
 146   ret <vscale x 64 x i8> %vc
 147 }
 148
 149 define <vscale x 64 x i8> @vshl_vx_nxv64i8_0(<vscale x 64 x i8> %va) {
 150 ; CHECK-LABEL: vshl_vx_nxv64i8_0:
 151 ; CHECK:       # %bb.0:
 152 ; CHECK-NEXT:    vsetvli a0, zero, e8, m8, ta, ma
 153 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 154 ; CHECK-NEXT:    ret
 155   %vc = shl <vscale x 64 x i8> %va, splat (i8 6)
 156   ret <vscale x 64 x i8> %vc
 157 }
 158
 159 define <vscale x 1 x i16> @vshl_vx_nxv1i16(<vscale x 1 x i16> %va, i16 signext %b) {
 160 ; CHECK-LABEL: vshl_vx_nxv1i16:
 161 ; CHECK:       # %bb.0:
 162 ; CHECK-NEXT:    vsetvli a1, zero, e16, mf4, ta, ma
 163 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 164 ; CHECK-NEXT:    ret
 165   %head = insertelement <vscale x 1 x i16> poison, i16 %b, i32 0
 166   %splat = shufflevector <vscale x 1 x i16> %head, <vscale x 1 x i16> poison, <vscale x 1 x i32> zeroinitializer
 167   %vc = shl <vscale x 1 x i16> %va, %splat
 168   ret <vscale x 1 x i16> %vc
 169 }
 170
 171 define <vscale x 1 x i16> @vshl_vx_nxv1i16_0(<vscale x 1 x i16> %va) {
 172 ; CHECK-LABEL: vshl_vx_nxv1i16_0:
 173 ; CHECK:       # %bb.0:
 174 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
 175 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 176 ; CHECK-NEXT:    ret
 177   %vc = shl <vscale x 1 x i16> %va, splat (i16 6)
 178   ret <vscale x 1 x i16> %vc
 179 }
 180
 181 define <vscale x 2 x i16> @vshl_vx_nxv2i16(<vscale x 2 x i16> %va, i16 signext %b) {
 182 ; CHECK-LABEL: vshl_vx_nxv2i16:
 183 ; CHECK:       # %bb.0:
 184 ; CHECK-NEXT:    vsetvli a1, zero, e16, mf2, ta, ma
 185 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 186 ; CHECK-NEXT:    ret
 187   %head = insertelement <vscale x 2 x i16> poison, i16 %b, i32 0
 188   %splat = shufflevector <vscale x 2 x i16> %head, <vscale x 2 x i16> poison, <vscale x 2 x i32> zeroinitializer
 189   %vc = shl <vscale x 2 x i16> %va, %splat
 190   ret <vscale x 2 x i16> %vc
 191 }
 192
 193 define <vscale x 2 x i16> @vshl_vx_nxv2i16_0(<vscale x 2 x i16> %va) {
 194 ; CHECK-LABEL: vshl_vx_nxv2i16_0:
 195 ; CHECK:       # %bb.0:
 196 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
 197 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 198 ; CHECK-NEXT:    ret
 199   %vc = shl <vscale x 2 x i16> %va, splat (i16 6)
 200   ret <vscale x 2 x i16> %vc
 201 }
 202
 203 define <vscale x 4 x i16> @vshl_vx_nxv4i16(<vscale x 4 x i16> %va, i16 signext %b) {
 204 ; CHECK-LABEL: vshl_vx_nxv4i16:
 205 ; CHECK:       # %bb.0:
 206 ; CHECK-NEXT:    vsetvli a1, zero, e16, m1, ta, ma
 207 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 208 ; CHECK-NEXT:    ret
 209   %head = insertelement <vscale x 4 x i16> poison, i16 %b, i32 0
 210   %splat = shufflevector <vscale x 4 x i16> %head, <vscale x 4 x i16> poison, <vscale x 4 x i32> zeroinitializer
 211   %vc = shl <vscale x 4 x i16> %va, %splat
 212   ret <vscale x 4 x i16> %vc
 213 }
 214
 215 define <vscale x 4 x i16> @vshl_vx_nxv4i16_0(<vscale x 4 x i16> %va) {
 216 ; CHECK-LABEL: vshl_vx_nxv4i16_0:
 217 ; CHECK:       # %bb.0:
 218 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
 219 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 220 ; CHECK-NEXT:    ret
 221   %vc = shl <vscale x 4 x i16> %va, splat (i16 6)
 222   ret <vscale x 4 x i16> %vc
 223 }
 224
 225 define <vscale x 8 x i16> @vshl_vx_nxv8i16(<vscale x 8 x i16> %va, i16 signext %b) {
 226 ; CHECK-LABEL: vshl_vx_nxv8i16:
 227 ; CHECK:       # %bb.0:
 228 ; CHECK-NEXT:    vsetvli a1, zero, e16, m2, ta, ma
 229 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 230 ; CHECK-NEXT:    ret
 231   %head = insertelement <vscale x 8 x i16> poison, i16 %b, i32 0
 232   %splat = shufflevector <vscale x 8 x i16> %head, <vscale x 8 x i16> poison, <vscale x 8 x i32> zeroinitializer
 233   %vc = shl <vscale x 8 x i16> %va, %splat
 234   ret <vscale x 8 x i16> %vc
 235 }
 236
 237 define <vscale x 8 x i16> @vshl_vx_nxv8i16_0(<vscale x 8 x i16> %va) {
 238 ; CHECK-LABEL: vshl_vx_nxv8i16_0:
 239 ; CHECK:       # %bb.0:
 240 ; CHECK-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 241 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 242 ; CHECK-NEXT:    ret
 243   %vc = shl <vscale x 8 x i16> %va, splat (i16 6)
 244   ret <vscale x 8 x i16> %vc
 245 }
 246
 247 define <vscale x 16 x i16> @vshl_vx_nxv16i16(<vscale x 16 x i16> %va, i16 signext %b) {
 248 ; CHECK-LABEL: vshl_vx_nxv16i16:
 249 ; CHECK:       # %bb.0:
 250 ; CHECK-NEXT:    vsetvli a1, zero, e16, m4, ta, ma
 251 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 252 ; CHECK-NEXT:    ret
 253   %head = insertelement <vscale x 16 x i16> poison, i16 %b, i32 0
 254   %splat = shufflevector <vscale x 16 x i16> %head, <vscale x 16 x i16> poison, <vscale x 16 x i32> zeroinitializer
 255   %vc = shl <vscale x 16 x i16> %va, %splat
 256   ret <vscale x 16 x i16> %vc
 257 }
 258
 259 define <vscale x 16 x i16> @vshl_vx_nxv16i16_0(<vscale x 16 x i16> %va) {
 260 ; CHECK-LABEL: vshl_vx_nxv16i16_0:
 261 ; CHECK:       # %bb.0:
 262 ; CHECK-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 263 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 264 ; CHECK-NEXT:    ret
 265   %vc = shl <vscale x 16 x i16> %va, splat (i16 6)
 266   ret <vscale x 16 x i16> %vc
 267 }
 268
 269 define <vscale x 32 x i16> @vshl_vx_nxv32i16(<vscale x 32 x i16> %va, i16 signext %b) {
 270 ; CHECK-LABEL: vshl_vx_nxv32i16:
 271 ; CHECK:       # %bb.0:
 272 ; CHECK-NEXT:    vsetvli a1, zero, e16, m8, ta, ma
 273 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 274 ; CHECK-NEXT:    ret
 275   %head = insertelement <vscale x 32 x i16> poison, i16 %b, i32 0
 276   %splat = shufflevector <vscale x 32 x i16> %head, <vscale x 32 x i16> poison, <vscale x 32 x i32> zeroinitializer
 277   %vc = shl <vscale x 32 x i16> %va, %splat
 278   ret <vscale x 32 x i16> %vc
 279 }
 280
 281 define <vscale x 32 x i16> @vshl_vx_nxv32i16_0(<vscale x 32 x i16> %va) {
 282 ; CHECK-LABEL: vshl_vx_nxv32i16_0:
 283 ; CHECK:       # %bb.0:
 284 ; CHECK-NEXT:    vsetvli a0, zero, e16, m8, ta, ma
 285 ; CHECK-NEXT:    vsll.vi v8, v8, 6
 286 ; CHECK-NEXT:    ret
 287   %vc = shl <vscale x 32 x i16> %va, splat (i16 6)
 288   ret <vscale x 32 x i16> %vc
 289 }
 290
 291 define <vscale x 1 x i32> @vshl_vx_nxv1i32(<vscale x 1 x i32> %va, i32 signext %b) {
 292 ; CHECK-LABEL: vshl_vx_nxv1i32:
 293 ; CHECK:       # %bb.0:
 294 ; CHECK-NEXT:    vsetvli a1, zero, e32, mf2, ta, ma
 295 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 296 ; CHECK-NEXT:    ret
 297   %head = insertelement <vscale x 1 x i32> poison, i32 %b, i32 0
 298   %splat = shufflevector <vscale x 1 x i32> %head, <vscale x 1 x i32> poison, <vscale x 1 x i32> zeroinitializer
 299   %vc = shl <vscale x 1 x i32> %va, %splat
 300   ret <vscale x 1 x i32> %vc
 301 }
 302
 303 define <vscale x 1 x i32> @vshl_vx_nxv1i32_0(<vscale x 1 x i32> %va) {
 304 ; CHECK-LABEL: vshl_vx_nxv1i32_0:
 305 ; CHECK:       # %bb.0:
 306 ; CHECK-NEXT:    vsetvli a0, zero, e32, mf2, ta, ma
 307 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 308 ; CHECK-NEXT:    ret
 309   %vc = shl <vscale x 1 x i32> %va, splat (i32 31)
 310   ret <vscale x 1 x i32> %vc
 311 }
 312
 313 define <vscale x 2 x i32> @vshl_vx_nxv2i32(<vscale x 2 x i32> %va, i32 signext %b) {
 314 ; CHECK-LABEL: vshl_vx_nxv2i32:
 315 ; CHECK:       # %bb.0:
 316 ; CHECK-NEXT:    vsetvli a1, zero, e32, m1, ta, ma
 317 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 318 ; CHECK-NEXT:    ret
 319   %head = insertelement <vscale x 2 x i32> poison, i32 %b, i32 0
 320   %splat = shufflevector <vscale x 2 x i32> %head, <vscale x 2 x i32> poison, <vscale x 2 x i32> zeroinitializer
 321   %vc = shl <vscale x 2 x i32> %va, %splat
 322   ret <vscale x 2 x i32> %vc
 323 }
 324
 325 define <vscale x 2 x i32> @vshl_vx_nxv2i32_0(<vscale x 2 x i32> %va) {
 326 ; CHECK-LABEL: vshl_vx_nxv2i32_0:
 327 ; CHECK:       # %bb.0:
 328 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, ta, ma
 329 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 330 ; CHECK-NEXT:    ret
 331   %vc = shl <vscale x 2 x i32> %va, splat (i32 31)
 332   ret <vscale x 2 x i32> %vc
 333 }
 334
 335 define <vscale x 4 x i32> @vshl_vx_nxv4i32(<vscale x 4 x i32> %va, i32 signext %b) {
 336 ; CHECK-LABEL: vshl_vx_nxv4i32:
 337 ; CHECK:       # %bb.0:
 338 ; CHECK-NEXT:    vsetvli a1, zero, e32, m2, ta, ma
 339 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 340 ; CHECK-NEXT:    ret
 341   %head = insertelement <vscale x 4 x i32> poison, i32 %b, i32 0
 342   %splat = shufflevector <vscale x 4 x i32> %head, <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer
 343   %vc = shl <vscale x 4 x i32> %va, %splat
 344   ret <vscale x 4 x i32> %vc
 345 }
 346
 347 define <vscale x 4 x i32> @vshl_vx_nxv4i32_0(<vscale x 4 x i32> %va) {
 348 ; CHECK-LABEL: vshl_vx_nxv4i32_0:
 349 ; CHECK:       # %bb.0:
 350 ; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
 351 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 352 ; CHECK-NEXT:    ret
 353   %vc = shl <vscale x 4 x i32> %va, splat (i32 31)
 354   ret <vscale x 4 x i32> %vc
 355 }
 356
 357 define <vscale x 8 x i32> @vshl_vx_nxv8i32(<vscale x 8 x i32> %va, i32 signext %b) {
 358 ; CHECK-LABEL: vshl_vx_nxv8i32:
 359 ; CHECK:       # %bb.0:
 360 ; CHECK-NEXT:    vsetvli a1, zero, e32, m4, ta, ma
 361 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 362 ; CHECK-NEXT:    ret
 363   %head = insertelement <vscale x 8 x i32> poison, i32 %b, i32 0
 364   %splat = shufflevector <vscale x 8 x i32> %head, <vscale x 8 x i32> poison, <vscale x 8 x i32> zeroinitializer
 365   %vc = shl <vscale x 8 x i32> %va, %splat
 366   ret <vscale x 8 x i32> %vc
 367 }
 368
 369 define <vscale x 8 x i32> @vshl_vx_nxv8i32_0(<vscale x 8 x i32> %va) {
 370 ; CHECK-LABEL: vshl_vx_nxv8i32_0:
 371 ; CHECK:       # %bb.0:
 372 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 373 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 374 ; CHECK-NEXT:    ret
 375   %vc = shl <vscale x 8 x i32> %va, splat (i32 31)
 376   ret <vscale x 8 x i32> %vc
 377 }
 378
 379 define <vscale x 16 x i32> @vshl_vx_nxv16i32(<vscale x 16 x i32> %va, i32 signext %b) {
 380 ; CHECK-LABEL: vshl_vx_nxv16i32:
 381 ; CHECK:       # %bb.0:
 382 ; CHECK-NEXT:    vsetvli a1, zero, e32, m8, ta, ma
 383 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 384 ; CHECK-NEXT:    ret
 385   %head = insertelement <vscale x 16 x i32> poison, i32 %b, i32 0
 386   %splat = shufflevector <vscale x 16 x i32> %head, <vscale x 16 x i32> poison, <vscale x 16 x i32> zeroinitializer
 387   %vc = shl <vscale x 16 x i32> %va, %splat
 388   ret <vscale x 16 x i32> %vc
 389 }
 390
 391 define <vscale x 16 x i32> @vshl_vx_nxv16i32_0(<vscale x 16 x i32> %va) {
 392 ; CHECK-LABEL: vshl_vx_nxv16i32_0:
 393 ; CHECK:       # %bb.0:
 394 ; CHECK-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 395 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 396 ; CHECK-NEXT:    ret
 397   %vc = shl <vscale x 16 x i32> %va, splat (i32 31)
 398   ret <vscale x 16 x i32> %vc
 399 }
 400
 401 define <vscale x 1 x i64> @vshl_vx_nxv1i64(<vscale x 1 x i64> %va, i64 %b) {
 402 ; CHECK-LABEL: vshl_vx_nxv1i64:
 403 ; CHECK:       # %bb.0:
 404 ; CHECK-NEXT:    vsetvli a1, zero, e64, m1, ta, ma
 405 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 406 ; CHECK-NEXT:    ret
 407   %head = insertelement <vscale x 1 x i64> poison, i64 %b, i32 0
 408   %splat = shufflevector <vscale x 1 x i64> %head, <vscale x 1 x i64> poison, <vscale x 1 x i32> zeroinitializer
 409   %vc = shl <vscale x 1 x i64> %va, %splat
 410   ret <vscale x 1 x i64> %vc
 411 }
 412
 413 define <vscale x 1 x i64> @vshl_vx_nxv1i64_0(<vscale x 1 x i64> %va) {
 414 ; CHECK-LABEL: vshl_vx_nxv1i64_0:
 415 ; CHECK:       # %bb.0:
 416 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, ta, ma
 417 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 418 ; CHECK-NEXT:    ret
 419   %vc = shl <vscale x 1 x i64> %va, splat (i64 31)
 420   ret <vscale x 1 x i64> %vc
 421 }
 422
 423 define <vscale x 1 x i64> @vshl_vx_nxv1i64_1(<vscale x 1 x i64> %va) {
 424 ; CHECK-LABEL: vshl_vx_nxv1i64_1:
 425 ; CHECK:       # %bb.0:
 426 ; CHECK-NEXT:    li a0, 32
 427 ; CHECK-NEXT:    vsetvli a1, zero, e64, m1, ta, ma
 428 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 429 ; CHECK-NEXT:    ret
 430   %vc = shl <vscale x 1 x i64> %va, splat (i64 32)
 431   ret <vscale x 1 x i64> %vc
 432 }
 433
 434 define <vscale x 1 x i64> @vshl_vx_nxv1i64_2(<vscale x 1 x i64> %va) {
 435 ; CHECK-LABEL: vshl_vx_nxv1i64_2:
 436 ; CHECK:       # %bb.0:
 437 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, ta, ma
 438 ; CHECK-NEXT:    vadd.vv v8, v8, v8
 439 ; CHECK-NEXT:    ret
 440   %vc = shl <vscale x 1 x i64> %va, splat (i64 1)
 441   ret <vscale x 1 x i64> %vc
 442 }
 443
 444 define <vscale x 2 x i64> @vshl_vx_nxv2i64(<vscale x 2 x i64> %va, i64 %b) {
 445 ; CHECK-LABEL: vshl_vx_nxv2i64:
 446 ; CHECK:       # %bb.0:
 447 ; CHECK-NEXT:    vsetvli a1, zero, e64, m2, ta, ma
 448 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 449 ; CHECK-NEXT:    ret
 450   %head = insertelement <vscale x 2 x i64> poison, i64 %b, i32 0
 451   %splat = shufflevector <vscale x 2 x i64> %head, <vscale x 2 x i64> poison, <vscale x 2 x i32> zeroinitializer
 452   %vc = shl <vscale x 2 x i64> %va, %splat
 453   ret <vscale x 2 x i64> %vc
 454 }
 455
 456 define <vscale x 2 x i64> @vshl_vx_nxv2i64_0(<vscale x 2 x i64> %va) {
 457 ; CHECK-LABEL: vshl_vx_nxv2i64_0:
 458 ; CHECK:       # %bb.0:
 459 ; CHECK-NEXT:    vsetvli a0, zero, e64, m2, ta, ma
 460 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 461 ; CHECK-NEXT:    ret
 462   %vc = shl <vscale x 2 x i64> %va, splat (i64 31)
 463   ret <vscale x 2 x i64> %vc
 464 }
 465
 466 define <vscale x 2 x i64> @vshl_vx_nxv2i64_1(<vscale x 2 x i64> %va) {
 467 ; CHECK-LABEL: vshl_vx_nxv2i64_1:
 468 ; CHECK:       # %bb.0:
 469 ; CHECK-NEXT:    li a0, 32
 470 ; CHECK-NEXT:    vsetvli a1, zero, e64, m2, ta, ma
 471 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 472 ; CHECK-NEXT:    ret
 473   %vc = shl <vscale x 2 x i64> %va, splat (i64 32)
 474   ret <vscale x 2 x i64> %vc
 475 }
 476
 477 define <vscale x 2 x i64> @vshl_vx_nxv2i64_2(<vscale x 2 x i64> %va) {
 478 ; CHECK-LABEL: vshl_vx_nxv2i64_2:
 479 ; CHECK:       # %bb.0:
 480 ; CHECK-NEXT:    vsetvli a0, zero, e64, m2, ta, ma
 481 ; CHECK-NEXT:    vadd.vv v8, v8, v8
 482 ; CHECK-NEXT:    ret
 483   %vc = shl <vscale x 2 x i64> %va, splat (i64 1)
 484   ret <vscale x 2 x i64> %vc
 485 }
 486
 487 define <vscale x 4 x i64> @vshl_vx_nxv4i64(<vscale x 4 x i64> %va, i64 %b) {
 488 ; CHECK-LABEL: vshl_vx_nxv4i64:
 489 ; CHECK:       # %bb.0:
 490 ; CHECK-NEXT:    vsetvli a1, zero, e64, m4, ta, ma
 491 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 492 ; CHECK-NEXT:    ret
 493   %head = insertelement <vscale x 4 x i64> poison, i64 %b, i32 0
 494   %splat = shufflevector <vscale x 4 x i64> %head, <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer
 495   %vc = shl <vscale x 4 x i64> %va, %splat
 496   ret <vscale x 4 x i64> %vc
 497 }
 498
 499 define <vscale x 4 x i64> @vshl_vx_nxv4i64_0(<vscale x 4 x i64> %va) {
 500 ; CHECK-LABEL: vshl_vx_nxv4i64_0:
 501 ; CHECK:       # %bb.0:
 502 ; CHECK-NEXT:    vsetvli a0, zero, e64, m4, ta, ma
 503 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 504 ; CHECK-NEXT:    ret
 505   %vc = shl <vscale x 4 x i64> %va, splat (i64 31)
 506   ret <vscale x 4 x i64> %vc
 507 }
 508
 509 define <vscale x 4 x i64> @vshl_vx_nxv4i64_1(<vscale x 4 x i64> %va) {
 510 ; CHECK-LABEL: vshl_vx_nxv4i64_1:
 511 ; CHECK:       # %bb.0:
 512 ; CHECK-NEXT:    li a0, 32
 513 ; CHECK-NEXT:    vsetvli a1, zero, e64, m4, ta, ma
 514 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 515 ; CHECK-NEXT:    ret
 516   %vc = shl <vscale x 4 x i64> %va, splat (i64 32)
 517   ret <vscale x 4 x i64> %vc
 518 }
 519
 520 define <vscale x 4 x i64> @vshl_vx_nxv4i64_2(<vscale x 4 x i64> %va) {
 521 ; CHECK-LABEL: vshl_vx_nxv4i64_2:
 522 ; CHECK:       # %bb.0:
 523 ; CHECK-NEXT:    vsetvli a0, zero, e64, m4, ta, ma
 524 ; CHECK-NEXT:    vadd.vv v8, v8, v8
 525 ; CHECK-NEXT:    ret
 526   %vc = shl <vscale x 4 x i64> %va, splat (i64 1)
 527   ret <vscale x 4 x i64> %vc
 528 }
 529
 530 define <vscale x 8 x i64> @vshl_vx_nxv8i64(<vscale x 8 x i64> %va, i64 %b) {
 531 ; CHECK-LABEL: vshl_vx_nxv8i64:
 532 ; CHECK:       # %bb.0:
 533 ; CHECK-NEXT:    vsetvli a1, zero, e64, m8, ta, ma
 534 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 535 ; CHECK-NEXT:    ret
 536   %head = insertelement <vscale x 8 x i64> poison, i64 %b, i32 0
 537   %splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> poison, <vscale x 8 x i32> zeroinitializer
 538   %vc = shl <vscale x 8 x i64> %va, %splat
 539   ret <vscale x 8 x i64> %vc
 540 }
 541
 542 define <vscale x 8 x i64> @vshl_vx_nxv8i64_0(<vscale x 8 x i64> %va) {
 543 ; CHECK-LABEL: vshl_vx_nxv8i64_0:
 544 ; CHECK:       # %bb.0:
 545 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 546 ; CHECK-NEXT:    vsll.vi v8, v8, 31
 547 ; CHECK-NEXT:    ret
 548   %vc = shl <vscale x 8 x i64> %va, splat (i64 31)
 549   ret <vscale x 8 x i64> %vc
 550 }
 551
 552 define <vscale x 8 x i64> @vshl_vx_nxv8i64_1(<vscale x 8 x i64> %va) {
 553 ; CHECK-LABEL: vshl_vx_nxv8i64_1:
 554 ; CHECK:       # %bb.0:
 555 ; CHECK-NEXT:    li a0, 32
 556 ; CHECK-NEXT:    vsetvli a1, zero, e64, m8, ta, ma
 557 ; CHECK-NEXT:    vsll.vx v8, v8, a0
 558 ; CHECK-NEXT:    ret
 559   %vc = shl <vscale x 8 x i64> %va, splat (i64 32)
 560   ret <vscale x 8 x i64> %vc
 561 }
 562
 563 define <vscale x 8 x i64> @vshl_vx_nxv8i64_2(<vscale x 8 x i64> %va) {
 564 ; CHECK-LABEL: vshl_vx_nxv8i64_2:
 565 ; CHECK:       # %bb.0:
 566 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 567 ; CHECK-NEXT:    vadd.vv v8, v8, v8
 568 ; CHECK-NEXT:    ret
 569   %vc = shl <vscale x 8 x i64> %va, splat (i64 1)
 570   ret <vscale x 8 x i64> %vc
 571 }
 572
 573 define <vscale x 8 x i32> @vshl_vv_mask_nxv4i32(<vscale x 8 x i32> %va, <vscale x 8 x i32> %vb, <vscale x 8 x i1> %mask) {
 574 ; CHECK-LABEL: vshl_vv_mask_nxv4i32:
 575 ; CHECK:       # %bb.0:
 576 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, mu
 577 ; CHECK-NEXT:    vsll.vv v8, v8, v12, v0.t
 578 ; CHECK-NEXT:    ret
 579   %vs = select <vscale x 8 x i1> %mask, <vscale x 8 x i32> %vb, <vscale x 8 x i32> zeroinitializer
 580   %vc = shl <vscale x 8 x i32> %va, %vs
 581   ret <vscale x 8 x i32> %vc
 582 }
 583
 584 define <vscale x 8 x i32> @vshl_vx_mask_nxv8i32(<vscale x 8 x i32> %va, i32 signext %b, <vscale x 8 x i1> %mask) {
 585 ; CHECK-LABEL: vshl_vx_mask_nxv8i32:
 586 ; CHECK:       # %bb.0:
 587 ; CHECK-NEXT:    vsetvli a1, zero, e32, m4, ta, mu
 588 ; CHECK-NEXT:    vsll.vx v8, v8, a0, v0.t
 589 ; CHECK-NEXT:    ret
 590   %head = insertelement <vscale x 8 x i32> poison, i32 %b, i32 0
 591   %splat = shufflevector <vscale x 8 x i32> %head, <vscale x 8 x i32> poison, <vscale x 8 x i32> zeroinitializer
 592   %vs = select <vscale x 8 x i1> %mask, <vscale x 8 x i32> %splat, <vscale x 8 x i32> zeroinitializer
 593   %vc = shl <vscale x 8 x i32> %va, %vs
 594   ret <vscale x 8 x i32> %vc
 595 }
 596
 597 define <vscale x 8 x i32> @vshl_vi_mask_nxv8i32(<vscale x 8 x i32> %va, <vscale x 8 x i1> %mask) {
 598 ; CHECK-LABEL: vshl_vi_mask_nxv8i32:
 599 ; CHECK:       # %bb.0:
 600 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, mu
 601 ; CHECK-NEXT:    vsll.vi v8, v8, 31, v0.t
 602 ; CHECK-NEXT:    ret
 603   %vs = select <vscale x 8 x i1> %mask, <vscale x 8 x i32> splat (i32 31), <vscale x 8 x i32> zeroinitializer
 604   %vc = shl <vscale x 8 x i32> %va, %vs
 605   ret <vscale x 8 x i32> %vc
 606 }