llvm/test/CodeGen/X86/pext-vector-256.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v3 -mattr=+vpclmulqdq | FileCheck %s --check-prefixes=AVX2,AVX2-FAST
; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v3 -mattr=+vpclmulqdq,+slow-pext | FileCheck %s --check-prefixes=AVX2,AVX2-SLOW
; RUN: llc < %s -mtriple=x86_64-- -mcpu=x86-64-v4 -mattr=+vpclmulqdq | FileCheck %s --check-prefixes=AVX512

define <32 x i8> @pext_v32i8(<32 x i8> %val, <32 x i8> %mask) nounwind {
; AVX2-LABEL: pext_v32i8:
; AVX2:       # %bb.0:
; AVX2-NEXT:    vpcmpeqd %ymm2, %ymm2, %ymm2
; AVX2-NEXT:    vpxor %ymm2, %ymm1, %ymm3
; AVX2-NEXT:    vpaddb %ymm3, %ymm3, %ymm4
; AVX2-NEXT:    vpaddb %ymm4, %ymm4, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-NEXT:    vpaddb %ymm4, %ymm4, %ymm5
; AVX2-NEXT:    vpaddb %ymm5, %ymm5, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-NEXT:    vpsllw $4, %ymm4, %ymm5
; AVX2-NEXT:    vpbroadcastd {{.*#+}} ymm6 = [240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240]
; AVX2-NEXT:    vpand %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-NEXT:    vpsubb %ymm3, %ymm1, %ymm3
; AVX2-NEXT:    vpor %ymm4, %ymm3, %ymm3
; AVX2-NEXT:    vpxor %ymm2, %ymm3, %ymm2
; AVX2-NEXT:    vpaddb %ymm2, %ymm2, %ymm3
; AVX2-NEXT:    vpxor %ymm3, %ymm2, %ymm3
; AVX2-NEXT:    vpaddb %ymm3, %ymm3, %ymm5
; AVX2-NEXT:    vpaddb %ymm5, %ymm5, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm3, %ymm3
; AVX2-NEXT:    vpsllw $4, %ymm3, %ymm5
; AVX2-NEXT:    vpand %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm3, %ymm3
; AVX2-NEXT:    vpandn %ymm2, %ymm3, %ymm2
; AVX2-NEXT:    vpaddb %ymm2, %ymm2, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm2, %ymm2
; AVX2-NEXT:    vpaddb %ymm2, %ymm2, %ymm5
; AVX2-NEXT:    vpaddb %ymm5, %ymm5, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm2, %ymm2
; AVX2-NEXT:    vpsllw $4, %ymm2, %ymm5
; AVX2-NEXT:    vpand %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm2, %ymm2
; AVX2-NEXT:    vpand %ymm1, %ymm4, %ymm4
; AVX2-NEXT:    vpxor %ymm4, %ymm1, %ymm5
; AVX2-NEXT:    vpsrlw $1, %ymm4, %ymm6
; AVX2-NEXT:    vpbroadcastd {{.*#+}} ymm7 = [127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127]
; AVX2-NEXT:    vpand %ymm7, %ymm6, %ymm6
; AVX2-NEXT:    vpor %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpand %ymm5, %ymm3, %ymm3
; AVX2-NEXT:    vpxor %ymm3, %ymm5, %ymm5
; AVX2-NEXT:    vpsrlw $2, %ymm3, %ymm6
; AVX2-NEXT:    vpbroadcastd {{.*#+}} ymm8 = [63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63]
; AVX2-NEXT:    vpand %ymm6, %ymm8, %ymm6
; AVX2-NEXT:    vpor %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpand %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpand %ymm4, %ymm0, %ymm1
; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpsrlw $1, %ymm1, %ymm1
; AVX2-NEXT:    vpand %ymm7, %ymm1, %ymm1
; AVX2-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpand %ymm3, %ymm0, %ymm1
; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpsrlw $2, %ymm1, %ymm1
; AVX2-NEXT:    vpand %ymm1, %ymm8, %ymm1
; AVX2-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpand %ymm5, %ymm0, %ymm1
; AVX2-NEXT:    vpand %ymm2, %ymm1, %ymm1
; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpsrlw $4, %ymm1, %ymm1
; AVX2-NEXT:    vpand {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm1, %ymm1
; AVX2-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    retq
;
; AVX512-LABEL: pext_v32i8:
; AVX512:       # %bb.0:
; AVX512-NEXT:    vmovdqa %ymm1, %ymm2
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm2 = ~ymm2
; AVX512-NEXT:    vpaddb %ymm2, %ymm2, %ymm3
; AVX512-NEXT:    vpaddb %ymm3, %ymm3, %ymm4
; AVX512-NEXT:    vpxor %ymm4, %ymm3, %ymm3
; AVX512-NEXT:    vpaddb %ymm3, %ymm3, %ymm4
; AVX512-NEXT:    vpaddb %ymm4, %ymm4, %ymm4
; AVX512-NEXT:    vpxor %ymm4, %ymm3, %ymm3
; AVX512-NEXT:    vpsllw $4, %ymm3, %ymm4
; AVX512-NEXT:    vpbroadcastd {{.*#+}} ymm5 = [240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240,240]
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm4 = ymm3 ^ (ymm4 & ymm5)
; AVX512-NEXT:    vpsubb %ymm2, %ymm1, %ymm2
; AVX512-NEXT:    vpcmpeqd %ymm3, %ymm3, %ymm3
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm3 = ymm3 ^ (ymm2 | ymm4)
; AVX512-NEXT:    vpaddb %ymm3, %ymm3, %ymm2
; AVX512-NEXT:    vpxor %ymm2, %ymm3, %ymm2
; AVX512-NEXT:    vpaddb %ymm2, %ymm2, %ymm6
; AVX512-NEXT:    vpaddb %ymm6, %ymm6, %ymm6
; AVX512-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX512-NEXT:    vpsllw $4, %ymm2, %ymm6
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm6 = ymm2 ^ (ymm6 & ymm5)
; AVX512-NEXT:    vpandn %ymm3, %ymm6, %ymm2
; AVX512-NEXT:    vpaddb %ymm2, %ymm2, %ymm3
; AVX512-NEXT:    vpxor %ymm3, %ymm2, %ymm2
; AVX512-NEXT:    vpaddb %ymm2, %ymm2, %ymm3
; AVX512-NEXT:    vpaddb %ymm3, %ymm3, %ymm3
; AVX512-NEXT:    vpxor %ymm3, %ymm2, %ymm2
; AVX512-NEXT:    vpsllw $4, %ymm2, %ymm3
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm3 = ymm2 ^ (ymm3 & ymm5)
; AVX512-NEXT:    vpand %ymm1, %ymm4, %ymm2
; AVX512-NEXT:    vpxor %ymm2, %ymm1, %ymm4
; AVX512-NEXT:    vpsrlw $1, %ymm2, %ymm5
; AVX512-NEXT:    vpbroadcastd {{.*#+}} ymm7 = [127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127]
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm5 = (ymm5 & ymm7) | ymm4
; AVX512-NEXT:    vpand %ymm5, %ymm6, %ymm4
; AVX512-NEXT:    vpxor %ymm4, %ymm5, %ymm5
; AVX512-NEXT:    vpsrlw $2, %ymm4, %ymm6
; AVX512-NEXT:    vpbroadcastd {{.*#+}} ymm8 = [63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63]
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm6 = (ymm6 & ymm8) | ymm5
; AVX512-NEXT:    vpand %ymm1, %ymm0, %ymm0
; AVX512-NEXT:    vpand %ymm2, %ymm0, %ymm1
; AVX512-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX512-NEXT:    vpsrlw $1, %ymm1, %ymm1
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm1 = (ymm1 & ymm7) | ymm0
; AVX512-NEXT:    vpand %ymm4, %ymm1, %ymm0
; AVX512-NEXT:    vpxor %ymm0, %ymm1, %ymm1
; AVX512-NEXT:    vpsrlw $2, %ymm0, %ymm0
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm0 = (ymm0 & ymm8) | ymm1
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm6 = ymm6 & ymm0 & ymm3
; AVX512-NEXT:    vpxor %ymm6, %ymm0, %ymm1
; AVX512-NEXT:    vpsrlw $4, %ymm6, %ymm0
; AVX512-NEXT:    vpternlogd {{.*#+}} ymm0 = (ymm0 & m32bcst) | ymm1
; AVX512-NEXT:    retq
  %res = call <32 x i8> @llvm.pext.v32i8(<32 x i8> %val, <32 x i8> %mask)
  ret <32 x i8> %res
}

define <16 x i16> @pext_v16i16(<16 x i16> %val, <16 x i16> %mask) nounwind {
; AVX2-LABEL: pext_v16i16:
; AVX2:       # %bb.0:
; AVX2-NEXT:    vpcmpeqd %ymm2, %ymm2, %ymm2
; AVX2-NEXT:    vpxor %ymm2, %ymm1, %ymm2
; AVX2-NEXT:    vpsllw $2, %ymm2, %ymm3
; AVX2-NEXT:    vpaddw %ymm2, %ymm2, %ymm2
; AVX2-NEXT:    vpxor %ymm3, %ymm2, %ymm3
; AVX2-NEXT:    vpsllw $2, %ymm3, %ymm4
; AVX2-NEXT:    vpxor %ymm4, %ymm3, %ymm3
; AVX2-NEXT:    vpsllw $4, %ymm3, %ymm4
; AVX2-NEXT:    vpxor %ymm4, %ymm3, %ymm3
; AVX2-NEXT:    vpsllw $8, %ymm3, %ymm4
; AVX2-NEXT:    vpxor %ymm4, %ymm3, %ymm3
; AVX2-NEXT:    vpandn %ymm2, %ymm3, %ymm2
; AVX2-NEXT:    vpaddw %ymm2, %ymm2, %ymm4
; AVX2-NEXT:    vpxor %ymm4, %ymm2, %ymm4
; AVX2-NEXT:    vpsllw $2, %ymm4, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-NEXT:    vpsllw $4, %ymm4, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-NEXT:    vpsllw $8, %ymm4, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-NEXT:    vpandn %ymm2, %ymm4, %ymm2
; AVX2-NEXT:    vpaddw %ymm2, %ymm2, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm2, %ymm5
; AVX2-NEXT:    vpsllw $2, %ymm5, %ymm6
; AVX2-NEXT:    vpxor %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpsllw $4, %ymm5, %ymm6
; AVX2-NEXT:    vpxor %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpsllw $8, %ymm5, %ymm6
; AVX2-NEXT:    vpxor %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpandn %ymm2, %ymm5, %ymm2
; AVX2-NEXT:    vpaddw %ymm2, %ymm2, %ymm6
; AVX2-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX2-NEXT:    vpsllw $2, %ymm2, %ymm6
; AVX2-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX2-NEXT:    vpsllw $4, %ymm2, %ymm6
; AVX2-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX2-NEXT:    vpsllw $8, %ymm2, %ymm6
; AVX2-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX2-NEXT:    vpand %ymm1, %ymm3, %ymm3
; AVX2-NEXT:    vpxor %ymm3, %ymm1, %ymm6
; AVX2-NEXT:    vpsrlw $1, %ymm3, %ymm7
; AVX2-NEXT:    vpor %ymm7, %ymm6, %ymm6
; AVX2-NEXT:    vpand %ymm6, %ymm4, %ymm4
; AVX2-NEXT:    vpxor %ymm4, %ymm6, %ymm6
; AVX2-NEXT:    vpsrlw $2, %ymm4, %ymm7
; AVX2-NEXT:    vpor %ymm7, %ymm6, %ymm6
; AVX2-NEXT:    vpand %ymm6, %ymm5, %ymm5
; AVX2-NEXT:    vpxor %ymm5, %ymm6, %ymm6
; AVX2-NEXT:    vpsrlw $4, %ymm5, %ymm7
; AVX2-NEXT:    vpor %ymm7, %ymm6, %ymm6
; AVX2-NEXT:    vpand %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpand %ymm3, %ymm0, %ymm1
; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpsrlw $1, %ymm1, %ymm1
; AVX2-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpand %ymm4, %ymm0, %ymm1
; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpsrlw $2, %ymm1, %ymm1
; AVX2-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpand %ymm5, %ymm0, %ymm1
; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpsrlw $4, %ymm1, %ymm1
; AVX2-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpand %ymm6, %ymm0, %ymm1
; AVX2-NEXT:    vpand %ymm2, %ymm1, %ymm1
; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    vpsrlw $8, %ymm1, %ymm1
; AVX2-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-NEXT:    retq
;
; AVX512-LABEL: pext_v16i16:
; AVX512:       # %bb.0:
; AVX512-NEXT:    vmovdqa %ymm1, %ymm2
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm2 = ~ymm2
; AVX512-NEXT:    vpsllw $2, %ymm2, %ymm3
; AVX512-NEXT:    vpaddw %ymm2, %ymm2, %ymm2
; AVX512-NEXT:    vpxor %ymm3, %ymm2, %ymm3
; AVX512-NEXT:    vpsllw $2, %ymm3, %ymm4
; AVX512-NEXT:    vpxor %ymm4, %ymm3, %ymm3
; AVX512-NEXT:    vpsllw $4, %ymm3, %ymm4
; AVX512-NEXT:    vpxor %ymm4, %ymm3, %ymm3
; AVX512-NEXT:    vpsllw $8, %ymm3, %ymm4
; AVX512-NEXT:    vpxor %ymm4, %ymm3, %ymm3
; AVX512-NEXT:    vpandn %ymm2, %ymm3, %ymm2
; AVX512-NEXT:    vpaddw %ymm2, %ymm2, %ymm4
; AVX512-NEXT:    vpxor %ymm4, %ymm2, %ymm4
; AVX512-NEXT:    vpsllw $2, %ymm4, %ymm5
; AVX512-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX512-NEXT:    vpsllw $4, %ymm4, %ymm5
; AVX512-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX512-NEXT:    vpsllw $8, %ymm4, %ymm5
; AVX512-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX512-NEXT:    vpandn %ymm2, %ymm4, %ymm2
; AVX512-NEXT:    vpaddw %ymm2, %ymm2, %ymm5
; AVX512-NEXT:    vpxor %ymm5, %ymm2, %ymm5
; AVX512-NEXT:    vpsllw $2, %ymm5, %ymm6
; AVX512-NEXT:    vpxor %ymm6, %ymm5, %ymm5
; AVX512-NEXT:    vpsllw $4, %ymm5, %ymm6
; AVX512-NEXT:    vpxor %ymm6, %ymm5, %ymm5
; AVX512-NEXT:    vpsllw $8, %ymm5, %ymm6
; AVX512-NEXT:    vpxor %ymm6, %ymm5, %ymm5
; AVX512-NEXT:    vpandn %ymm2, %ymm5, %ymm2
; AVX512-NEXT:    vpaddw %ymm2, %ymm2, %ymm6
; AVX512-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX512-NEXT:    vpsllw $2, %ymm2, %ymm6
; AVX512-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX512-NEXT:    vpsllw $4, %ymm2, %ymm6
; AVX512-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX512-NEXT:    vpsllw $8, %ymm2, %ymm6
; AVX512-NEXT:    vpxor %ymm6, %ymm2, %ymm2
; AVX512-NEXT:    vpand %ymm1, %ymm3, %ymm3
; AVX512-NEXT:    vpsrlw $1, %ymm3, %ymm6
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm6 = ymm6 | (ymm1 ^ ymm3)
; AVX512-NEXT:    vpand %ymm6, %ymm4, %ymm4
; AVX512-NEXT:    vpsrlw $2, %ymm4, %ymm7
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm7 = ymm7 | (ymm6 ^ ymm4)
; AVX512-NEXT:    vpand %ymm7, %ymm5, %ymm5
; AVX512-NEXT:    vpsrlw $4, %ymm5, %ymm6
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm6 = ymm6 | (ymm7 ^ ymm5)
; AVX512-NEXT:    vpand %ymm1, %ymm0, %ymm0
; AVX512-NEXT:    vpand %ymm3, %ymm0, %ymm1
; AVX512-NEXT:    vpsrlw $1, %ymm1, %ymm3
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm3 = ymm3 | (ymm0 ^ ymm1)
; AVX512-NEXT:    vpand %ymm4, %ymm3, %ymm0
; AVX512-NEXT:    vpsrlw $2, %ymm0, %ymm1
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm1 = ymm1 | (ymm3 ^ ymm0)
; AVX512-NEXT:    vpand %ymm5, %ymm1, %ymm0
; AVX512-NEXT:    vpsrlw $4, %ymm0, %ymm3
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm3 = ymm3 | (ymm1 ^ ymm0)
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm6 = ymm6 & ymm3 & ymm2
; AVX512-NEXT:    vpsrlw $8, %ymm6, %ymm0
; AVX512-NEXT:    vpternlogq {{.*#+}} ymm0 = ymm0 | (ymm3 ^ ymm6)
; AVX512-NEXT:    retq
  %res = call <16 x i16> @llvm.pext.v16i16(<16 x i16> %val, <16 x i16> %mask)
  ret <16 x i16> %res
}

define <8 x i32> @pext_v8i32(<8 x i32> %val, <8 x i32> %mask) nounwind {
; AVX2-FAST-LABEL: pext_v8i32:
; AVX2-FAST:       # %bb.0:
; AVX2-FAST-NEXT:    vextracti128 $1, %ymm1, %xmm2
; AVX2-FAST-NEXT:    vpextrd $1, %xmm2, %eax
; AVX2-FAST-NEXT:    vextracti128 $1, %ymm0, %xmm3
; AVX2-FAST-NEXT:    vpextrd $1, %xmm3, %ecx
; AVX2-FAST-NEXT:    pextl %eax, %ecx, %eax
; AVX2-FAST-NEXT:    vmovd %xmm2, %ecx
; AVX2-FAST-NEXT:    vmovd %xmm3, %edx
; AVX2-FAST-NEXT:    pextl %ecx, %edx, %ecx
; AVX2-FAST-NEXT:    vmovd %ecx, %xmm4
; AVX2-FAST-NEXT:    vpinsrd $1, %eax, %xmm4, %xmm4
; AVX2-FAST-NEXT:    vpextrd $2, %xmm2, %eax
; AVX2-FAST-NEXT:    vpextrd $2, %xmm3, %ecx
; AVX2-FAST-NEXT:    pextl %eax, %ecx, %eax
; AVX2-FAST-NEXT:    vpinsrd $2, %eax, %xmm4, %xmm4
; AVX2-FAST-NEXT:    vpextrd $3, %xmm2, %eax
; AVX2-FAST-NEXT:    vpextrd $3, %xmm3, %ecx
; AVX2-FAST-NEXT:    pextl %eax, %ecx, %eax
; AVX2-FAST-NEXT:    vpinsrd $3, %eax, %xmm4, %xmm2
; AVX2-FAST-NEXT:    vpextrd $1, %xmm1, %eax
; AVX2-FAST-NEXT:    vpextrd $1, %xmm0, %ecx
; AVX2-FAST-NEXT:    pextl %eax, %ecx, %eax
; AVX2-FAST-NEXT:    vmovd %xmm1, %ecx
; AVX2-FAST-NEXT:    vmovd %xmm0, %edx
; AVX2-FAST-NEXT:    pextl %ecx, %edx, %ecx
; AVX2-FAST-NEXT:    vmovd %ecx, %xmm3
; AVX2-FAST-NEXT:    vpinsrd $1, %eax, %xmm3, %xmm3
; AVX2-FAST-NEXT:    vpextrd $2, %xmm1, %eax
; AVX2-FAST-NEXT:    vpextrd $2, %xmm0, %ecx
; AVX2-FAST-NEXT:    pextl %eax, %ecx, %eax
; AVX2-FAST-NEXT:    vpinsrd $2, %eax, %xmm3, %xmm3
; AVX2-FAST-NEXT:    vpextrd $3, %xmm1, %eax
; AVX2-FAST-NEXT:    vpextrd $3, %xmm0, %ecx
; AVX2-FAST-NEXT:    pextl %eax, %ecx, %eax
; AVX2-FAST-NEXT:    vpinsrd $3, %eax, %xmm3, %xmm0
; AVX2-FAST-NEXT:    vinserti128 $1, %xmm2, %ymm0, %ymm0
; AVX2-FAST-NEXT:    retq
;
; AVX2-SLOW-LABEL: pext_v8i32:
; AVX2-SLOW:       # %bb.0:
; AVX2-SLOW-NEXT:    vpcmpeqd %ymm2, %ymm2, %ymm2
; AVX2-SLOW-NEXT:    vpxor %ymm2, %ymm1, %ymm3
; AVX2-SLOW-NEXT:    vpaddd %ymm3, %ymm3, %ymm5
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm2, %ymm5, %ymm4
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm5, %ymm6
; AVX2-SLOW-NEXT:    vpsrlq $32, %ymm5, %ymm7
; AVX2-SLOW-NEXT:    vpbroadcastq {{.*#+}} ymm3 = [255,255,255,255,0,0,0,0,255,255,255,255,0,0,0,0,255,255,255,255,0,0,0,0,255,255,255,255,0,0,0,0]
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm3, %ymm7, %ymm8
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm3, %ymm7, %ymm7
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm4 = ymm6[0],ymm4[0],ymm6[1],ymm4[1],ymm6[4],ymm4[4],ymm6[5],ymm4[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm6 = ymm7[0],ymm8[0],ymm7[1],ymm8[1],ymm7[4],ymm8[4],ymm7[5],ymm8[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm4 = ymm4[0],ymm6[0],ymm4[1],ymm6[1],ymm4[4],ymm6[4],ymm4[5],ymm6[5]
; AVX2-SLOW-NEXT:    vpandn %ymm5, %ymm4, %ymm6
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm2, %ymm6, %ymm5
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm6, %ymm7
; AVX2-SLOW-NEXT:    vpsrlq $32, %ymm6, %ymm8
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm3, %ymm8, %ymm9
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm3, %ymm8, %ymm8
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm5 = ymm7[0],ymm5[0],ymm7[1],ymm5[1],ymm7[4],ymm5[4],ymm7[5],ymm5[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm7 = ymm8[0],ymm9[0],ymm8[1],ymm9[1],ymm8[4],ymm9[4],ymm8[5],ymm9[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm5 = ymm5[0],ymm7[0],ymm5[1],ymm7[1],ymm5[4],ymm7[4],ymm5[5],ymm7[5]
; AVX2-SLOW-NEXT:    vpandn %ymm6, %ymm5, %ymm6
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm2, %ymm6, %ymm7
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm6, %ymm8
; AVX2-SLOW-NEXT:    vpsrlq $32, %ymm6, %ymm9
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm3, %ymm9, %ymm10
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm3, %ymm9, %ymm9
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm7 = ymm8[0],ymm7[0],ymm8[1],ymm7[1],ymm8[4],ymm7[4],ymm8[5],ymm7[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm8 = ymm9[0],ymm10[0],ymm9[1],ymm10[1],ymm9[4],ymm10[4],ymm9[5],ymm10[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm7 = ymm7[0],ymm8[0],ymm7[1],ymm8[1],ymm7[4],ymm8[4],ymm7[5],ymm8[5]
; AVX2-SLOW-NEXT:    vpandn %ymm6, %ymm7, %ymm6
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm2, %ymm6, %ymm8
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm6, %ymm9
; AVX2-SLOW-NEXT:    vpsrlq $32, %ymm6, %ymm10
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm3, %ymm10, %ymm11
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm3, %ymm10, %ymm10
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm8 = ymm9[0],ymm8[0],ymm9[1],ymm8[1],ymm9[4],ymm8[4],ymm9[5],ymm8[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm9 = ymm10[0],ymm11[0],ymm10[1],ymm11[1],ymm10[4],ymm11[4],ymm10[5],ymm11[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm8 = ymm8[0],ymm9[0],ymm8[1],ymm9[1],ymm8[4],ymm9[4],ymm8[5],ymm9[5]
; AVX2-SLOW-NEXT:    vpandn %ymm6, %ymm8, %ymm6
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm2, %ymm6, %ymm9
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm6, %ymm2
; AVX2-SLOW-NEXT:    vpsrlq $32, %ymm6, %ymm6
; AVX2-SLOW-NEXT:    vpclmulqdq $17, %ymm3, %ymm6, %ymm10
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm2 = ymm2[0],ymm9[0],ymm2[1],ymm9[1],ymm2[4],ymm9[4],ymm2[5],ymm9[5]
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm3, %ymm6, %ymm3
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm3 = ymm3[0],ymm10[0],ymm3[1],ymm10[1],ymm3[4],ymm10[4],ymm3[5],ymm10[5]
; AVX2-SLOW-NEXT:    vpunpckldq {{.*#+}} ymm2 = ymm2[0],ymm3[0],ymm2[1],ymm3[1],ymm2[4],ymm3[4],ymm2[5],ymm3[5]
; AVX2-SLOW-NEXT:    vpand %ymm1, %ymm4, %ymm3
; AVX2-SLOW-NEXT:    vpxor %ymm3, %ymm1, %ymm4
; AVX2-SLOW-NEXT:    vpsrld $1, %ymm3, %ymm6
; AVX2-SLOW-NEXT:    vpor %ymm6, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpand %ymm4, %ymm5, %ymm5
; AVX2-SLOW-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpsrld $2, %ymm5, %ymm6
; AVX2-SLOW-NEXT:    vpor %ymm6, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpand %ymm4, %ymm7, %ymm6
; AVX2-SLOW-NEXT:    vpxor %ymm6, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpsrld $4, %ymm6, %ymm7
; AVX2-SLOW-NEXT:    vpor %ymm7, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpand %ymm4, %ymm8, %ymm7
; AVX2-SLOW-NEXT:    vpxor %ymm7, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpsrld $8, %ymm7, %ymm8
; AVX2-SLOW-NEXT:    vpor %ymm4, %ymm8, %ymm4
; AVX2-SLOW-NEXT:    vpand %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpand %ymm3, %ymm0, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrld $1, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpand %ymm5, %ymm0, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrld $2, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpand %ymm6, %ymm0, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrld $4, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpand %ymm7, %ymm0, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrld $8, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpand %ymm4, %ymm0, %ymm1
; AVX2-SLOW-NEXT:    vpand %ymm2, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrld $16, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    retq
;
; AVX512-LABEL: pext_v8i32:
; AVX512:       # %bb.0:
; AVX512-NEXT:    vextracti128 $1, %ymm1, %xmm2
; AVX512-NEXT:    vpextrd $1, %xmm2, %eax
; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm3
; AVX512-NEXT:    vpextrd $1, %xmm3, %ecx
; AVX512-NEXT:    pextl %eax, %ecx, %eax
; AVX512-NEXT:    vmovd %xmm2, %ecx
; AVX512-NEXT:    vmovd %xmm3, %edx
; AVX512-NEXT:    pextl %ecx, %edx, %ecx
; AVX512-NEXT:    vmovd %ecx, %xmm4
; AVX512-NEXT:    vpinsrd $1, %eax, %xmm4, %xmm4
; AVX512-NEXT:    vpextrd $2, %xmm2, %eax
; AVX512-NEXT:    vpextrd $2, %xmm3, %ecx
; AVX512-NEXT:    pextl %eax, %ecx, %eax
; AVX512-NEXT:    vpinsrd $2, %eax, %xmm4, %xmm4
; AVX512-NEXT:    vpextrd $3, %xmm2, %eax
; AVX512-NEXT:    vpextrd $3, %xmm3, %ecx
; AVX512-NEXT:    pextl %eax, %ecx, %eax
; AVX512-NEXT:    vpinsrd $3, %eax, %xmm4, %xmm2
; AVX512-NEXT:    vpextrd $1, %xmm1, %eax
; AVX512-NEXT:    vpextrd $1, %xmm0, %ecx
; AVX512-NEXT:    pextl %eax, %ecx, %eax
; AVX512-NEXT:    vmovd %xmm1, %ecx
; AVX512-NEXT:    vmovd %xmm0, %edx
; AVX512-NEXT:    pextl %ecx, %edx, %ecx
; AVX512-NEXT:    vmovd %ecx, %xmm3
; AVX512-NEXT:    vpinsrd $1, %eax, %xmm3, %xmm3
; AVX512-NEXT:    vpextrd $2, %xmm1, %eax
; AVX512-NEXT:    vpextrd $2, %xmm0, %ecx
; AVX512-NEXT:    pextl %eax, %ecx, %eax
; AVX512-NEXT:    vpinsrd $2, %eax, %xmm3, %xmm3
; AVX512-NEXT:    vpextrd $3, %xmm1, %eax
; AVX512-NEXT:    vpextrd $3, %xmm0, %ecx
; AVX512-NEXT:    pextl %eax, %ecx, %eax
; AVX512-NEXT:    vpinsrd $3, %eax, %xmm3, %xmm0
; AVX512-NEXT:    vinserti128 $1, %xmm2, %ymm0, %ymm0
; AVX512-NEXT:    retq
  %res = call <8 x i32> @llvm.pext.v8i32(<8 x i32> %val, <8 x i32> %mask)
  ret <8 x i32> %res
}

define <4 x i64> @pext_v4i64(<4 x i64> %val, <4 x i64> %mask) nounwind {
; AVX2-FAST-LABEL: pext_v4i64:
; AVX2-FAST:       # %bb.0:
; AVX2-FAST-NEXT:    vextracti128 $1, %ymm1, %xmm2
; AVX2-FAST-NEXT:    vpextrq $1, %xmm2, %rax
; AVX2-FAST-NEXT:    vextracti128 $1, %ymm0, %xmm3
; AVX2-FAST-NEXT:    vpextrq $1, %xmm3, %rcx
; AVX2-FAST-NEXT:    pextq %rax, %rcx, %rax
; AVX2-FAST-NEXT:    vmovq %rax, %xmm4
; AVX2-FAST-NEXT:    vmovq %xmm2, %rax
; AVX2-FAST-NEXT:    vmovq %xmm3, %rcx
; AVX2-FAST-NEXT:    pextq %rax, %rcx, %rax
; AVX2-FAST-NEXT:    vmovq %rax, %xmm2
; AVX2-FAST-NEXT:    vpunpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm4[0]
; AVX2-FAST-NEXT:    vpextrq $1, %xmm1, %rax
; AVX2-FAST-NEXT:    vpextrq $1, %xmm0, %rcx
; AVX2-FAST-NEXT:    pextq %rax, %rcx, %rax
; AVX2-FAST-NEXT:    vmovq %rax, %xmm3
; AVX2-FAST-NEXT:    vmovq %xmm1, %rax
; AVX2-FAST-NEXT:    vmovq %xmm0, %rcx
; AVX2-FAST-NEXT:    pextq %rax, %rcx, %rax
; AVX2-FAST-NEXT:    vmovq %rax, %xmm0
; AVX2-FAST-NEXT:    vpunpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm3[0]
; AVX2-FAST-NEXT:    vinserti128 $1, %xmm2, %ymm0, %ymm0
; AVX2-FAST-NEXT:    retq
;
; AVX2-SLOW-LABEL: pext_v4i64:
; AVX2-SLOW:       # %bb.0:
; AVX2-SLOW-NEXT:    vpcmpeqd %ymm2, %ymm2, %ymm2
; AVX2-SLOW-NEXT:    vpxor %ymm2, %ymm1, %ymm2
; AVX2-SLOW-NEXT:    vpaddq %ymm2, %ymm2, %ymm3
; AVX2-SLOW-NEXT:    movq $-1, %rax
; AVX2-SLOW-NEXT:    vmovq %rax, %xmm2
; AVX2-SLOW-NEXT:    vpbroadcastq %xmm2, %ymm2
; AVX2-SLOW-NEXT:    vpclmulqdq $1, %ymm2, %ymm3, %ymm4
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm3, %ymm5
; AVX2-SLOW-NEXT:    vpunpcklqdq {{.*#+}} ymm4 = ymm5[0],ymm4[0],ymm5[2],ymm4[2]
; AVX2-SLOW-NEXT:    vpand %ymm1, %ymm4, %ymm5
; AVX2-SLOW-NEXT:    vpxor %ymm5, %ymm1, %ymm6
; AVX2-SLOW-NEXT:    vpandn %ymm3, %ymm4, %ymm3
; AVX2-SLOW-NEXT:    vpclmulqdq $1, %ymm2, %ymm3, %ymm4
; AVX2-SLOW-NEXT:    vpsrlq $1, %ymm5, %ymm7
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm3, %ymm8
; AVX2-SLOW-NEXT:    vpor %ymm7, %ymm6, %ymm6
; AVX2-SLOW-NEXT:    vpunpcklqdq {{.*#+}} ymm4 = ymm8[0],ymm4[0],ymm8[2],ymm4[2]
; AVX2-SLOW-NEXT:    vpand %ymm6, %ymm4, %ymm7
; AVX2-SLOW-NEXT:    vpxor %ymm7, %ymm6, %ymm6
; AVX2-SLOW-NEXT:    vpandn %ymm3, %ymm4, %ymm3
; AVX2-SLOW-NEXT:    vpclmulqdq $1, %ymm2, %ymm3, %ymm4
; AVX2-SLOW-NEXT:    vpsrlq $2, %ymm7, %ymm8
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm3, %ymm9
; AVX2-SLOW-NEXT:    vpor %ymm6, %ymm8, %ymm6
; AVX2-SLOW-NEXT:    vpunpcklqdq {{.*#+}} ymm4 = ymm9[0],ymm4[0],ymm9[2],ymm4[2]
; AVX2-SLOW-NEXT:    vpand %ymm6, %ymm4, %ymm8
; AVX2-SLOW-NEXT:    vpand %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpand %ymm5, %ymm0, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrlq $1, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpand %ymm7, %ymm0, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrlq $2, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpand %ymm0, %ymm8, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrlq $4, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpandn %ymm3, %ymm4, %ymm1
; AVX2-SLOW-NEXT:    vpclmulqdq $1, %ymm2, %ymm1, %ymm3
; AVX2-SLOW-NEXT:    vpxor %ymm6, %ymm8, %ymm4
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm1, %ymm5
; AVX2-SLOW-NEXT:    vpsrlq $4, %ymm8, %ymm6
; AVX2-SLOW-NEXT:    vpor %ymm6, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpunpcklqdq {{.*#+}} ymm3 = ymm5[0],ymm3[0],ymm5[2],ymm3[2]
; AVX2-SLOW-NEXT:    vpand %ymm4, %ymm3, %ymm5
; AVX2-SLOW-NEXT:    vpand %ymm5, %ymm0, %ymm6
; AVX2-SLOW-NEXT:    vpxor %ymm6, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrlq $8, %ymm6, %ymm6
; AVX2-SLOW-NEXT:    vpor %ymm6, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpandn %ymm1, %ymm3, %ymm1
; AVX2-SLOW-NEXT:    vpclmulqdq $1, %ymm2, %ymm1, %ymm3
; AVX2-SLOW-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm1, %ymm6
; AVX2-SLOW-NEXT:    vpsrlq $8, %ymm5, %ymm5
; AVX2-SLOW-NEXT:    vpor %ymm5, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpunpcklqdq {{.*#+}} ymm3 = ymm6[0],ymm3[0],ymm6[2],ymm3[2]
; AVX2-SLOW-NEXT:    vpand %ymm4, %ymm3, %ymm5
; AVX2-SLOW-NEXT:    vpand %ymm5, %ymm0, %ymm6
; AVX2-SLOW-NEXT:    vpxor %ymm6, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrlq $16, %ymm6, %ymm6
; AVX2-SLOW-NEXT:    vpor %ymm6, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpandn %ymm1, %ymm3, %ymm1
; AVX2-SLOW-NEXT:    vpclmulqdq $1, %ymm2, %ymm1, %ymm3
; AVX2-SLOW-NEXT:    vpxor %ymm5, %ymm4, %ymm4
; AVX2-SLOW-NEXT:    vpclmulqdq $0, %ymm2, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpsrlq $16, %ymm5, %ymm2
; AVX2-SLOW-NEXT:    vpor %ymm2, %ymm4, %ymm2
; AVX2-SLOW-NEXT:    vpunpcklqdq {{.*#+}} ymm1 = ymm1[0],ymm3[0],ymm1[2],ymm3[2]
; AVX2-SLOW-NEXT:    vpand %ymm2, %ymm0, %ymm2
; AVX2-SLOW-NEXT:    vpand %ymm1, %ymm2, %ymm1
; AVX2-SLOW-NEXT:    vpxor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    vpsrlq $32, %ymm1, %ymm1
; AVX2-SLOW-NEXT:    vpor %ymm1, %ymm0, %ymm0
; AVX2-SLOW-NEXT:    retq
;
; AVX512-LABEL: pext_v4i64:
; AVX512:       # %bb.0:
; AVX512-NEXT:    vextracti128 $1, %ymm1, %xmm2
; AVX512-NEXT:    vpextrq $1, %xmm2, %rax
; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm3
; AVX512-NEXT:    vpextrq $1, %xmm3, %rcx
; AVX512-NEXT:    pextq %rax, %rcx, %rax
; AVX512-NEXT:    vmovq %rax, %xmm4
; AVX512-NEXT:    vmovq %xmm2, %rax
; AVX512-NEXT:    vmovq %xmm3, %rcx
; AVX512-NEXT:    pextq %rax, %rcx, %rax
; AVX512-NEXT:    vmovq %rax, %xmm2
; AVX512-NEXT:    vpunpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm4[0]
; AVX512-NEXT:    vpextrq $1, %xmm1, %rax
; AVX512-NEXT:    vpextrq $1, %xmm0, %rcx
; AVX512-NEXT:    pextq %rax, %rcx, %rax
; AVX512-NEXT:    vmovq %rax, %xmm3
; AVX512-NEXT:    vmovq %xmm1, %rax
; AVX512-NEXT:    vmovq %xmm0, %rcx
; AVX512-NEXT:    pextq %rax, %rcx, %rax
; AVX512-NEXT:    vmovq %rax, %xmm0
; AVX512-NEXT:    vpunpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm3[0]
; AVX512-NEXT:    vinserti128 $1, %xmm2, %ymm0, %ymm0
; AVX512-NEXT:    retq
  %res = call <4 x i64> @llvm.pext.v4i64(<4 x i64> %val, <4 x i64> %mask)
  ret <4 x i64> %res
}