[llvm] 64516ec - [X86] Use parity flag from byte test/cmp instruction for __builtin_parity when input fits in 8 bits.
Craig Topper via llvm-commits
llvm-commits at lists.llvm.org
Sun Aug 2 10:52:39 PDT 2020
Author: Craig Topper
Date: 2020-08-02T10:45:04-07:00
New Revision: 64516ec7c1298a4cb16980db49c2f9466f0f3ab5
URL: https://github.com/llvm/llvm-project/commit/64516ec7c1298a4cb16980db49c2f9466f0f3ab5
DIFF: https://github.com/llvm/llvm-project/commit/64516ec7c1298a4cb16980db49c2f9466f0f3ab5.diff
LOG: [X86] Use parity flag from byte test/cmp instruction for __builtin_parity when input fits in 8 bits.
If the upper bits of the __builtin_parity idiom are known to be
0 we were previously emitting an xor with 0 to get the parity flag.
But we can use cmp/test instead which may expose opportunities for
load folding or combining an AND.
Added:
Modified:
llvm/lib/Target/X86/X86ISelLowering.cpp
llvm/test/CodeGen/X86/parity.ll
llvm/test/CodeGen/X86/vector-reduce-xor-bool.ll
Removed:
################################################################################
diff --git a/llvm/lib/Target/X86/X86ISelLowering.cpp b/llvm/lib/Target/X86/X86ISelLowering.cpp
index 93852e13b7d0..ff59f28c8b6d 100644
--- a/llvm/lib/Target/X86/X86ISelLowering.cpp
+++ b/llvm/lib/Target/X86/X86ISelLowering.cpp
@@ -42773,6 +42773,17 @@ static SDValue combineParity(SDNode *N, SelectionDAG &DAG,
SDLoc DL(N);
SDValue X = N0.getOperand(0);
+ // Special case. If the input fits in 8-bits we can use a single 8-bit TEST.
+ if (DAG.MaskedValueIsZero(X, APInt::getBitsSetFrom(VT.getSizeInBits(), 8))) {
+ X = DAG.getNode(ISD::TRUNCATE, DL, MVT::i8, X);
+ SDValue Flags = DAG.getNode(X86ISD::CMP, DL, MVT::i32, X,
+ DAG.getConstant(0, DL, MVT::i8));
+ // Copy the inverse of the parity flag into a register with setcc.
+ SDValue Setnp = getSETCC(X86::COND_NP, Flags, DL, DAG);
+ // Extend or truncate to the original type.
+ return DAG.getZExtOrTrunc(Setnp, DL, N->getValueType(0));
+ }
+
// If this is 64-bit, its always best to xor the two 32-bit pieces together
// even if we have popcnt.
if (VT == MVT::i64) {
diff --git a/llvm/test/CodeGen/X86/parity.ll b/llvm/test/CodeGen/X86/parity.ll
index 68f2b8b1b553..869ee552c67d 100644
--- a/llvm/test/CodeGen/X86/parity.ll
+++ b/llvm/test/CodeGen/X86/parity.ll
@@ -184,16 +184,15 @@ define i8 @parity_32_trunc(i32 %x) {
define i32 @parity_8_zext(i8 %x) {
; X86-NOPOPCNT-LABEL: parity_8_zext:
; X86-NOPOPCNT: # %bb.0:
-; X86-NOPOPCNT-NEXT: movb {{[0-9]+}}(%esp), %cl
; X86-NOPOPCNT-NEXT: xorl %eax, %eax
-; X86-NOPOPCNT-NEXT: xorb $0, %cl
+; X86-NOPOPCNT-NEXT: cmpb $0, {{[0-9]+}}(%esp)
; X86-NOPOPCNT-NEXT: setnp %al
; X86-NOPOPCNT-NEXT: retl
;
; X64-NOPOPCNT-LABEL: parity_8_zext:
; X64-NOPOPCNT: # %bb.0:
; X64-NOPOPCNT-NEXT: xorl %eax, %eax
-; X64-NOPOPCNT-NEXT: xorb $0, %dil
+; X64-NOPOPCNT-NEXT: testb %dil, %dil
; X64-NOPOPCNT-NEXT: setnp %al
; X64-NOPOPCNT-NEXT: retq
;
@@ -219,16 +218,15 @@ define i32 @parity_8_zext(i8 %x) {
define i32 @parity_8_mask(i32 %x) {
; X86-NOPOPCNT-LABEL: parity_8_mask:
; X86-NOPOPCNT: # %bb.0:
-; X86-NOPOPCNT-NEXT: movb {{[0-9]+}}(%esp), %cl
; X86-NOPOPCNT-NEXT: xorl %eax, %eax
-; X86-NOPOPCNT-NEXT: xorb $0, %cl
+; X86-NOPOPCNT-NEXT: cmpb $0, {{[0-9]+}}(%esp)
; X86-NOPOPCNT-NEXT: setnp %al
; X86-NOPOPCNT-NEXT: retl
;
; X64-NOPOPCNT-LABEL: parity_8_mask:
; X64-NOPOPCNT: # %bb.0:
; X64-NOPOPCNT-NEXT: xorl %eax, %eax
-; X64-NOPOPCNT-NEXT: xorb $0, %dil
+; X64-NOPOPCNT-NEXT: testb %dil, %dil
; X64-NOPOPCNT-NEXT: setnp %al
; X64-NOPOPCNT-NEXT: retq
;
diff --git a/llvm/test/CodeGen/X86/vector-reduce-xor-bool.ll b/llvm/test/CodeGen/X86/vector-reduce-xor-bool.ll
index 627faa02d2b7..8e50cfc4e4b2 100644
--- a/llvm/test/CodeGen/X86/vector-reduce-xor-bool.ll
+++ b/llvm/test/CodeGen/X86/vector-reduce-xor-bool.ll
@@ -16,7 +16,7 @@ define i1 @trunc_v2i64_v2i1(<2 x i64>) {
; SSE: # %bb.0:
; SSE-NEXT: psllq $63, %xmm0
; SSE-NEXT: movmskpd %xmm0, %eax
-; SSE-NEXT: xorb $0, %al
+; SSE-NEXT: testb %al, %al
; SSE-NEXT: setnp %al
; SSE-NEXT: retq
;
@@ -24,7 +24,7 @@ define i1 @trunc_v2i64_v2i1(<2 x i64>) {
; AVX: # %bb.0:
; AVX-NEXT: vpsllq $63, %xmm0, %xmm0
; AVX-NEXT: vmovmskpd %xmm0, %eax
-; AVX-NEXT: xorb $0, %al
+; AVX-NEXT: testb %al, %al
; AVX-NEXT: setnp %al
; AVX-NEXT: retq
;
@@ -33,8 +33,7 @@ define i1 @trunc_v2i64_v2i1(<2 x i64>) {
; AVX512F-NEXT: vpsllq $63, %xmm0, %xmm0
; AVX512F-NEXT: vptestmq %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: andl $3, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb $3, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -44,8 +43,7 @@ define i1 @trunc_v2i64_v2i1(<2 x i64>) {
; AVX512BW-NEXT: vpsllq $63, %xmm0, %xmm0
; AVX512BW-NEXT: vptestmq %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: andl $3, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb $3, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -55,8 +53,7 @@ define i1 @trunc_v2i64_v2i1(<2 x i64>) {
; AVX512VL-NEXT: vpsllq $63, %xmm0, %xmm0
; AVX512VL-NEXT: vptestmq %xmm0, %xmm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: andl $3, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: retq
%a = trunc <2 x i64> %0 to <2 x i1>
@@ -69,7 +66,7 @@ define i1 @trunc_v4i32_v4i1(<4 x i32>) {
; SSE: # %bb.0:
; SSE-NEXT: pslld $31, %xmm0
; SSE-NEXT: movmskps %xmm0, %eax
-; SSE-NEXT: xorb $0, %al
+; SSE-NEXT: testb %al, %al
; SSE-NEXT: setnp %al
; SSE-NEXT: retq
;
@@ -77,7 +74,7 @@ define i1 @trunc_v4i32_v4i1(<4 x i32>) {
; AVX: # %bb.0:
; AVX-NEXT: vpslld $31, %xmm0, %xmm0
; AVX-NEXT: vmovmskps %xmm0, %eax
-; AVX-NEXT: xorb $0, %al
+; AVX-NEXT: testb %al, %al
; AVX-NEXT: setnp %al
; AVX-NEXT: retq
;
@@ -86,8 +83,7 @@ define i1 @trunc_v4i32_v4i1(<4 x i32>) {
; AVX512F-NEXT: vpslld $31, %xmm0, %xmm0
; AVX512F-NEXT: vptestmd %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: andl $15, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb $15, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -97,8 +93,7 @@ define i1 @trunc_v4i32_v4i1(<4 x i32>) {
; AVX512BW-NEXT: vpslld $31, %xmm0, %xmm0
; AVX512BW-NEXT: vptestmd %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: andl $15, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb $15, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -108,8 +103,7 @@ define i1 @trunc_v4i32_v4i1(<4 x i32>) {
; AVX512VL-NEXT: vpslld $31, %xmm0, %xmm0
; AVX512VL-NEXT: vptestmd %xmm0, %xmm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: andl $15, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: retq
%a = trunc <4 x i32> %0 to <4 x i1>
@@ -124,7 +118,7 @@ define i1 @trunc_v8i16_v8i1(<8 x i8>) {
; SSE2-NEXT: psllw $15, %xmm0
; SSE2-NEXT: packsswb %xmm0, %xmm0
; SSE2-NEXT: pmovmskb %xmm0, %eax
-; SSE2-NEXT: xorb $0, %al
+; SSE2-NEXT: testb %al, %al
; SSE2-NEXT: setnp %al
; SSE2-NEXT: retq
;
@@ -134,7 +128,7 @@ define i1 @trunc_v8i16_v8i1(<8 x i8>) {
; SSE41-NEXT: psllw $15, %xmm0
; SSE41-NEXT: packsswb %xmm0, %xmm0
; SSE41-NEXT: pmovmskb %xmm0, %eax
-; SSE41-NEXT: xorb $0, %al
+; SSE41-NEXT: testb %al, %al
; SSE41-NEXT: setnp %al
; SSE41-NEXT: retq
;
@@ -144,7 +138,7 @@ define i1 @trunc_v8i16_v8i1(<8 x i8>) {
; AVX-NEXT: vpsllw $15, %xmm0, %xmm0
; AVX-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
; AVX-NEXT: vpmovmskb %xmm0, %eax
-; AVX-NEXT: xorb $0, %al
+; AVX-NEXT: testb %al, %al
; AVX-NEXT: setnp %al
; AVX-NEXT: retq
;
@@ -154,7 +148,7 @@ define i1 @trunc_v8i16_v8i1(<8 x i8>) {
; AVX512F-NEXT: vpslld $31, %zmm0, %zmm0
; AVX512F-NEXT: vptestmd %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb %al, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -164,7 +158,7 @@ define i1 @trunc_v8i16_v8i1(<8 x i8>) {
; AVX512BW-NEXT: vpsllw $7, %xmm0, %xmm0
; AVX512BW-NEXT: vpmovb2m %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb %al, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -174,7 +168,7 @@ define i1 @trunc_v8i16_v8i1(<8 x i8>) {
; AVX512VL-NEXT: vpsllw $7, %xmm0, %xmm0
; AVX512VL-NEXT: vpmovb2m %xmm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: retq
%a = trunc <8 x i8> %0 to <8 x i1>
@@ -223,7 +217,7 @@ define i1 @trunc_v4i64_v4i1(<4 x i64>) {
; SSE-NEXT: shufps {{.*#+}} xmm0 = xmm0[0,2],xmm1[0,2]
; SSE-NEXT: pslld $31, %xmm0
; SSE-NEXT: movmskps %xmm0, %eax
-; SSE-NEXT: xorb $0, %al
+; SSE-NEXT: testb %al, %al
; SSE-NEXT: setnp %al
; SSE-NEXT: retq
;
@@ -233,7 +227,7 @@ define i1 @trunc_v4i64_v4i1(<4 x i64>) {
; AVX-NEXT: vshufps {{.*#+}} xmm0 = xmm0[0,2],xmm1[0,2]
; AVX-NEXT: vpslld $31, %xmm0, %xmm0
; AVX-NEXT: vmovmskps %xmm0, %eax
-; AVX-NEXT: xorb $0, %al
+; AVX-NEXT: testb %al, %al
; AVX-NEXT: setnp %al
; AVX-NEXT: vzeroupper
; AVX-NEXT: retq
@@ -243,8 +237,7 @@ define i1 @trunc_v4i64_v4i1(<4 x i64>) {
; AVX512F-NEXT: vpsllq $63, %ymm0, %ymm0
; AVX512F-NEXT: vptestmq %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: andl $15, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb $15, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -254,8 +247,7 @@ define i1 @trunc_v4i64_v4i1(<4 x i64>) {
; AVX512BW-NEXT: vpsllq $63, %ymm0, %ymm0
; AVX512BW-NEXT: vptestmq %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: andl $15, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb $15, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -265,8 +257,7 @@ define i1 @trunc_v4i64_v4i1(<4 x i64>) {
; AVX512VL-NEXT: vpsllq $63, %ymm0, %ymm0
; AVX512VL-NEXT: vptestmq %ymm0, %ymm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: andl $15, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: vzeroupper
; AVX512VL-NEXT: retq
@@ -286,7 +277,7 @@ define i1 @trunc_v8i32_v8i1(<8 x i32>) {
; SSE2-NEXT: psllw $15, %xmm0
; SSE2-NEXT: packsswb %xmm0, %xmm0
; SSE2-NEXT: pmovmskb %xmm0, %eax
-; SSE2-NEXT: xorb $0, %al
+; SSE2-NEXT: testb %al, %al
; SSE2-NEXT: setnp %al
; SSE2-NEXT: retq
;
@@ -299,7 +290,7 @@ define i1 @trunc_v8i32_v8i1(<8 x i32>) {
; SSE41-NEXT: psllw $15, %xmm0
; SSE41-NEXT: packsswb %xmm0, %xmm0
; SSE41-NEXT: pmovmskb %xmm0, %eax
-; SSE41-NEXT: xorb $0, %al
+; SSE41-NEXT: testb %al, %al
; SSE41-NEXT: setnp %al
; SSE41-NEXT: retq
;
@@ -313,7 +304,7 @@ define i1 @trunc_v8i32_v8i1(<8 x i32>) {
; AVX1-NEXT: vpsllw $15, %xmm0, %xmm0
; AVX1-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
; AVX1-NEXT: vpmovmskb %xmm0, %eax
-; AVX1-NEXT: xorb $0, %al
+; AVX1-NEXT: testb %al, %al
; AVX1-NEXT: setnp %al
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
@@ -325,7 +316,7 @@ define i1 @trunc_v8i32_v8i1(<8 x i32>) {
; AVX2-NEXT: vpsllw $15, %xmm0, %xmm0
; AVX2-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
; AVX2-NEXT: vpmovmskb %xmm0, %eax
-; AVX2-NEXT: xorb $0, %al
+; AVX2-NEXT: testb %al, %al
; AVX2-NEXT: setnp %al
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
@@ -335,7 +326,7 @@ define i1 @trunc_v8i32_v8i1(<8 x i32>) {
; AVX512F-NEXT: vpslld $31, %ymm0, %ymm0
; AVX512F-NEXT: vptestmd %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb %al, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -345,7 +336,7 @@ define i1 @trunc_v8i32_v8i1(<8 x i32>) {
; AVX512BW-NEXT: vpslld $31, %ymm0, %ymm0
; AVX512BW-NEXT: vptestmd %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb %al, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -355,7 +346,7 @@ define i1 @trunc_v8i32_v8i1(<8 x i32>) {
; AVX512VL-NEXT: vpslld $31, %ymm0, %ymm0
; AVX512VL-NEXT: vptestmd %ymm0, %ymm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: vzeroupper
; AVX512VL-NEXT: retq
@@ -556,7 +547,7 @@ define i1 @trunc_v8i64_v8i1(<8 x i64>) {
; SSE2-NEXT: psllw $15, %xmm2
; SSE2-NEXT: packsswb %xmm2, %xmm2
; SSE2-NEXT: pmovmskb %xmm2, %eax
-; SSE2-NEXT: xorb $0, %al
+; SSE2-NEXT: testb %al, %al
; SSE2-NEXT: setnp %al
; SSE2-NEXT: retq
;
@@ -573,7 +564,7 @@ define i1 @trunc_v8i64_v8i1(<8 x i64>) {
; SSE41-NEXT: psllw $15, %xmm0
; SSE41-NEXT: packsswb %xmm0, %xmm0
; SSE41-NEXT: pmovmskb %xmm0, %eax
-; SSE41-NEXT: xorb $0, %al
+; SSE41-NEXT: testb %al, %al
; SSE41-NEXT: setnp %al
; SSE41-NEXT: retq
;
@@ -590,7 +581,7 @@ define i1 @trunc_v8i64_v8i1(<8 x i64>) {
; AVX1-NEXT: vpsllw $15, %xmm0, %xmm0
; AVX1-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
; AVX1-NEXT: vpmovmskb %xmm0, %eax
-; AVX1-NEXT: xorb $0, %al
+; AVX1-NEXT: testb %al, %al
; AVX1-NEXT: setnp %al
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
@@ -605,7 +596,7 @@ define i1 @trunc_v8i64_v8i1(<8 x i64>) {
; AVX2-NEXT: vpsllw $15, %xmm0, %xmm0
; AVX2-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
; AVX2-NEXT: vpmovmskb %xmm0, %eax
-; AVX2-NEXT: xorb $0, %al
+; AVX2-NEXT: testb %al, %al
; AVX2-NEXT: setnp %al
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
@@ -615,7 +606,7 @@ define i1 @trunc_v8i64_v8i1(<8 x i64>) {
; AVX512F-NEXT: vpsllq $63, %zmm0, %zmm0
; AVX512F-NEXT: vptestmq %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb %al, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -625,7 +616,7 @@ define i1 @trunc_v8i64_v8i1(<8 x i64>) {
; AVX512BW-NEXT: vpsllq $63, %zmm0, %zmm0
; AVX512BW-NEXT: vptestmq %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb %al, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -635,7 +626,7 @@ define i1 @trunc_v8i64_v8i1(<8 x i64>) {
; AVX512VL-NEXT: vpsllq $63, %zmm0, %zmm0
; AVX512VL-NEXT: vptestmq %zmm0, %zmm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: vzeroupper
; AVX512VL-NEXT: retq
@@ -987,7 +978,7 @@ define i1 @icmp_v2i64_v2i1(<2 x i64>) {
; SSE2-NEXT: pshufd {{.*#+}} xmm0 = xmm1[1,0,3,2]
; SSE2-NEXT: pand %xmm1, %xmm0
; SSE2-NEXT: movmskpd %xmm0, %eax
-; SSE2-NEXT: xorb $0, %al
+; SSE2-NEXT: testb %al, %al
; SSE2-NEXT: setnp %al
; SSE2-NEXT: retq
;
@@ -996,7 +987,7 @@ define i1 @icmp_v2i64_v2i1(<2 x i64>) {
; SSE41-NEXT: pxor %xmm1, %xmm1
; SSE41-NEXT: pcmpeqq %xmm0, %xmm1
; SSE41-NEXT: movmskpd %xmm1, %eax
-; SSE41-NEXT: xorb $0, %al
+; SSE41-NEXT: testb %al, %al
; SSE41-NEXT: setnp %al
; SSE41-NEXT: retq
;
@@ -1005,7 +996,7 @@ define i1 @icmp_v2i64_v2i1(<2 x i64>) {
; AVX-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX-NEXT: vpcmpeqq %xmm1, %xmm0, %xmm0
; AVX-NEXT: vmovmskpd %xmm0, %eax
-; AVX-NEXT: xorb $0, %al
+; AVX-NEXT: testb %al, %al
; AVX-NEXT: setnp %al
; AVX-NEXT: retq
;
@@ -1014,8 +1005,7 @@ define i1 @icmp_v2i64_v2i1(<2 x i64>) {
; AVX512F-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512F-NEXT: vptestnmq %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: andl $3, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb $3, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -1025,8 +1015,7 @@ define i1 @icmp_v2i64_v2i1(<2 x i64>) {
; AVX512BW-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512BW-NEXT: vptestnmq %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: andl $3, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb $3, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -1035,8 +1024,7 @@ define i1 @icmp_v2i64_v2i1(<2 x i64>) {
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestnmq %xmm0, %xmm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: andl $3, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: retq
%a = icmp eq <2 x i64> %0, zeroinitializer
@@ -1050,7 +1038,7 @@ define i1 @icmp_v4i32_v4i1(<4 x i32>) {
; SSE-NEXT: pxor %xmm1, %xmm1
; SSE-NEXT: pcmpeqd %xmm0, %xmm1
; SSE-NEXT: movmskps %xmm1, %eax
-; SSE-NEXT: xorb $0, %al
+; SSE-NEXT: testb %al, %al
; SSE-NEXT: setnp %al
; SSE-NEXT: retq
;
@@ -1059,7 +1047,7 @@ define i1 @icmp_v4i32_v4i1(<4 x i32>) {
; AVX-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX-NEXT: vpcmpeqd %xmm1, %xmm0, %xmm0
; AVX-NEXT: vmovmskps %xmm0, %eax
-; AVX-NEXT: xorb $0, %al
+; AVX-NEXT: testb %al, %al
; AVX-NEXT: setnp %al
; AVX-NEXT: retq
;
@@ -1068,8 +1056,7 @@ define i1 @icmp_v4i32_v4i1(<4 x i32>) {
; AVX512F-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512F-NEXT: vptestnmd %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: andl $15, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb $15, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -1079,8 +1066,7 @@ define i1 @icmp_v4i32_v4i1(<4 x i32>) {
; AVX512BW-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512BW-NEXT: vptestnmd %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: andl $15, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb $15, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -1089,8 +1075,7 @@ define i1 @icmp_v4i32_v4i1(<4 x i32>) {
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestnmd %xmm0, %xmm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: andl $15, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: retq
%a = icmp eq <4 x i32> %0, zeroinitializer
@@ -1106,7 +1091,7 @@ define i1 @icmp_v8i16_v8i1(<8 x i8>) {
; SSE2-NEXT: punpcklbw {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1],xmm0[2],xmm1[2],xmm0[3],xmm1[3],xmm0[4],xmm1[4],xmm0[5],xmm1[5],xmm0[6],xmm1[6],xmm0[7],xmm1[7]
; SSE2-NEXT: packsswb %xmm0, %xmm0
; SSE2-NEXT: pmovmskb %xmm0, %eax
-; SSE2-NEXT: xorb $0, %al
+; SSE2-NEXT: testb %al, %al
; SSE2-NEXT: setnp %al
; SSE2-NEXT: retq
;
@@ -1117,7 +1102,7 @@ define i1 @icmp_v8i16_v8i1(<8 x i8>) {
; SSE41-NEXT: pmovsxbw %xmm1, %xmm0
; SSE41-NEXT: packsswb %xmm0, %xmm0
; SSE41-NEXT: pmovmskb %xmm0, %eax
-; SSE41-NEXT: xorb $0, %al
+; SSE41-NEXT: testb %al, %al
; SSE41-NEXT: setnp %al
; SSE41-NEXT: retq
;
@@ -1128,7 +1113,7 @@ define i1 @icmp_v8i16_v8i1(<8 x i8>) {
; AVX-NEXT: vpmovsxbw %xmm0, %xmm0
; AVX-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
; AVX-NEXT: vpmovmskb %xmm0, %eax
-; AVX-NEXT: xorb $0, %al
+; AVX-NEXT: testb %al, %al
; AVX-NEXT: setnp %al
; AVX-NEXT: retq
;
@@ -1139,7 +1124,7 @@ define i1 @icmp_v8i16_v8i1(<8 x i8>) {
; AVX512F-NEXT: vpmovsxbd %xmm0, %zmm0
; AVX512F-NEXT: vptestmd %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb %al, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -1149,7 +1134,7 @@ define i1 @icmp_v8i16_v8i1(<8 x i8>) {
; AVX512BW-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0
; AVX512BW-NEXT: vptestnmb %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb %al, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -1158,7 +1143,7 @@ define i1 @icmp_v8i16_v8i1(<8 x i8>) {
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestnmb %xmm0, %xmm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: retq
%a = icmp eq <8 x i8> %0, zeroinitializer
@@ -1238,7 +1223,7 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>) {
; SSE2-NEXT: pand %xmm0, %xmm1
; SSE2-NEXT: packssdw %xmm3, %xmm1
; SSE2-NEXT: movmskps %xmm1, %eax
-; SSE2-NEXT: xorb $0, %al
+; SSE2-NEXT: testb %al, %al
; SSE2-NEXT: setnp %al
; SSE2-NEXT: retq
;
@@ -1249,7 +1234,7 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>) {
; SSE41-NEXT: pcmpeqq %xmm2, %xmm0
; SSE41-NEXT: packssdw %xmm1, %xmm0
; SSE41-NEXT: movmskps %xmm0, %eax
-; SSE41-NEXT: xorb $0, %al
+; SSE41-NEXT: testb %al, %al
; SSE41-NEXT: setnp %al
; SSE41-NEXT: retq
;
@@ -1261,7 +1246,7 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>) {
; AVX1-NEXT: vpcmpeqq %xmm2, %xmm0, %xmm0
; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
; AVX1-NEXT: vmovmskpd %ymm0, %eax
-; AVX1-NEXT: xorb $0, %al
+; AVX1-NEXT: testb %al, %al
; AVX1-NEXT: setnp %al
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
@@ -1271,7 +1256,7 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>) {
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqq %ymm1, %ymm0, %ymm0
; AVX2-NEXT: vmovmskpd %ymm0, %eax
-; AVX2-NEXT: xorb $0, %al
+; AVX2-NEXT: testb %al, %al
; AVX2-NEXT: setnp %al
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
@@ -1281,8 +1266,7 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>) {
; AVX512F-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512F-NEXT: vptestnmq %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: andl $15, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb $15, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -1292,8 +1276,7 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>) {
; AVX512BW-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512BW-NEXT: vptestnmq %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: andl $15, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb $15, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -1302,8 +1285,7 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>) {
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestnmq %ymm0, %ymm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: andl $15, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: vzeroupper
; AVX512VL-NEXT: retq
@@ -1321,7 +1303,7 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>) {
; SSE-NEXT: packssdw %xmm1, %xmm0
; SSE-NEXT: packsswb %xmm0, %xmm0
; SSE-NEXT: pmovmskb %xmm0, %eax
-; SSE-NEXT: xorb $0, %al
+; SSE-NEXT: testb %al, %al
; SSE-NEXT: setnp %al
; SSE-NEXT: retq
;
@@ -1333,7 +1315,7 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>) {
; AVX1-NEXT: vpcmpeqd %xmm2, %xmm0, %xmm0
; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
; AVX1-NEXT: vmovmskps %ymm0, %eax
-; AVX1-NEXT: xorb $0, %al
+; AVX1-NEXT: testb %al, %al
; AVX1-NEXT: setnp %al
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
@@ -1343,7 +1325,7 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>) {
; AVX2-NEXT: vpxor %xmm1, %xmm1, %xmm1
; AVX2-NEXT: vpcmpeqd %ymm1, %ymm0, %ymm0
; AVX2-NEXT: vmovmskps %ymm0, %eax
-; AVX2-NEXT: xorb $0, %al
+; AVX2-NEXT: testb %al, %al
; AVX2-NEXT: setnp %al
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
@@ -1353,7 +1335,7 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>) {
; AVX512F-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512F-NEXT: vptestnmd %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb %al, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -1363,7 +1345,7 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>) {
; AVX512BW-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0
; AVX512BW-NEXT: vptestnmd %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb %al, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -1372,7 +1354,7 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>) {
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestnmd %ymm0, %ymm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: vzeroupper
; AVX512VL-NEXT: retq
@@ -1584,7 +1566,7 @@ define i1 @icmp_v8i64_v8i1(<8 x i64>) {
; SSE2-NEXT: packssdw %xmm3, %xmm1
; SSE2-NEXT: packsswb %xmm1, %xmm1
; SSE2-NEXT: pmovmskb %xmm1, %eax
-; SSE2-NEXT: xorb $0, %al
+; SSE2-NEXT: testb %al, %al
; SSE2-NEXT: setnp %al
; SSE2-NEXT: retq
;
@@ -1600,7 +1582,7 @@ define i1 @icmp_v8i64_v8i1(<8 x i64>) {
; SSE41-NEXT: packssdw %xmm2, %xmm0
; SSE41-NEXT: packsswb %xmm0, %xmm0
; SSE41-NEXT: pmovmskb %xmm0, %eax
-; SSE41-NEXT: xorb $0, %al
+; SSE41-NEXT: testb %al, %al
; SSE41-NEXT: setnp %al
; SSE41-NEXT: retq
;
@@ -1617,7 +1599,7 @@ define i1 @icmp_v8i64_v8i1(<8 x i64>) {
; AVX1-NEXT: vpackssdw %xmm2, %xmm0, %xmm0
; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
; AVX1-NEXT: vmovmskps %ymm0, %eax
-; AVX1-NEXT: xorb $0, %al
+; AVX1-NEXT: testb %al, %al
; AVX1-NEXT: setnp %al
; AVX1-NEXT: vzeroupper
; AVX1-NEXT: retq
@@ -1630,7 +1612,7 @@ define i1 @icmp_v8i64_v8i1(<8 x i64>) {
; AVX2-NEXT: vpackssdw %ymm1, %ymm0, %ymm0
; AVX2-NEXT: vpermq {{.*#+}} ymm0 = ymm0[0,2,1,3]
; AVX2-NEXT: vmovmskps %ymm0, %eax
-; AVX2-NEXT: xorb $0, %al
+; AVX2-NEXT: testb %al, %al
; AVX2-NEXT: setnp %al
; AVX2-NEXT: vzeroupper
; AVX2-NEXT: retq
@@ -1639,7 +1621,7 @@ define i1 @icmp_v8i64_v8i1(<8 x i64>) {
; AVX512F: # %bb.0:
; AVX512F-NEXT: vptestnmq %zmm0, %zmm0, %k0
; AVX512F-NEXT: kmovw %k0, %eax
-; AVX512F-NEXT: xorb $0, %al
+; AVX512F-NEXT: testb %al, %al
; AVX512F-NEXT: setnp %al
; AVX512F-NEXT: vzeroupper
; AVX512F-NEXT: retq
@@ -1648,7 +1630,7 @@ define i1 @icmp_v8i64_v8i1(<8 x i64>) {
; AVX512BW: # %bb.0:
; AVX512BW-NEXT: vptestnmq %zmm0, %zmm0, %k0
; AVX512BW-NEXT: kmovd %k0, %eax
-; AVX512BW-NEXT: xorb $0, %al
+; AVX512BW-NEXT: testb %al, %al
; AVX512BW-NEXT: setnp %al
; AVX512BW-NEXT: vzeroupper
; AVX512BW-NEXT: retq
@@ -1657,7 +1639,7 @@ define i1 @icmp_v8i64_v8i1(<8 x i64>) {
; AVX512VL: # %bb.0:
; AVX512VL-NEXT: vptestnmq %zmm0, %zmm0, %k0
; AVX512VL-NEXT: kmovd %k0, %eax
-; AVX512VL-NEXT: xorb $0, %al
+; AVX512VL-NEXT: testb %al, %al
; AVX512VL-NEXT: setnp %al
; AVX512VL-NEXT: vzeroupper
; AVX512VL-NEXT: retq
More information about the llvm-commits
mailing list