; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; RUN: llc < %s -mtriple=x86_64-pc-linux-gnu -mcpu=skx | FileCheck %s --check-prefixes=CHECK,SKX,X64,SKX64 ; RUN: llc < %s -mtriple=x86_64-pc-linux-gnu -mcpu=knl | FileCheck %s --check-prefixes=CHECK,KNL,X64,KNL64 ; RUN: llc < %s -mtriple=i386-pc-linux-gnu -mcpu=skx | FileCheck %s --check-prefixes=CHECK,SKX,X86,SKX32 ; RUN: llc < %s -mtriple=i386-pc-linux-gnu -mcpu=knl | FileCheck %s --check-prefixes=CHECK,KNL,X86,KNL32 ;expand 128 -> 256 include <4 x float> <2 x double> define <8 x float> @expand(<4 x float> %a) { ; SKX-LABEL: expand: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; SKX-NEXT: movb $5, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vexpandps %ymm0, %ymm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand: ; KNL: # %bb.0: ; KNL-NEXT: vpermilps {{.*#+}} xmm0 = xmm0[0,1,1,3] ; KNL-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; KNL-NEXT: vblendps {{.*#+}} ymm0 = ymm0[0],ymm1[1],ymm0[2],ymm1[3,4,5,6,7] ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <4 x float> %a, <4 x float> zeroinitializer, <8 x i32> ret <8 x float> %res } define <8 x float> @expand1(<4 x float> %a ) { ; SKX-LABEL: expand1: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; SKX-NEXT: movb $-86, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vexpandps %ymm0, %ymm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand1: ; KNL: # %bb.0: ; KNL-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; KNL-NEXT: vmovaps {{.*#+}} ymm1 = ; KNL-NEXT: vpermps %ymm0, %ymm1, %ymm0 ; KNL-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; KNL-NEXT: vblendps {{.*#+}} ymm0 = ymm1[0],ymm0[1],ymm1[2],ymm0[3],ymm1[4],ymm0[5],ymm1[6],ymm0[7] ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <4 x float> zeroinitializer, <4 x float> %a, <8 x i32> ret <8 x float> %res } ;Expand 128 -> 256 test <2 x double> -> <4 x double> define <4 x double> @expand2(<2 x double> %a) { ; CHECK-LABEL: expand2: ; CHECK: # %bb.0: ; CHECK-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; CHECK-NEXT: vperm2f128 {{.*#+}} ymm1 = zero,zero,ymm0[0,1] ; CHECK-NEXT: vmovaps %xmm0, %xmm0 ; CHECK-NEXT: vblendps {{.*#+}} ymm0 = ymm0[0,1],ymm1[2,3],ymm0[4,5],ymm1[6,7] ; CHECK-NEXT: ret{{[l|q]}} %res = shufflevector <2 x double> %a, <2 x double> zeroinitializer, <4 x i32> ret <4 x double> %res } ;expand 128 -> 256 include case <4 x i32> <8 x i32> define <8 x i32> @expand3(<4 x i32> %a ) { ; SKX-LABEL: expand3: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; SKX-NEXT: movb $-127, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpexpandd %ymm0, %ymm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand3: ; KNL: # %bb.0: ; KNL-NEXT: vbroadcastsd %xmm0, %ymm0 ; KNL-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; KNL-NEXT: vblendps {{.*#+}} ymm0 = ymm0[0],ymm1[1,2,3,4,5,6],ymm0[7] ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <4 x i32> zeroinitializer, <4 x i32> %a, <8 x i32> ret <8 x i32> %res } ;expand 128 -> 256 include case <2 x i64> <4 x i64> define <4 x i64> @expand4(<2 x i64> %a ) { ; SKX-LABEL: expand4: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; SKX-NEXT: movb $9, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpexpandq %ymm0, %ymm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand4: ; KNL: # %bb.0: ; KNL-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; KNL-NEXT: vperm2f128 {{.*#+}} ymm1 = zero,zero,ymm0[0,1] ; KNL-NEXT: vmovaps %xmm0, %xmm0 ; KNL-NEXT: vblendps {{.*#+}} ymm0 = ymm0[0,1],ymm1[2,3],ymm0[4,5],ymm1[6,7] ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <2 x i64> zeroinitializer, <2 x i64> %a, <4 x i32> ret <4 x i64> %res } ;Negative test for 128-> 256 define <8 x float> @expand5(<4 x float> %a ) { ; SKX-LABEL: expand5: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; SKX-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; SKX-NEXT: vmovaps {{.*#+}} ymm2 = [8,0,10,0,12,0,14,0] ; SKX-NEXT: vpermt2ps %ymm1, %ymm2, %ymm0 ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand5: ; KNL: # %bb.0: ; KNL-NEXT: vbroadcastss %xmm0, %ymm0 ; KNL-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; KNL-NEXT: vblendps {{.*#+}} ymm0 = ymm1[0],ymm0[1],ymm1[2],ymm0[3],ymm1[4],ymm0[5],ymm1[6],ymm0[7] ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <4 x float> zeroinitializer, <4 x float> %a, <8 x i32> ret <8 x float> %res } ;expand 256 -> 512 include <8 x float> <16 x float> define <8 x float> @expand6(<4 x float> %a ) { ; CHECK-LABEL: expand6: ; CHECK: # %bb.0: ; CHECK-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; CHECK-NEXT: vinsertf128 $1, %xmm0, %ymm1, %ymm0 ; CHECK-NEXT: ret{{[l|q]}} %res = shufflevector <4 x float> zeroinitializer, <4 x float> %a, <8 x i32> ret <8 x float> %res } define <16 x float> @expand7(<8 x float> %a) { ; SKX-LABEL: expand7: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; SKX-NEXT: movw $1285, %ax # imm = 0x505 ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vexpandps %zmm0, %zmm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand7: ; KNL: # %bb.0: ; KNL-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; KNL-NEXT: movw $1285, %ax # imm = 0x505 ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vexpandps %zmm0, %zmm0 {%k1} {z} ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <8 x float> %a, <8 x float> zeroinitializer, <16 x i32> ret <16 x float> %res } define <16 x float> @expand8(<8 x float> %a ) { ; SKX-LABEL: expand8: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; SKX-NEXT: movw $-21846, %ax # imm = 0xAAAA ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vexpandps %zmm0, %zmm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand8: ; KNL: # %bb.0: ; KNL-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; KNL-NEXT: movw $-21846, %ax # imm = 0xAAAA ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vexpandps %zmm0, %zmm0 {%k1} {z} ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <8 x float> zeroinitializer, <8 x float> %a, <16 x i32> ret <16 x float> %res } ;expand 256 -> 512 include <4 x double> <8 x double> define <8 x double> @expand9(<4 x double> %a) { ; SKX-LABEL: expand9: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; SKX-NEXT: movb $-127, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vexpandpd %zmm0, %zmm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand9: ; KNL: # %bb.0: ; KNL-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; KNL-NEXT: movb $-127, %al ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vexpandpd %zmm0, %zmm0 {%k1} {z} ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <4 x double> %a, <4 x double> zeroinitializer, <8 x i32> ret <8 x double> %res } define <16 x i32> @expand10(<8 x i32> %a ) { ; SKX-LABEL: expand10: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; SKX-NEXT: movw $-21846, %ax # imm = 0xAAAA ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpexpandd %zmm0, %zmm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand10: ; KNL: # %bb.0: ; KNL-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; KNL-NEXT: movw $-21846, %ax # imm = 0xAAAA ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vpexpandd %zmm0, %zmm0 {%k1} {z} ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <8 x i32> zeroinitializer, <8 x i32> %a, <16 x i32> ret <16 x i32> %res } define <8 x i64> @expand11(<4 x i64> %a) { ; SKX-LABEL: expand11: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; SKX-NEXT: movb $-127, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpexpandq %zmm0, %zmm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand11: ; KNL: # %bb.0: ; KNL-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; KNL-NEXT: movb $-127, %al ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vpexpandq %zmm0, %zmm0 {%k1} {z} ; KNL-NEXT: ret{{[l|q]}} %res = shufflevector <4 x i64> %a, <4 x i64> zeroinitializer, <8 x i32> ret <8 x i64> %res } ;Negative test for 256-> 512 define <16 x float> @expand12(<8 x float> %a) { ; CHECK-LABEL: expand12: ; CHECK: # %bb.0: ; CHECK-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 ; CHECK-NEXT: vmovaps {{.*#+}} zmm2 = [0,16,2,16,4,16,6,16,0,16,1,16,2,16,3,16] ; CHECK-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; CHECK-NEXT: vpermt2ps %zmm0, %zmm2, %zmm1 ; CHECK-NEXT: vmovaps %zmm1, %zmm0 ; CHECK-NEXT: ret{{[l|q]}} %res = shufflevector <8 x float> zeroinitializer, <8 x float> %a, <16 x i32> ret <16 x float> %res } define <16 x float> @expand13(<8 x float> %a ) { ; CHECK-LABEL: expand13: ; CHECK: # %bb.0: ; CHECK-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; CHECK-NEXT: vinsertf64x4 $1, %ymm0, %zmm1, %zmm0 ; CHECK-NEXT: ret{{[l|q]}} %res = shufflevector <8 x float> zeroinitializer, <8 x float> %a, <16 x i32> ret <16 x float> %res } ; The function checks for a case where the vector is mixed values vector ,and the mask points on zero elements from this vector. define <8 x float> @expand14(<4 x float> %a) { ; SKX-LABEL: expand14: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; SKX-NEXT: movb $20, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vexpandps %ymm0, %ymm0 {%k1} {z} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand14: ; KNL: # %bb.0: ; KNL-NEXT: vpermilps {{.*#+}} xmm0 = xmm0[0,1,1,3] ; KNL-NEXT: vpermpd {{.*#+}} ymm0 = ymm0[0,0,1,3] ; KNL-NEXT: vxorps %xmm1, %xmm1, %xmm1 ; KNL-NEXT: vblendps {{.*#+}} ymm0 = ymm1[0,1],ymm0[2],ymm1[3],ymm0[4],ymm1[5,6,7] ; KNL-NEXT: ret{{[l|q]}} %addV = fadd <4 x float> , %res = shufflevector <4 x float> %addV, <4 x float> %a, <8 x i32> ret <8 x float> %res } ;Negative test. define <8 x float> @expand15(<4 x float> %a) { ; SKX-LABEL: expand15: ; SKX: # %bb.0: ; SKX-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0 ; SKX-NEXT: vmovaps {{.*#+}} ymm1 = <0,1,0,1,1,3,u,u> ; SKX-NEXT: vpermps %ymm0, %ymm1, %ymm0 ; SKX-NEXT: vblendps {{.*#+}} ymm0 = mem[0,1],ymm0[2],mem[3],ymm0[4],mem[5,6,7] ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: expand15: ; KNL: # %bb.0: ; KNL-NEXT: vpermilps {{.*#+}} xmm0 = xmm0[0,1,1,3] ; KNL-NEXT: vpermpd {{.*#+}} ymm0 = ymm0[0,0,1,3] ; KNL-NEXT: vblendps {{.*#+}} ymm0 = mem[0,1],ymm0[2],mem[3],ymm0[4],mem[5,6,7] ; KNL-NEXT: ret{{[l|q]}} %addV = fadd <4 x float> , %res = shufflevector <4 x float> %addV, <4 x float> %a, <8 x i32> ret <8 x float> %res } ; Shuffle to blend test define <64 x i8> @test_mm512_mask_blend_epi8(<64 x i8> %A, <64 x i8> %W){ ; SKX64-LABEL: test_mm512_mask_blend_epi8: ; SKX64: # %bb.0: # %entry ; SKX64-NEXT: movabsq $-6148914691236517206, %rax # imm = 0xAAAAAAAAAAAAAAAA ; SKX64-NEXT: kmovq %rax, %k1 ; SKX64-NEXT: vpblendmb %zmm0, %zmm1, %zmm0 {%k1} ; SKX64-NEXT: retq ; ; KNL-LABEL: test_mm512_mask_blend_epi8: ; KNL: # %bb.0: # %entry ; KNL-NEXT: vpbroadcastw {{.*#+}} ymm2 = [255,255,255,255,255,255,255,255,255,255,255,255,255,255,255,255] ; KNL-NEXT: vextracti64x4 $1, %zmm1, %ymm3 ; KNL-NEXT: vextracti64x4 $1, %zmm0, %ymm4 ; KNL-NEXT: vpblendvb %ymm2, %ymm3, %ymm4, %ymm3 ; KNL-NEXT: vpblendvb %ymm2, %ymm1, %ymm0, %ymm0 ; KNL-NEXT: vinserti64x4 $1, %ymm3, %zmm0, %zmm0 ; KNL-NEXT: ret{{[l|q]}} ; ; SKX32-LABEL: test_mm512_mask_blend_epi8: ; SKX32: # %bb.0: # %entry ; SKX32-NEXT: movl $-1431655766, %eax # imm = 0xAAAAAAAA ; SKX32-NEXT: kmovd %eax, %k0 ; SKX32-NEXT: kunpckdq %k0, %k0, %k1 ; SKX32-NEXT: vpblendmb %zmm0, %zmm1, %zmm0 {%k1} ; SKX32-NEXT: retl entry: %0 = shufflevector <64 x i8> %A, <64 x i8> %W, <64 x i32> ret <64 x i8> %0 } define <32 x i16> @test_mm512_mask_blend_epi16(<32 x i16> %A, <32 x i16> %W){ ; SKX-LABEL: test_mm512_mask_blend_epi16: ; SKX: # %bb.0: # %entry ; SKX-NEXT: movl $-1431655766, %eax # imm = 0xAAAAAAAA ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpblendmw %zmm0, %zmm1, %zmm0 {%k1} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: test_mm512_mask_blend_epi16: ; KNL: # %bb.0: # %entry ; KNL-NEXT: vextracti64x4 $1, %zmm0, %ymm2 ; KNL-NEXT: vextracti64x4 $1, %zmm1, %ymm3 ; KNL-NEXT: vpblendw {{.*#+}} ymm2 = ymm3[0],ymm2[1],ymm3[2],ymm2[3],ymm3[4],ymm2[5],ymm3[6],ymm2[7],ymm3[8],ymm2[9],ymm3[10],ymm2[11],ymm3[12],ymm2[13],ymm3[14],ymm2[15] ; KNL-NEXT: vpblendw {{.*#+}} ymm0 = ymm1[0],ymm0[1],ymm1[2],ymm0[3],ymm1[4],ymm0[5],ymm1[6],ymm0[7],ymm1[8],ymm0[9],ymm1[10],ymm0[11],ymm1[12],ymm0[13],ymm1[14],ymm0[15] ; KNL-NEXT: vinserti64x4 $1, %ymm2, %zmm0, %zmm0 ; KNL-NEXT: ret{{[l|q]}} entry: %0 = shufflevector <32 x i16> %A, <32 x i16> %W, <32 x i32> ret <32 x i16> %0 } define <16 x i32> @test_mm512_mask_blend_epi32(<16 x i32> %A, <16 x i32> %W){ ; SKX-LABEL: test_mm512_mask_blend_epi32: ; SKX: # %bb.0: # %entry ; SKX-NEXT: movw $-21846, %ax # imm = 0xAAAA ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpblendmd %zmm0, %zmm1, %zmm0 {%k1} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: test_mm512_mask_blend_epi32: ; KNL: # %bb.0: # %entry ; KNL-NEXT: movw $-21846, %ax # imm = 0xAAAA ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vpblendmd %zmm0, %zmm1, %zmm0 {%k1} ; KNL-NEXT: ret{{[l|q]}} entry: %0 = shufflevector <16 x i32> %A, <16 x i32> %W, <16 x i32> ret <16 x i32> %0 } define <8 x i64> @test_mm512_mask_blend_epi64(<8 x i64> %A, <8 x i64> %W){ ; SKX-LABEL: test_mm512_mask_blend_epi64: ; SKX: # %bb.0: # %entry ; SKX-NEXT: movb $-86, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpblendmq %zmm0, %zmm1, %zmm0 {%k1} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: test_mm512_mask_blend_epi64: ; KNL: # %bb.0: # %entry ; KNL-NEXT: movb $-86, %al ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vpblendmq %zmm0, %zmm1, %zmm0 {%k1} ; KNL-NEXT: ret{{[l|q]}} entry: %0 = shufflevector <8 x i64> %A, <8 x i64> %W, <8 x i32> ret <8 x i64> %0 } define <16 x float> @test_mm512_mask_blend_ps(<16 x float> %A, <16 x float> %W){ ; SKX-LABEL: test_mm512_mask_blend_ps: ; SKX: # %bb.0: # %entry ; SKX-NEXT: movw $-21846, %ax # imm = 0xAAAA ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vblendmps %zmm0, %zmm1, %zmm0 {%k1} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: test_mm512_mask_blend_ps: ; KNL: # %bb.0: # %entry ; KNL-NEXT: movw $-21846, %ax # imm = 0xAAAA ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vblendmps %zmm0, %zmm1, %zmm0 {%k1} ; KNL-NEXT: ret{{[l|q]}} entry: %0 = shufflevector <16 x float> %A, <16 x float> %W, <16 x i32> ret <16 x float> %0 } define <8 x double> @test_mm512_mask_blend_pd(<8 x double> %A, <8 x double> %W){ ; SKX-LABEL: test_mm512_mask_blend_pd: ; SKX: # %bb.0: # %entry ; SKX-NEXT: movb $-88, %al ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vblendmpd %zmm0, %zmm1, %zmm0 {%k1} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: test_mm512_mask_blend_pd: ; KNL: # %bb.0: # %entry ; KNL-NEXT: movb $-88, %al ; KNL-NEXT: kmovw %eax, %k1 ; KNL-NEXT: vblendmpd %zmm0, %zmm1, %zmm0 {%k1} ; KNL-NEXT: ret{{[l|q]}} entry: %0 = shufflevector <8 x double> %A, <8 x double> %W, <8 x i32> ret <8 x double> %0 } define <32 x i8> @test_mm256_mask_blend_epi8(<32 x i8> %A, <32 x i8> %W){ ; SKX-LABEL: test_mm256_mask_blend_epi8: ; SKX: # %bb.0: # %entry ; SKX-NEXT: movl $-1431655766, %eax # imm = 0xAAAAAAAA ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpblendmb %ymm0, %ymm1, %ymm0 {%k1} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: test_mm256_mask_blend_epi8: ; KNL: # %bb.0: # %entry ; KNL-NEXT: vmovdqa {{.*#+}} ymm2 = [255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0] ; KNL-NEXT: vpblendvb %ymm2, %ymm1, %ymm0, %ymm0 ; KNL-NEXT: ret{{[l|q]}} entry: %0 = shufflevector <32 x i8> %A, <32 x i8> %W, <32 x i32> ret <32 x i8> %0 } define <16 x i8> @test_mm_mask_blend_epi8(<16 x i8> %A, <16 x i8> %W){ ; SKX-LABEL: test_mm_mask_blend_epi8: ; SKX: # %bb.0: # %entry ; SKX-NEXT: movw $-21846, %ax # imm = 0xAAAA ; SKX-NEXT: kmovd %eax, %k1 ; SKX-NEXT: vpblendmb %xmm0, %xmm1, %xmm0 {%k1} ; SKX-NEXT: ret{{[l|q]}} ; ; KNL-LABEL: test_mm_mask_blend_epi8: ; KNL: # %bb.0: # %entry ; KNL-NEXT: vmovdqa {{.*#+}} xmm2 = [255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0] ; KNL-NEXT: vpblendvb %xmm2, %xmm1, %xmm0, %xmm0 ; KNL-NEXT: ret{{[l|q]}} entry: %0 = shufflevector <16 x i8> %A, <16 x i8> %W, <16 x i32> ret <16 x i8> %0 } ; PR34370 define <8 x float> @test_masked_permps_v8f32(<8 x float>* %vp, <8 x float> %vec2) { ; SKX64-LABEL: test_masked_permps_v8f32: ; SKX64: # %bb.0: ; SKX64-NEXT: vmovaps (%rdi), %ymm2 ; SKX64-NEXT: vmovaps {{.*#+}} ymm1 = [7,6,3,11,7,6,14,15] ; SKX64-NEXT: vpermi2ps %ymm0, %ymm2, %ymm1 ; SKX64-NEXT: vmovaps %ymm1, %ymm0 ; SKX64-NEXT: retq ; ; KNL64-LABEL: test_masked_permps_v8f32: ; KNL64: # %bb.0: ; KNL64-NEXT: vpermilps {{.*#+}} ymm1 = mem[3,2,2,3,7,6,6,7] ; KNL64-NEXT: vpermpd {{.*#+}} ymm1 = ymm1[2,0,2,3] ; KNL64-NEXT: vblendps {{.*#+}} ymm0 = ymm1[0,1,2],ymm0[3],ymm1[4,5],ymm0[6,7] ; KNL64-NEXT: retq ; ; SKX32-LABEL: test_masked_permps_v8f32: ; SKX32: # %bb.0: ; SKX32-NEXT: movl {{[0-9]+}}(%esp), %eax ; SKX32-NEXT: vmovaps (%eax), %ymm2 ; SKX32-NEXT: vmovaps {{.*#+}} ymm1 = [7,6,3,11,7,6,14,15] ; SKX32-NEXT: vpermi2ps %ymm0, %ymm2, %ymm1 ; SKX32-NEXT: vmovaps %ymm1, %ymm0 ; SKX32-NEXT: retl ; ; KNL32-LABEL: test_masked_permps_v8f32: ; KNL32: # %bb.0: ; KNL32-NEXT: movl {{[0-9]+}}(%esp), %eax ; KNL32-NEXT: vpermilps {{.*#+}} ymm1 = mem[3,2,2,3,7,6,6,7] ; KNL32-NEXT: vpermpd {{.*#+}} ymm1 = ymm1[2,0,2,3] ; KNL32-NEXT: vblendps {{.*#+}} ymm0 = ymm1[0,1,2],ymm0[3],ymm1[4,5],ymm0[6,7] ; KNL32-NEXT: retl %vec = load <8 x float>, <8 x float>* %vp %shuf = shufflevector <8 x float> %vec, <8 x float> undef, <8 x i32> %res = select <8 x i1> , <8 x float> %shuf, <8 x float> %vec2 ret <8 x float> %res } define <16 x float> @test_masked_permps_v16f32(<16 x float>* %vp, <16 x float> %vec2) { ; X64-LABEL: test_masked_permps_v16f32: ; X64: # %bb.0: ; X64-NEXT: vmovaps (%rdi), %zmm2 ; X64-NEXT: vmovaps {{.*#+}} zmm1 = [15,13,11,19,14,12,22,23,7,6,3,27,7,29,3,31] ; X64-NEXT: vpermi2ps %zmm0, %zmm2, %zmm1 ; X64-NEXT: vmovaps %zmm1, %zmm0 ; X64-NEXT: retq ; ; X86-LABEL: test_masked_permps_v16f32: ; X86: # %bb.0: ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax ; X86-NEXT: vmovaps (%eax), %zmm2 ; X86-NEXT: vmovaps {{.*#+}} zmm1 = [15,13,11,19,14,12,22,23,7,6,3,27,7,29,3,31] ; X86-NEXT: vpermi2ps %zmm0, %zmm2, %zmm1 ; X86-NEXT: vmovaps %zmm1, %zmm0 ; X86-NEXT: retl %vec = load <16 x float>, <16 x float>* %vp %shuf = shufflevector <16 x float> %vec, <16 x float> undef, <16 x i32> %res = select <16 x i1> , <16 x float> %shuf, <16 x float> %vec2 ret <16 x float> %res } %union1= type { <16 x float> } @src1 = external dso_local local_unnamed_addr global %union1, align 64 define void @PR43170(<16 x float>* %a0) { ; SKX64-LABEL: PR43170: ; SKX64: # %bb.0: # %entry ; SKX64-NEXT: vmovaps {{.*}}(%rip), %ymm0 ; SKX64-NEXT: vmovaps %zmm0, (%rdi) ; SKX64-NEXT: vzeroupper ; SKX64-NEXT: retq ; ; KNL64-LABEL: PR43170: ; KNL64: # %bb.0: # %entry ; KNL64-NEXT: vmovaps {{.*}}(%rip), %ymm0 ; KNL64-NEXT: vmovaps %zmm0, (%rdi) ; KNL64-NEXT: retq ; ; SKX32-LABEL: PR43170: ; SKX32: # %bb.0: # %entry ; SKX32-NEXT: movl {{[0-9]+}}(%esp), %eax ; SKX32-NEXT: vmovaps src1, %ymm0 ; SKX32-NEXT: vmovaps %zmm0, (%eax) ; SKX32-NEXT: vzeroupper ; SKX32-NEXT: retl ; ; KNL32-LABEL: PR43170: ; KNL32: # %bb.0: # %entry ; KNL32-NEXT: movl {{[0-9]+}}(%esp), %eax ; KNL32-NEXT: vmovaps src1, %ymm0 ; KNL32-NEXT: vmovaps %zmm0, (%eax) ; KNL32-NEXT: retl entry: %0 = load <8 x float>, <8 x float>* bitcast (%union1* @src1 to <8 x float>*), align 64 %1 = shufflevector <8 x float> %0, <8 x float> zeroinitializer, <16 x i32> store <16 x float> %1, <16 x float>* %a0, align 64 ret void }