blob: f28929589b6cbd4c2b8669df450e05e7382cf08f [file] [log] [blame]
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=sse2 | FileCheck %s --check-prefixes=SSE,SSE2
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=sse4.2 | FileCheck %s --check-prefixes=SSE,SSE4
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx | FileCheck %s --check-prefixes=AVX,AVX1OR2,AVX1
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx2 | FileCheck %s --check-prefixes=AVX,AVX1OR2,AVX2
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx512f | FileCheck %s --check-prefixes=AVX512,AVX512F
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx512vl | FileCheck %s --check-prefixes=AVX512,AVX512VL
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx512bw | FileCheck %s --check-prefixes=AVX512,AVX512BW,AVX512BWNOVL
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx512vl,avx512bw | FileCheck %s --check-prefixes=AVX512,AVX512VL,AVX512BWVL
define void @truncstore_v8i64_v8i32(<8 x i64> %x, <8 x i32>* %p, <8 x i32> %mask) {
; SSE2-LABEL: truncstore_v8i64_v8i32:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm6, %xmm6
; SSE2-NEXT: pcmpeqd %xmm4, %xmm6
; SSE2-NEXT: pcmpeqd %xmm12, %xmm12
; SSE2-NEXT: pxor %xmm6, %xmm12
; SSE2-NEXT: movdqa %xmm12, %xmm9
; SSE2-NEXT: packssdw %xmm0, %xmm9
; SSE2-NEXT: movdqa {{.*#+}} xmm8 = [4294967295,4294967295]
; SSE2-NEXT: movdqa {{.*#+}} xmm13 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: movdqa %xmm1, %xmm7
; SSE2-NEXT: pxor %xmm13, %xmm7
; SSE2-NEXT: movdqa {{.*#+}} xmm10 = [9223372039002259455,9223372039002259455]
; SSE2-NEXT: movdqa %xmm10, %xmm6
; SSE2-NEXT: pcmpgtd %xmm7, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm11 = xmm6[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm10, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm7 = xmm7[1,1,3,3]
; SSE2-NEXT: pand %xmm11, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
; SSE2-NEXT: por %xmm7, %xmm6
; SSE2-NEXT: pand %xmm6, %xmm1
; SSE2-NEXT: pandn %xmm8, %xmm6
; SSE2-NEXT: por %xmm1, %xmm6
; SSE2-NEXT: movdqa %xmm0, %xmm1
; SSE2-NEXT: pxor %xmm13, %xmm1
; SSE2-NEXT: movdqa %xmm10, %xmm7
; SSE2-NEXT: pcmpgtd %xmm1, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm11 = xmm7[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm10, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
; SSE2-NEXT: pand %xmm11, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm14 = xmm7[1,1,3,3]
; SSE2-NEXT: por %xmm1, %xmm14
; SSE2-NEXT: pand %xmm14, %xmm0
; SSE2-NEXT: pandn %xmm8, %xmm14
; SSE2-NEXT: por %xmm0, %xmm14
; SSE2-NEXT: shufps {{.*#+}} xmm14 = xmm14[0,2],xmm6[0,2]
; SSE2-NEXT: movdqa %xmm3, %xmm0
; SSE2-NEXT: pxor %xmm13, %xmm0
; SSE2-NEXT: movdqa %xmm10, %xmm1
; SSE2-NEXT: pcmpgtd %xmm0, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm1[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm10, %xmm0
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
; SSE2-NEXT: pand %xmm6, %xmm0
; SSE2-NEXT: pshufd {{.*#+}} xmm11 = xmm1[1,1,3,3]
; SSE2-NEXT: pxor %xmm2, %xmm13
; SSE2-NEXT: movdqa %xmm10, %xmm1
; SSE2-NEXT: pcmpgtd %xmm13, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm7 = xmm1[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm10, %xmm13
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm13[1,1,3,3]
; SSE2-NEXT: pand %xmm7, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm10 = xmm1[1,1,3,3]
; SSE2-NEXT: movd %xmm9, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB0_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movss %xmm14, (%rdi)
; SSE2-NEXT: .LBB0_2: # %else
; SSE2-NEXT: por %xmm11, %xmm0
; SSE2-NEXT: por %xmm10, %xmm6
; SSE2-NEXT: psrlq $16, %xmm12
; SSE2-NEXT: movd %xmm12, %eax
; SSE2-NEXT: shrl $16, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB0_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm14[1,1,2,3]
; SSE2-NEXT: movd %xmm1, 4(%rdi)
; SSE2-NEXT: .LBB0_4: # %else2
; SSE2-NEXT: pand %xmm0, %xmm3
; SSE2-NEXT: pandn %xmm8, %xmm0
; SSE2-NEXT: pand %xmm6, %xmm2
; SSE2-NEXT: pandn %xmm8, %xmm6
; SSE2-NEXT: pxor %xmm1, %xmm1
; SSE2-NEXT: pcmpeqd %xmm1, %xmm4
; SSE2-NEXT: pcmpeqd %xmm7, %xmm7
; SSE2-NEXT: pxor %xmm4, %xmm7
; SSE2-NEXT: pextrw $4, %xmm7, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB0_6
; SSE2-NEXT: # %bb.5: # %cond.store3
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm14[2,3,0,1]
; SSE2-NEXT: movd %xmm1, 8(%rdi)
; SSE2-NEXT: .LBB0_6: # %else4
; SSE2-NEXT: por %xmm0, %xmm3
; SSE2-NEXT: por %xmm6, %xmm2
; SSE2-NEXT: pextrw $6, %xmm7, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB0_8
; SSE2-NEXT: # %bb.7: # %cond.store5
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm14[3,1,2,3]
; SSE2-NEXT: movd %xmm0, 12(%rdi)
; SSE2-NEXT: .LBB0_8: # %else6
; SSE2-NEXT: shufps {{.*#+}} xmm2 = xmm2[0,2],xmm3[0,2]
; SSE2-NEXT: pxor %xmm1, %xmm1
; SSE2-NEXT: pcmpeqd %xmm5, %xmm1
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm1, %xmm0
; SSE2-NEXT: pextrw $0, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB0_10
; SSE2-NEXT: # %bb.9: # %cond.store7
; SSE2-NEXT: movss %xmm2, 16(%rdi)
; SSE2-NEXT: .LBB0_10: # %else8
; SSE2-NEXT: pextrw $2, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB0_12
; SSE2-NEXT: # %bb.11: # %cond.store9
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
; SSE2-NEXT: movd %xmm0, 20(%rdi)
; SSE2-NEXT: .LBB0_12: # %else10
; SSE2-NEXT: pxor %xmm0, %xmm0
; SSE2-NEXT: pcmpeqd %xmm0, %xmm5
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm5, %xmm0
; SSE2-NEXT: pextrw $4, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB0_14
; SSE2-NEXT: # %bb.13: # %cond.store11
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm2[2,3,0,1]
; SSE2-NEXT: movd %xmm1, 24(%rdi)
; SSE2-NEXT: .LBB0_14: # %else12
; SSE2-NEXT: pextrw $6, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB0_16
; SSE2-NEXT: # %bb.15: # %cond.store13
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm2[3,1,2,3]
; SSE2-NEXT: movd %xmm0, 28(%rdi)
; SSE2-NEXT: .LBB0_16: # %else14
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v8i64_v8i32:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm8
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm4, %xmm0
; SSE4-NEXT: pcmpeqd %xmm10, %xmm10
; SSE4-NEXT: pxor %xmm0, %xmm10
; SSE4-NEXT: movapd {{.*#+}} xmm9 = [4294967295,4294967295]
; SSE4-NEXT: movdqa {{.*#+}} xmm11 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: movdqa %xmm1, %xmm6
; SSE4-NEXT: pxor %xmm11, %xmm6
; SSE4-NEXT: movdqa {{.*#+}} xmm7 = [9223372041149743103,9223372041149743103]
; SSE4-NEXT: movdqa %xmm7, %xmm0
; SSE4-NEXT: pcmpgtq %xmm6, %xmm0
; SSE4-NEXT: movapd %xmm9, %xmm6
; SSE4-NEXT: blendvpd %xmm0, %xmm1, %xmm6
; SSE4-NEXT: movdqa %xmm8, %xmm1
; SSE4-NEXT: pxor %xmm11, %xmm1
; SSE4-NEXT: movdqa %xmm7, %xmm0
; SSE4-NEXT: pcmpgtq %xmm1, %xmm0
; SSE4-NEXT: movapd %xmm9, %xmm1
; SSE4-NEXT: blendvpd %xmm0, %xmm8, %xmm1
; SSE4-NEXT: shufps {{.*#+}} xmm1 = xmm1[0,2],xmm6[0,2]
; SSE4-NEXT: movdqa %xmm3, %xmm6
; SSE4-NEXT: pxor %xmm11, %xmm6
; SSE4-NEXT: movdqa %xmm7, %xmm0
; SSE4-NEXT: pcmpgtq %xmm6, %xmm0
; SSE4-NEXT: movapd %xmm9, %xmm8
; SSE4-NEXT: blendvpd %xmm0, %xmm3, %xmm8
; SSE4-NEXT: pxor %xmm2, %xmm11
; SSE4-NEXT: pcmpgtq %xmm11, %xmm7
; SSE4-NEXT: movdqa %xmm7, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm2, %xmm9
; SSE4-NEXT: pextrb $0, %xmm10, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB0_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: movss %xmm1, (%rdi)
; SSE4-NEXT: .LBB0_2: # %else
; SSE4-NEXT: pextrb $4, %xmm10, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB0_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: extractps $1, %xmm1, 4(%rdi)
; SSE4-NEXT: .LBB0_4: # %else2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm4
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm4, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB0_6
; SSE4-NEXT: # %bb.5: # %cond.store3
; SSE4-NEXT: extractps $2, %xmm1, 8(%rdi)
; SSE4-NEXT: .LBB0_6: # %else4
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB0_8
; SSE4-NEXT: # %bb.7: # %cond.store5
; SSE4-NEXT: extractps $3, %xmm1, 12(%rdi)
; SSE4-NEXT: .LBB0_8: # %else6
; SSE4-NEXT: shufps {{.*#+}} xmm9 = xmm9[0,2],xmm8[0,2]
; SSE4-NEXT: xorps %xmm1, %xmm1
; SSE4-NEXT: pcmpeqd %xmm5, %xmm1
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm1, %xmm0
; SSE4-NEXT: pextrb $0, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB0_10
; SSE4-NEXT: # %bb.9: # %cond.store7
; SSE4-NEXT: movss %xmm9, 16(%rdi)
; SSE4-NEXT: .LBB0_10: # %else8
; SSE4-NEXT: pextrb $4, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB0_12
; SSE4-NEXT: # %bb.11: # %cond.store9
; SSE4-NEXT: extractps $1, %xmm9, 20(%rdi)
; SSE4-NEXT: .LBB0_12: # %else10
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm5
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm5, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB0_14
; SSE4-NEXT: # %bb.13: # %cond.store11
; SSE4-NEXT: extractps $2, %xmm9, 24(%rdi)
; SSE4-NEXT: .LBB0_14: # %else12
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB0_16
; SSE4-NEXT: # %bb.15: # %cond.store13
; SSE4-NEXT: extractps $3, %xmm9, 28(%rdi)
; SSE4-NEXT: .LBB0_16: # %else14
; SSE4-NEXT: retq
;
; AVX1-LABEL: truncstore_v8i64_v8i32:
; AVX1: # %bb.0:
; AVX1-NEXT: vextractf128 $1, %ymm2, %xmm3
; AVX1-NEXT: vpxor %xmm4, %xmm4, %xmm4
; AVX1-NEXT: vpcmpeqd %xmm4, %xmm3, %xmm3
; AVX1-NEXT: vpcmpeqd %xmm5, %xmm5, %xmm5
; AVX1-NEXT: vpxor %xmm5, %xmm3, %xmm3
; AVX1-NEXT: vpcmpeqd %xmm4, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm5, %xmm2, %xmm2
; AVX1-NEXT: vinsertf128 $1, %xmm3, %ymm2, %ymm2
; AVX1-NEXT: vmovapd {{.*#+}} ymm3 = [4294967295,4294967295,4294967295,4294967295]
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm4
; AVX1-NEXT: vmovdqa {{.*#+}} xmm5 = [9223372036854775808,9223372036854775808]
; AVX1-NEXT: vpxor %xmm5, %xmm4, %xmm4
; AVX1-NEXT: vmovdqa {{.*#+}} xmm6 = [9223372041149743103,9223372041149743103]
; AVX1-NEXT: vpcmpgtq %xmm4, %xmm6, %xmm4
; AVX1-NEXT: vpxor %xmm5, %xmm0, %xmm7
; AVX1-NEXT: vpcmpgtq %xmm7, %xmm6, %xmm7
; AVX1-NEXT: vinsertf128 $1, %xmm4, %ymm7, %ymm4
; AVX1-NEXT: vblendvpd %ymm4, %ymm0, %ymm3, %ymm0
; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm4
; AVX1-NEXT: vpxor %xmm5, %xmm4, %xmm4
; AVX1-NEXT: vpcmpgtq %xmm4, %xmm6, %xmm4
; AVX1-NEXT: vpxor %xmm5, %xmm1, %xmm5
; AVX1-NEXT: vpcmpgtq %xmm5, %xmm6, %xmm5
; AVX1-NEXT: vinsertf128 $1, %xmm4, %ymm5, %ymm4
; AVX1-NEXT: vblendvpd %ymm4, %ymm1, %ymm3, %ymm1
; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm3
; AVX1-NEXT: vshufps {{.*#+}} xmm1 = xmm1[0,2],xmm3[0,2]
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX1-NEXT: vshufps {{.*#+}} xmm0 = xmm0[0,2],xmm3[0,2]
; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
; AVX1-NEXT: vmaskmovps %ymm0, %ymm2, (%rdi)
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
;
; AVX2-LABEL: truncstore_v8i64_v8i32:
; AVX2: # %bb.0:
; AVX2-NEXT: vpxor %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpcmpeqd %ymm3, %ymm2, %ymm2
; AVX2-NEXT: vpcmpeqd %ymm3, %ymm3, %ymm3
; AVX2-NEXT: vpxor %ymm3, %ymm2, %ymm2
; AVX2-NEXT: vbroadcastsd {{.*#+}} ymm3 = [4294967295,4294967295,4294967295,4294967295]
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm4 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
; AVX2-NEXT: vpxor %ymm4, %ymm0, %ymm5
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm6 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
; AVX2-NEXT: vpcmpgtq %ymm5, %ymm6, %ymm5
; AVX2-NEXT: vblendvpd %ymm5, %ymm0, %ymm3, %ymm0
; AVX2-NEXT: vpxor %ymm4, %ymm1, %ymm4
; AVX2-NEXT: vpcmpgtq %ymm4, %ymm6, %ymm4
; AVX2-NEXT: vblendvpd %ymm4, %ymm1, %ymm3, %ymm1
; AVX2-NEXT: vextractf128 $1, %ymm1, %xmm3
; AVX2-NEXT: vshufps {{.*#+}} xmm1 = xmm1[0,2],xmm3[0,2]
; AVX2-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX2-NEXT: vshufps {{.*#+}} xmm0 = xmm0[0,2],xmm3[0,2]
; AVX2-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
; AVX2-NEXT: vpmaskmovd %ymm0, %ymm2, (%rdi)
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
;
; AVX512F-LABEL: truncstore_v8i64_v8i32:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $ymm1 killed $ymm1 def $zmm1
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k1
; AVX512F-NEXT: vpminuq {{.*}}(%rip){1to8}, %zmm0, %zmm0
; AVX512F-NEXT: vpmovqd %zmm0, (%rdi) {%k1}
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512VL-LABEL: truncstore_v8i64_v8i32:
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestmd %ymm1, %ymm1, %k1
; AVX512VL-NEXT: vpminuq {{.*}}(%rip){1to8}, %zmm0, %zmm0
; AVX512VL-NEXT: vpmovqd %zmm0, (%rdi) {%k1}
; AVX512VL-NEXT: vzeroupper
; AVX512VL-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v8i64_v8i32:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $ymm1 killed $ymm1 def $zmm1
; AVX512BW-NEXT: vptestmd %zmm1, %zmm1, %k1
; AVX512BW-NEXT: vpminuq {{.*}}(%rip){1to8}, %zmm0, %zmm0
; AVX512BW-NEXT: vpmovqd %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
%a = icmp ne <8 x i32> %mask, zeroinitializer
%b = icmp ult <8 x i64> %x, <i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295>
%c = select <8 x i1> %b, <8 x i64> %x, <8 x i64> <i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295>
%d = trunc <8 x i64> %c to <8 x i32>
call void @llvm.masked.store.v8i32.p0v8i32(<8 x i32> %d, <8 x i32>* %p, i32 1, <8 x i1> %a)
ret void
}
define void @truncstore_v8i64_v8i16(<8 x i64> %x, <8 x i16>* %p, <8 x i32> %mask) {
; SSE2-LABEL: truncstore_v8i64_v8i16:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm6, %xmm6
; SSE2-NEXT: pcmpeqd %xmm4, %xmm6
; SSE2-NEXT: pcmpeqd %xmm10, %xmm10
; SSE2-NEXT: pxor %xmm6, %xmm10
; SSE2-NEXT: movdqa %xmm10, %xmm9
; SSE2-NEXT: packssdw %xmm0, %xmm9
; SSE2-NEXT: movdqa {{.*#+}} xmm8 = [65535,65535]
; SSE2-NEXT: movdqa {{.*#+}} xmm12 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: movdqa %xmm2, %xmm7
; SSE2-NEXT: pxor %xmm12, %xmm7
; SSE2-NEXT: movdqa {{.*#+}} xmm11 = [9223372039002324991,9223372039002324991]
; SSE2-NEXT: movdqa %xmm11, %xmm6
; SSE2-NEXT: pcmpgtd %xmm7, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm13 = xmm6[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm11, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm7 = xmm7[1,1,3,3]
; SSE2-NEXT: pand %xmm13, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm14 = xmm6[1,1,3,3]
; SSE2-NEXT: por %xmm7, %xmm14
; SSE2-NEXT: pand %xmm14, %xmm2
; SSE2-NEXT: pandn %xmm8, %xmm14
; SSE2-NEXT: por %xmm2, %xmm14
; SSE2-NEXT: movdqa %xmm3, %xmm2
; SSE2-NEXT: pxor %xmm12, %xmm2
; SSE2-NEXT: movdqa %xmm11, %xmm7
; SSE2-NEXT: pcmpgtd %xmm2, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm13 = xmm7[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm11, %xmm2
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm2[1,1,3,3]
; SSE2-NEXT: pand %xmm13, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm2 = xmm7[1,1,3,3]
; SSE2-NEXT: por %xmm6, %xmm2
; SSE2-NEXT: pand %xmm2, %xmm3
; SSE2-NEXT: pandn %xmm8, %xmm2
; SSE2-NEXT: por %xmm3, %xmm2
; SSE2-NEXT: movdqa %xmm0, %xmm3
; SSE2-NEXT: pxor %xmm12, %xmm3
; SSE2-NEXT: movdqa %xmm11, %xmm6
; SSE2-NEXT: pcmpgtd %xmm3, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm7 = xmm6[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm11, %xmm3
; SSE2-NEXT: pshufd {{.*#+}} xmm3 = xmm3[1,1,3,3]
; SSE2-NEXT: pand %xmm7, %xmm3
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
; SSE2-NEXT: por %xmm3, %xmm6
; SSE2-NEXT: pand %xmm6, %xmm0
; SSE2-NEXT: pandn %xmm8, %xmm6
; SSE2-NEXT: por %xmm0, %xmm6
; SSE2-NEXT: pxor %xmm1, %xmm12
; SSE2-NEXT: movdqa %xmm11, %xmm0
; SSE2-NEXT: pcmpgtd %xmm12, %xmm0
; SSE2-NEXT: pshufd {{.*#+}} xmm3 = xmm0[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm11, %xmm12
; SSE2-NEXT: pshufd {{.*#+}} xmm7 = xmm12[1,1,3,3]
; SSE2-NEXT: pand %xmm3, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
; SSE2-NEXT: por %xmm7, %xmm0
; SSE2-NEXT: pand %xmm0, %xmm1
; SSE2-NEXT: pandn %xmm8, %xmm0
; SSE2-NEXT: por %xmm1, %xmm0
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
; SSE2-NEXT: pshuflw {{.*#+}} xmm0 = xmm0[0,2,2,3,4,5,6,7]
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm6[0,2,2,3]
; SSE2-NEXT: pshuflw {{.*#+}} xmm1 = xmm1[0,2,2,3,4,5,6,7]
; SSE2-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm2[0,2,2,3]
; SSE2-NEXT: pshuflw {{.*#+}} xmm2 = xmm0[0,1,0,2,4,5,6,7]
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm14[0,2,2,3]
; SSE2-NEXT: pshuflw {{.*#+}} xmm0 = xmm0[0,1,0,2,4,5,6,7]
; SSE2-NEXT: punpckldq {{.*#+}} xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
; SSE2-NEXT: movsd {{.*#+}} xmm0 = xmm1[0],xmm0[1]
; SSE2-NEXT: movd %xmm9, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB1_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movd %xmm0, %eax
; SSE2-NEXT: movw %ax, (%rdi)
; SSE2-NEXT: .LBB1_2: # %else
; SSE2-NEXT: psrlq $16, %xmm10
; SSE2-NEXT: movd %xmm10, %eax
; SSE2-NEXT: shrl $16, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB1_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pextrw $1, %xmm0, %eax
; SSE2-NEXT: movw %ax, 2(%rdi)
; SSE2-NEXT: .LBB1_4: # %else2
; SSE2-NEXT: pxor %xmm1, %xmm1
; SSE2-NEXT: pcmpeqd %xmm1, %xmm4
; SSE2-NEXT: pcmpeqd %xmm1, %xmm1
; SSE2-NEXT: pxor %xmm4, %xmm1
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB1_6
; SSE2-NEXT: # %bb.5: # %cond.store3
; SSE2-NEXT: pextrw $2, %xmm0, %eax
; SSE2-NEXT: movw %ax, 4(%rdi)
; SSE2-NEXT: .LBB1_6: # %else4
; SSE2-NEXT: pextrw $6, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB1_8
; SSE2-NEXT: # %bb.7: # %cond.store5
; SSE2-NEXT: pextrw $3, %xmm0, %eax
; SSE2-NEXT: movw %ax, 6(%rdi)
; SSE2-NEXT: .LBB1_8: # %else6
; SSE2-NEXT: pxor %xmm2, %xmm2
; SSE2-NEXT: pcmpeqd %xmm5, %xmm2
; SSE2-NEXT: pcmpeqd %xmm1, %xmm1
; SSE2-NEXT: pxor %xmm2, %xmm1
; SSE2-NEXT: pextrw $0, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB1_10
; SSE2-NEXT: # %bb.9: # %cond.store7
; SSE2-NEXT: pextrw $4, %xmm0, %eax
; SSE2-NEXT: movw %ax, 8(%rdi)
; SSE2-NEXT: .LBB1_10: # %else8
; SSE2-NEXT: pextrw $2, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB1_12
; SSE2-NEXT: # %bb.11: # %cond.store9
; SSE2-NEXT: pextrw $5, %xmm0, %eax
; SSE2-NEXT: movw %ax, 10(%rdi)
; SSE2-NEXT: .LBB1_12: # %else10
; SSE2-NEXT: pxor %xmm1, %xmm1
; SSE2-NEXT: pcmpeqd %xmm1, %xmm5
; SSE2-NEXT: pcmpeqd %xmm1, %xmm1
; SSE2-NEXT: pxor %xmm5, %xmm1
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB1_14
; SSE2-NEXT: # %bb.13: # %cond.store11
; SSE2-NEXT: pextrw $6, %xmm0, %eax
; SSE2-NEXT: movw %ax, 12(%rdi)
; SSE2-NEXT: .LBB1_14: # %else12
; SSE2-NEXT: pextrw $6, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB1_16
; SSE2-NEXT: # %bb.15: # %cond.store13
; SSE2-NEXT: pextrw $7, %xmm0, %eax
; SSE2-NEXT: movw %ax, 14(%rdi)
; SSE2-NEXT: .LBB1_16: # %else14
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v8i64_v8i16:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm8
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm4, %xmm0
; SSE4-NEXT: pcmpeqd %xmm9, %xmm9
; SSE4-NEXT: pxor %xmm0, %xmm9
; SSE4-NEXT: movapd {{.*#+}} xmm6 = [65535,65535]
; SSE4-NEXT: movdqa {{.*#+}} xmm10 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: movdqa %xmm1, %xmm7
; SSE4-NEXT: pxor %xmm10, %xmm7
; SSE4-NEXT: movdqa {{.*#+}} xmm11 = [9223372036854841343,9223372036854841343]
; SSE4-NEXT: movdqa %xmm11, %xmm0
; SSE4-NEXT: pcmpgtq %xmm7, %xmm0
; SSE4-NEXT: movapd %xmm6, %xmm7
; SSE4-NEXT: blendvpd %xmm0, %xmm1, %xmm7
; SSE4-NEXT: movdqa %xmm8, %xmm1
; SSE4-NEXT: pxor %xmm10, %xmm1
; SSE4-NEXT: movdqa %xmm11, %xmm0
; SSE4-NEXT: pcmpgtq %xmm1, %xmm0
; SSE4-NEXT: movapd %xmm6, %xmm1
; SSE4-NEXT: blendvpd %xmm0, %xmm8, %xmm1
; SSE4-NEXT: packusdw %xmm7, %xmm1
; SSE4-NEXT: movdqa %xmm3, %xmm7
; SSE4-NEXT: pxor %xmm10, %xmm7
; SSE4-NEXT: movdqa %xmm11, %xmm0
; SSE4-NEXT: pcmpgtq %xmm7, %xmm0
; SSE4-NEXT: movapd %xmm6, %xmm7
; SSE4-NEXT: blendvpd %xmm0, %xmm3, %xmm7
; SSE4-NEXT: pxor %xmm2, %xmm10
; SSE4-NEXT: pcmpgtq %xmm10, %xmm11
; SSE4-NEXT: movdqa %xmm11, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm2, %xmm6
; SSE4-NEXT: packusdw %xmm7, %xmm6
; SSE4-NEXT: packusdw %xmm6, %xmm1
; SSE4-NEXT: pextrb $0, %xmm9, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB1_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: pextrw $0, %xmm1, (%rdi)
; SSE4-NEXT: .LBB1_2: # %else
; SSE4-NEXT: pextrb $4, %xmm9, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB1_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: pextrw $1, %xmm1, 2(%rdi)
; SSE4-NEXT: .LBB1_4: # %else2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm4
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm4, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB1_6
; SSE4-NEXT: # %bb.5: # %cond.store3
; SSE4-NEXT: pextrw $2, %xmm1, 4(%rdi)
; SSE4-NEXT: .LBB1_6: # %else4
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB1_8
; SSE4-NEXT: # %bb.7: # %cond.store5
; SSE4-NEXT: pextrw $3, %xmm1, 6(%rdi)
; SSE4-NEXT: .LBB1_8: # %else6
; SSE4-NEXT: pxor %xmm2, %xmm2
; SSE4-NEXT: pcmpeqd %xmm5, %xmm2
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm2, %xmm0
; SSE4-NEXT: pextrb $0, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB1_10
; SSE4-NEXT: # %bb.9: # %cond.store7
; SSE4-NEXT: pextrw $4, %xmm1, 8(%rdi)
; SSE4-NEXT: .LBB1_10: # %else8
; SSE4-NEXT: pextrb $4, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB1_12
; SSE4-NEXT: # %bb.11: # %cond.store9
; SSE4-NEXT: pextrw $5, %xmm1, 10(%rdi)
; SSE4-NEXT: .LBB1_12: # %else10
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm5
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm5, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB1_14
; SSE4-NEXT: # %bb.13: # %cond.store11
; SSE4-NEXT: pextrw $6, %xmm1, 12(%rdi)
; SSE4-NEXT: .LBB1_14: # %else12
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB1_16
; SSE4-NEXT: # %bb.15: # %cond.store13
; SSE4-NEXT: pextrw $7, %xmm1, 14(%rdi)
; SSE4-NEXT: .LBB1_16: # %else14
; SSE4-NEXT: retq
;
; AVX1-LABEL: truncstore_v8i64_v8i16:
; AVX1: # %bb.0:
; AVX1-NEXT: vpxor %xmm8, %xmm8, %xmm8
; AVX1-NEXT: vpcmpeqd %xmm8, %xmm2, %xmm5
; AVX1-NEXT: vpcmpeqd %xmm9, %xmm9, %xmm9
; AVX1-NEXT: vpxor %xmm9, %xmm5, %xmm5
; AVX1-NEXT: vmovapd {{.*#+}} ymm10 = [65535,65535,65535,65535]
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm7
; AVX1-NEXT: vmovdqa {{.*#+}} xmm3 = [9223372036854775808,9223372036854775808]
; AVX1-NEXT: vpxor %xmm3, %xmm7, %xmm7
; AVX1-NEXT: vmovdqa {{.*#+}} xmm4 = [9223372036854841343,9223372036854841343]
; AVX1-NEXT: vpcmpgtq %xmm7, %xmm4, %xmm7
; AVX1-NEXT: vpxor %xmm3, %xmm0, %xmm6
; AVX1-NEXT: vpcmpgtq %xmm6, %xmm4, %xmm6
; AVX1-NEXT: vinsertf128 $1, %xmm7, %ymm6, %ymm6
; AVX1-NEXT: vblendvpd %ymm6, %ymm0, %ymm10, %ymm0
; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm6
; AVX1-NEXT: vpxor %xmm3, %xmm6, %xmm6
; AVX1-NEXT: vpcmpgtq %xmm6, %xmm4, %xmm6
; AVX1-NEXT: vpxor %xmm3, %xmm1, %xmm3
; AVX1-NEXT: vpcmpgtq %xmm3, %xmm4, %xmm3
; AVX1-NEXT: vinsertf128 $1, %xmm6, %ymm3, %ymm3
; AVX1-NEXT: vblendvpd %ymm3, %ymm1, %ymm10, %ymm1
; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm3
; AVX1-NEXT: vpackusdw %xmm3, %xmm1, %xmm1
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX1-NEXT: vpackusdw %xmm3, %xmm0, %xmm0
; AVX1-NEXT: vpackusdw %xmm1, %xmm0, %xmm0
; AVX1-NEXT: vpextrb $0, %xmm5, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB1_2
; AVX1-NEXT: # %bb.1: # %cond.store
; AVX1-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX1-NEXT: .LBB1_2: # %else
; AVX1-NEXT: vpcmpeqd %xmm8, %xmm2, %xmm1
; AVX1-NEXT: vpxor %xmm9, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $4, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB1_4
; AVX1-NEXT: # %bb.3: # %cond.store1
; AVX1-NEXT: vpextrw $1, %xmm0, 2(%rdi)
; AVX1-NEXT: .LBB1_4: # %else2
; AVX1-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm2, %xmm4
; AVX1-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX1-NEXT: vpxor %xmm3, %xmm4, %xmm4
; AVX1-NEXT: vpextrb $8, %xmm4, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB1_6
; AVX1-NEXT: # %bb.5: # %cond.store3
; AVX1-NEXT: vpextrw $2, %xmm0, 4(%rdi)
; AVX1-NEXT: .LBB1_6: # %else4
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm2, %xmm1
; AVX1-NEXT: vpxor %xmm3, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $12, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB1_8
; AVX1-NEXT: # %bb.7: # %cond.store5
; AVX1-NEXT: vpextrw $3, %xmm0, 6(%rdi)
; AVX1-NEXT: .LBB1_8: # %else6
; AVX1-NEXT: vextractf128 $1, %ymm2, %xmm1
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX1-NEXT: vpxor %xmm3, %xmm2, %xmm2
; AVX1-NEXT: vpextrb $0, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB1_10
; AVX1-NEXT: # %bb.9: # %cond.store7
; AVX1-NEXT: vpextrw $4, %xmm0, 8(%rdi)
; AVX1-NEXT: .LBB1_10: # %else8
; AVX1-NEXT: vpextrb $4, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB1_12
; AVX1-NEXT: # %bb.11: # %cond.store9
; AVX1-NEXT: vpextrw $5, %xmm0, 10(%rdi)
; AVX1-NEXT: .LBB1_12: # %else10
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $8, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB1_14
; AVX1-NEXT: # %bb.13: # %cond.store11
; AVX1-NEXT: vpextrw $6, %xmm0, 12(%rdi)
; AVX1-NEXT: .LBB1_14: # %else12
; AVX1-NEXT: vpextrb $12, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB1_16
; AVX1-NEXT: # %bb.15: # %cond.store13
; AVX1-NEXT: vpextrw $7, %xmm0, 14(%rdi)
; AVX1-NEXT: .LBB1_16: # %else14
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
;
; AVX2-LABEL: truncstore_v8i64_v8i16:
; AVX2: # %bb.0:
; AVX2-NEXT: vpxor %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpcmpeqd %ymm3, %ymm2, %ymm3
; AVX2-NEXT: vpcmpeqd %xmm4, %xmm4, %xmm4
; AVX2-NEXT: vpxor %xmm4, %xmm3, %xmm5
; AVX2-NEXT: vbroadcastsd {{.*#+}} ymm6 = [65535,65535,65535,65535]
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm7 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
; AVX2-NEXT: vpxor %ymm7, %ymm1, %ymm8
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm9 = [9223372036854841343,9223372036854841343,9223372036854841343,9223372036854841343]
; AVX2-NEXT: vpcmpgtq %ymm8, %ymm9, %ymm8
; AVX2-NEXT: vblendvpd %ymm8, %ymm1, %ymm6, %ymm1
; AVX2-NEXT: vpxor %ymm7, %ymm0, %ymm7
; AVX2-NEXT: vpcmpgtq %ymm7, %ymm9, %ymm7
; AVX2-NEXT: vblendvpd %ymm7, %ymm0, %ymm6, %ymm0
; AVX2-NEXT: vpackusdw %ymm1, %ymm0, %ymm0
; AVX2-NEXT: vpermq {{.*#+}} ymm0 = ymm0[0,2,1,3]
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX2-NEXT: vpackusdw %xmm1, %xmm0, %xmm0
; AVX2-NEXT: vpextrb $0, %xmm5, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB1_2
; AVX2-NEXT: # %bb.1: # %cond.store
; AVX2-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX2-NEXT: .LBB1_2: # %else
; AVX2-NEXT: vpxor %xmm4, %xmm3, %xmm1
; AVX2-NEXT: vpextrb $4, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB1_4
; AVX2-NEXT: # %bb.3: # %cond.store1
; AVX2-NEXT: vpextrw $1, %xmm0, 2(%rdi)
; AVX2-NEXT: .LBB1_4: # %else2
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpxor %xmm3, %xmm1, %xmm4
; AVX2-NEXT: vpextrb $8, %xmm4, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB1_6
; AVX2-NEXT: # %bb.5: # %cond.store3
; AVX2-NEXT: vpextrw $2, %xmm0, 4(%rdi)
; AVX2-NEXT: .LBB1_6: # %else4
; AVX2-NEXT: vpxor %xmm3, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $12, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB1_8
; AVX2-NEXT: # %bb.7: # %cond.store5
; AVX2-NEXT: vpextrw $3, %xmm0, 6(%rdi)
; AVX2-NEXT: .LBB1_8: # %else6
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpxor %xmm3, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $0, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB1_10
; AVX2-NEXT: # %bb.9: # %cond.store7
; AVX2-NEXT: vpextrw $4, %xmm0, 8(%rdi)
; AVX2-NEXT: .LBB1_10: # %else8
; AVX2-NEXT: vpextrb $4, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB1_12
; AVX2-NEXT: # %bb.11: # %cond.store9
; AVX2-NEXT: vpextrw $5, %xmm0, 10(%rdi)
; AVX2-NEXT: .LBB1_12: # %else10
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $8, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB1_14
; AVX2-NEXT: # %bb.13: # %cond.store11
; AVX2-NEXT: vpextrw $6, %xmm0, 12(%rdi)
; AVX2-NEXT: .LBB1_14: # %else12
; AVX2-NEXT: vpextrb $12, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB1_16
; AVX2-NEXT: # %bb.15: # %cond.store13
; AVX2-NEXT: vpextrw $7, %xmm0, 14(%rdi)
; AVX2-NEXT: .LBB1_16: # %else14
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
;
; AVX512F-LABEL: truncstore_v8i64_v8i16:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $ymm1 killed $ymm1 def $zmm1
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: vpmovusqw %zmm0, %xmm0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB1_2
; AVX512F-NEXT: # %bb.1: # %cond.store
; AVX512F-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX512F-NEXT: .LBB1_2: # %else
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $1, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB1_4
; AVX512F-NEXT: # %bb.3: # %cond.store1
; AVX512F-NEXT: vpextrw $1, %xmm0, 2(%rdi)
; AVX512F-NEXT: .LBB1_4: # %else2
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $2, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB1_6
; AVX512F-NEXT: # %bb.5: # %cond.store3
; AVX512F-NEXT: vpextrw $2, %xmm0, 4(%rdi)
; AVX512F-NEXT: .LBB1_6: # %else4
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $3, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB1_8
; AVX512F-NEXT: # %bb.7: # %cond.store5
; AVX512F-NEXT: vpextrw $3, %xmm0, 6(%rdi)
; AVX512F-NEXT: .LBB1_8: # %else6
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $4, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB1_10
; AVX512F-NEXT: # %bb.9: # %cond.store7
; AVX512F-NEXT: vpextrw $4, %xmm0, 8(%rdi)
; AVX512F-NEXT: .LBB1_10: # %else8
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $5, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB1_12
; AVX512F-NEXT: # %bb.11: # %cond.store9
; AVX512F-NEXT: vpextrw $5, %xmm0, 10(%rdi)
; AVX512F-NEXT: .LBB1_12: # %else10
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $6, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB1_14
; AVX512F-NEXT: # %bb.13: # %cond.store11
; AVX512F-NEXT: vpextrw $6, %xmm0, 12(%rdi)
; AVX512F-NEXT: .LBB1_14: # %else12
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $7, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB1_16
; AVX512F-NEXT: # %bb.15: # %cond.store13
; AVX512F-NEXT: vpextrw $7, %xmm0, 14(%rdi)
; AVX512F-NEXT: .LBB1_16: # %else14
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v8i64_v8i16:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $ymm1 killed $ymm1 def $zmm1
; AVX512BW-NEXT: vptestmd %zmm1, %zmm1, %k1
; AVX512BW-NEXT: vpminuq {{.*}}(%rip){1to8}, %zmm0, %zmm0
; AVX512BW-NEXT: vpmovqw %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
;
; AVX512BWVL-LABEL: truncstore_v8i64_v8i16:
; AVX512BWVL: # %bb.0:
; AVX512BWVL-NEXT: vptestmd %ymm1, %ymm1, %k1
; AVX512BWVL-NEXT: vpminuq {{.*}}(%rip){1to8}, %zmm0, %zmm0
; AVX512BWVL-NEXT: vpmovqw %zmm0, (%rdi) {%k1}
; AVX512BWVL-NEXT: vzeroupper
; AVX512BWVL-NEXT: retq
%a = icmp ne <8 x i32> %mask, zeroinitializer
%b = icmp ult <8 x i64> %x, <i64 65535, i64 65535, i64 65535, i64 65535, i64 65535, i64 65535, i64 65535, i64 65535>
%c = select <8 x i1> %b, <8 x i64> %x, <8 x i64> <i64 65535, i64 65535, i64 65535, i64 65535, i64 65535, i64 65535, i64 65535, i64 65535>
%d = trunc <8 x i64> %c to <8 x i16>
call void @llvm.masked.store.v8i16.p0v8i16(<8 x i16> %d, <8 x i16>* %p, i32 1, <8 x i1> %a)
ret void
}
define void @truncstore_v8i64_v8i8(<8 x i64> %x, <8 x i8>* %p, <8 x i32> %mask) {
; SSE2-LABEL: truncstore_v8i64_v8i8:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm7, %xmm7
; SSE2-NEXT: pcmpeqd %xmm4, %xmm7
; SSE2-NEXT: pcmpeqd %xmm11, %xmm11
; SSE2-NEXT: pxor %xmm7, %xmm11
; SSE2-NEXT: movdqa %xmm11, %xmm9
; SSE2-NEXT: packssdw %xmm0, %xmm9
; SSE2-NEXT: movdqa {{.*#+}} xmm8 = [255,255]
; SSE2-NEXT: movdqa {{.*#+}} xmm12 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: movdqa %xmm1, %xmm6
; SSE2-NEXT: pxor %xmm12, %xmm6
; SSE2-NEXT: movdqa {{.*#+}} xmm10 = [9223372039002259711,9223372039002259711]
; SSE2-NEXT: movdqa %xmm10, %xmm7
; SSE2-NEXT: pcmpgtd %xmm6, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm13 = xmm7[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm10, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
; SSE2-NEXT: pand %xmm13, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm7 = xmm7[1,1,3,3]
; SSE2-NEXT: por %xmm6, %xmm7
; SSE2-NEXT: pand %xmm7, %xmm1
; SSE2-NEXT: pandn %xmm8, %xmm7
; SSE2-NEXT: por %xmm1, %xmm7
; SSE2-NEXT: movdqa %xmm0, %xmm1
; SSE2-NEXT: pxor %xmm12, %xmm1
; SSE2-NEXT: movdqa %xmm10, %xmm6
; SSE2-NEXT: pcmpgtd %xmm1, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm13 = xmm6[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm10, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
; SSE2-NEXT: pand %xmm13, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
; SSE2-NEXT: por %xmm1, %xmm6
; SSE2-NEXT: pand %xmm6, %xmm0
; SSE2-NEXT: pandn %xmm8, %xmm6
; SSE2-NEXT: por %xmm0, %xmm6
; SSE2-NEXT: packuswb %xmm7, %xmm6
; SSE2-NEXT: movdqa %xmm3, %xmm0
; SSE2-NEXT: pxor %xmm12, %xmm0
; SSE2-NEXT: movdqa %xmm10, %xmm1
; SSE2-NEXT: pcmpgtd %xmm0, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm7 = xmm1[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm10, %xmm0
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
; SSE2-NEXT: pand %xmm7, %xmm0
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
; SSE2-NEXT: por %xmm0, %xmm1
; SSE2-NEXT: pand %xmm1, %xmm3
; SSE2-NEXT: pandn %xmm8, %xmm1
; SSE2-NEXT: por %xmm3, %xmm1
; SSE2-NEXT: pxor %xmm2, %xmm12
; SSE2-NEXT: movdqa %xmm10, %xmm0
; SSE2-NEXT: pcmpgtd %xmm12, %xmm0
; SSE2-NEXT: pshufd {{.*#+}} xmm3 = xmm0[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm10, %xmm12
; SSE2-NEXT: pshufd {{.*#+}} xmm7 = xmm12[1,1,3,3]
; SSE2-NEXT: pand %xmm3, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
; SSE2-NEXT: por %xmm7, %xmm0
; SSE2-NEXT: pand %xmm0, %xmm2
; SSE2-NEXT: pandn %xmm8, %xmm0
; SSE2-NEXT: por %xmm2, %xmm0
; SSE2-NEXT: packuswb %xmm1, %xmm0
; SSE2-NEXT: packuswb %xmm0, %xmm6
; SSE2-NEXT: movd %xmm9, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB2_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movd %xmm6, %eax
; SSE2-NEXT: movb %al, (%rdi)
; SSE2-NEXT: .LBB2_2: # %else
; SSE2-NEXT: psrlq $16, %xmm11
; SSE2-NEXT: movd %xmm11, %eax
; SSE2-NEXT: shrl $16, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB2_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: movd %xmm6, %eax
; SSE2-NEXT: shrl $16, %eax
; SSE2-NEXT: movb %al, 1(%rdi)
; SSE2-NEXT: .LBB2_4: # %else2
; SSE2-NEXT: pxor %xmm0, %xmm0
; SSE2-NEXT: pcmpeqd %xmm0, %xmm4
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm4, %xmm0
; SSE2-NEXT: pextrw $4, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB2_6
; SSE2-NEXT: # %bb.5: # %cond.store3
; SSE2-NEXT: pextrw $2, %xmm6, %eax
; SSE2-NEXT: movb %al, 2(%rdi)
; SSE2-NEXT: .LBB2_6: # %else4
; SSE2-NEXT: pextrw $6, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB2_8
; SSE2-NEXT: # %bb.7: # %cond.store5
; SSE2-NEXT: pextrw $3, %xmm6, %eax
; SSE2-NEXT: movb %al, 3(%rdi)
; SSE2-NEXT: .LBB2_8: # %else6
; SSE2-NEXT: pxor %xmm1, %xmm1
; SSE2-NEXT: pcmpeqd %xmm5, %xmm1
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm1, %xmm0
; SSE2-NEXT: pextrw $0, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB2_10
; SSE2-NEXT: # %bb.9: # %cond.store7
; SSE2-NEXT: pextrw $4, %xmm6, %eax
; SSE2-NEXT: movb %al, 4(%rdi)
; SSE2-NEXT: .LBB2_10: # %else8
; SSE2-NEXT: pextrw $2, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB2_12
; SSE2-NEXT: # %bb.11: # %cond.store9
; SSE2-NEXT: pextrw $5, %xmm6, %eax
; SSE2-NEXT: movb %al, 5(%rdi)
; SSE2-NEXT: .LBB2_12: # %else10
; SSE2-NEXT: pxor %xmm0, %xmm0
; SSE2-NEXT: pcmpeqd %xmm0, %xmm5
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm5, %xmm0
; SSE2-NEXT: pextrw $4, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB2_14
; SSE2-NEXT: # %bb.13: # %cond.store11
; SSE2-NEXT: pextrw $6, %xmm6, %eax
; SSE2-NEXT: movb %al, 6(%rdi)
; SSE2-NEXT: .LBB2_14: # %else12
; SSE2-NEXT: pextrw $6, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB2_16
; SSE2-NEXT: # %bb.15: # %cond.store13
; SSE2-NEXT: pextrw $7, %xmm6, %eax
; SSE2-NEXT: movb %al, 7(%rdi)
; SSE2-NEXT: .LBB2_16: # %else14
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v8i64_v8i8:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm8
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm4, %xmm0
; SSE4-NEXT: pcmpeqd %xmm9, %xmm9
; SSE4-NEXT: pxor %xmm0, %xmm9
; SSE4-NEXT: movapd {{.*#+}} xmm6 = [255,255]
; SSE4-NEXT: movdqa {{.*#+}} xmm10 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: movdqa %xmm1, %xmm7
; SSE4-NEXT: pxor %xmm10, %xmm7
; SSE4-NEXT: movdqa {{.*#+}} xmm11 = [9223372036854776063,9223372036854776063]
; SSE4-NEXT: movdqa %xmm11, %xmm0
; SSE4-NEXT: pcmpgtq %xmm7, %xmm0
; SSE4-NEXT: movapd %xmm6, %xmm7
; SSE4-NEXT: blendvpd %xmm0, %xmm1, %xmm7
; SSE4-NEXT: movdqa %xmm8, %xmm1
; SSE4-NEXT: pxor %xmm10, %xmm1
; SSE4-NEXT: movdqa %xmm11, %xmm0
; SSE4-NEXT: pcmpgtq %xmm1, %xmm0
; SSE4-NEXT: movapd %xmm6, %xmm1
; SSE4-NEXT: blendvpd %xmm0, %xmm8, %xmm1
; SSE4-NEXT: packusdw %xmm7, %xmm1
; SSE4-NEXT: movdqa %xmm3, %xmm7
; SSE4-NEXT: pxor %xmm10, %xmm7
; SSE4-NEXT: movdqa %xmm11, %xmm0
; SSE4-NEXT: pcmpgtq %xmm7, %xmm0
; SSE4-NEXT: movapd %xmm6, %xmm7
; SSE4-NEXT: blendvpd %xmm0, %xmm3, %xmm7
; SSE4-NEXT: pxor %xmm2, %xmm10
; SSE4-NEXT: pcmpgtq %xmm10, %xmm11
; SSE4-NEXT: movdqa %xmm11, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm2, %xmm6
; SSE4-NEXT: packusdw %xmm7, %xmm6
; SSE4-NEXT: packusdw %xmm6, %xmm1
; SSE4-NEXT: pextrb $0, %xmm9, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB2_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: pextrb $0, %xmm1, (%rdi)
; SSE4-NEXT: .LBB2_2: # %else
; SSE4-NEXT: pextrb $4, %xmm9, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB2_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: pextrb $2, %xmm1, 1(%rdi)
; SSE4-NEXT: .LBB2_4: # %else2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm4
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm4, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB2_6
; SSE4-NEXT: # %bb.5: # %cond.store3
; SSE4-NEXT: pextrb $4, %xmm1, 2(%rdi)
; SSE4-NEXT: .LBB2_6: # %else4
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB2_8
; SSE4-NEXT: # %bb.7: # %cond.store5
; SSE4-NEXT: pextrb $6, %xmm1, 3(%rdi)
; SSE4-NEXT: .LBB2_8: # %else6
; SSE4-NEXT: pxor %xmm2, %xmm2
; SSE4-NEXT: pcmpeqd %xmm5, %xmm2
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm2, %xmm0
; SSE4-NEXT: pextrb $0, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB2_10
; SSE4-NEXT: # %bb.9: # %cond.store7
; SSE4-NEXT: pextrb $8, %xmm1, 4(%rdi)
; SSE4-NEXT: .LBB2_10: # %else8
; SSE4-NEXT: pextrb $4, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB2_12
; SSE4-NEXT: # %bb.11: # %cond.store9
; SSE4-NEXT: pextrb $10, %xmm1, 5(%rdi)
; SSE4-NEXT: .LBB2_12: # %else10
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm5
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm5, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB2_14
; SSE4-NEXT: # %bb.13: # %cond.store11
; SSE4-NEXT: pextrb $12, %xmm1, 6(%rdi)
; SSE4-NEXT: .LBB2_14: # %else12
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB2_16
; SSE4-NEXT: # %bb.15: # %cond.store13
; SSE4-NEXT: pextrb $14, %xmm1, 7(%rdi)
; SSE4-NEXT: .LBB2_16: # %else14
; SSE4-NEXT: retq
;
; AVX1-LABEL: truncstore_v8i64_v8i8:
; AVX1: # %bb.0:
; AVX1-NEXT: vpxor %xmm8, %xmm8, %xmm8
; AVX1-NEXT: vpcmpeqd %xmm8, %xmm2, %xmm5
; AVX1-NEXT: vpcmpeqd %xmm9, %xmm9, %xmm9
; AVX1-NEXT: vpxor %xmm9, %xmm5, %xmm5
; AVX1-NEXT: vmovapd {{.*#+}} ymm10 = [255,255,255,255]
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm7
; AVX1-NEXT: vmovdqa {{.*#+}} xmm3 = [9223372036854775808,9223372036854775808]
; AVX1-NEXT: vpxor %xmm3, %xmm7, %xmm7
; AVX1-NEXT: vmovdqa {{.*#+}} xmm4 = [9223372036854776063,9223372036854776063]
; AVX1-NEXT: vpcmpgtq %xmm7, %xmm4, %xmm7
; AVX1-NEXT: vpxor %xmm3, %xmm0, %xmm6
; AVX1-NEXT: vpcmpgtq %xmm6, %xmm4, %xmm6
; AVX1-NEXT: vinsertf128 $1, %xmm7, %ymm6, %ymm6
; AVX1-NEXT: vblendvpd %ymm6, %ymm0, %ymm10, %ymm0
; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm6
; AVX1-NEXT: vpxor %xmm3, %xmm6, %xmm6
; AVX1-NEXT: vpcmpgtq %xmm6, %xmm4, %xmm6
; AVX1-NEXT: vpxor %xmm3, %xmm1, %xmm3
; AVX1-NEXT: vpcmpgtq %xmm3, %xmm4, %xmm3
; AVX1-NEXT: vinsertf128 $1, %xmm6, %ymm3, %ymm3
; AVX1-NEXT: vblendvpd %ymm3, %ymm1, %ymm10, %ymm1
; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm3
; AVX1-NEXT: vpackusdw %xmm3, %xmm1, %xmm1
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX1-NEXT: vpackusdw %xmm3, %xmm0, %xmm0
; AVX1-NEXT: vpackusdw %xmm1, %xmm0, %xmm0
; AVX1-NEXT: vpextrb $0, %xmm5, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB2_2
; AVX1-NEXT: # %bb.1: # %cond.store
; AVX1-NEXT: vpextrb $0, %xmm0, (%rdi)
; AVX1-NEXT: .LBB2_2: # %else
; AVX1-NEXT: vpcmpeqd %xmm8, %xmm2, %xmm1
; AVX1-NEXT: vpxor %xmm9, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $4, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB2_4
; AVX1-NEXT: # %bb.3: # %cond.store1
; AVX1-NEXT: vpextrb $2, %xmm0, 1(%rdi)
; AVX1-NEXT: .LBB2_4: # %else2
; AVX1-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm2, %xmm4
; AVX1-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX1-NEXT: vpxor %xmm3, %xmm4, %xmm4
; AVX1-NEXT: vpextrb $8, %xmm4, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB2_6
; AVX1-NEXT: # %bb.5: # %cond.store3
; AVX1-NEXT: vpextrb $4, %xmm0, 2(%rdi)
; AVX1-NEXT: .LBB2_6: # %else4
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm2, %xmm1
; AVX1-NEXT: vpxor %xmm3, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $12, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB2_8
; AVX1-NEXT: # %bb.7: # %cond.store5
; AVX1-NEXT: vpextrb $6, %xmm0, 3(%rdi)
; AVX1-NEXT: .LBB2_8: # %else6
; AVX1-NEXT: vextractf128 $1, %ymm2, %xmm1
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX1-NEXT: vpxor %xmm3, %xmm2, %xmm2
; AVX1-NEXT: vpextrb $0, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB2_10
; AVX1-NEXT: # %bb.9: # %cond.store7
; AVX1-NEXT: vpextrb $8, %xmm0, 4(%rdi)
; AVX1-NEXT: .LBB2_10: # %else8
; AVX1-NEXT: vpextrb $4, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB2_12
; AVX1-NEXT: # %bb.11: # %cond.store9
; AVX1-NEXT: vpextrb $10, %xmm0, 5(%rdi)
; AVX1-NEXT: .LBB2_12: # %else10
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $8, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB2_14
; AVX1-NEXT: # %bb.13: # %cond.store11
; AVX1-NEXT: vpextrb $12, %xmm0, 6(%rdi)
; AVX1-NEXT: .LBB2_14: # %else12
; AVX1-NEXT: vpextrb $12, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB2_16
; AVX1-NEXT: # %bb.15: # %cond.store13
; AVX1-NEXT: vpextrb $14, %xmm0, 7(%rdi)
; AVX1-NEXT: .LBB2_16: # %else14
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
;
; AVX2-LABEL: truncstore_v8i64_v8i8:
; AVX2: # %bb.0:
; AVX2-NEXT: vpxor %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpcmpeqd %ymm3, %ymm2, %ymm3
; AVX2-NEXT: vpcmpeqd %xmm4, %xmm4, %xmm4
; AVX2-NEXT: vpxor %xmm4, %xmm3, %xmm5
; AVX2-NEXT: vbroadcastsd {{.*#+}} ymm6 = [255,255,255,255]
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm7 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
; AVX2-NEXT: vpxor %ymm7, %ymm1, %ymm8
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm9 = [9223372036854776063,9223372036854776063,9223372036854776063,9223372036854776063]
; AVX2-NEXT: vpcmpgtq %ymm8, %ymm9, %ymm8
; AVX2-NEXT: vblendvpd %ymm8, %ymm1, %ymm6, %ymm1
; AVX2-NEXT: vpxor %ymm7, %ymm0, %ymm7
; AVX2-NEXT: vpcmpgtq %ymm7, %ymm9, %ymm7
; AVX2-NEXT: vblendvpd %ymm7, %ymm0, %ymm6, %ymm0
; AVX2-NEXT: vpackusdw %ymm1, %ymm0, %ymm0
; AVX2-NEXT: vpermq {{.*#+}} ymm0 = ymm0[0,2,1,3]
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX2-NEXT: vpackusdw %xmm1, %xmm0, %xmm0
; AVX2-NEXT: vpextrb $0, %xmm5, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB2_2
; AVX2-NEXT: # %bb.1: # %cond.store
; AVX2-NEXT: vpextrb $0, %xmm0, (%rdi)
; AVX2-NEXT: .LBB2_2: # %else
; AVX2-NEXT: vpxor %xmm4, %xmm3, %xmm1
; AVX2-NEXT: vpextrb $4, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB2_4
; AVX2-NEXT: # %bb.3: # %cond.store1
; AVX2-NEXT: vpextrb $2, %xmm0, 1(%rdi)
; AVX2-NEXT: .LBB2_4: # %else2
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpxor %xmm3, %xmm1, %xmm4
; AVX2-NEXT: vpextrb $8, %xmm4, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB2_6
; AVX2-NEXT: # %bb.5: # %cond.store3
; AVX2-NEXT: vpextrb $4, %xmm0, 2(%rdi)
; AVX2-NEXT: .LBB2_6: # %else4
; AVX2-NEXT: vpxor %xmm3, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $12, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB2_8
; AVX2-NEXT: # %bb.7: # %cond.store5
; AVX2-NEXT: vpextrb $6, %xmm0, 3(%rdi)
; AVX2-NEXT: .LBB2_8: # %else6
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpxor %xmm3, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $0, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB2_10
; AVX2-NEXT: # %bb.9: # %cond.store7
; AVX2-NEXT: vpextrb $8, %xmm0, 4(%rdi)
; AVX2-NEXT: .LBB2_10: # %else8
; AVX2-NEXT: vpextrb $4, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB2_12
; AVX2-NEXT: # %bb.11: # %cond.store9
; AVX2-NEXT: vpextrb $10, %xmm0, 5(%rdi)
; AVX2-NEXT: .LBB2_12: # %else10
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $8, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB2_14
; AVX2-NEXT: # %bb.13: # %cond.store11
; AVX2-NEXT: vpextrb $12, %xmm0, 6(%rdi)
; AVX2-NEXT: .LBB2_14: # %else12
; AVX2-NEXT: vpextrb $12, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB2_16
; AVX2-NEXT: # %bb.15: # %cond.store13
; AVX2-NEXT: vpextrb $14, %xmm0, 7(%rdi)
; AVX2-NEXT: .LBB2_16: # %else14
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
;
; AVX512F-LABEL: truncstore_v8i64_v8i8:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $ymm1 killed $ymm1 def $zmm1
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: vpminuq {{.*}}(%rip){1to8}, %zmm0, %zmm0
; AVX512F-NEXT: vpmovqw %zmm0, %xmm0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB2_2
; AVX512F-NEXT: # %bb.1: # %cond.store
; AVX512F-NEXT: vpextrb $0, %xmm0, (%rdi)
; AVX512F-NEXT: .LBB2_2: # %else
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $1, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB2_4
; AVX512F-NEXT: # %bb.3: # %cond.store1
; AVX512F-NEXT: vpextrb $2, %xmm0, 1(%rdi)
; AVX512F-NEXT: .LBB2_4: # %else2
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $2, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB2_6
; AVX512F-NEXT: # %bb.5: # %cond.store3
; AVX512F-NEXT: vpextrb $4, %xmm0, 2(%rdi)
; AVX512F-NEXT: .LBB2_6: # %else4
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $3, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB2_8
; AVX512F-NEXT: # %bb.7: # %cond.store5
; AVX512F-NEXT: vpextrb $6, %xmm0, 3(%rdi)
; AVX512F-NEXT: .LBB2_8: # %else6
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $4, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB2_10
; AVX512F-NEXT: # %bb.9: # %cond.store7
; AVX512F-NEXT: vpextrb $8, %xmm0, 4(%rdi)
; AVX512F-NEXT: .LBB2_10: # %else8
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $5, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB2_12
; AVX512F-NEXT: # %bb.11: # %cond.store9
; AVX512F-NEXT: vpextrb $10, %xmm0, 5(%rdi)
; AVX512F-NEXT: .LBB2_12: # %else10
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $6, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB2_14
; AVX512F-NEXT: # %bb.13: # %cond.store11
; AVX512F-NEXT: vpextrb $12, %xmm0, 6(%rdi)
; AVX512F-NEXT: .LBB2_14: # %else12
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $7, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB2_16
; AVX512F-NEXT: # %bb.15: # %cond.store13
; AVX512F-NEXT: vpextrb $14, %xmm0, 7(%rdi)
; AVX512F-NEXT: .LBB2_16: # %else14
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v8i64_v8i8:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $ymm1 killed $ymm1 def $zmm1
; AVX512BW-NEXT: vptestmd %zmm1, %zmm1, %k1
; AVX512BW-NEXT: vpminuq {{.*}}(%rip){1to8}, %zmm0, %zmm0
; AVX512BW-NEXT: vpmovqb %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
;
; AVX512BWVL-LABEL: truncstore_v8i64_v8i8:
; AVX512BWVL: # %bb.0:
; AVX512BWVL-NEXT: vptestmd %ymm1, %ymm1, %k1
; AVX512BWVL-NEXT: vpminuq {{.*}}(%rip){1to8}, %zmm0, %zmm0
; AVX512BWVL-NEXT: vpmovqb %zmm0, (%rdi) {%k1}
; AVX512BWVL-NEXT: vzeroupper
; AVX512BWVL-NEXT: retq
%a = icmp ne <8 x i32> %mask, zeroinitializer
%b = icmp ult <8 x i64> %x, <i64 255, i64 255, i64 255, i64 255, i64 255, i64 255, i64 255, i64 255>
%c = select <8 x i1> %b, <8 x i64> %x, <8 x i64> <i64 255, i64 255, i64 255, i64 255, i64 255, i64 255, i64 255, i64 255>
%d = trunc <8 x i64> %c to <8 x i8>
call void @llvm.masked.store.v8i8.p0v8i8(<8 x i8> %d, <8 x i8>* %p, i32 1, <8 x i1> %a)
ret void
}
define void @truncstore_v4i64_v4i32(<4 x i64> %x, <4 x i32>* %p, <4 x i32> %mask) {
; SSE2-LABEL: truncstore_v4i64_v4i32:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm3, %xmm3
; SSE2-NEXT: pcmpeqd %xmm2, %xmm3
; SSE2-NEXT: movdqa {{.*#+}} xmm8 = [4294967295,4294967295]
; SSE2-NEXT: movdqa {{.*#+}} xmm5 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: movdqa %xmm1, %xmm6
; SSE2-NEXT: pxor %xmm5, %xmm6
; SSE2-NEXT: movdqa {{.*#+}} xmm9 = [9223372039002259455,9223372039002259455]
; SSE2-NEXT: movdqa %xmm9, %xmm7
; SSE2-NEXT: pcmpgtd %xmm6, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm4 = xmm7[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm9, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
; SSE2-NEXT: pand %xmm4, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm4 = xmm7[1,1,3,3]
; SSE2-NEXT: por %xmm6, %xmm4
; SSE2-NEXT: pand %xmm4, %xmm1
; SSE2-NEXT: pandn %xmm8, %xmm4
; SSE2-NEXT: por %xmm1, %xmm4
; SSE2-NEXT: pxor %xmm0, %xmm5
; SSE2-NEXT: movdqa %xmm9, %xmm1
; SSE2-NEXT: pcmpgtd %xmm5, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm1[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm9, %xmm5
; SSE2-NEXT: pshufd {{.*#+}} xmm5 = xmm5[1,1,3,3]
; SSE2-NEXT: pand %xmm6, %xmm5
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
; SSE2-NEXT: por %xmm5, %xmm1
; SSE2-NEXT: pand %xmm1, %xmm0
; SSE2-NEXT: pandn %xmm8, %xmm1
; SSE2-NEXT: por %xmm0, %xmm1
; SSE2-NEXT: shufps {{.*#+}} xmm1 = xmm1[0,2],xmm4[0,2]
; SSE2-NEXT: movd %xmm3, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB3_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movss %xmm1, (%rdi)
; SSE2-NEXT: .LBB3_2: # %else
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm3
; SSE2-NEXT: pextrw $2, %xmm3, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB3_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pshufd {{.*#+}} xmm3 = xmm1[1,1,2,3]
; SSE2-NEXT: movd %xmm3, 4(%rdi)
; SSE2-NEXT: .LBB3_4: # %else2
; SSE2-NEXT: pxor %xmm3, %xmm3
; SSE2-NEXT: pcmpeqd %xmm3, %xmm2
; SSE2-NEXT: pxor %xmm2, %xmm0
; SSE2-NEXT: pextrw $4, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB3_6
; SSE2-NEXT: # %bb.5: # %cond.store3
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
; SSE2-NEXT: movd %xmm0, 8(%rdi)
; SSE2-NEXT: .LBB3_6: # %else4
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm2
; SSE2-NEXT: pextrw $6, %xmm2, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB3_8
; SSE2-NEXT: # %bb.7: # %cond.store5
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm1[3,1,2,3]
; SSE2-NEXT: movd %xmm0, 12(%rdi)
; SSE2-NEXT: .LBB3_8: # %else6
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v4i64_v4i32:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm8
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm2, %xmm0
; SSE4-NEXT: pcmpeqd %xmm6, %xmm6
; SSE4-NEXT: pxor %xmm0, %xmm6
; SSE4-NEXT: movapd {{.*#+}} xmm5 = [4294967295,4294967295]
; SSE4-NEXT: movdqa {{.*#+}} xmm7 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: movdqa %xmm1, %xmm3
; SSE4-NEXT: pxor %xmm7, %xmm3
; SSE4-NEXT: movdqa {{.*#+}} xmm4 = [9223372041149743103,9223372041149743103]
; SSE4-NEXT: movdqa %xmm4, %xmm0
; SSE4-NEXT: pcmpgtq %xmm3, %xmm0
; SSE4-NEXT: movapd %xmm5, %xmm3
; SSE4-NEXT: blendvpd %xmm0, %xmm1, %xmm3
; SSE4-NEXT: pxor %xmm8, %xmm7
; SSE4-NEXT: pcmpgtq %xmm7, %xmm4
; SSE4-NEXT: movdqa %xmm4, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm8, %xmm5
; SSE4-NEXT: shufps {{.*#+}} xmm5 = xmm5[0,2],xmm3[0,2]
; SSE4-NEXT: pextrb $0, %xmm6, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB3_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: movss %xmm5, (%rdi)
; SSE4-NEXT: .LBB3_2: # %else
; SSE4-NEXT: pextrb $4, %xmm6, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB3_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: extractps $1, %xmm5, 4(%rdi)
; SSE4-NEXT: .LBB3_4: # %else2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm2
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm2, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB3_6
; SSE4-NEXT: # %bb.5: # %cond.store3
; SSE4-NEXT: extractps $2, %xmm5, 8(%rdi)
; SSE4-NEXT: .LBB3_6: # %else4
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB3_8
; SSE4-NEXT: # %bb.7: # %cond.store5
; SSE4-NEXT: extractps $3, %xmm5, 12(%rdi)
; SSE4-NEXT: .LBB3_8: # %else6
; SSE4-NEXT: retq
;
; AVX1-LABEL: truncstore_v4i64_v4i32:
; AVX1: # %bb.0:
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vmovapd {{.*#+}} ymm2 = [4294967295,4294967295,4294967295,4294967295]
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX1-NEXT: vmovdqa {{.*#+}} xmm4 = [9223372036854775808,9223372036854775808]
; AVX1-NEXT: vpxor %xmm4, %xmm3, %xmm3
; AVX1-NEXT: vmovdqa {{.*#+}} xmm5 = [9223372041149743103,9223372041149743103]
; AVX1-NEXT: vpcmpgtq %xmm3, %xmm5, %xmm3
; AVX1-NEXT: vpxor %xmm4, %xmm0, %xmm4
; AVX1-NEXT: vpcmpgtq %xmm4, %xmm5, %xmm4
; AVX1-NEXT: vinsertf128 $1, %xmm3, %ymm4, %ymm3
; AVX1-NEXT: vblendvpd %ymm3, %ymm0, %ymm2, %ymm0
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm2
; AVX1-NEXT: vshufps {{.*#+}} xmm0 = xmm0[0,2],xmm2[0,2]
; AVX1-NEXT: vmaskmovps %xmm0, %xmm1, (%rdi)
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
;
; AVX2-LABEL: truncstore_v4i64_v4i32:
; AVX2: # %bb.0:
; AVX2-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vbroadcastsd {{.*#+}} ymm2 = [4294967295,4294967295,4294967295,4294967295]
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
; AVX2-NEXT: vpxor %ymm3, %ymm0, %ymm3
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm4 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
; AVX2-NEXT: vpcmpgtq %ymm3, %ymm4, %ymm3
; AVX2-NEXT: vblendvpd %ymm3, %ymm0, %ymm2, %ymm0
; AVX2-NEXT: vextractf128 $1, %ymm0, %xmm2
; AVX2-NEXT: vshufps {{.*#+}} xmm0 = xmm0[0,2],xmm2[0,2]
; AVX2-NEXT: vpmaskmovd %xmm0, %xmm1, (%rdi)
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
;
; AVX512F-LABEL: truncstore_v4i64_v4i32:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512F-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftlw $12, %k0, %k0
; AVX512F-NEXT: kshiftrw $12, %k0, %k1
; AVX512F-NEXT: vpbroadcastq {{.*#+}} ymm1 = [4294967295,4294967295,4294967295,4294967295]
; AVX512F-NEXT: vpminuq %zmm1, %zmm0, %zmm0
; AVX512F-NEXT: vpmovqd %zmm0, %ymm0
; AVX512F-NEXT: vmovdqu32 %zmm0, (%rdi) {%k1}
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512VL-LABEL: truncstore_v4i64_v4i32:
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestmd %xmm1, %xmm1, %k1
; AVX512VL-NEXT: vpminuq {{.*}}(%rip){1to4}, %ymm0, %ymm0
; AVX512VL-NEXT: vpmovqd %ymm0, (%rdi) {%k1}
; AVX512VL-NEXT: vzeroupper
; AVX512VL-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v4i64_v4i32:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512BW-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512BW-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512BW-NEXT: kshiftlw $12, %k0, %k0
; AVX512BW-NEXT: kshiftrw $12, %k0, %k1
; AVX512BW-NEXT: vpbroadcastq {{.*#+}} ymm1 = [4294967295,4294967295,4294967295,4294967295]
; AVX512BW-NEXT: vpminuq %zmm1, %zmm0, %zmm0
; AVX512BW-NEXT: vpmovqd %zmm0, %ymm0
; AVX512BW-NEXT: vmovdqu32 %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
%a = icmp ne <4 x i32> %mask, zeroinitializer
%b = icmp ult <4 x i64> %x, <i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295>
%c = select <4 x i1> %b, <4 x i64> %x, <4 x i64> <i64 4294967295, i64 4294967295, i64 4294967295, i64 4294967295>
%d = trunc <4 x i64> %c to <4 x i32>
call void @llvm.masked.store.v4i32.p0v4i32(<4 x i32> %d, <4 x i32>* %p, i32 1, <4 x i1> %a)
ret void
}
define void @truncstore_v4i64_v4i16(<4 x i64> %x, <4 x i16>* %p, <4 x i32> %mask) {
; SSE2-LABEL: truncstore_v4i64_v4i16:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm3, %xmm3
; SSE2-NEXT: pcmpeqd %xmm2, %xmm3
; SSE2-NEXT: movdqa {{.*#+}} xmm8 = [65535,65535]
; SSE2-NEXT: movdqa {{.*#+}} xmm5 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: movdqa %xmm1, %xmm6
; SSE2-NEXT: pxor %xmm5, %xmm6
; SSE2-NEXT: movdqa {{.*#+}} xmm9 = [9223372039002324991,9223372039002324991]
; SSE2-NEXT: movdqa %xmm9, %xmm7
; SSE2-NEXT: pcmpgtd %xmm6, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm4 = xmm7[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm9, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
; SSE2-NEXT: pand %xmm4, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm4 = xmm7[1,1,3,3]
; SSE2-NEXT: por %xmm6, %xmm4
; SSE2-NEXT: pand %xmm4, %xmm1
; SSE2-NEXT: pandn %xmm8, %xmm4
; SSE2-NEXT: por %xmm1, %xmm4
; SSE2-NEXT: pxor %xmm0, %xmm5
; SSE2-NEXT: movdqa %xmm9, %xmm1
; SSE2-NEXT: pcmpgtd %xmm5, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm1[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm9, %xmm5
; SSE2-NEXT: pshufd {{.*#+}} xmm5 = xmm5[1,1,3,3]
; SSE2-NEXT: pand %xmm6, %xmm5
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
; SSE2-NEXT: por %xmm5, %xmm1
; SSE2-NEXT: pand %xmm1, %xmm0
; SSE2-NEXT: pandn %xmm8, %xmm1
; SSE2-NEXT: por %xmm0, %xmm1
; SSE2-NEXT: shufps {{.*#+}} xmm1 = xmm1[0,2],xmm4[0,2]
; SSE2-NEXT: movd %xmm3, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB4_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movd %xmm1, %eax
; SSE2-NEXT: movw %ax, (%rdi)
; SSE2-NEXT: .LBB4_2: # %else
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm3
; SSE2-NEXT: pextrw $2, %xmm3, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB4_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pextrw $2, %xmm1, %eax
; SSE2-NEXT: movw %ax, 2(%rdi)
; SSE2-NEXT: .LBB4_4: # %else2
; SSE2-NEXT: pxor %xmm3, %xmm3
; SSE2-NEXT: pcmpeqd %xmm3, %xmm2
; SSE2-NEXT: pxor %xmm2, %xmm0
; SSE2-NEXT: pextrw $4, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB4_6
; SSE2-NEXT: # %bb.5: # %cond.store3
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: movw %ax, 4(%rdi)
; SSE2-NEXT: .LBB4_6: # %else4
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm2
; SSE2-NEXT: pextrw $6, %xmm2, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB4_8
; SSE2-NEXT: # %bb.7: # %cond.store5
; SSE2-NEXT: pextrw $6, %xmm1, %eax
; SSE2-NEXT: movw %ax, 6(%rdi)
; SSE2-NEXT: .LBB4_8: # %else6
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v4i64_v4i16:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm8
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm2, %xmm0
; SSE4-NEXT: pcmpeqd %xmm6, %xmm6
; SSE4-NEXT: pxor %xmm0, %xmm6
; SSE4-NEXT: movapd {{.*#+}} xmm5 = [65535,65535]
; SSE4-NEXT: movdqa {{.*#+}} xmm7 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: movdqa %xmm1, %xmm3
; SSE4-NEXT: pxor %xmm7, %xmm3
; SSE4-NEXT: movdqa {{.*#+}} xmm4 = [9223372036854841343,9223372036854841343]
; SSE4-NEXT: movdqa %xmm4, %xmm0
; SSE4-NEXT: pcmpgtq %xmm3, %xmm0
; SSE4-NEXT: movapd %xmm5, %xmm3
; SSE4-NEXT: blendvpd %xmm0, %xmm1, %xmm3
; SSE4-NEXT: pxor %xmm8, %xmm7
; SSE4-NEXT: pcmpgtq %xmm7, %xmm4
; SSE4-NEXT: movdqa %xmm4, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm8, %xmm5
; SSE4-NEXT: packusdw %xmm3, %xmm5
; SSE4-NEXT: pextrb $0, %xmm6, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB4_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: pextrw $0, %xmm5, (%rdi)
; SSE4-NEXT: .LBB4_2: # %else
; SSE4-NEXT: pextrb $4, %xmm6, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB4_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: pextrw $2, %xmm5, 2(%rdi)
; SSE4-NEXT: .LBB4_4: # %else2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm2
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm2, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB4_6
; SSE4-NEXT: # %bb.5: # %cond.store3
; SSE4-NEXT: pextrw $4, %xmm5, 4(%rdi)
; SSE4-NEXT: .LBB4_6: # %else4
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB4_8
; SSE4-NEXT: # %bb.7: # %cond.store5
; SSE4-NEXT: pextrw $6, %xmm5, 6(%rdi)
; SSE4-NEXT: .LBB4_8: # %else6
; SSE4-NEXT: retq
;
; AVX1-LABEL: truncstore_v4i64_v4i16:
; AVX1: # %bb.0:
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX1-NEXT: vpxor %xmm3, %xmm2, %xmm2
; AVX1-NEXT: vmovapd {{.*#+}} ymm3 = [65535,65535,65535,65535]
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm4
; AVX1-NEXT: vmovdqa {{.*#+}} xmm5 = [9223372036854775808,9223372036854775808]
; AVX1-NEXT: vpxor %xmm5, %xmm4, %xmm4
; AVX1-NEXT: vmovdqa {{.*#+}} xmm6 = [9223372036854841343,9223372036854841343]
; AVX1-NEXT: vpcmpgtq %xmm4, %xmm6, %xmm4
; AVX1-NEXT: vpxor %xmm5, %xmm0, %xmm5
; AVX1-NEXT: vpcmpgtq %xmm5, %xmm6, %xmm5
; AVX1-NEXT: vinsertf128 $1, %xmm4, %ymm5, %ymm4
; AVX1-NEXT: vblendvpd %ymm4, %ymm0, %ymm3, %ymm0
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX1-NEXT: vpackusdw %xmm3, %xmm0, %xmm0
; AVX1-NEXT: vpextrb $0, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB4_2
; AVX1-NEXT: # %bb.1: # %cond.store
; AVX1-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX1-NEXT: .LBB4_2: # %else
; AVX1-NEXT: vpextrb $4, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB4_4
; AVX1-NEXT: # %bb.3: # %cond.store1
; AVX1-NEXT: vpextrw $2, %xmm0, 2(%rdi)
; AVX1-NEXT: .LBB4_4: # %else2
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $8, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB4_6
; AVX1-NEXT: # %bb.5: # %cond.store3
; AVX1-NEXT: vpextrw $4, %xmm0, 4(%rdi)
; AVX1-NEXT: .LBB4_6: # %else4
; AVX1-NEXT: vpextrb $12, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB4_8
; AVX1-NEXT: # %bb.7: # %cond.store5
; AVX1-NEXT: vpextrw $6, %xmm0, 6(%rdi)
; AVX1-NEXT: .LBB4_8: # %else6
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
;
; AVX2-LABEL: truncstore_v4i64_v4i16:
; AVX2: # %bb.0:
; AVX2-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm2
; AVX2-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpxor %xmm3, %xmm2, %xmm2
; AVX2-NEXT: vbroadcastsd {{.*#+}} ymm3 = [65535,65535,65535,65535]
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm4 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
; AVX2-NEXT: vpxor %ymm4, %ymm0, %ymm4
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372036854841343,9223372036854841343,9223372036854841343,9223372036854841343]
; AVX2-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
; AVX2-NEXT: vblendvpd %ymm4, %ymm0, %ymm3, %ymm0
; AVX2-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX2-NEXT: vpackusdw %xmm3, %xmm0, %xmm0
; AVX2-NEXT: vpextrb $0, %xmm2, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB4_2
; AVX2-NEXT: # %bb.1: # %cond.store
; AVX2-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX2-NEXT: .LBB4_2: # %else
; AVX2-NEXT: vpextrb $4, %xmm2, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB4_4
; AVX2-NEXT: # %bb.3: # %cond.store1
; AVX2-NEXT: vpextrw $2, %xmm0, 2(%rdi)
; AVX2-NEXT: .LBB4_4: # %else2
; AVX2-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $8, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB4_6
; AVX2-NEXT: # %bb.5: # %cond.store3
; AVX2-NEXT: vpextrw $4, %xmm0, 4(%rdi)
; AVX2-NEXT: .LBB4_6: # %else4
; AVX2-NEXT: vpextrb $12, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB4_8
; AVX2-NEXT: # %bb.7: # %cond.store5
; AVX2-NEXT: vpextrw $6, %xmm0, 6(%rdi)
; AVX2-NEXT: .LBB4_8: # %else6
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
;
; AVX512F-LABEL: truncstore_v4i64_v4i16:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512F-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: vpbroadcastq {{.*#+}} ymm2 = [65535,65535,65535,65535]
; AVX512F-NEXT: vpminuq %zmm2, %zmm0, %zmm0
; AVX512F-NEXT: vpmovqd %zmm0, %ymm0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB4_2
; AVX512F-NEXT: # %bb.1: # %cond.store
; AVX512F-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX512F-NEXT: .LBB4_2: # %else
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $1, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB4_4
; AVX512F-NEXT: # %bb.3: # %cond.store1
; AVX512F-NEXT: vpextrw $2, %xmm0, 2(%rdi)
; AVX512F-NEXT: .LBB4_4: # %else2
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $2, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB4_6
; AVX512F-NEXT: # %bb.5: # %cond.store3
; AVX512F-NEXT: vpextrw $4, %xmm0, 4(%rdi)
; AVX512F-NEXT: .LBB4_6: # %else4
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $3, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB4_8
; AVX512F-NEXT: # %bb.7: # %cond.store5
; AVX512F-NEXT: vpextrw $6, %xmm0, 6(%rdi)
; AVX512F-NEXT: .LBB4_8: # %else6
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v4i64_v4i16:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512BW-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512BW-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512BW-NEXT: vpbroadcastq {{.*#+}} ymm1 = [65535,65535,65535,65535]
; AVX512BW-NEXT: vpminuq %zmm1, %zmm0, %zmm0
; AVX512BW-NEXT: vpmovqd %zmm0, %ymm0
; AVX512BW-NEXT: vpackusdw %xmm0, %xmm0, %xmm0
; AVX512BW-NEXT: kshiftld $28, %k0, %k0
; AVX512BW-NEXT: kshiftrd $28, %k0, %k1
; AVX512BW-NEXT: vmovdqu16 %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
;
; AVX512BWVL-LABEL: truncstore_v4i64_v4i16:
; AVX512BWVL: # %bb.0:
; AVX512BWVL-NEXT: vptestmd %xmm1, %xmm1, %k1
; AVX512BWVL-NEXT: vpminuq {{.*}}(%rip){1to4}, %ymm0, %ymm0
; AVX512BWVL-NEXT: vpmovqw %ymm0, (%rdi) {%k1}
; AVX512BWVL-NEXT: vzeroupper
; AVX512BWVL-NEXT: retq
%a = icmp ne <4 x i32> %mask, zeroinitializer
%b = icmp ult <4 x i64> %x, <i64 65535, i64 65535, i64 65535, i64 65535>
%c = select <4 x i1> %b, <4 x i64> %x, <4 x i64> <i64 65535, i64 65535, i64 65535, i64 65535>
%d = trunc <4 x i64> %c to <4 x i16>
call void @llvm.masked.store.v4i16.p0v4i16(<4 x i16> %d, <4 x i16>* %p, i32 1, <4 x i1> %a)
ret void
}
define void @truncstore_v4i64_v4i8(<4 x i64> %x, <4 x i8>* %p, <4 x i32> %mask) {
; SSE2-LABEL: truncstore_v4i64_v4i8:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm3, %xmm3
; SSE2-NEXT: pcmpeqd %xmm2, %xmm3
; SSE2-NEXT: movdqa {{.*#+}} xmm8 = [255,255]
; SSE2-NEXT: movdqa {{.*#+}} xmm5 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: movdqa %xmm1, %xmm6
; SSE2-NEXT: pxor %xmm5, %xmm6
; SSE2-NEXT: movdqa {{.*#+}} xmm9 = [9223372039002259711,9223372039002259711]
; SSE2-NEXT: movdqa %xmm9, %xmm7
; SSE2-NEXT: pcmpgtd %xmm6, %xmm7
; SSE2-NEXT: pshufd {{.*#+}} xmm4 = xmm7[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm9, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
; SSE2-NEXT: pand %xmm4, %xmm6
; SSE2-NEXT: pshufd {{.*#+}} xmm4 = xmm7[1,1,3,3]
; SSE2-NEXT: por %xmm6, %xmm4
; SSE2-NEXT: pand %xmm4, %xmm1
; SSE2-NEXT: pandn %xmm8, %xmm4
; SSE2-NEXT: por %xmm1, %xmm4
; SSE2-NEXT: pxor %xmm0, %xmm5
; SSE2-NEXT: movdqa %xmm9, %xmm1
; SSE2-NEXT: pcmpgtd %xmm5, %xmm1
; SSE2-NEXT: pshufd {{.*#+}} xmm6 = xmm1[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm9, %xmm5
; SSE2-NEXT: pshufd {{.*#+}} xmm5 = xmm5[1,1,3,3]
; SSE2-NEXT: pand %xmm6, %xmm5
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
; SSE2-NEXT: por %xmm5, %xmm1
; SSE2-NEXT: pand %xmm1, %xmm0
; SSE2-NEXT: pandn %xmm8, %xmm1
; SSE2-NEXT: por %xmm0, %xmm1
; SSE2-NEXT: packuswb %xmm4, %xmm1
; SSE2-NEXT: movd %xmm3, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB5_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movd %xmm1, %eax
; SSE2-NEXT: movb %al, (%rdi)
; SSE2-NEXT: .LBB5_2: # %else
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm3
; SSE2-NEXT: pextrw $2, %xmm3, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB5_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pextrw $2, %xmm1, %eax
; SSE2-NEXT: movb %al, 1(%rdi)
; SSE2-NEXT: .LBB5_4: # %else2
; SSE2-NEXT: pxor %xmm3, %xmm3
; SSE2-NEXT: pcmpeqd %xmm3, %xmm2
; SSE2-NEXT: pxor %xmm2, %xmm0
; SSE2-NEXT: pextrw $4, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB5_6
; SSE2-NEXT: # %bb.5: # %cond.store3
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: movb %al, 2(%rdi)
; SSE2-NEXT: .LBB5_6: # %else4
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm2
; SSE2-NEXT: pextrw $6, %xmm2, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB5_8
; SSE2-NEXT: # %bb.7: # %cond.store5
; SSE2-NEXT: pextrw $6, %xmm1, %eax
; SSE2-NEXT: movb %al, 3(%rdi)
; SSE2-NEXT: .LBB5_8: # %else6
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v4i64_v4i8:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm8
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm2, %xmm0
; SSE4-NEXT: pcmpeqd %xmm6, %xmm6
; SSE4-NEXT: pxor %xmm0, %xmm6
; SSE4-NEXT: movapd {{.*#+}} xmm5 = [255,255]
; SSE4-NEXT: movdqa {{.*#+}} xmm7 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: movdqa %xmm1, %xmm3
; SSE4-NEXT: pxor %xmm7, %xmm3
; SSE4-NEXT: movdqa {{.*#+}} xmm4 = [9223372036854776063,9223372036854776063]
; SSE4-NEXT: movdqa %xmm4, %xmm0
; SSE4-NEXT: pcmpgtq %xmm3, %xmm0
; SSE4-NEXT: movapd %xmm5, %xmm3
; SSE4-NEXT: blendvpd %xmm0, %xmm1, %xmm3
; SSE4-NEXT: pxor %xmm8, %xmm7
; SSE4-NEXT: pcmpgtq %xmm7, %xmm4
; SSE4-NEXT: movdqa %xmm4, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm8, %xmm5
; SSE4-NEXT: packusdw %xmm3, %xmm5
; SSE4-NEXT: pextrb $0, %xmm6, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB5_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: pextrb $0, %xmm5, (%rdi)
; SSE4-NEXT: .LBB5_2: # %else
; SSE4-NEXT: pextrb $4, %xmm6, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB5_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: pextrb $4, %xmm5, 1(%rdi)
; SSE4-NEXT: .LBB5_4: # %else2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm2
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm2, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB5_6
; SSE4-NEXT: # %bb.5: # %cond.store3
; SSE4-NEXT: pextrb $8, %xmm5, 2(%rdi)
; SSE4-NEXT: .LBB5_6: # %else4
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB5_8
; SSE4-NEXT: # %bb.7: # %cond.store5
; SSE4-NEXT: pextrb $12, %xmm5, 3(%rdi)
; SSE4-NEXT: .LBB5_8: # %else6
; SSE4-NEXT: retq
;
; AVX1-LABEL: truncstore_v4i64_v4i8:
; AVX1: # %bb.0:
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX1-NEXT: vpxor %xmm3, %xmm2, %xmm2
; AVX1-NEXT: vmovapd {{.*#+}} ymm3 = [255,255,255,255]
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm4
; AVX1-NEXT: vmovdqa {{.*#+}} xmm5 = [9223372036854775808,9223372036854775808]
; AVX1-NEXT: vpxor %xmm5, %xmm4, %xmm4
; AVX1-NEXT: vmovdqa {{.*#+}} xmm6 = [9223372036854776063,9223372036854776063]
; AVX1-NEXT: vpcmpgtq %xmm4, %xmm6, %xmm4
; AVX1-NEXT: vpxor %xmm5, %xmm0, %xmm5
; AVX1-NEXT: vpcmpgtq %xmm5, %xmm6, %xmm5
; AVX1-NEXT: vinsertf128 $1, %xmm4, %ymm5, %ymm4
; AVX1-NEXT: vblendvpd %ymm4, %ymm0, %ymm3, %ymm0
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX1-NEXT: vpackusdw %xmm3, %xmm0, %xmm0
; AVX1-NEXT: vpextrb $0, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB5_2
; AVX1-NEXT: # %bb.1: # %cond.store
; AVX1-NEXT: vpextrb $0, %xmm0, (%rdi)
; AVX1-NEXT: .LBB5_2: # %else
; AVX1-NEXT: vpextrb $4, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB5_4
; AVX1-NEXT: # %bb.3: # %cond.store1
; AVX1-NEXT: vpextrb $4, %xmm0, 1(%rdi)
; AVX1-NEXT: .LBB5_4: # %else2
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $8, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB5_6
; AVX1-NEXT: # %bb.5: # %cond.store3
; AVX1-NEXT: vpextrb $8, %xmm0, 2(%rdi)
; AVX1-NEXT: .LBB5_6: # %else4
; AVX1-NEXT: vpextrb $12, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB5_8
; AVX1-NEXT: # %bb.7: # %cond.store5
; AVX1-NEXT: vpextrb $12, %xmm0, 3(%rdi)
; AVX1-NEXT: .LBB5_8: # %else6
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
;
; AVX2-LABEL: truncstore_v4i64_v4i8:
; AVX2: # %bb.0:
; AVX2-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm2
; AVX2-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX2-NEXT: vpxor %xmm3, %xmm2, %xmm2
; AVX2-NEXT: vbroadcastsd {{.*#+}} ymm3 = [255,255,255,255]
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm4 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
; AVX2-NEXT: vpxor %ymm4, %ymm0, %ymm4
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372036854776063,9223372036854776063,9223372036854776063,9223372036854776063]
; AVX2-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
; AVX2-NEXT: vblendvpd %ymm4, %ymm0, %ymm3, %ymm0
; AVX2-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX2-NEXT: vpackusdw %xmm3, %xmm0, %xmm0
; AVX2-NEXT: vpextrb $0, %xmm2, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB5_2
; AVX2-NEXT: # %bb.1: # %cond.store
; AVX2-NEXT: vpextrb $0, %xmm0, (%rdi)
; AVX2-NEXT: .LBB5_2: # %else
; AVX2-NEXT: vpextrb $4, %xmm2, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB5_4
; AVX2-NEXT: # %bb.3: # %cond.store1
; AVX2-NEXT: vpextrb $4, %xmm0, 1(%rdi)
; AVX2-NEXT: .LBB5_4: # %else2
; AVX2-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $8, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB5_6
; AVX2-NEXT: # %bb.5: # %cond.store3
; AVX2-NEXT: vpextrb $8, %xmm0, 2(%rdi)
; AVX2-NEXT: .LBB5_6: # %else4
; AVX2-NEXT: vpextrb $12, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB5_8
; AVX2-NEXT: # %bb.7: # %cond.store5
; AVX2-NEXT: vpextrb $12, %xmm0, 3(%rdi)
; AVX2-NEXT: .LBB5_8: # %else6
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
;
; AVX512F-LABEL: truncstore_v4i64_v4i8:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512F-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: vpbroadcastq {{.*#+}} ymm2 = [255,255,255,255]
; AVX512F-NEXT: vpminuq %zmm2, %zmm0, %zmm0
; AVX512F-NEXT: vpmovqd %zmm0, %ymm0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB5_2
; AVX512F-NEXT: # %bb.1: # %cond.store
; AVX512F-NEXT: vpextrb $0, %xmm0, (%rdi)
; AVX512F-NEXT: .LBB5_2: # %else
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $1, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB5_4
; AVX512F-NEXT: # %bb.3: # %cond.store1
; AVX512F-NEXT: vpextrb $4, %xmm0, 1(%rdi)
; AVX512F-NEXT: .LBB5_4: # %else2
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $2, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB5_6
; AVX512F-NEXT: # %bb.5: # %cond.store3
; AVX512F-NEXT: vpextrb $8, %xmm0, 2(%rdi)
; AVX512F-NEXT: .LBB5_6: # %else4
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $3, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB5_8
; AVX512F-NEXT: # %bb.7: # %cond.store5
; AVX512F-NEXT: vpextrb $12, %xmm0, 3(%rdi)
; AVX512F-NEXT: .LBB5_8: # %else6
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v4i64_v4i8:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512BW-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512BW-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512BW-NEXT: vpbroadcastq {{.*#+}} ymm1 = [255,255,255,255]
; AVX512BW-NEXT: vpminuq %zmm1, %zmm0, %zmm0
; AVX512BW-NEXT: vpmovqd %zmm0, %ymm0
; AVX512BW-NEXT: vpshufb {{.*#+}} xmm0 = xmm0[0,4,8,12,u,u,u,u,u,u,u,u,u,u,u,u]
; AVX512BW-NEXT: kshiftlq $60, %k0, %k0
; AVX512BW-NEXT: kshiftrq $60, %k0, %k1
; AVX512BW-NEXT: vmovdqu8 %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
;
; AVX512BWVL-LABEL: truncstore_v4i64_v4i8:
; AVX512BWVL: # %bb.0:
; AVX512BWVL-NEXT: vptestmd %xmm1, %xmm1, %k1
; AVX512BWVL-NEXT: vpminuq {{.*}}(%rip){1to4}, %ymm0, %ymm0
; AVX512BWVL-NEXT: vpmovqb %ymm0, (%rdi) {%k1}
; AVX512BWVL-NEXT: vzeroupper
; AVX512BWVL-NEXT: retq
%a = icmp ne <4 x i32> %mask, zeroinitializer
%b = icmp ult <4 x i64> %x, <i64 255, i64 255, i64 255, i64 255>
%c = select <4 x i1> %b, <4 x i64> %x, <4 x i64> <i64 255, i64 255, i64 255, i64 255>
%d = trunc <4 x i64> %c to <4 x i8>
call void @llvm.masked.store.v4i8.p0v4i8(<4 x i8> %d, <4 x i8>* %p, i32 1, <4 x i1> %a)
ret void
}
define void @truncstore_v2i64_v2i32(<2 x i64> %x, <2 x i32>* %p, <2 x i64> %mask) {
; SSE2-LABEL: truncstore_v2i64_v2i32:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm2, %xmm2
; SSE2-NEXT: pcmpeqd %xmm1, %xmm2
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm2[1,0,3,2]
; SSE2-NEXT: pand %xmm2, %xmm1
; SSE2-NEXT: movdqa {{.*#+}} xmm2 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: pxor %xmm0, %xmm2
; SSE2-NEXT: movdqa {{.*#+}} xmm3 = [9223372039002259455,9223372039002259455]
; SSE2-NEXT: movdqa %xmm3, %xmm4
; SSE2-NEXT: pcmpgtd %xmm2, %xmm4
; SSE2-NEXT: pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm3, %xmm2
; SSE2-NEXT: pshufd {{.*#+}} xmm3 = xmm2[1,1,3,3]
; SSE2-NEXT: pand %xmm5, %xmm3
; SSE2-NEXT: pshufd {{.*#+}} xmm2 = xmm4[1,1,3,3]
; SSE2-NEXT: por %xmm3, %xmm2
; SSE2-NEXT: pand %xmm2, %xmm0
; SSE2-NEXT: pandn {{.*}}(%rip), %xmm2
; SSE2-NEXT: por %xmm0, %xmm2
; SSE2-NEXT: movd %xmm1, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB6_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movd %xmm2, (%rdi)
; SSE2-NEXT: .LBB6_2: # %else
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm1
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB6_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm2[2,3,0,1]
; SSE2-NEXT: movd %xmm0, 4(%rdi)
; SSE2-NEXT: .LBB6_4: # %else2
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v2i64_v2i32:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqq %xmm1, %xmm0
; SSE4-NEXT: pcmpeqd %xmm3, %xmm3
; SSE4-NEXT: pxor %xmm0, %xmm3
; SSE4-NEXT: movapd {{.*#+}} xmm1 = [4294967295,4294967295]
; SSE4-NEXT: movdqa {{.*#+}} xmm4 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: pxor %xmm2, %xmm4
; SSE4-NEXT: movdqa {{.*#+}} xmm0 = [9223372041149743103,9223372041149743103]
; SSE4-NEXT: pcmpgtq %xmm4, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm2, %xmm1
; SSE4-NEXT: pextrb $0, %xmm3, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB6_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: movss %xmm1, (%rdi)
; SSE4-NEXT: .LBB6_2: # %else
; SSE4-NEXT: pextrb $8, %xmm3, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB6_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: extractps $2, %xmm1, 4(%rdi)
; SSE4-NEXT: .LBB6_4: # %else2
; SSE4-NEXT: retq
;
; AVX1-LABEL: truncstore_v2i64_v2i32:
; AVX1: # %bb.0:
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqq %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vmovapd {{.*#+}} xmm2 = [4294967295,4294967295]
; AVX1-NEXT: vpxor {{.*}}(%rip), %xmm0, %xmm3
; AVX1-NEXT: vmovdqa {{.*#+}} xmm4 = [9223372041149743103,9223372041149743103]
; AVX1-NEXT: vpcmpgtq %xmm3, %xmm4, %xmm3
; AVX1-NEXT: vblendvpd %xmm3, %xmm0, %xmm2, %xmm0
; AVX1-NEXT: vinsertps {{.*#+}} xmm1 = xmm1[0,2],zero,zero
; AVX1-NEXT: vpermilps {{.*#+}} xmm0 = xmm0[0,2,2,3]
; AVX1-NEXT: vmaskmovps %xmm0, %xmm1, (%rdi)
; AVX1-NEXT: retq
;
; AVX2-LABEL: truncstore_v2i64_v2i32:
; AVX2: # %bb.0:
; AVX2-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpcmpeqq %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vmovapd {{.*#+}} xmm2 = [4294967295,4294967295]
; AVX2-NEXT: vpxor {{.*}}(%rip), %xmm0, %xmm3
; AVX2-NEXT: vmovdqa {{.*#+}} xmm4 = [9223372041149743103,9223372041149743103]
; AVX2-NEXT: vpcmpgtq %xmm3, %xmm4, %xmm3
; AVX2-NEXT: vblendvpd %xmm3, %xmm0, %xmm2, %xmm0
; AVX2-NEXT: vinsertps {{.*#+}} xmm1 = xmm1[0,2],zero,zero
; AVX2-NEXT: vpermilps {{.*#+}} xmm0 = xmm0[0,2,2,3]
; AVX2-NEXT: vpmaskmovd %xmm0, %xmm1, (%rdi)
; AVX2-NEXT: retq
;
; AVX512F-LABEL: truncstore_v2i64_v2i32:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512F-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512F-NEXT: vptestmq %zmm1, %zmm1, %k0
; AVX512F-NEXT: vmovdqa {{.*#+}} xmm1 = [4294967295,4294967295]
; AVX512F-NEXT: vpminuq %zmm1, %zmm0, %zmm0
; AVX512F-NEXT: vpshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
; AVX512F-NEXT: kshiftlw $14, %k0, %k0
; AVX512F-NEXT: kshiftrw $14, %k0, %k1
; AVX512F-NEXT: vmovdqu32 %zmm0, (%rdi) {%k1}
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512VL-LABEL: truncstore_v2i64_v2i32:
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestmq %xmm1, %xmm1, %k1
; AVX512VL-NEXT: vpminuq {{.*}}(%rip), %xmm0, %xmm0
; AVX512VL-NEXT: vpmovqd %xmm0, (%rdi) {%k1}
; AVX512VL-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v2i64_v2i32:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512BW-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512BW-NEXT: vptestmq %zmm1, %zmm1, %k0
; AVX512BW-NEXT: vmovdqa {{.*#+}} xmm1 = [4294967295,4294967295]
; AVX512BW-NEXT: vpminuq %zmm1, %zmm0, %zmm0
; AVX512BW-NEXT: vpshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
; AVX512BW-NEXT: kshiftlw $14, %k0, %k0
; AVX512BW-NEXT: kshiftrw $14, %k0, %k1
; AVX512BW-NEXT: vmovdqu32 %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
%a = icmp ne <2 x i64> %mask, zeroinitializer
%b = icmp ult <2 x i64> %x, <i64 4294967295, i64 4294967295>
%c = select <2 x i1> %b, <2 x i64> %x, <2 x i64> <i64 4294967295, i64 4294967295>
%d = trunc <2 x i64> %c to <2 x i32>
call void @llvm.masked.store.v2i32.p0v2i32(<2 x i32> %d, <2 x i32>* %p, i32 1, <2 x i1> %a)
ret void
}
define void @truncstore_v2i64_v2i16(<2 x i64> %x, <2 x i16>* %p, <2 x i64> %mask) {
; SSE2-LABEL: truncstore_v2i64_v2i16:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm2, %xmm2
; SSE2-NEXT: pcmpeqd %xmm1, %xmm2
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm2[1,0,3,2]
; SSE2-NEXT: pand %xmm2, %xmm1
; SSE2-NEXT: movdqa {{.*#+}} xmm2 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: pxor %xmm0, %xmm2
; SSE2-NEXT: movdqa {{.*#+}} xmm3 = [9223372039002324991,9223372039002324991]
; SSE2-NEXT: movdqa %xmm3, %xmm4
; SSE2-NEXT: pcmpgtd %xmm2, %xmm4
; SSE2-NEXT: pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm3, %xmm2
; SSE2-NEXT: pshufd {{.*#+}} xmm3 = xmm2[1,1,3,3]
; SSE2-NEXT: pand %xmm5, %xmm3
; SSE2-NEXT: pshufd {{.*#+}} xmm2 = xmm4[1,1,3,3]
; SSE2-NEXT: por %xmm3, %xmm2
; SSE2-NEXT: pand %xmm2, %xmm0
; SSE2-NEXT: pandn {{.*}}(%rip), %xmm2
; SSE2-NEXT: por %xmm0, %xmm2
; SSE2-NEXT: movd %xmm1, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB7_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movd %xmm2, %eax
; SSE2-NEXT: movw %ax, (%rdi)
; SSE2-NEXT: .LBB7_2: # %else
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm1
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB7_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pextrw $4, %xmm2, %eax
; SSE2-NEXT: movw %ax, 2(%rdi)
; SSE2-NEXT: .LBB7_4: # %else2
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v2i64_v2i16:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqq %xmm1, %xmm0
; SSE4-NEXT: pcmpeqd %xmm3, %xmm3
; SSE4-NEXT: pxor %xmm0, %xmm3
; SSE4-NEXT: movapd {{.*#+}} xmm1 = [65535,65535]
; SSE4-NEXT: movdqa {{.*#+}} xmm4 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: pxor %xmm2, %xmm4
; SSE4-NEXT: movdqa {{.*#+}} xmm0 = [9223372036854841343,9223372036854841343]
; SSE4-NEXT: pcmpgtq %xmm4, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm2, %xmm1
; SSE4-NEXT: pextrb $0, %xmm3, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB7_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: pextrw $0, %xmm1, (%rdi)
; SSE4-NEXT: .LBB7_2: # %else
; SSE4-NEXT: pextrb $8, %xmm3, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB7_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: pextrw $4, %xmm1, 2(%rdi)
; SSE4-NEXT: .LBB7_4: # %else2
; SSE4-NEXT: retq
;
; AVX-LABEL: truncstore_v2i64_v2i16:
; AVX: # %bb.0:
; AVX-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX-NEXT: vpcmpeqq %xmm2, %xmm1, %xmm1
; AVX-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX-NEXT: vmovapd {{.*#+}} xmm2 = [65535,65535]
; AVX-NEXT: vpxor {{.*}}(%rip), %xmm0, %xmm3
; AVX-NEXT: vmovdqa {{.*#+}} xmm4 = [9223372036854841343,9223372036854841343]
; AVX-NEXT: vpcmpgtq %xmm3, %xmm4, %xmm3
; AVX-NEXT: vblendvpd %xmm3, %xmm0, %xmm2, %xmm0
; AVX-NEXT: vpextrb $0, %xmm1, %eax
; AVX-NEXT: testb $1, %al
; AVX-NEXT: je .LBB7_2
; AVX-NEXT: # %bb.1: # %cond.store
; AVX-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX-NEXT: .LBB7_2: # %else
; AVX-NEXT: vpextrb $8, %xmm1, %eax
; AVX-NEXT: testb $1, %al
; AVX-NEXT: je .LBB7_4
; AVX-NEXT: # %bb.3: # %cond.store1
; AVX-NEXT: vpextrw $4, %xmm0, 2(%rdi)
; AVX-NEXT: .LBB7_4: # %else2
; AVX-NEXT: retq
;
; AVX512F-LABEL: truncstore_v2i64_v2i16:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512F-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512F-NEXT: vptestmq %zmm1, %zmm1, %k0
; AVX512F-NEXT: vmovdqa {{.*#+}} xmm2 = [65535,65535]
; AVX512F-NEXT: vpminuq %zmm2, %zmm0, %zmm0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB7_2
; AVX512F-NEXT: # %bb.1: # %cond.store
; AVX512F-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX512F-NEXT: .LBB7_2: # %else
; AVX512F-NEXT: vptestmq %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $1, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB7_4
; AVX512F-NEXT: # %bb.3: # %cond.store1
; AVX512F-NEXT: vpextrw $4, %xmm0, 2(%rdi)
; AVX512F-NEXT: .LBB7_4: # %else2
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v2i64_v2i16:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512BW-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512BW-NEXT: vptestmq %zmm1, %zmm1, %k0
; AVX512BW-NEXT: vmovdqa {{.*#+}} xmm1 = [65535,65535]
; AVX512BW-NEXT: vpminuq %zmm1, %zmm0, %zmm0
; AVX512BW-NEXT: vpshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
; AVX512BW-NEXT: vpshuflw {{.*#+}} xmm0 = xmm0[0,2,2,3,4,5,6,7]
; AVX512BW-NEXT: kshiftld $30, %k0, %k0
; AVX512BW-NEXT: kshiftrd $30, %k0, %k1
; AVX512BW-NEXT: vmovdqu16 %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
;
; AVX512BWVL-LABEL: truncstore_v2i64_v2i16:
; AVX512BWVL: # %bb.0:
; AVX512BWVL-NEXT: vptestmq %xmm1, %xmm1, %k1
; AVX512BWVL-NEXT: vpminuq {{.*}}(%rip), %xmm0, %xmm0
; AVX512BWVL-NEXT: vpmovqw %xmm0, (%rdi) {%k1}
; AVX512BWVL-NEXT: retq
%a = icmp ne <2 x i64> %mask, zeroinitializer
%b = icmp ult <2 x i64> %x, <i64 65535, i64 65535>
%c = select <2 x i1> %b, <2 x i64> %x, <2 x i64> <i64 65535, i64 65535>
%d = trunc <2 x i64> %c to <2 x i16>
call void @llvm.masked.store.v2i16.p0v2i16(<2 x i16> %d, <2 x i16>* %p, i32 1, <2 x i1> %a)
ret void
}
define void @truncstore_v2i64_v2i8(<2 x i64> %x, <2 x i8>* %p, <2 x i64> %mask) {
; SSE2-LABEL: truncstore_v2i64_v2i8:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm2, %xmm2
; SSE2-NEXT: pcmpeqd %xmm1, %xmm2
; SSE2-NEXT: pshufd {{.*#+}} xmm1 = xmm2[1,0,3,2]
; SSE2-NEXT: pand %xmm2, %xmm1
; SSE2-NEXT: movdqa {{.*#+}} xmm2 = [9223372039002259456,9223372039002259456]
; SSE2-NEXT: pxor %xmm0, %xmm2
; SSE2-NEXT: movdqa {{.*#+}} xmm3 = [9223372039002259711,9223372039002259711]
; SSE2-NEXT: movdqa %xmm3, %xmm4
; SSE2-NEXT: pcmpgtd %xmm2, %xmm4
; SSE2-NEXT: pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
; SSE2-NEXT: pcmpeqd %xmm3, %xmm2
; SSE2-NEXT: pshufd {{.*#+}} xmm3 = xmm2[1,1,3,3]
; SSE2-NEXT: pand %xmm5, %xmm3
; SSE2-NEXT: pshufd {{.*#+}} xmm2 = xmm4[1,1,3,3]
; SSE2-NEXT: por %xmm3, %xmm2
; SSE2-NEXT: pand %xmm2, %xmm0
; SSE2-NEXT: pandn {{.*}}(%rip), %xmm2
; SSE2-NEXT: por %xmm0, %xmm2
; SSE2-NEXT: movd %xmm1, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB8_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movd %xmm2, %eax
; SSE2-NEXT: movb %al, (%rdi)
; SSE2-NEXT: .LBB8_2: # %else
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm1
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB8_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pextrw $4, %xmm2, %eax
; SSE2-NEXT: movb %al, 1(%rdi)
; SSE2-NEXT: .LBB8_4: # %else2
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v2i64_v2i8:
; SSE4: # %bb.0:
; SSE4-NEXT: movdqa %xmm0, %xmm2
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqq %xmm1, %xmm0
; SSE4-NEXT: pcmpeqd %xmm3, %xmm3
; SSE4-NEXT: pxor %xmm0, %xmm3
; SSE4-NEXT: movapd {{.*#+}} xmm1 = [255,255]
; SSE4-NEXT: movdqa {{.*#+}} xmm4 = [9223372036854775808,9223372036854775808]
; SSE4-NEXT: pxor %xmm2, %xmm4
; SSE4-NEXT: movdqa {{.*#+}} xmm0 = [9223372036854776063,9223372036854776063]
; SSE4-NEXT: pcmpgtq %xmm4, %xmm0
; SSE4-NEXT: blendvpd %xmm0, %xmm2, %xmm1
; SSE4-NEXT: pextrb $0, %xmm3, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB8_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: pextrb $0, %xmm1, (%rdi)
; SSE4-NEXT: .LBB8_2: # %else
; SSE4-NEXT: pextrb $8, %xmm3, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB8_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: pextrb $8, %xmm1, 1(%rdi)
; SSE4-NEXT: .LBB8_4: # %else2
; SSE4-NEXT: retq
;
; AVX-LABEL: truncstore_v2i64_v2i8:
; AVX: # %bb.0:
; AVX-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX-NEXT: vpcmpeqq %xmm2, %xmm1, %xmm1
; AVX-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX-NEXT: vmovapd {{.*#+}} xmm2 = [255,255]
; AVX-NEXT: vpxor {{.*}}(%rip), %xmm0, %xmm3
; AVX-NEXT: vmovdqa {{.*#+}} xmm4 = [9223372036854776063,9223372036854776063]
; AVX-NEXT: vpcmpgtq %xmm3, %xmm4, %xmm3
; AVX-NEXT: vblendvpd %xmm3, %xmm0, %xmm2, %xmm0
; AVX-NEXT: vpextrb $0, %xmm1, %eax
; AVX-NEXT: testb $1, %al
; AVX-NEXT: je .LBB8_2
; AVX-NEXT: # %bb.1: # %cond.store
; AVX-NEXT: vpextrb $0, %xmm0, (%rdi)
; AVX-NEXT: .LBB8_2: # %else
; AVX-NEXT: vpextrb $8, %xmm1, %eax
; AVX-NEXT: testb $1, %al
; AVX-NEXT: je .LBB8_4
; AVX-NEXT: # %bb.3: # %cond.store1
; AVX-NEXT: vpextrb $8, %xmm0, 1(%rdi)
; AVX-NEXT: .LBB8_4: # %else2
; AVX-NEXT: retq
;
; AVX512F-LABEL: truncstore_v2i64_v2i8:
; AVX512F: # %bb.0:
; AVX512F-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512F-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512F-NEXT: vptestmq %zmm1, %zmm1, %k0
; AVX512F-NEXT: vmovdqa {{.*#+}} xmm2 = [255,255]
; AVX512F-NEXT: vpminuq %zmm2, %zmm0, %zmm0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB8_2
; AVX512F-NEXT: # %bb.1: # %cond.store
; AVX512F-NEXT: vpextrb $0, %xmm0, (%rdi)
; AVX512F-NEXT: .LBB8_2: # %else
; AVX512F-NEXT: vptestmq %zmm1, %zmm1, %k0
; AVX512F-NEXT: kshiftrw $1, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB8_4
; AVX512F-NEXT: # %bb.3: # %cond.store1
; AVX512F-NEXT: vpextrb $8, %xmm0, 1(%rdi)
; AVX512F-NEXT: .LBB8_4: # %else2
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v2i64_v2i8:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: # kill: def $xmm1 killed $xmm1 def $zmm1
; AVX512BW-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512BW-NEXT: vptestmq %zmm1, %zmm1, %k0
; AVX512BW-NEXT: vmovdqa {{.*#+}} xmm1 = [255,255]
; AVX512BW-NEXT: vpminuq %zmm1, %zmm0, %zmm0
; AVX512BW-NEXT: vpshufb {{.*#+}} xmm0 = xmm0[0,8,u,u,u,u,u,u,u,u,u,u,u,u,u,u]
; AVX512BW-NEXT: kshiftlq $62, %k0, %k0
; AVX512BW-NEXT: kshiftrq $62, %k0, %k1
; AVX512BW-NEXT: vmovdqu8 %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
;
; AVX512BWVL-LABEL: truncstore_v2i64_v2i8:
; AVX512BWVL: # %bb.0:
; AVX512BWVL-NEXT: vptestmq %xmm1, %xmm1, %k1
; AVX512BWVL-NEXT: vpminuq {{.*}}(%rip), %xmm0, %xmm0
; AVX512BWVL-NEXT: vpmovqb %xmm0, (%rdi) {%k1}
; AVX512BWVL-NEXT: retq
%a = icmp ne <2 x i64> %mask, zeroinitializer
%b = icmp ult <2 x i64> %x, <i64 255, i64 255>
%c = select <2 x i1> %b, <2 x i64> %x, <2 x i64> <i64 255, i64 255>
%d = trunc <2 x i64> %c to <2 x i8>
call void @llvm.masked.store.v2i8.p0v2i8(<2 x i8> %d, <2 x i8>* %p, i32 1, <2 x i1> %a)
ret void
}
define void @truncstore_v16i32_v16i16(<16 x i32> %x, <16 x i16>* %p, <16 x i32> %mask) {
; SSE2-LABEL: truncstore_v16i32_v16i16:
; SSE2: # %bb.0:
; SSE2-NEXT: pxor %xmm12, %xmm12
; SSE2-NEXT: pcmpeqd %xmm4, %xmm12
; SSE2-NEXT: pcmpeqd %xmm9, %xmm9
; SSE2-NEXT: movdqa {{.*#+}} xmm11 = [2147483648,2147483648,2147483648,2147483648]
; SSE2-NEXT: movdqa %xmm0, %xmm13
; SSE2-NEXT: pxor %xmm11, %xmm13
; SSE2-NEXT: movdqa {{.*#+}} xmm10 = [2147549183,2147549183,2147549183,2147549183]
; SSE2-NEXT: movdqa %xmm10, %xmm8
; SSE2-NEXT: pcmpgtd %xmm13, %xmm8
; SSE2-NEXT: pand %xmm8, %xmm0
; SSE2-NEXT: pxor %xmm9, %xmm8
; SSE2-NEXT: por %xmm0, %xmm8
; SSE2-NEXT: movdqa %xmm1, %xmm13
; SSE2-NEXT: pxor %xmm11, %xmm13
; SSE2-NEXT: movdqa %xmm10, %xmm0
; SSE2-NEXT: pcmpgtd %xmm13, %xmm0
; SSE2-NEXT: pand %xmm0, %xmm1
; SSE2-NEXT: pxor %xmm9, %xmm0
; SSE2-NEXT: por %xmm1, %xmm0
; SSE2-NEXT: pslld $16, %xmm0
; SSE2-NEXT: psrad $16, %xmm0
; SSE2-NEXT: pslld $16, %xmm8
; SSE2-NEXT: psrad $16, %xmm8
; SSE2-NEXT: packssdw %xmm0, %xmm8
; SSE2-NEXT: movd %xmm12, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_2
; SSE2-NEXT: # %bb.1: # %cond.store
; SSE2-NEXT: movd %xmm8, %eax
; SSE2-NEXT: movw %ax, (%rdi)
; SSE2-NEXT: .LBB9_2: # %else
; SSE2-NEXT: pxor %xmm9, %xmm12
; SSE2-NEXT: pextrw $2, %xmm12, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_4
; SSE2-NEXT: # %bb.3: # %cond.store1
; SSE2-NEXT: pextrw $1, %xmm8, %eax
; SSE2-NEXT: movw %ax, 2(%rdi)
; SSE2-NEXT: .LBB9_4: # %else2
; SSE2-NEXT: movdqa %xmm2, %xmm12
; SSE2-NEXT: pxor %xmm11, %xmm12
; SSE2-NEXT: pxor %xmm3, %xmm11
; SSE2-NEXT: pxor %xmm0, %xmm0
; SSE2-NEXT: pcmpeqd %xmm0, %xmm4
; SSE2-NEXT: pcmpeqd %xmm1, %xmm1
; SSE2-NEXT: pxor %xmm4, %xmm1
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_6
; SSE2-NEXT: # %bb.5: # %cond.store3
; SSE2-NEXT: pextrw $2, %xmm8, %eax
; SSE2-NEXT: movw %ax, 4(%rdi)
; SSE2-NEXT: .LBB9_6: # %else4
; SSE2-NEXT: movdqa %xmm10, %xmm0
; SSE2-NEXT: pcmpgtd %xmm12, %xmm0
; SSE2-NEXT: pcmpgtd %xmm11, %xmm10
; SSE2-NEXT: pextrw $6, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_8
; SSE2-NEXT: # %bb.7: # %cond.store5
; SSE2-NEXT: pextrw $3, %xmm8, %eax
; SSE2-NEXT: movw %ax, 6(%rdi)
; SSE2-NEXT: .LBB9_8: # %else6
; SSE2-NEXT: pand %xmm0, %xmm2
; SSE2-NEXT: pxor %xmm9, %xmm0
; SSE2-NEXT: pxor %xmm10, %xmm9
; SSE2-NEXT: pand %xmm10, %xmm3
; SSE2-NEXT: pxor %xmm1, %xmm1
; SSE2-NEXT: pcmpeqd %xmm5, %xmm1
; SSE2-NEXT: movd %xmm1, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_10
; SSE2-NEXT: # %bb.9: # %cond.store7
; SSE2-NEXT: pextrw $4, %xmm8, %eax
; SSE2-NEXT: movw %ax, 8(%rdi)
; SSE2-NEXT: .LBB9_10: # %else8
; SSE2-NEXT: por %xmm0, %xmm2
; SSE2-NEXT: por %xmm9, %xmm3
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm1
; SSE2-NEXT: pextrw $2, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_12
; SSE2-NEXT: # %bb.11: # %cond.store9
; SSE2-NEXT: pextrw $5, %xmm8, %eax
; SSE2-NEXT: movw %ax, 10(%rdi)
; SSE2-NEXT: .LBB9_12: # %else10
; SSE2-NEXT: pslld $16, %xmm3
; SSE2-NEXT: pslld $16, %xmm2
; SSE2-NEXT: pxor %xmm1, %xmm1
; SSE2-NEXT: pcmpeqd %xmm1, %xmm5
; SSE2-NEXT: pxor %xmm5, %xmm0
; SSE2-NEXT: pextrw $4, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_14
; SSE2-NEXT: # %bb.13: # %cond.store11
; SSE2-NEXT: pextrw $6, %xmm8, %eax
; SSE2-NEXT: movw %ax, 12(%rdi)
; SSE2-NEXT: .LBB9_14: # %else12
; SSE2-NEXT: psrad $16, %xmm3
; SSE2-NEXT: psrad $16, %xmm2
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm5
; SSE2-NEXT: pextrw $6, %xmm5, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_16
; SSE2-NEXT: # %bb.15: # %cond.store13
; SSE2-NEXT: pextrw $7, %xmm8, %eax
; SSE2-NEXT: movw %ax, 14(%rdi)
; SSE2-NEXT: .LBB9_16: # %else14
; SSE2-NEXT: packssdw %xmm3, %xmm2
; SSE2-NEXT: pxor %xmm0, %xmm0
; SSE2-NEXT: pcmpeqd %xmm6, %xmm0
; SSE2-NEXT: movd %xmm0, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_18
; SSE2-NEXT: # %bb.17: # %cond.store15
; SSE2-NEXT: movd %xmm2, %eax
; SSE2-NEXT: movw %ax, 16(%rdi)
; SSE2-NEXT: .LBB9_18: # %else16
; SSE2-NEXT: pcmpeqd %xmm1, %xmm1
; SSE2-NEXT: pxor %xmm1, %xmm0
; SSE2-NEXT: pextrw $2, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_20
; SSE2-NEXT: # %bb.19: # %cond.store17
; SSE2-NEXT: pextrw $1, %xmm2, %eax
; SSE2-NEXT: movw %ax, 18(%rdi)
; SSE2-NEXT: .LBB9_20: # %else18
; SSE2-NEXT: pxor %xmm0, %xmm0
; SSE2-NEXT: pcmpeqd %xmm0, %xmm6
; SSE2-NEXT: pxor %xmm6, %xmm1
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_22
; SSE2-NEXT: # %bb.21: # %cond.store19
; SSE2-NEXT: pextrw $2, %xmm2, %eax
; SSE2-NEXT: movw %ax, 20(%rdi)
; SSE2-NEXT: .LBB9_22: # %else20
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm6
; SSE2-NEXT: pextrw $6, %xmm6, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_24
; SSE2-NEXT: # %bb.23: # %cond.store21
; SSE2-NEXT: pextrw $3, %xmm2, %eax
; SSE2-NEXT: movw %ax, 22(%rdi)
; SSE2-NEXT: .LBB9_24: # %else22
; SSE2-NEXT: pxor %xmm0, %xmm0
; SSE2-NEXT: pcmpeqd %xmm7, %xmm0
; SSE2-NEXT: movd %xmm0, %eax
; SSE2-NEXT: notl %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_26
; SSE2-NEXT: # %bb.25: # %cond.store23
; SSE2-NEXT: pextrw $4, %xmm2, %eax
; SSE2-NEXT: movw %ax, 24(%rdi)
; SSE2-NEXT: .LBB9_26: # %else24
; SSE2-NEXT: pcmpeqd %xmm1, %xmm1
; SSE2-NEXT: pxor %xmm1, %xmm0
; SSE2-NEXT: pextrw $2, %xmm0, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_28
; SSE2-NEXT: # %bb.27: # %cond.store25
; SSE2-NEXT: pextrw $5, %xmm2, %eax
; SSE2-NEXT: movw %ax, 26(%rdi)
; SSE2-NEXT: .LBB9_28: # %else26
; SSE2-NEXT: pxor %xmm0, %xmm0
; SSE2-NEXT: pcmpeqd %xmm0, %xmm7
; SSE2-NEXT: pxor %xmm7, %xmm1
; SSE2-NEXT: pextrw $4, %xmm1, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_30
; SSE2-NEXT: # %bb.29: # %cond.store27
; SSE2-NEXT: pextrw $6, %xmm2, %eax
; SSE2-NEXT: movw %ax, 28(%rdi)
; SSE2-NEXT: .LBB9_30: # %else28
; SSE2-NEXT: pcmpeqd %xmm0, %xmm0
; SSE2-NEXT: pxor %xmm0, %xmm7
; SSE2-NEXT: pextrw $6, %xmm7, %eax
; SSE2-NEXT: testb $1, %al
; SSE2-NEXT: je .LBB9_32
; SSE2-NEXT: # %bb.31: # %cond.store29
; SSE2-NEXT: pextrw $7, %xmm2, %eax
; SSE2-NEXT: movw %ax, 30(%rdi)
; SSE2-NEXT: .LBB9_32: # %else30
; SSE2-NEXT: retq
;
; SSE4-LABEL: truncstore_v16i32_v16i16:
; SSE4: # %bb.0:
; SSE4-NEXT: pxor %xmm8, %xmm8
; SSE4-NEXT: pcmpeqd %xmm4, %xmm8
; SSE4-NEXT: pcmpeqd %xmm9, %xmm9
; SSE4-NEXT: pxor %xmm8, %xmm9
; SSE4-NEXT: movdqa {{.*#+}} xmm8 = [65535,65535,65535,65535]
; SSE4-NEXT: pminud %xmm8, %xmm1
; SSE4-NEXT: pminud %xmm8, %xmm0
; SSE4-NEXT: packusdw %xmm1, %xmm0
; SSE4-NEXT: pextrb $0, %xmm9, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_2
; SSE4-NEXT: # %bb.1: # %cond.store
; SSE4-NEXT: pextrw $0, %xmm0, (%rdi)
; SSE4-NEXT: .LBB9_2: # %else
; SSE4-NEXT: pextrb $4, %xmm9, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_4
; SSE4-NEXT: # %bb.3: # %cond.store1
; SSE4-NEXT: pextrw $1, %xmm0, 2(%rdi)
; SSE4-NEXT: .LBB9_4: # %else2
; SSE4-NEXT: pxor %xmm1, %xmm1
; SSE4-NEXT: pcmpeqd %xmm1, %xmm4
; SSE4-NEXT: pcmpeqd %xmm1, %xmm1
; SSE4-NEXT: pxor %xmm4, %xmm1
; SSE4-NEXT: pextrb $8, %xmm1, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_6
; SSE4-NEXT: # %bb.5: # %cond.store3
; SSE4-NEXT: pextrw $2, %xmm0, 4(%rdi)
; SSE4-NEXT: .LBB9_6: # %else4
; SSE4-NEXT: pextrb $12, %xmm1, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_8
; SSE4-NEXT: # %bb.7: # %cond.store5
; SSE4-NEXT: pextrw $3, %xmm0, 6(%rdi)
; SSE4-NEXT: .LBB9_8: # %else6
; SSE4-NEXT: pxor %xmm4, %xmm4
; SSE4-NEXT: pcmpeqd %xmm5, %xmm4
; SSE4-NEXT: pcmpeqd %xmm1, %xmm1
; SSE4-NEXT: pxor %xmm4, %xmm1
; SSE4-NEXT: pextrb $0, %xmm1, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_10
; SSE4-NEXT: # %bb.9: # %cond.store7
; SSE4-NEXT: pextrw $4, %xmm0, 8(%rdi)
; SSE4-NEXT: .LBB9_10: # %else8
; SSE4-NEXT: pextrb $4, %xmm1, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_12
; SSE4-NEXT: # %bb.11: # %cond.store9
; SSE4-NEXT: pextrw $5, %xmm0, 10(%rdi)
; SSE4-NEXT: .LBB9_12: # %else10
; SSE4-NEXT: pxor %xmm1, %xmm1
; SSE4-NEXT: pcmpeqd %xmm1, %xmm5
; SSE4-NEXT: pcmpeqd %xmm1, %xmm1
; SSE4-NEXT: pxor %xmm5, %xmm1
; SSE4-NEXT: pextrb $8, %xmm1, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_14
; SSE4-NEXT: # %bb.13: # %cond.store11
; SSE4-NEXT: pextrw $6, %xmm0, 12(%rdi)
; SSE4-NEXT: .LBB9_14: # %else12
; SSE4-NEXT: pminud %xmm8, %xmm3
; SSE4-NEXT: pminud %xmm8, %xmm2
; SSE4-NEXT: pextrb $12, %xmm1, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_16
; SSE4-NEXT: # %bb.15: # %cond.store13
; SSE4-NEXT: pextrw $7, %xmm0, 14(%rdi)
; SSE4-NEXT: .LBB9_16: # %else14
; SSE4-NEXT: packusdw %xmm3, %xmm2
; SSE4-NEXT: pxor %xmm1, %xmm1
; SSE4-NEXT: pcmpeqd %xmm6, %xmm1
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm1, %xmm0
; SSE4-NEXT: pextrb $0, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_18
; SSE4-NEXT: # %bb.17: # %cond.store15
; SSE4-NEXT: pextrw $0, %xmm2, 16(%rdi)
; SSE4-NEXT: .LBB9_18: # %else16
; SSE4-NEXT: pextrb $4, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_20
; SSE4-NEXT: # %bb.19: # %cond.store17
; SSE4-NEXT: pextrw $1, %xmm2, 18(%rdi)
; SSE4-NEXT: .LBB9_20: # %else18
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm6
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm6, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_22
; SSE4-NEXT: # %bb.21: # %cond.store19
; SSE4-NEXT: pextrw $2, %xmm2, 20(%rdi)
; SSE4-NEXT: .LBB9_22: # %else20
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_24
; SSE4-NEXT: # %bb.23: # %cond.store21
; SSE4-NEXT: pextrw $3, %xmm2, 22(%rdi)
; SSE4-NEXT: .LBB9_24: # %else22
; SSE4-NEXT: pxor %xmm1, %xmm1
; SSE4-NEXT: pcmpeqd %xmm7, %xmm1
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm1, %xmm0
; SSE4-NEXT: pextrb $0, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_26
; SSE4-NEXT: # %bb.25: # %cond.store23
; SSE4-NEXT: pextrw $4, %xmm2, 24(%rdi)
; SSE4-NEXT: .LBB9_26: # %else24
; SSE4-NEXT: pextrb $4, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_28
; SSE4-NEXT: # %bb.27: # %cond.store25
; SSE4-NEXT: pextrw $5, %xmm2, 26(%rdi)
; SSE4-NEXT: .LBB9_28: # %else26
; SSE4-NEXT: pxor %xmm0, %xmm0
; SSE4-NEXT: pcmpeqd %xmm0, %xmm7
; SSE4-NEXT: pcmpeqd %xmm0, %xmm0
; SSE4-NEXT: pxor %xmm7, %xmm0
; SSE4-NEXT: pextrb $8, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_30
; SSE4-NEXT: # %bb.29: # %cond.store27
; SSE4-NEXT: pextrw $6, %xmm2, 28(%rdi)
; SSE4-NEXT: .LBB9_30: # %else28
; SSE4-NEXT: pextrb $12, %xmm0, %eax
; SSE4-NEXT: testb $1, %al
; SSE4-NEXT: je .LBB9_32
; SSE4-NEXT: # %bb.31: # %cond.store29
; SSE4-NEXT: pextrw $7, %xmm2, 30(%rdi)
; SSE4-NEXT: .LBB9_32: # %else30
; SSE4-NEXT: retq
;
; AVX1-LABEL: truncstore_v16i32_v16i16:
; AVX1: # %bb.0:
; AVX1-NEXT: vpxor %xmm8, %xmm8, %xmm8
; AVX1-NEXT: vpcmpeqd %xmm8, %xmm2, %xmm6
; AVX1-NEXT: vpcmpeqd %xmm5, %xmm5, %xmm5
; AVX1-NEXT: vpxor %xmm5, %xmm6, %xmm6
; AVX1-NEXT: vpackssdw %xmm0, %xmm6, %xmm6
; AVX1-NEXT: vpacksswb %xmm0, %xmm6, %xmm6
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm7
; AVX1-NEXT: vmovdqa {{.*#+}} xmm4 = [65535,65535,65535,65535]
; AVX1-NEXT: vpminud %xmm4, %xmm7, %xmm7
; AVX1-NEXT: vpminud %xmm4, %xmm0, %xmm0
; AVX1-NEXT: vpackusdw %xmm7, %xmm0, %xmm0
; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm7
; AVX1-NEXT: vpminud %xmm4, %xmm7, %xmm7
; AVX1-NEXT: vpminud %xmm4, %xmm1, %xmm1
; AVX1-NEXT: vpackusdw %xmm7, %xmm1, %xmm1
; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
; AVX1-NEXT: vpextrb $0, %xmm6, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_2
; AVX1-NEXT: # %bb.1: # %cond.store
; AVX1-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX1-NEXT: .LBB9_2: # %else
; AVX1-NEXT: vpcmpeqd %xmm8, %xmm2, %xmm1
; AVX1-NEXT: vpxor %xmm5, %xmm1, %xmm1
; AVX1-NEXT: vpackssdw %xmm0, %xmm1, %xmm1
; AVX1-NEXT: vpacksswb %xmm0, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $1, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_4
; AVX1-NEXT: # %bb.3: # %cond.store1
; AVX1-NEXT: vpextrw $1, %xmm0, 2(%rdi)
; AVX1-NEXT: .LBB9_4: # %else2
; AVX1-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm2, %xmm5
; AVX1-NEXT: vpcmpeqd %xmm4, %xmm4, %xmm4
; AVX1-NEXT: vpxor %xmm4, %xmm5, %xmm5
; AVX1-NEXT: vpackssdw %xmm0, %xmm5, %xmm5
; AVX1-NEXT: vpacksswb %xmm0, %xmm5, %xmm5
; AVX1-NEXT: vpextrb $2, %xmm5, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_6
; AVX1-NEXT: # %bb.5: # %cond.store3
; AVX1-NEXT: vpextrw $2, %xmm0, 4(%rdi)
; AVX1-NEXT: .LBB9_6: # %else4
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm2, %xmm1
; AVX1-NEXT: vpxor %xmm4, %xmm1, %xmm1
; AVX1-NEXT: vpackssdw %xmm0, %xmm1, %xmm1
; AVX1-NEXT: vpacksswb %xmm0, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $3, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_8
; AVX1-NEXT: # %bb.7: # %cond.store5
; AVX1-NEXT: vpextrw $3, %xmm0, 6(%rdi)
; AVX1-NEXT: .LBB9_8: # %else6
; AVX1-NEXT: vextractf128 $1, %ymm2, %xmm1
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm4, %xmm4, %xmm4
; AVX1-NEXT: vpxor %xmm4, %xmm2, %xmm2
; AVX1-NEXT: vpackssdw %xmm2, %xmm0, %xmm4
; AVX1-NEXT: vpacksswb %xmm0, %xmm4, %xmm4
; AVX1-NEXT: vpextrb $4, %xmm4, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_10
; AVX1-NEXT: # %bb.9: # %cond.store7
; AVX1-NEXT: vpextrw $4, %xmm0, 8(%rdi)
; AVX1-NEXT: .LBB9_10: # %else8
; AVX1-NEXT: vpackssdw %xmm2, %xmm0, %xmm2
; AVX1-NEXT: vpacksswb %xmm0, %xmm2, %xmm2
; AVX1-NEXT: vpextrb $5, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_12
; AVX1-NEXT: # %bb.11: # %cond.store9
; AVX1-NEXT: vpextrw $5, %xmm0, 10(%rdi)
; AVX1-NEXT: .LBB9_12: # %else10
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpackssdw %xmm1, %xmm0, %xmm2
; AVX1-NEXT: vpacksswb %xmm0, %xmm2, %xmm2
; AVX1-NEXT: vpextrb $6, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_14
; AVX1-NEXT: # %bb.13: # %cond.store11
; AVX1-NEXT: vpextrw $6, %xmm0, 12(%rdi)
; AVX1-NEXT: .LBB9_14: # %else12
; AVX1-NEXT: vpackssdw %xmm1, %xmm0, %xmm1
; AVX1-NEXT: vpacksswb %xmm0, %xmm1, %xmm1
; AVX1-NEXT: vpextrb $7, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_16
; AVX1-NEXT: # %bb.15: # %cond.store13
; AVX1-NEXT: vpextrw $7, %xmm0, 14(%rdi)
; AVX1-NEXT: .LBB9_16: # %else14
; AVX1-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm3, %xmm4
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm4, %xmm4
; AVX1-NEXT: vpackssdw %xmm0, %xmm4, %xmm4
; AVX1-NEXT: vpacksswb %xmm4, %xmm0, %xmm4
; AVX1-NEXT: vpextrb $8, %xmm4, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_18
; AVX1-NEXT: # %bb.17: # %cond.store15
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm4
; AVX1-NEXT: vpextrw $0, %xmm4, 16(%rdi)
; AVX1-NEXT: .LBB9_18: # %else16
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm3, %xmm1
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpackssdw %xmm0, %xmm1, %xmm1
; AVX1-NEXT: vpacksswb %xmm1, %xmm0, %xmm1
; AVX1-NEXT: vpextrb $9, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_20
; AVX1-NEXT: # %bb.19: # %cond.store17
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1
; AVX1-NEXT: vpextrw $1, %xmm1, 18(%rdi)
; AVX1-NEXT: .LBB9_20: # %else18
; AVX1-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm3, %xmm4
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm4, %xmm4
; AVX1-NEXT: vpackssdw %xmm0, %xmm4, %xmm4
; AVX1-NEXT: vpacksswb %xmm4, %xmm0, %xmm4
; AVX1-NEXT: vpextrb $10, %xmm4, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_22
; AVX1-NEXT: # %bb.21: # %cond.store19
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm4
; AVX1-NEXT: vpextrw $2, %xmm4, 20(%rdi)
; AVX1-NEXT: .LBB9_22: # %else20
; AVX1-NEXT: vpcmpeqd %xmm1, %xmm3, %xmm1
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpackssdw %xmm0, %xmm1, %xmm1
; AVX1-NEXT: vpacksswb %xmm1, %xmm0, %xmm1
; AVX1-NEXT: vpextrb $11, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_24
; AVX1-NEXT: # %bb.23: # %cond.store21
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1
; AVX1-NEXT: vpextrw $3, %xmm1, 22(%rdi)
; AVX1-NEXT: .LBB9_24: # %else22
; AVX1-NEXT: vextractf128 $1, %ymm3, %xmm1
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm3, %xmm3, %xmm3
; AVX1-NEXT: vpxor %xmm3, %xmm2, %xmm2
; AVX1-NEXT: vpackssdw %xmm2, %xmm0, %xmm3
; AVX1-NEXT: vpacksswb %xmm3, %xmm0, %xmm3
; AVX1-NEXT: vpextrb $12, %xmm3, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_26
; AVX1-NEXT: # %bb.25: # %cond.store23
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3
; AVX1-NEXT: vpextrw $4, %xmm3, 24(%rdi)
; AVX1-NEXT: .LBB9_26: # %else24
; AVX1-NEXT: vpackssdw %xmm2, %xmm0, %xmm2
; AVX1-NEXT: vpacksswb %xmm2, %xmm0, %xmm2
; AVX1-NEXT: vpextrb $13, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_28
; AVX1-NEXT: # %bb.27: # %cond.store25
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm2
; AVX1-NEXT: vpextrw $5, %xmm2, 26(%rdi)
; AVX1-NEXT: .LBB9_28: # %else26
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX1-NEXT: vpackssdw %xmm1, %xmm0, %xmm2
; AVX1-NEXT: vpacksswb %xmm2, %xmm0, %xmm2
; AVX1-NEXT: vpextrb $14, %xmm2, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_30
; AVX1-NEXT: # %bb.29: # %cond.store27
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm2
; AVX1-NEXT: vpextrw $6, %xmm2, 28(%rdi)
; AVX1-NEXT: .LBB9_30: # %else28
; AVX1-NEXT: vpackssdw %xmm1, %xmm0, %xmm1
; AVX1-NEXT: vpacksswb %xmm1, %xmm0, %xmm1
; AVX1-NEXT: vpextrb $15, %xmm1, %eax
; AVX1-NEXT: testb $1, %al
; AVX1-NEXT: je .LBB9_32
; AVX1-NEXT: # %bb.31: # %cond.store29
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm0
; AVX1-NEXT: vpextrw $7, %xmm0, 30(%rdi)
; AVX1-NEXT: .LBB9_32: # %else30
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
;
; AVX2-LABEL: truncstore_v16i32_v16i16:
; AVX2: # %bb.0:
; AVX2-NEXT: vpxor %xmm4, %xmm4, %xmm4
; AVX2-NEXT: vpcmpeqd %ymm4, %ymm2, %ymm4
; AVX2-NEXT: vpcmpeqd %xmm5, %xmm5, %xmm5
; AVX2-NEXT: vpxor %xmm5, %xmm4, %xmm6
; AVX2-NEXT: vpackssdw %xmm0, %xmm6, %xmm6
; AVX2-NEXT: vpacksswb %xmm0, %xmm6, %xmm6
; AVX2-NEXT: vpbroadcastd {{.*#+}} ymm7 = [65535,65535,65535,65535,65535,65535,65535,65535]
; AVX2-NEXT: vpminud %ymm7, %ymm1, %ymm1
; AVX2-NEXT: vpminud %ymm7, %ymm0, %ymm0
; AVX2-NEXT: vpackusdw %ymm1, %ymm0, %ymm0
; AVX2-NEXT: vpermq {{.*#+}} ymm0 = ymm0[0,2,1,3]
; AVX2-NEXT: vpextrb $0, %xmm6, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_2
; AVX2-NEXT: # %bb.1: # %cond.store
; AVX2-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX2-NEXT: .LBB9_2: # %else
; AVX2-NEXT: vpxor %xmm5, %xmm4, %xmm1
; AVX2-NEXT: vpackssdw %xmm0, %xmm1, %xmm1
; AVX2-NEXT: vpacksswb %xmm0, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $1, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_4
; AVX2-NEXT: # %bb.3: # %cond.store1
; AVX2-NEXT: vpextrw $1, %xmm0, 2(%rdi)
; AVX2-NEXT: .LBB9_4: # %else2
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vpcmpeqd %xmm4, %xmm4, %xmm4
; AVX2-NEXT: vpxor %xmm4, %xmm1, %xmm5
; AVX2-NEXT: vpackssdw %xmm0, %xmm5, %xmm5
; AVX2-NEXT: vpacksswb %xmm0, %xmm5, %xmm5
; AVX2-NEXT: vpextrb $2, %xmm5, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_6
; AVX2-NEXT: # %bb.5: # %cond.store3
; AVX2-NEXT: vpextrw $2, %xmm0, 4(%rdi)
; AVX2-NEXT: .LBB9_6: # %else4
; AVX2-NEXT: vpxor %xmm4, %xmm1, %xmm1
; AVX2-NEXT: vpackssdw %xmm0, %xmm1, %xmm1
; AVX2-NEXT: vpacksswb %xmm0, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $3, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_8
; AVX2-NEXT: # %bb.7: # %cond.store5
; AVX2-NEXT: vpextrw $3, %xmm0, 6(%rdi)
; AVX2-NEXT: .LBB9_8: # %else6
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm4, %xmm4, %xmm4
; AVX2-NEXT: vpxor %xmm4, %xmm1, %xmm1
; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm4
; AVX2-NEXT: vpacksswb %xmm0, %xmm4, %xmm4
; AVX2-NEXT: vpextrb $4, %xmm4, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_10
; AVX2-NEXT: # %bb.9: # %cond.store7
; AVX2-NEXT: vpextrw $4, %xmm0, 8(%rdi)
; AVX2-NEXT: .LBB9_10: # %else8
; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm1
; AVX2-NEXT: vpacksswb %xmm0, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $5, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_12
; AVX2-NEXT: # %bb.11: # %cond.store9
; AVX2-NEXT: vpextrw $5, %xmm0, 10(%rdi)
; AVX2-NEXT: .LBB9_12: # %else10
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm2, %ymm1
; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm2
; AVX2-NEXT: vpacksswb %xmm0, %xmm2, %xmm2
; AVX2-NEXT: vpextrb $6, %xmm2, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_14
; AVX2-NEXT: # %bb.13: # %cond.store11
; AVX2-NEXT: vpextrw $6, %xmm0, 12(%rdi)
; AVX2-NEXT: .LBB9_14: # %else12
; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm1
; AVX2-NEXT: vpacksswb %xmm0, %xmm1, %xmm1
; AVX2-NEXT: vpextrb $7, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_16
; AVX2-NEXT: # %bb.15: # %cond.store13
; AVX2-NEXT: vpextrw $7, %xmm0, 14(%rdi)
; AVX2-NEXT: .LBB9_16: # %else14
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm3, %ymm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm4
; AVX2-NEXT: vpackssdw %xmm0, %xmm4, %xmm4
; AVX2-NEXT: vpacksswb %xmm4, %xmm0, %xmm4
; AVX2-NEXT: vpextrb $8, %xmm4, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_18
; AVX2-NEXT: # %bb.17: # %cond.store15
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm4
; AVX2-NEXT: vpextrw $0, %xmm4, 16(%rdi)
; AVX2-NEXT: .LBB9_18: # %else16
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpackssdw %xmm0, %xmm1, %xmm1
; AVX2-NEXT: vpacksswb %xmm1, %xmm0, %xmm1
; AVX2-NEXT: vpextrb $9, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_20
; AVX2-NEXT: # %bb.19: # %cond.store17
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX2-NEXT: vpextrw $1, %xmm1, 18(%rdi)
; AVX2-NEXT: .LBB9_20: # %else18
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm3, %ymm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm4
; AVX2-NEXT: vpackssdw %xmm0, %xmm4, %xmm4
; AVX2-NEXT: vpacksswb %xmm4, %xmm0, %xmm4
; AVX2-NEXT: vpextrb $10, %xmm4, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_22
; AVX2-NEXT: # %bb.21: # %cond.store19
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm4
; AVX2-NEXT: vpextrw $2, %xmm4, 20(%rdi)
; AVX2-NEXT: .LBB9_22: # %else20
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpackssdw %xmm0, %xmm1, %xmm1
; AVX2-NEXT: vpacksswb %xmm1, %xmm0, %xmm1
; AVX2-NEXT: vpextrb $11, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_24
; AVX2-NEXT: # %bb.23: # %cond.store21
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX2-NEXT: vpextrw $3, %xmm1, 22(%rdi)
; AVX2-NEXT: .LBB9_24: # %else22
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm3, %ymm1
; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm2
; AVX2-NEXT: vpacksswb %xmm2, %xmm0, %xmm2
; AVX2-NEXT: vpextrb $12, %xmm2, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_26
; AVX2-NEXT: # %bb.25: # %cond.store23
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm2
; AVX2-NEXT: vpextrw $4, %xmm2, 24(%rdi)
; AVX2-NEXT: .LBB9_26: # %else24
; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm1
; AVX2-NEXT: vpacksswb %xmm1, %xmm0, %xmm1
; AVX2-NEXT: vpextrb $13, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_28
; AVX2-NEXT: # %bb.27: # %cond.store25
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX2-NEXT: vpextrw $5, %xmm1, 26(%rdi)
; AVX2-NEXT: .LBB9_28: # %else26
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm3, %ymm1
; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm1
; AVX2-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2
; AVX2-NEXT: vpxor %xmm2, %xmm1, %xmm1
; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm2
; AVX2-NEXT: vpacksswb %xmm2, %xmm0, %xmm2
; AVX2-NEXT: vpextrb $14, %xmm2, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_30
; AVX2-NEXT: # %bb.29: # %cond.store27
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm2
; AVX2-NEXT: vpextrw $6, %xmm2, 28(%rdi)
; AVX2-NEXT: .LBB9_30: # %else28
; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm1
; AVX2-NEXT: vpacksswb %xmm1, %xmm0, %xmm1
; AVX2-NEXT: vpextrb $15, %xmm1, %eax
; AVX2-NEXT: testb $1, %al
; AVX2-NEXT: je .LBB9_32
; AVX2-NEXT: # %bb.31: # %cond.store29
; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm0
; AVX2-NEXT: vpextrw $7, %xmm0, 30(%rdi)
; AVX2-NEXT: .LBB9_32: # %else30
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
;
; AVX512F-LABEL: truncstore_v16i32_v16i16:
; AVX512F: # %bb.0:
; AVX512F-NEXT: vptestmd %zmm1, %zmm1, %k0
; AVX512F-NEXT: vpmovusdw %zmm0, %ymm0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_2
; AVX512F-NEXT: # %bb.1: # %cond.store
; AVX512F-NEXT: vpextrw $0, %xmm0, (%rdi)
; AVX512F-NEXT: .LBB9_2: # %else
; AVX512F-NEXT: kshiftrw $1, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_4
; AVX512F-NEXT: # %bb.3: # %cond.store1
; AVX512F-NEXT: vpextrw $1, %xmm0, 2(%rdi)
; AVX512F-NEXT: .LBB9_4: # %else2
; AVX512F-NEXT: kshiftrw $2, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_6
; AVX512F-NEXT: # %bb.5: # %cond.store3
; AVX512F-NEXT: vpextrw $2, %xmm0, 4(%rdi)
; AVX512F-NEXT: .LBB9_6: # %else4
; AVX512F-NEXT: kshiftrw $3, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_8
; AVX512F-NEXT: # %bb.7: # %cond.store5
; AVX512F-NEXT: vpextrw $3, %xmm0, 6(%rdi)
; AVX512F-NEXT: .LBB9_8: # %else6
; AVX512F-NEXT: kshiftrw $4, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_10
; AVX512F-NEXT: # %bb.9: # %cond.store7
; AVX512F-NEXT: vpextrw $4, %xmm0, 8(%rdi)
; AVX512F-NEXT: .LBB9_10: # %else8
; AVX512F-NEXT: kshiftrw $5, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_12
; AVX512F-NEXT: # %bb.11: # %cond.store9
; AVX512F-NEXT: vpextrw $5, %xmm0, 10(%rdi)
; AVX512F-NEXT: .LBB9_12: # %else10
; AVX512F-NEXT: kshiftrw $6, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_14
; AVX512F-NEXT: # %bb.13: # %cond.store11
; AVX512F-NEXT: vpextrw $6, %xmm0, 12(%rdi)
; AVX512F-NEXT: .LBB9_14: # %else12
; AVX512F-NEXT: kshiftrw $7, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_16
; AVX512F-NEXT: # %bb.15: # %cond.store13
; AVX512F-NEXT: vpextrw $7, %xmm0, 14(%rdi)
; AVX512F-NEXT: .LBB9_16: # %else14
; AVX512F-NEXT: kshiftrw $8, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_18
; AVX512F-NEXT: # %bb.17: # %cond.store15
; AVX512F-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX512F-NEXT: vpextrw $0, %xmm1, 16(%rdi)
; AVX512F-NEXT: .LBB9_18: # %else16
; AVX512F-NEXT: kshiftrw $9, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_20
; AVX512F-NEXT: # %bb.19: # %cond.store17
; AVX512F-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX512F-NEXT: vpextrw $1, %xmm1, 18(%rdi)
; AVX512F-NEXT: .LBB9_20: # %else18
; AVX512F-NEXT: kshiftrw $10, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_22
; AVX512F-NEXT: # %bb.21: # %cond.store19
; AVX512F-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX512F-NEXT: vpextrw $2, %xmm1, 20(%rdi)
; AVX512F-NEXT: .LBB9_22: # %else20
; AVX512F-NEXT: kshiftrw $11, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_24
; AVX512F-NEXT: # %bb.23: # %cond.store21
; AVX512F-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX512F-NEXT: vpextrw $3, %xmm1, 22(%rdi)
; AVX512F-NEXT: .LBB9_24: # %else22
; AVX512F-NEXT: kshiftrw $12, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_26
; AVX512F-NEXT: # %bb.25: # %cond.store23
; AVX512F-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX512F-NEXT: vpextrw $4, %xmm1, 24(%rdi)
; AVX512F-NEXT: .LBB9_26: # %else24
; AVX512F-NEXT: kshiftrw $13, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_28
; AVX512F-NEXT: # %bb.27: # %cond.store25
; AVX512F-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX512F-NEXT: vpextrw $5, %xmm1, 26(%rdi)
; AVX512F-NEXT: .LBB9_28: # %else26
; AVX512F-NEXT: kshiftrw $14, %k0, %k1
; AVX512F-NEXT: kmovw %k1, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_30
; AVX512F-NEXT: # %bb.29: # %cond.store27
; AVX512F-NEXT: vextracti128 $1, %ymm0, %xmm1
; AVX512F-NEXT: vpextrw $6, %xmm1, 28(%rdi)
; AVX512F-NEXT: .LBB9_30: # %else28
; AVX512F-NEXT: kshiftrw $15, %k0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
; AVX512F-NEXT: testb $1, %al
; AVX512F-NEXT: je .LBB9_32
; AVX512F-NEXT: # %bb.31: # %cond.store29
; AVX512F-NEXT: vextracti128 $1, %ymm0, %xmm0
; AVX512F-NEXT: vpextrw $7, %xmm0, 30(%rdi)
; AVX512F-NEXT: .LBB9_32: # %else30
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
; AVX512BW-LABEL: truncstore_v16i32_v16i16:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: vptestmd %zmm1, %zmm1, %k1
; AVX512BW-NEXT: vpminud {{.*}}(%rip){1to16}, %zmm0, %zmm0
; AVX512BW-NEXT: vpmovdw %zmm0, (%rdi) {%k1}
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
;
; AVX512BWVL-LABEL: truncstore_v16i32_v16i16:
; AVX512BWVL: # %bb.0:
; AVX512BWVL-NEXT: vptestmd %zmm1, %zmm1, %k1
; AVX512BWVL-NEXT: vpminud {{.*}}(%rip){1to16}, %zmm0, %zmm0
; AVX512BWVL-NEXT: vpmovdw %zmm0, (%rdi) {%k1}
; AVX512BWVL-NEXT: vzeroupper
; AVX512BWVL-NEXT: retq
%a = icmp ne <16 x i32> %mask, zeroinitializer
%b = icmp ult <16 x i32> %x, <i32 65535, i32 65535, i32 65535, i32 65535, i32 65535, i32 65535, i32 65535, i32 65535, i32 65535, i32 65535, i32 65535, i32 65535, i32 65535