llvm/test/CodeGen/AArch64/ext-narrow-index.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=aarch64 | FileCheck %s --check-prefixes=CHECK,CHECK-SD
   3 ; RUN: llc < %s -global-isel -mtriple=aarch64 | FileCheck %s --check-prefixes=CHECK,CHECK-GISEL
   4
   5 ; Tests of shufflevector where the index operand is half the width of the vector
   6 ; operands. We should get one ext instruction and not two.
   7
   8 ; i8 tests
   9 define <8 x i8> @i8_off0(<16 x i8> %arg1, <16 x i8> %arg2) {
  10 ; CHECK-LABEL: i8_off0:
  11 ; CHECK:       // %bb.0: // %entry
  12 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  13 ; CHECK-NEXT:    ret
  14 entry:
  15   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> %arg2, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  16   ret <8 x i8> %shuffle
  17 }
  18
  19 define <8 x i8> @i8_off1(<16 x i8> %arg1, <16 x i8> %arg2) {
  20 ; CHECK-SD-LABEL: i8_off1:
  21 ; CHECK-SD:       // %bb.0: // %entry
  22 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #1
  23 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
  24 ; CHECK-SD-NEXT:    ret
  25 ;
  26 ; CHECK-GISEL-LABEL: i8_off1:
  27 ; CHECK-GISEL:       // %bb.0: // %entry
  28 ; CHECK-GISEL-NEXT:    ext v0.16b, v0.16b, v1.16b, #1
  29 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
  30 ; CHECK-GISEL-NEXT:    ret
  31 entry:
  32   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> %arg2, <8 x i32> <i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8>
  33   ret <8 x i8> %shuffle
  34 }
  35
  36 define <8 x i8> @i8_off8(<16 x i8> %arg1, <16 x i8> %arg2) {
  37 ; CHECK-SD-LABEL: i8_off8:
  38 ; CHECK-SD:       // %bb.0: // %entry
  39 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  40 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
  41 ; CHECK-SD-NEXT:    ret
  42 ;
  43 ; CHECK-GISEL-LABEL: i8_off8:
  44 ; CHECK-GISEL:       // %bb.0: // %entry
  45 ; CHECK-GISEL-NEXT:    ext v0.16b, v0.16b, v1.16b, #8
  46 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
  47 ; CHECK-GISEL-NEXT:    ret
  48 entry:
  49   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> %arg2, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
  50   ret <8 x i8> %shuffle
  51 }
  52
  53 define <8 x i8> @i8_off15(<16 x i8> %arg1, <16 x i8> %arg2) {
  54 ; CHECK-LABEL: i8_off15:
  55 ; CHECK:       // %bb.0: // %entry
  56 ; CHECK-NEXT:    ext v0.16b, v0.16b, v1.16b, #15
  57 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  58 ; CHECK-NEXT:    ret
  59 entry:
  60   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> %arg2, <8 x i32> <i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22>
  61   ret <8 x i8> %shuffle
  62 }
  63
  64 define <8 x i8> @i8_off22(<16 x i8> %arg1, <16 x i8> %arg2) {
  65 ; CHECK-SD-LABEL: i8_off22:
  66 ; CHECK-SD:       // %bb.0: // %entry
  67 ; CHECK-SD-NEXT:    ext v0.16b, v1.16b, v1.16b, #6
  68 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
  69 ; CHECK-SD-NEXT:    ret
  70 ;
  71 ; CHECK-GISEL-LABEL: i8_off22:
  72 ; CHECK-GISEL:       // %bb.0: // %entry
  73 ; CHECK-GISEL-NEXT:    ext v0.16b, v1.16b, v0.16b, #6
  74 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
  75 ; CHECK-GISEL-NEXT:    ret
  76 entry:
  77   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> %arg2, <8 x i32> <i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29>
  78   ret <8 x i8> %shuffle
  79 }
  80
  81 ; i16 tests
  82 define <4 x i16> @i16_off0(<8 x i16> %arg1, <8 x i16> %arg2) {
  83 ; CHECK-LABEL: i16_off0:
  84 ; CHECK:       // %bb.0: // %entry
  85 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  86 ; CHECK-NEXT:    ret
  87 entry:
  88   %shuffle = shufflevector <8 x i16> %arg1, <8 x i16> %arg2, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  89   ret <4 x i16> %shuffle
  90 }
  91
  92 define <4 x i16> @i16_off1(<8 x i16> %arg1, <8 x i16> %arg2) {
  93 ; CHECK-SD-LABEL: i16_off1:
  94 ; CHECK-SD:       // %bb.0: // %entry
  95 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #2
  96 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
  97 ; CHECK-SD-NEXT:    ret
  98 ;
  99 ; CHECK-GISEL-LABEL: i16_off1:
 100 ; CHECK-GISEL:       // %bb.0: // %entry
 101 ; CHECK-GISEL-NEXT:    ext v0.16b, v0.16b, v1.16b, #2
 102 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
 103 ; CHECK-GISEL-NEXT:    ret
 104 entry:
 105   %shuffle = shufflevector <8 x i16> %arg1, <8 x i16> %arg2, <4 x i32> <i32 1, i32 2, i32 3, i32 4>
 106   ret <4 x i16> %shuffle
 107 }
 108
 109 define <4 x i16> @i16_off7(<8 x i16> %arg1, <8 x i16> %arg2) {
 110 ; CHECK-LABEL: i16_off7:
 111 ; CHECK:       // %bb.0: // %entry
 112 ; CHECK-NEXT:    ext v0.16b, v0.16b, v1.16b, #14
 113 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 114 ; CHECK-NEXT:    ret
 115 entry:
 116   %shuffle = shufflevector <8 x i16> %arg1, <8 x i16> %arg2, <4 x i32> <i32 7, i32 8, i32 9, i32 10>
 117   ret <4 x i16> %shuffle
 118 }
 119
 120 define <4 x i16> @i16_off8(<8 x i16> %arg1, <8 x i16> %arg2) {
 121 ; CHECK-LABEL: i16_off8:
 122 ; CHECK:       // %bb.0: // %entry
 123 ; CHECK-NEXT:    mov v0.16b, v1.16b
 124 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 125 ; CHECK-NEXT:    ret
 126 entry:
 127   %shuffle = shufflevector <8 x i16> %arg1, <8 x i16> %arg2, <4 x i32> <i32 8, i32 9, i32 10, i32 11>
 128   ret <4 x i16> %shuffle
 129 }
 130
 131 ; i32 tests
 132 define <2 x i32> @i32_off0(<4 x i32> %arg1, <4 x i32> %arg2) {
 133 ; CHECK-LABEL: i32_off0:
 134 ; CHECK:       // %bb.0: // %entry
 135 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 136 ; CHECK-NEXT:    ret
 137 entry:
 138   %shuffle = shufflevector <4 x i32> %arg1, <4 x i32> %arg2, <2 x i32> <i32 0, i32 1>
 139   ret <2 x i32> %shuffle
 140 }
 141
 142 define <2 x i32> @i32_off1(<4 x i32> %arg1, <4 x i32> %arg2) {
 143 ; CHECK-SD-LABEL: i32_off1:
 144 ; CHECK-SD:       // %bb.0: // %entry
 145 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #4
 146 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 147 ; CHECK-SD-NEXT:    ret
 148 ;
 149 ; CHECK-GISEL-LABEL: i32_off1:
 150 ; CHECK-GISEL:       // %bb.0: // %entry
 151 ; CHECK-GISEL-NEXT:    ext v0.16b, v0.16b, v1.16b, #4
 152 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
 153 ; CHECK-GISEL-NEXT:    ret
 154 entry:
 155   %shuffle = shufflevector <4 x i32> %arg1, <4 x i32> %arg2, <2 x i32> <i32 1, i32 2>
 156   ret <2 x i32> %shuffle
 157 }
 158
 159 define <2 x i32> @i32_off3(<4 x i32> %arg1, <4 x i32> %arg2) {
 160 ; CHECK-LABEL: i32_off3:
 161 ; CHECK:       // %bb.0: // %entry
 162 ; CHECK-NEXT:    ext v0.16b, v0.16b, v1.16b, #12
 163 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 164 ; CHECK-NEXT:    ret
 165 entry:
 166   %shuffle = shufflevector <4 x i32> %arg1, <4 x i32> %arg2, <2 x i32> <i32 3, i32 4>
 167   ret <2 x i32> %shuffle
 168 }
 169
 170 define <2 x i32> @i32_off4(<4 x i32> %arg1, <4 x i32> %arg2) {
 171 ; CHECK-LABEL: i32_off4:
 172 ; CHECK:       // %bb.0: // %entry
 173 ; CHECK-NEXT:    mov v0.16b, v1.16b
 174 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 175 ; CHECK-NEXT:    ret
 176 entry:
 177   %shuffle = shufflevector <4 x i32> %arg1, <4 x i32> %arg2, <2 x i32> <i32 4, i32 5>
 178   ret <2 x i32> %shuffle
 179 }
 180
 181 ; i64 tests
 182 define <1 x i64> @i64_off0(<2 x i64> %arg1, <2 x i64> %arg2) {
 183 ; CHECK-LABEL: i64_off0:
 184 ; CHECK:       // %bb.0: // %entry
 185 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 186 ; CHECK-NEXT:    ret
 187 entry:
 188   %shuffle = shufflevector <2 x i64> %arg1, <2 x i64> %arg2, <1 x i32> <i32 0>
 189   ret <1 x i64> %shuffle
 190 }
 191
 192 define <1 x i64> @i64_off1(<2 x i64> %arg1, <2 x i64> %arg2) {
 193 ; CHECK-SD-LABEL: i64_off1:
 194 ; CHECK-SD:       // %bb.0: // %entry
 195 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
 196 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 197 ; CHECK-SD-NEXT:    ret
 198 ;
 199 ; CHECK-GISEL-LABEL: i64_off1:
 200 ; CHECK-GISEL:       // %bb.0: // %entry
 201 ; CHECK-GISEL-NEXT:    mov d0, v0.d[1]
 202 ; CHECK-GISEL-NEXT:    ret
 203 entry:
 204   %shuffle = shufflevector <2 x i64> %arg1, <2 x i64> %arg2, <1 x i32> <i32 1>
 205   ret <1 x i64> %shuffle
 206 }
 207
 208 define <1 x i64> @i64_off2(<2 x i64> %arg1, <2 x i64> %arg2) {
 209 ; CHECK-LABEL: i64_off2:
 210 ; CHECK:       // %bb.0: // %entry
 211 ; CHECK-NEXT:    mov v0.16b, v1.16b
 212 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 213 ; CHECK-NEXT:    ret
 214 entry:
 215   %shuffle = shufflevector <2 x i64> %arg1, <2 x i64> %arg2, <1 x i32> <i32 2>
 216   ret <1 x i64> %shuffle
 217 }
 218
 219 ; i8 tests with second operand zero
 220 define <8 x i8> @i8_zero_off0(<16 x i8> %arg1) {
 221 ; CHECK-LABEL: i8_zero_off0:
 222 ; CHECK:       // %bb.0: // %entry
 223 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 224 ; CHECK-NEXT:    ret
 225 entry:
 226   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> zeroinitializer, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
 227   ret <8 x i8> %shuffle
 228 }
 229
 230 define <8 x i8> @i8_zero_off1(<16 x i8> %arg1) {
 231 ; CHECK-SD-LABEL: i8_zero_off1:
 232 ; CHECK-SD:       // %bb.0: // %entry
 233 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #1
 234 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 235 ; CHECK-SD-NEXT:    ret
 236 ;
 237 ; CHECK-GISEL-LABEL: i8_zero_off1:
 238 ; CHECK-GISEL:       // %bb.0: // %entry
 239 ; CHECK-GISEL-NEXT:    movi v1.2d, #0000000000000000
 240 ; CHECK-GISEL-NEXT:    ext v0.16b, v0.16b, v1.16b, #1
 241 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
 242 ; CHECK-GISEL-NEXT:    ret
 243 entry:
 244   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> zeroinitializer, <8 x i32> <i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8>
 245   ret <8 x i8> %shuffle
 246 }
 247
 248 define <8 x i8> @i8_zero_off8(<16 x i8> %arg1) {
 249 ; CHECK-SD-LABEL: i8_zero_off8:
 250 ; CHECK-SD:       // %bb.0: // %entry
 251 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
 252 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 253 ; CHECK-SD-NEXT:    ret
 254 ;
 255 ; CHECK-GISEL-LABEL: i8_zero_off8:
 256 ; CHECK-GISEL:       // %bb.0: // %entry
 257 ; CHECK-GISEL-NEXT:    movi v1.2d, #0000000000000000
 258 ; CHECK-GISEL-NEXT:    ext v0.16b, v0.16b, v1.16b, #8
 259 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
 260 ; CHECK-GISEL-NEXT:    ret
 261 entry:
 262   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> zeroinitializer, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
 263   ret <8 x i8> %shuffle
 264 }
 265
 266 define <8 x i8> @i8_zero_off15(<16 x i8> %arg1) {
 267 ; CHECK-LABEL: i8_zero_off15:
 268 ; CHECK:       // %bb.0: // %entry
 269 ; CHECK-NEXT:    movi v1.2d, #0000000000000000
 270 ; CHECK-NEXT:    ext v0.16b, v0.16b, v1.16b, #15
 271 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 272 ; CHECK-NEXT:    ret
 273 entry:
 274   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> zeroinitializer, <8 x i32> <i32 15, i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22>
 275   ret <8 x i8> %shuffle
 276 }
 277
 278 define <8 x i8> @i8_zero_off22(<16 x i8> %arg1) {
 279 ; CHECK-SD-LABEL: i8_zero_off22:
 280 ; CHECK-SD:       // %bb.0: // %entry
 281 ; CHECK-SD-NEXT:    movi v0.2d, #0000000000000000
 282 ; CHECK-SD-NEXT:    ret
 283 ;
 284 ; CHECK-GISEL-LABEL: i8_zero_off22:
 285 ; CHECK-GISEL:       // %bb.0: // %entry
 286 ; CHECK-GISEL-NEXT:    movi v1.2d, #0000000000000000
 287 ; CHECK-GISEL-NEXT:    ext v0.16b, v1.16b, v0.16b, #6
 288 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
 289 ; CHECK-GISEL-NEXT:    ret
 290 entry:
 291   %shuffle = shufflevector <16 x i8> %arg1, <16 x i8> zeroinitializer, <8 x i32> <i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29>
 292   ret <8 x i8> %shuffle
 293 }
 294
 295 ; i16 tests with second operand zero
 296 define <4 x i16> @i16_zero_off0(<8 x i16> %arg1) {
 297 ; CHECK-LABEL: i16_zero_off0:
 298 ; CHECK:       // %bb.0: // %entry
 299 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 300 ; CHECK-NEXT:    ret
 301 entry:
 302   %shuffle = shufflevector <8 x i16> %arg1, <8 x i16> zeroinitializer, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 303   ret <4 x i16> %shuffle
 304 }
 305
 306 define <4 x i16> @i16_zero_off1(<8 x i16> %arg1) {
 307 ; CHECK-SD-LABEL: i16_zero_off1:
 308 ; CHECK-SD:       // %bb.0: // %entry
 309 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #2
 310 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 311 ; CHECK-SD-NEXT:    ret
 312 ;
 313 ; CHECK-GISEL-LABEL: i16_zero_off1:
 314 ; CHECK-GISEL:       // %bb.0: // %entry
 315 ; CHECK-GISEL-NEXT:    movi v1.2d, #0000000000000000
 316 ; CHECK-GISEL-NEXT:    ext v0.16b, v0.16b, v1.16b, #2
 317 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
 318 ; CHECK-GISEL-NEXT:    ret
 319 entry:
 320   %shuffle = shufflevector <8 x i16> %arg1, <8 x i16> zeroinitializer, <4 x i32> <i32 1, i32 2, i32 3, i32 4>
 321   ret <4 x i16> %shuffle
 322 }
 323
 324 define <4 x i16> @i16_zero_off7(<8 x i16> %arg1) {
 325 ; CHECK-LABEL: i16_zero_off7:
 326 ; CHECK:       // %bb.0: // %entry
 327 ; CHECK-NEXT:    movi v1.2d, #0000000000000000
 328 ; CHECK-NEXT:    ext v0.16b, v0.16b, v1.16b, #14
 329 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 330 ; CHECK-NEXT:    ret
 331 entry:
 332   %shuffle = shufflevector <8 x i16> %arg1, <8 x i16> zeroinitializer, <4 x i32> <i32 7, i32 8, i32 9, i32 10>
 333   ret <4 x i16> %shuffle
 334 }
 335
 336 define <4 x i16> @i16_zero_off8(<8 x i16> %arg1) {
 337 ; CHECK-LABEL: i16_zero_off8:
 338 ; CHECK:       // %bb.0: // %entry
 339 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
 340 ; CHECK-NEXT:    ret
 341 entry:
 342   %shuffle = shufflevector <8 x i16> %arg1, <8 x i16> zeroinitializer, <4 x i32> <i32 8, i32 9, i32 10, i32 11>
 343   ret <4 x i16> %shuffle
 344 }
 345
 346 ; i32 tests with second operand zero
 347 define <2 x i32> @i32_zero_off0(<4 x i32> %arg1) {
 348 ; CHECK-LABEL: i32_zero_off0:
 349 ; CHECK:       // %bb.0: // %entry
 350 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 351 ; CHECK-NEXT:    ret
 352 entry:
 353   %shuffle = shufflevector <4 x i32> %arg1, <4 x i32> zeroinitializer, <2 x i32> <i32 0, i32 1>
 354   ret <2 x i32> %shuffle
 355 }
 356
 357 define <2 x i32> @i32_zero_off1(<4 x i32> %arg1) {
 358 ; CHECK-SD-LABEL: i32_zero_off1:
 359 ; CHECK-SD:       // %bb.0: // %entry
 360 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #4
 361 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 362 ; CHECK-SD-NEXT:    ret
 363 ;
 364 ; CHECK-GISEL-LABEL: i32_zero_off1:
 365 ; CHECK-GISEL:       // %bb.0: // %entry
 366 ; CHECK-GISEL-NEXT:    movi v1.2d, #0000000000000000
 367 ; CHECK-GISEL-NEXT:    ext v0.16b, v0.16b, v1.16b, #4
 368 ; CHECK-GISEL-NEXT:    // kill: def $d0 killed $d0 killed $q0
 369 ; CHECK-GISEL-NEXT:    ret
 370 entry:
 371   %shuffle = shufflevector <4 x i32> %arg1, <4 x i32> zeroinitializer, <2 x i32> <i32 1, i32 2>
 372   ret <2 x i32> %shuffle
 373 }
 374
 375 define <2 x i32> @i32_zero_off3(<4 x i32> %arg1) {
 376 ; CHECK-LABEL: i32_zero_off3:
 377 ; CHECK:       // %bb.0: // %entry
 378 ; CHECK-NEXT:    movi v1.2d, #0000000000000000
 379 ; CHECK-NEXT:    ext v0.16b, v0.16b, v1.16b, #12
 380 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 381 ; CHECK-NEXT:    ret
 382 entry:
 383   %shuffle = shufflevector <4 x i32> %arg1, <4 x i32> zeroinitializer, <2 x i32> <i32 3, i32 4>
 384   ret <2 x i32> %shuffle
 385 }
 386
 387 define <2 x i32> @i32_zero_off4(<4 x i32> %arg1) {
 388 ; CHECK-LABEL: i32_zero_off4:
 389 ; CHECK:       // %bb.0: // %entry
 390 ; CHECK-NEXT:    movi v0.2d, #0000000000000000
 391 ; CHECK-NEXT:    ret
 392 entry:
 393   %shuffle = shufflevector <4 x i32> %arg1, <4 x i32> zeroinitializer, <2 x i32> <i32 4, i32 5>
 394   ret <2 x i32> %shuffle
 395 }
 396
 397 ; i64 tests with second operand zero
 398 define <1 x i64> @i64_zero_off0(<2 x i64> %arg1) {
 399 ; CHECK-LABEL: i64_zero_off0:
 400 ; CHECK:       // %bb.0: // %entry
 401 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 402 ; CHECK-NEXT:    ret
 403 entry:
 404   %shuffle = shufflevector <2 x i64> %arg1, <2 x i64> zeroinitializer, <1 x i32> <i32 0>
 405   ret <1 x i64> %shuffle
 406 }
 407
 408 define <1 x i64> @i64_zero_off1(<2 x i64> %arg1) {
 409 ; CHECK-SD-LABEL: i64_zero_off1:
 410 ; CHECK-SD:       // %bb.0: // %entry
 411 ; CHECK-SD-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
 412 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 413 ; CHECK-SD-NEXT:    ret
 414 ;
 415 ; CHECK-GISEL-LABEL: i64_zero_off1:
 416 ; CHECK-GISEL:       // %bb.0: // %entry
 417 ; CHECK-GISEL-NEXT:    mov d0, v0.d[1]
 418 ; CHECK-GISEL-NEXT:    ret
 419 entry:
 420   %shuffle = shufflevector <2 x i64> %arg1, <2 x i64> zeroinitializer, <1 x i32> <i32 1>
 421   ret <1 x i64> %shuffle
 422 }
 423
 424 define <1 x i64> @i64_zero_off2(<2 x i64> %arg1) {
 425 ; CHECK-LABEL: i64_zero_off2:
 426 ; CHECK:       // %bb.0: // %entry
 427 ; CHECK-NEXT:    fmov d0, xzr
 428 ; CHECK-NEXT:    ret
 429 entry:
 430   %shuffle = shufflevector <2 x i64> %arg1, <2 x i64> zeroinitializer, <1 x i32> <i32 2>
 431   ret <1 x i64> %shuffle
 432 }