[llvm] r351590 - [x86] add more movmsk tests; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Fri Jan 18 12:42:12 PST 2019
Author: spatel
Date: Fri Jan 18 12:42:12 2019
New Revision: 351590
URL: http://llvm.org/viewvc/llvm-project?rev=351590&view=rev
Log:
[x86] add more movmsk tests; NFC
The existing tests already show a sub-optimal transform,
but this should make it clear that we can't just match
an 'and' op when creating movmsk instructions.
Modified:
llvm/trunk/test/CodeGen/X86/bitcast-and-setcc-256.ll
Modified: llvm/trunk/test/CodeGen/X86/bitcast-and-setcc-256.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/bitcast-and-setcc-256.ll?rev=351590&r1=351589&r2=351590&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/bitcast-and-setcc-256.ll (original)
+++ llvm/trunk/test/CodeGen/X86/bitcast-and-setcc-256.ll Fri Jan 18 12:42:12 2019
@@ -228,8 +228,8 @@ define i16 @v16i16(<16 x i16> %a, <16 x
ret i16 %res
}
-define i8 @v8i32(<8 x i32> %a, <8 x i32> %b, <8 x i32> %c, <8 x i32> %d) {
-; SSE2-SSSE3-LABEL: v8i32:
+define i8 @v8i32_and(<8 x i32> %a, <8 x i32> %b, <8 x i32> %c, <8 x i32> %d) {
+; SSE2-SSSE3-LABEL: v8i32_and:
; SSE2-SSSE3: # %bb.0:
; SSE2-SSSE3-NEXT: pcmpgtd %xmm3, %xmm1
; SSE2-SSSE3-NEXT: pcmpgtd %xmm2, %xmm0
@@ -243,7 +243,7 @@ define i8 @v8i32(<8 x i32> %a, <8 x i32>
; SSE2-SSSE3-NEXT: # kill: def $al killed $al killed $eax
; SSE2-SSSE3-NEXT: retq
;
-; AVX1-LABEL: v8i32:
+; AVX1-LABEL: v8i32_and:
; AVX1: # %bb.0:
; AVX1-NEXT: vpcmpgtd %xmm1, %xmm0, %xmm4
; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm1
@@ -262,7 +262,7 @@ define i8 @v8i32(<8 x i32> %a, <8 x i32>
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
;
-; AVX2-LABEL: v8i32:
+; AVX2-LABEL: v8i32_and:
; AVX2: # %bb.0:
; AVX2-NEXT: vpcmpgtd %ymm1, %ymm0, %ymm0
; AVX2-NEXT: vpcmpgtd %ymm3, %ymm2, %ymm1
@@ -275,7 +275,7 @@ define i8 @v8i32(<8 x i32> %a, <8 x i32>
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
;
-; AVX512F-LABEL: v8i32:
+; AVX512F-LABEL: v8i32_and:
; AVX512F: # %bb.0:
; AVX512F-NEXT: vpcmpgtd %ymm1, %ymm0, %k1
; AVX512F-NEXT: vpcmpgtd %ymm3, %ymm2, %k0 {%k1}
@@ -284,7 +284,7 @@ define i8 @v8i32(<8 x i32> %a, <8 x i32>
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
-; AVX512BW-LABEL: v8i32:
+; AVX512BW-LABEL: v8i32_and:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: vpcmpgtd %ymm1, %ymm0, %k1
; AVX512BW-NEXT: vpcmpgtd %ymm3, %ymm2, %k0 {%k1}
@@ -299,8 +299,178 @@ define i8 @v8i32(<8 x i32> %a, <8 x i32>
ret i8 %res
}
-define i8 @v8f32(<8 x float> %a, <8 x float> %b, <8 x float> %c, <8 x float> %d) {
-; SSE2-SSSE3-LABEL: v8f32:
+; We should see through any bitwise logic op.
+
+define i8 @v8i32_or(<8 x i32> %a, <8 x i32> %b, <8 x i32> %c, <8 x i32> %d) {
+; SSE2-SSSE3-LABEL: v8i32_or:
+; SSE2-SSSE3: # %bb.0:
+; SSE2-SSSE3-NEXT: pcmpgtd %xmm3, %xmm1
+; SSE2-SSSE3-NEXT: pcmpgtd %xmm2, %xmm0
+; SSE2-SSSE3-NEXT: packssdw %xmm1, %xmm0
+; SSE2-SSSE3-NEXT: pcmpgtd %xmm7, %xmm5
+; SSE2-SSSE3-NEXT: pcmpgtd %xmm6, %xmm4
+; SSE2-SSSE3-NEXT: packssdw %xmm5, %xmm4
+; SSE2-SSSE3-NEXT: por %xmm0, %xmm4
+; SSE2-SSSE3-NEXT: packsswb %xmm0, %xmm4
+; SSE2-SSSE3-NEXT: pmovmskb %xmm4, %eax
+; SSE2-SSSE3-NEXT: # kill: def $al killed $al killed $eax
+; SSE2-SSSE3-NEXT: retq
+;
+; AVX1-LABEL: v8i32_or:
+; AVX1: # %bb.0:
+; AVX1-NEXT: vpcmpgtd %xmm1, %xmm0, %xmm4
+; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm1
+; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm0
+; AVX1-NEXT: vpcmpgtd %xmm1, %xmm0, %xmm0
+; AVX1-NEXT: vpcmpgtd %xmm3, %xmm2, %xmm1
+; AVX1-NEXT: vpor %xmm1, %xmm4, %xmm1
+; AVX1-NEXT: vextractf128 $1, %ymm3, %xmm3
+; AVX1-NEXT: vextractf128 $1, %ymm2, %xmm2
+; AVX1-NEXT: vpcmpgtd %xmm3, %xmm2, %xmm2
+; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0
+; AVX1-NEXT: vpackssdw %xmm0, %xmm1, %xmm0
+; AVX1-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
+; AVX1-NEXT: vpmovmskb %xmm0, %eax
+; AVX1-NEXT: # kill: def $al killed $al killed $eax
+; AVX1-NEXT: vzeroupper
+; AVX1-NEXT: retq
+;
+; AVX2-LABEL: v8i32_or:
+; AVX2: # %bb.0:
+; AVX2-NEXT: vpcmpgtd %ymm1, %ymm0, %ymm0
+; AVX2-NEXT: vpcmpgtd %ymm3, %ymm2, %ymm1
+; AVX2-NEXT: vpor %ymm1, %ymm0, %ymm0
+; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm1
+; AVX2-NEXT: vpackssdw %xmm1, %xmm0, %xmm0
+; AVX2-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
+; AVX2-NEXT: vpmovmskb %xmm0, %eax
+; AVX2-NEXT: # kill: def $al killed $al killed $eax
+; AVX2-NEXT: vzeroupper
+; AVX2-NEXT: retq
+;
+; AVX512F-LABEL: v8i32_or:
+; AVX512F: # %bb.0:
+; AVX512F-NEXT: vpcmpgtd %ymm1, %ymm0, %k0
+; AVX512F-NEXT: vpcmpgtd %ymm3, %ymm2, %k1
+; AVX512F-NEXT: korw %k1, %k0, %k0
+; AVX512F-NEXT: kmovw %k0, %eax
+; AVX512F-NEXT: # kill: def $al killed $al killed $eax
+; AVX512F-NEXT: vzeroupper
+; AVX512F-NEXT: retq
+;
+; AVX512BW-LABEL: v8i32_or:
+; AVX512BW: # %bb.0:
+; AVX512BW-NEXT: vpcmpgtd %ymm1, %ymm0, %k0
+; AVX512BW-NEXT: vpcmpgtd %ymm3, %ymm2, %k1
+; AVX512BW-NEXT: korw %k1, %k0, %k0
+; AVX512BW-NEXT: kmovd %k0, %eax
+; AVX512BW-NEXT: # kill: def $al killed $al killed $eax
+; AVX512BW-NEXT: vzeroupper
+; AVX512BW-NEXT: retq
+ %x0 = icmp sgt <8 x i32> %a, %b
+ %x1 = icmp sgt <8 x i32> %c, %d
+ %y = or <8 x i1> %x0, %x1
+ %res = bitcast <8 x i1> %y to i8
+ ret i8 %res
+}
+
+; We should see through multiple bitwise logic ops.
+
+define i8 @v8i32_or_and(<8 x i32> %a, <8 x i32> %b, <8 x i32> %c, <8 x i32> %d, <8 x i32> %e, <8 x i32> %f) {
+; SSE2-SSSE3-LABEL: v8i32_or_and:
+; SSE2-SSSE3: # %bb.0:
+; SSE2-SSSE3-NEXT: movdqa {{[0-9]+}}(%rsp), %xmm8
+; SSE2-SSSE3-NEXT: movdqa {{[0-9]+}}(%rsp), %xmm9
+; SSE2-SSSE3-NEXT: pcmpgtd %xmm3, %xmm1
+; SSE2-SSSE3-NEXT: pcmpgtd %xmm2, %xmm0
+; SSE2-SSSE3-NEXT: packssdw %xmm1, %xmm0
+; SSE2-SSSE3-NEXT: pcmpgtd %xmm5, %xmm7
+; SSE2-SSSE3-NEXT: pcmpgtd %xmm4, %xmm6
+; SSE2-SSSE3-NEXT: packssdw %xmm7, %xmm6
+; SSE2-SSSE3-NEXT: por %xmm0, %xmm6
+; SSE2-SSSE3-NEXT: pcmpeqd {{[0-9]+}}(%rsp), %xmm9
+; SSE2-SSSE3-NEXT: pcmpeqd {{[0-9]+}}(%rsp), %xmm8
+; SSE2-SSSE3-NEXT: packssdw %xmm9, %xmm8
+; SSE2-SSSE3-NEXT: pand %xmm6, %xmm8
+; SSE2-SSSE3-NEXT: packsswb %xmm0, %xmm8
+; SSE2-SSSE3-NEXT: pmovmskb %xmm8, %eax
+; SSE2-SSSE3-NEXT: # kill: def $al killed $al killed $eax
+; SSE2-SSSE3-NEXT: retq
+;
+; AVX1-LABEL: v8i32_or_and:
+; AVX1: # %bb.0:
+; AVX1-NEXT: vpcmpgtd %xmm1, %xmm0, %xmm6
+; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm1
+; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm0
+; AVX1-NEXT: vpcmpgtd %xmm1, %xmm0, %xmm0
+; AVX1-NEXT: vpcmpgtd %xmm2, %xmm3, %xmm1
+; AVX1-NEXT: vpor %xmm1, %xmm6, %xmm1
+; AVX1-NEXT: vextractf128 $1, %ymm2, %xmm2
+; AVX1-NEXT: vextractf128 $1, %ymm3, %xmm3
+; AVX1-NEXT: vpcmpgtd %xmm2, %xmm3, %xmm2
+; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0
+; AVX1-NEXT: vpackssdw %xmm0, %xmm1, %xmm0
+; AVX1-NEXT: vextractf128 $1, %ymm5, %xmm1
+; AVX1-NEXT: vextractf128 $1, %ymm4, %xmm2
+; AVX1-NEXT: vpcmpeqd %xmm1, %xmm2, %xmm1
+; AVX1-NEXT: vpcmpeqd %xmm5, %xmm4, %xmm2
+; AVX1-NEXT: vpackssdw %xmm1, %xmm2, %xmm1
+; AVX1-NEXT: vpand %xmm1, %xmm0, %xmm0
+; AVX1-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
+; AVX1-NEXT: vpmovmskb %xmm0, %eax
+; AVX1-NEXT: # kill: def $al killed $al killed $eax
+; AVX1-NEXT: vzeroupper
+; AVX1-NEXT: retq
+;
+; AVX2-LABEL: v8i32_or_and:
+; AVX2: # %bb.0:
+; AVX2-NEXT: vpcmpgtd %ymm1, %ymm0, %ymm0
+; AVX2-NEXT: vpcmpgtd %ymm2, %ymm3, %ymm1
+; AVX2-NEXT: vpor %ymm1, %ymm0, %ymm0
+; AVX2-NEXT: vpcmpeqd %ymm5, %ymm4, %ymm1
+; AVX2-NEXT: vextracti128 $1, %ymm1, %xmm2
+; AVX2-NEXT: vpackssdw %xmm2, %xmm1, %xmm1
+; AVX2-NEXT: vextracti128 $1, %ymm0, %xmm2
+; AVX2-NEXT: vpackssdw %xmm2, %xmm0, %xmm0
+; AVX2-NEXT: vpand %xmm1, %xmm0, %xmm0
+; AVX2-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
+; AVX2-NEXT: vpmovmskb %xmm0, %eax
+; AVX2-NEXT: # kill: def $al killed $al killed $eax
+; AVX2-NEXT: vzeroupper
+; AVX2-NEXT: retq
+;
+; AVX512F-LABEL: v8i32_or_and:
+; AVX512F: # %bb.0:
+; AVX512F-NEXT: vpcmpgtd %ymm1, %ymm0, %k0
+; AVX512F-NEXT: vpcmpgtd %ymm2, %ymm3, %k1
+; AVX512F-NEXT: korw %k1, %k0, %k1
+; AVX512F-NEXT: vpcmpeqd %ymm5, %ymm4, %k0 {%k1}
+; AVX512F-NEXT: kmovw %k0, %eax
+; AVX512F-NEXT: # kill: def $al killed $al killed $eax
+; AVX512F-NEXT: vzeroupper
+; AVX512F-NEXT: retq
+;
+; AVX512BW-LABEL: v8i32_or_and:
+; AVX512BW: # %bb.0:
+; AVX512BW-NEXT: vpcmpgtd %ymm1, %ymm0, %k0
+; AVX512BW-NEXT: vpcmpgtd %ymm2, %ymm3, %k1
+; AVX512BW-NEXT: korw %k1, %k0, %k1
+; AVX512BW-NEXT: vpcmpeqd %ymm5, %ymm4, %k0 {%k1}
+; AVX512BW-NEXT: kmovd %k0, %eax
+; AVX512BW-NEXT: # kill: def $al killed $al killed $eax
+; AVX512BW-NEXT: vzeroupper
+; AVX512BW-NEXT: retq
+ %x0 = icmp sgt <8 x i32> %a, %b
+ %x1 = icmp slt <8 x i32> %c, %d
+ %x2 = icmp eq <8 x i32> %e, %f
+ %y = or <8 x i1> %x0, %x1
+ %z = and <8 x i1> %y, %x2
+ %res = bitcast <8 x i1> %z to i8
+ ret i8 %res
+}
+
+define i8 @v8f32_and(<8 x float> %a, <8 x float> %b, <8 x float> %c, <8 x float> %d) {
+; SSE2-SSSE3-LABEL: v8f32_and:
; SSE2-SSSE3: # %bb.0:
; SSE2-SSSE3-NEXT: cmpltps %xmm1, %xmm3
; SSE2-SSSE3-NEXT: cmpltps %xmm0, %xmm2
@@ -314,7 +484,7 @@ define i8 @v8f32(<8 x float> %a, <8 x fl
; SSE2-SSSE3-NEXT: # kill: def $al killed $al killed $eax
; SSE2-SSSE3-NEXT: retq
;
-; AVX12-LABEL: v8f32:
+; AVX12-LABEL: v8f32_and:
; AVX12: # %bb.0:
; AVX12-NEXT: vcmpltps %ymm0, %ymm1, %ymm0
; AVX12-NEXT: vcmpltps %ymm2, %ymm3, %ymm1
@@ -327,7 +497,7 @@ define i8 @v8f32(<8 x float> %a, <8 x fl
; AVX12-NEXT: vzeroupper
; AVX12-NEXT: retq
;
-; AVX512F-LABEL: v8f32:
+; AVX512F-LABEL: v8f32_and:
; AVX512F: # %bb.0:
; AVX512F-NEXT: vcmpltps %ymm0, %ymm1, %k1
; AVX512F-NEXT: vcmpltps %ymm2, %ymm3, %k0 {%k1}
@@ -336,7 +506,7 @@ define i8 @v8f32(<8 x float> %a, <8 x fl
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
;
-; AVX512BW-LABEL: v8f32:
+; AVX512BW-LABEL: v8f32_and:
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: vcmpltps %ymm0, %ymm1, %k1
; AVX512BW-NEXT: vcmpltps %ymm2, %ymm3, %k0 {%k1}
@@ -351,6 +521,138 @@ define i8 @v8f32(<8 x float> %a, <8 x fl
ret i8 %res
}
+; We should see through any bitwise logic op.
+
+define i8 @v8f32_xor(<8 x float> %a, <8 x float> %b, <8 x float> %c, <8 x float> %d) {
+; SSE2-SSSE3-LABEL: v8f32_xor:
+; SSE2-SSSE3: # %bb.0:
+; SSE2-SSSE3-NEXT: cmpltps %xmm1, %xmm3
+; SSE2-SSSE3-NEXT: cmpltps %xmm0, %xmm2
+; SSE2-SSSE3-NEXT: packssdw %xmm3, %xmm2
+; SSE2-SSSE3-NEXT: cmpltps %xmm5, %xmm7
+; SSE2-SSSE3-NEXT: cmpltps %xmm4, %xmm6
+; SSE2-SSSE3-NEXT: packssdw %xmm7, %xmm6
+; SSE2-SSSE3-NEXT: pxor %xmm2, %xmm6
+; SSE2-SSSE3-NEXT: packsswb %xmm0, %xmm6
+; SSE2-SSSE3-NEXT: pmovmskb %xmm6, %eax
+; SSE2-SSSE3-NEXT: # kill: def $al killed $al killed $eax
+; SSE2-SSSE3-NEXT: retq
+;
+; AVX12-LABEL: v8f32_xor:
+; AVX12: # %bb.0:
+; AVX12-NEXT: vcmpltps %ymm0, %ymm1, %ymm0
+; AVX12-NEXT: vcmpltps %ymm2, %ymm3, %ymm1
+; AVX12-NEXT: vxorps %ymm1, %ymm0, %ymm0
+; AVX12-NEXT: vextractf128 $1, %ymm0, %xmm1
+; AVX12-NEXT: vpackssdw %xmm1, %xmm0, %xmm0
+; AVX12-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
+; AVX12-NEXT: vpmovmskb %xmm0, %eax
+; AVX12-NEXT: # kill: def $al killed $al killed $eax
+; AVX12-NEXT: vzeroupper
+; AVX12-NEXT: retq
+;
+; AVX512F-LABEL: v8f32_xor:
+; AVX512F: # %bb.0:
+; AVX512F-NEXT: vcmpltps %ymm0, %ymm1, %k0
+; AVX512F-NEXT: vcmpltps %ymm2, %ymm3, %k1
+; AVX512F-NEXT: kxorw %k1, %k0, %k0
+; AVX512F-NEXT: kmovw %k0, %eax
+; AVX512F-NEXT: # kill: def $al killed $al killed $eax
+; AVX512F-NEXT: vzeroupper
+; AVX512F-NEXT: retq
+;
+; AVX512BW-LABEL: v8f32_xor:
+; AVX512BW: # %bb.0:
+; AVX512BW-NEXT: vcmpltps %ymm0, %ymm1, %k0
+; AVX512BW-NEXT: vcmpltps %ymm2, %ymm3, %k1
+; AVX512BW-NEXT: kxorw %k1, %k0, %k0
+; AVX512BW-NEXT: kmovd %k0, %eax
+; AVX512BW-NEXT: # kill: def $al killed $al killed $eax
+; AVX512BW-NEXT: vzeroupper
+; AVX512BW-NEXT: retq
+ %x0 = fcmp ogt <8 x float> %a, %b
+ %x1 = fcmp ogt <8 x float> %c, %d
+ %y = xor <8 x i1> %x0, %x1
+ %res = bitcast <8 x i1> %y to i8
+ ret i8 %res
+}
+
+; We should see through multiple bitwise logic ops.
+
+define i8 @v8f32_xor_and(<8 x float> %a, <8 x float> %b, <8 x float> %c, <8 x float> %d, <8 x float> %e, <8 x float> %f) {
+; SSE2-SSSE3-LABEL: v8f32_xor_and:
+; SSE2-SSSE3: # %bb.0:
+; SSE2-SSSE3-NEXT: movaps {{[0-9]+}}(%rsp), %xmm8
+; SSE2-SSSE3-NEXT: movaps {{[0-9]+}}(%rsp), %xmm9
+; SSE2-SSSE3-NEXT: cmpnleps %xmm3, %xmm1
+; SSE2-SSSE3-NEXT: cmpnleps %xmm2, %xmm0
+; SSE2-SSSE3-NEXT: packssdw %xmm1, %xmm0
+; SSE2-SSSE3-NEXT: movaps %xmm5, %xmm1
+; SSE2-SSSE3-NEXT: cmpeqps %xmm7, %xmm1
+; SSE2-SSSE3-NEXT: cmpunordps %xmm7, %xmm5
+; SSE2-SSSE3-NEXT: orps %xmm1, %xmm5
+; SSE2-SSSE3-NEXT: movaps %xmm4, %xmm1
+; SSE2-SSSE3-NEXT: cmpeqps %xmm6, %xmm1
+; SSE2-SSSE3-NEXT: cmpunordps %xmm6, %xmm4
+; SSE2-SSSE3-NEXT: orps %xmm1, %xmm4
+; SSE2-SSSE3-NEXT: packssdw %xmm5, %xmm4
+; SSE2-SSSE3-NEXT: pxor %xmm0, %xmm4
+; SSE2-SSSE3-NEXT: cmpltps {{[0-9]+}}(%rsp), %xmm9
+; SSE2-SSSE3-NEXT: cmpltps {{[0-9]+}}(%rsp), %xmm8
+; SSE2-SSSE3-NEXT: packssdw %xmm9, %xmm8
+; SSE2-SSSE3-NEXT: pand %xmm4, %xmm8
+; SSE2-SSSE3-NEXT: packsswb %xmm0, %xmm8
+; SSE2-SSSE3-NEXT: pmovmskb %xmm8, %eax
+; SSE2-SSSE3-NEXT: # kill: def $al killed $al killed $eax
+; SSE2-SSSE3-NEXT: retq
+;
+; AVX12-LABEL: v8f32_xor_and:
+; AVX12: # %bb.0:
+; AVX12-NEXT: vcmpnleps %ymm1, %ymm0, %ymm0
+; AVX12-NEXT: vcmpeq_uqps %ymm3, %ymm2, %ymm1
+; AVX12-NEXT: vxorps %ymm1, %ymm0, %ymm0
+; AVX12-NEXT: vcmpltps %ymm4, %ymm5, %ymm1
+; AVX12-NEXT: vextractf128 $1, %ymm1, %xmm2
+; AVX12-NEXT: vpackssdw %xmm2, %xmm1, %xmm1
+; AVX12-NEXT: vextractf128 $1, %ymm0, %xmm2
+; AVX12-NEXT: vpackssdw %xmm2, %xmm0, %xmm0
+; AVX12-NEXT: vpand %xmm1, %xmm0, %xmm0
+; AVX12-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
+; AVX12-NEXT: vpmovmskb %xmm0, %eax
+; AVX12-NEXT: # kill: def $al killed $al killed $eax
+; AVX12-NEXT: vzeroupper
+; AVX12-NEXT: retq
+;
+; AVX512F-LABEL: v8f32_xor_and:
+; AVX512F: # %bb.0:
+; AVX512F-NEXT: vcmpnleps %ymm1, %ymm0, %k0
+; AVX512F-NEXT: vcmpeq_uqps %ymm3, %ymm2, %k1
+; AVX512F-NEXT: kxorw %k1, %k0, %k1
+; AVX512F-NEXT: vcmpltps %ymm4, %ymm5, %k0 {%k1}
+; AVX512F-NEXT: kmovw %k0, %eax
+; AVX512F-NEXT: # kill: def $al killed $al killed $eax
+; AVX512F-NEXT: vzeroupper
+; AVX512F-NEXT: retq
+;
+; AVX512BW-LABEL: v8f32_xor_and:
+; AVX512BW: # %bb.0:
+; AVX512BW-NEXT: vcmpnleps %ymm1, %ymm0, %k0
+; AVX512BW-NEXT: vcmpeq_uqps %ymm3, %ymm2, %k1
+; AVX512BW-NEXT: kxorw %k1, %k0, %k1
+; AVX512BW-NEXT: vcmpltps %ymm4, %ymm5, %k0 {%k1}
+; AVX512BW-NEXT: kmovd %k0, %eax
+; AVX512BW-NEXT: # kill: def $al killed $al killed $eax
+; AVX512BW-NEXT: vzeroupper
+; AVX512BW-NEXT: retq
+ %x0 = fcmp ugt <8 x float> %a, %b
+ %x1 = fcmp ueq <8 x float> %c, %d
+ %x2 = fcmp ogt <8 x float> %e, %f
+ %y = xor <8 x i1> %x0, %x1
+ %z = and <8 x i1> %y, %x2
+ %res = bitcast <8 x i1> %z to i8
+ ret i8 %res
+}
+
define i32 @v32i8(<32 x i8> %a, <32 x i8> %b, <32 x i8> %c, <32 x i8> %d) {
; SSE2-SSSE3-LABEL: v32i8:
; SSE2-SSSE3: # %bb.0:
More information about the llvm-commits
mailing list