From: Simon Pilgrim Date: Sat, 1 Apr 2023 17:45:53 +0000 (+0100) Subject: [X86] combineSetCCMOVMSK - fold PTEST(XOR(X,Y),XOR(X,Y)) instead of PTEST(SUB(X,Y... X-Git-Tag: upstream/17.0.6~12961 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c692e92dc5d61495118775adda4872148240bac5;p=platform%2Fupstream%2Fllvm.git [X86] combineSetCCMOVMSK - fold PTEST(XOR(X,Y),XOR(X,Y)) instead of PTEST(SUB(X,Y),SUB(X,Y)) Consistently use the PTEST(XOR(X,Y),XOR(X,Y)) pattern for all-vector comparisons --- diff --git a/llvm/lib/Target/X86/X86ISelLowering.cpp b/llvm/lib/Target/X86/X86ISelLowering.cpp index 84270d5..c146aa7 100644 --- a/llvm/lib/Target/X86/X86ISelLowering.cpp +++ b/llvm/lib/Target/X86/X86ISelLowering.cpp @@ -47417,15 +47417,15 @@ static SDValue combineSetCCMOVMSK(SDValue EFLAGS, X86::CondCode &CC, // MOVMSK(PCMPEQ(X,0)) == -1 -> PTESTZ(X,X). // MOVMSK(PCMPEQ(X,0)) != -1 -> !PTESTZ(X,X). - // MOVMSK(PCMPEQ(X,Y)) == -1 -> PTESTZ(SUB(X,Y),SUB(X,Y)). - // MOVMSK(PCMPEQ(X,Y)) != -1 -> !PTESTZ(SUB(X,Y),SUB(X,Y)). + // MOVMSK(PCMPEQ(X,Y)) == -1 -> PTESTZ(XOR(X,Y),XOR(X,Y)). + // MOVMSK(PCMPEQ(X,Y)) != -1 -> !PTESTZ(XOR(X,Y),XOR(X,Y)). if (IsAllOf && Subtarget.hasSSE41() && IsOneUse) { MVT TestVT = VecVT.is128BitVector() ? MVT::v2i64 : MVT::v4i64; SDValue BC = peekThroughBitcasts(Vec); // Ensure MOVMSK was testing every signbit of BC. if (BC.getValueType().getVectorNumElements() <= NumElts) { if (BC.getOpcode() == X86ISD::PCMPEQ) { - SDValue V = DAG.getNode(ISD::SUB, SDLoc(BC), BC.getValueType(), + SDValue V = DAG.getNode(ISD::XOR, SDLoc(BC), BC.getValueType(), BC.getOperand(0), BC.getOperand(1)); V = DAG.getBitcast(TestVT, V); return DAG.getNode(X86ISD::PTEST, SDLoc(EFLAGS), MVT::i32, V, V); @@ -47436,9 +47436,9 @@ static SDValue combineSetCCMOVMSK(SDValue EFLAGS, X86::CondCode &CC, BC.getOperand(1).getOpcode() == X86ISD::PCMPEQ) { SDValue LHS = BC.getOperand(0); SDValue RHS = BC.getOperand(1); - LHS = DAG.getNode(ISD::SUB, SDLoc(LHS), LHS.getValueType(), + LHS = DAG.getNode(ISD::XOR, SDLoc(LHS), LHS.getValueType(), LHS.getOperand(0), LHS.getOperand(1)); - RHS = DAG.getNode(ISD::SUB, SDLoc(RHS), RHS.getValueType(), + RHS = DAG.getNode(ISD::XOR, SDLoc(RHS), RHS.getValueType(), RHS.getOperand(0), RHS.getOperand(1)); LHS = DAG.getBitcast(TestVT, LHS); RHS = DAG.getBitcast(TestVT, RHS); @@ -47480,7 +47480,7 @@ static SDValue combineSetCCMOVMSK(SDValue EFLAGS, X86::CondCode &CC, SDValue Result = peekThroughBitcasts(Src); if (IsAllOf && Result.getOpcode() == X86ISD::PCMPEQ && Result.getValueType().getVectorNumElements() <= NumElts) { - SDValue V = DAG.getNode(ISD::SUB, DL, Result.getValueType(), + SDValue V = DAG.getNode(ISD::XOR, DL, Result.getValueType(), Result.getOperand(0), Result.getOperand(1)); V = DAG.getBitcast(MVT::v4i64, V); return DAG.getNode(X86ISD::PTEST, SDLoc(EFLAGS), MVT::i32, V, V); diff --git a/llvm/test/CodeGen/X86/movmsk-cmp.ll b/llvm/test/CodeGen/X86/movmsk-cmp.ll index 2782bac9..9e0d2a9 100644 --- a/llvm/test/CodeGen/X86/movmsk-cmp.ll +++ b/llvm/test/CodeGen/X86/movmsk-cmp.ll @@ -3708,24 +3708,17 @@ define i1 @movmsk_or_v2i64(<2 x i64> %x, <2 x i64> %y) { ; ; SSE41-LABEL: movmsk_or_v2i64: ; SSE41: # %bb.0: -; SSE41-NEXT: psubq %xmm1, %xmm0 +; SSE41-NEXT: pxor %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: setne %al ; SSE41-NEXT: retq ; -; AVX1OR2-LABEL: movmsk_or_v2i64: -; AVX1OR2: # %bb.0: -; AVX1OR2-NEXT: vpsubq %xmm1, %xmm0, %xmm0 -; AVX1OR2-NEXT: vptest %xmm0, %xmm0 -; AVX1OR2-NEXT: setne %al -; AVX1OR2-NEXT: retq -; -; AVX512-LABEL: movmsk_or_v2i64: -; AVX512: # %bb.0: -; AVX512-NEXT: vpxor %xmm1, %xmm0, %xmm0 -; AVX512-NEXT: vptest %xmm0, %xmm0 -; AVX512-NEXT: setne %al -; AVX512-NEXT: retq +; AVX-LABEL: movmsk_or_v2i64: +; AVX: # %bb.0: +; AVX-NEXT: vpxor %xmm1, %xmm0, %xmm0 +; AVX-NEXT: vptest %xmm0, %xmm0 +; AVX-NEXT: setne %al +; AVX-NEXT: retq %cmp = icmp ne <2 x i64> %x, %y %e1 = extractelement <2 x i1> %cmp, i32 0 %e2 = extractelement <2 x i1> %cmp, i32 1 diff --git a/llvm/test/CodeGen/X86/vector-compare-all_of.ll b/llvm/test/CodeGen/X86/vector-compare-all_of.ll index 55bf6da..72f7c26 100644 --- a/llvm/test/CodeGen/X86/vector-compare-all_of.ll +++ b/llvm/test/CodeGen/X86/vector-compare-all_of.ll @@ -1348,9 +1348,9 @@ define i1 @bool_reduction_v8i32(<8 x i32> %x, <8 x i32> %y) { ; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm2 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3 ; AVX1-NEXT: vpminud %xmm2, %xmm3, %xmm2 -; AVX1-NEXT: vpsubd %xmm2, %xmm3, %xmm2 +; AVX1-NEXT: vpxor %xmm2, %xmm3, %xmm2 ; AVX1-NEXT: vpminud %xmm1, %xmm0, %xmm1 -; AVX1-NEXT: vpsubd %xmm1, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -1360,7 +1360,7 @@ define i1 @bool_reduction_v8i32(<8 x i32> %x, <8 x i32> %y) { ; AVX2-LABEL: bool_reduction_v8i32: ; AVX2: # %bb.0: ; AVX2-NEXT: vpminud %ymm1, %ymm0, %ymm1 -; AVX2-NEXT: vpsubd %ymm1, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al ; AVX2-NEXT: vzeroupper @@ -1398,8 +1398,8 @@ define i1 @bool_reduction_v16i16(<16 x i16> %x, <16 x i16> %y) { ; ; SSE42-LABEL: bool_reduction_v16i16: ; SSE42: # %bb.0: -; SSE42-NEXT: psubb %xmm3, %xmm1 -; SSE42-NEXT: psubb %xmm2, %xmm0 +; SSE42-NEXT: pxor %xmm3, %xmm1 +; SSE42-NEXT: pxor %xmm2, %xmm0 ; SSE42-NEXT: por %xmm1, %xmm0 ; SSE42-NEXT: ptest %xmm0, %xmm0 ; SSE42-NEXT: sete %al @@ -1409,8 +1409,8 @@ define i1 @bool_reduction_v16i16(<16 x i16> %x, <16 x i16> %y) { ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm2 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3 -; AVX1-NEXT: vpsubb %xmm2, %xmm3, %xmm2 -; AVX1-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm3, %xmm2 +; AVX1-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -1419,7 +1419,7 @@ define i1 @bool_reduction_v16i16(<16 x i16> %x, <16 x i16> %y) { ; ; AVX2-LABEL: bool_reduction_v16i16: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al ; AVX2-NEXT: vzeroupper @@ -1458,8 +1458,8 @@ define i1 @bool_reduction_v32i8(<32 x i8> %x, <32 x i8> %y) { ; ; SSE42-LABEL: bool_reduction_v32i8: ; SSE42: # %bb.0: -; SSE42-NEXT: psubb %xmm3, %xmm1 -; SSE42-NEXT: psubb %xmm2, %xmm0 +; SSE42-NEXT: pxor %xmm3, %xmm1 +; SSE42-NEXT: pxor %xmm2, %xmm0 ; SSE42-NEXT: por %xmm1, %xmm0 ; SSE42-NEXT: ptest %xmm0, %xmm0 ; SSE42-NEXT: sete %al @@ -1469,8 +1469,8 @@ define i1 @bool_reduction_v32i8(<32 x i8> %x, <32 x i8> %y) { ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm2 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3 -; AVX1-NEXT: vpsubb %xmm2, %xmm3, %xmm2 -; AVX1-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm3, %xmm2 +; AVX1-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -1479,7 +1479,7 @@ define i1 @bool_reduction_v32i8(<32 x i8> %x, <32 x i8> %y) { ; ; AVX2-LABEL: bool_reduction_v32i8: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al ; AVX2-NEXT: vzeroupper diff --git a/llvm/test/CodeGen/X86/vector-compare-any_of.ll b/llvm/test/CodeGen/X86/vector-compare-any_of.ll index 53773ef..5281d52 100644 --- a/llvm/test/CodeGen/X86/vector-compare-any_of.ll +++ b/llvm/test/CodeGen/X86/vector-compare-any_of.ll @@ -1058,14 +1058,14 @@ define i1 @bool_reduction_v2i64(<2 x i64> %x, <2 x i64> %y) { ; ; SSE42-LABEL: bool_reduction_v2i64: ; SSE42: # %bb.0: -; SSE42-NEXT: psubb %xmm1, %xmm0 +; SSE42-NEXT: pxor %xmm1, %xmm0 ; SSE42-NEXT: ptest %xmm0, %xmm0 ; SSE42-NEXT: setne %al ; SSE42-NEXT: retq ; ; AVX-LABEL: bool_reduction_v2i64: ; AVX: # %bb.0: -; AVX-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX-NEXT: vptest %xmm0, %xmm0 ; AVX-NEXT: setne %al ; AVX-NEXT: retq @@ -1099,15 +1099,15 @@ define i1 @bool_reduction_v4i32(<4 x i32> %x, <4 x i32> %y) { ; SSE42-LABEL: bool_reduction_v4i32: ; SSE42: # %bb.0: ; SSE42-NEXT: pminud %xmm0, %xmm1 -; SSE42-NEXT: psubd %xmm1, %xmm0 -; SSE42-NEXT: ptest %xmm0, %xmm0 +; SSE42-NEXT: pxor %xmm0, %xmm1 +; SSE42-NEXT: ptest %xmm1, %xmm1 ; SSE42-NEXT: setne %al ; SSE42-NEXT: retq ; ; AVX-LABEL: bool_reduction_v4i32: ; AVX: # %bb.0: ; AVX-NEXT: vpminud %xmm1, %xmm0, %xmm1 -; AVX-NEXT: vpsubd %xmm1, %xmm0, %xmm0 +; AVX-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX-NEXT: vptest %xmm0, %xmm0 ; AVX-NEXT: setne %al ; AVX-NEXT: retq diff --git a/llvm/test/CodeGen/X86/vector-reduce-and-bool.ll b/llvm/test/CodeGen/X86/vector-reduce-and-bool.ll index b930d97..1cf8317 100644 --- a/llvm/test/CodeGen/X86/vector-reduce-and-bool.ll +++ b/llvm/test/CodeGen/X86/vector-reduce-and-bool.ll @@ -1554,17 +1554,17 @@ define i1 @icmp1_v2i64_v2i1(<2 x i64>) { ; SSE41-LABEL: icmp1_v2i64_v2i1: ; SSE41: # %bb.0: ; SSE41-NEXT: pcmpeqd %xmm1, %xmm1 -; SSE41-NEXT: psubb %xmm1, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm1 +; SSE41-NEXT: ptest %xmm1, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1OR2-LABEL: icmp1_v2i64_v2i1: ; AVX1OR2: # %bb.0: ; AVX1OR2-NEXT: vpcmpeqd %xmm1, %xmm1, %xmm1 -; AVX1OR2-NEXT: vpsubb %xmm1, %xmm0, %xmm0 -; AVX1OR2-NEXT: vptest %xmm0, %xmm0 -; AVX1OR2-NEXT: sete %al +; AVX1OR2-NEXT: vpxor %xmm1, %xmm0, %xmm1 +; AVX1OR2-NEXT: vptest %xmm1, %xmm0 +; AVX1OR2-NEXT: setb %al ; AVX1OR2-NEXT: retq ; ; AVX512F-LABEL: icmp1_v2i64_v2i1: @@ -1615,17 +1615,17 @@ define i1 @icmp1_v4i32_v4i1(<4 x i32>) { ; SSE41-LABEL: icmp1_v4i32_v4i1: ; SSE41: # %bb.0: ; SSE41-NEXT: pcmpeqd %xmm1, %xmm1 -; SSE41-NEXT: psubb %xmm1, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm1 +; SSE41-NEXT: ptest %xmm1, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1OR2-LABEL: icmp1_v4i32_v4i1: ; AVX1OR2: # %bb.0: ; AVX1OR2-NEXT: vpcmpeqd %xmm1, %xmm1, %xmm1 -; AVX1OR2-NEXT: vpsubb %xmm1, %xmm0, %xmm0 -; AVX1OR2-NEXT: vptest %xmm0, %xmm0 -; AVX1OR2-NEXT: sete %al +; AVX1OR2-NEXT: vpxor %xmm1, %xmm0, %xmm1 +; AVX1OR2-NEXT: vptest %xmm1, %xmm0 +; AVX1OR2-NEXT: setb %al ; AVX1OR2-NEXT: retq ; ; AVX512F-LABEL: icmp1_v4i32_v4i1: @@ -1676,17 +1676,17 @@ define i1 @icmp1_v8i16_v8i1(<8 x i16>) { ; SSE41-LABEL: icmp1_v8i16_v8i1: ; SSE41: # %bb.0: ; SSE41-NEXT: pcmpeqd %xmm1, %xmm1 -; SSE41-NEXT: psubb %xmm1, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm1 +; SSE41-NEXT: ptest %xmm1, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1OR2-LABEL: icmp1_v8i16_v8i1: ; AVX1OR2: # %bb.0: ; AVX1OR2-NEXT: vpcmpeqd %xmm1, %xmm1, %xmm1 -; AVX1OR2-NEXT: vpsubb %xmm1, %xmm0, %xmm0 -; AVX1OR2-NEXT: vptest %xmm0, %xmm0 -; AVX1OR2-NEXT: sete %al +; AVX1OR2-NEXT: vpxor %xmm1, %xmm0, %xmm1 +; AVX1OR2-NEXT: vptest %xmm1, %xmm0 +; AVX1OR2-NEXT: setb %al ; AVX1OR2-NEXT: retq ; ; AVX512F-LABEL: icmp1_v8i16_v8i1: @@ -1736,25 +1736,27 @@ define i1 @icmp1_v16i8_v16i1(<16 x i8>) { ; SSE41-LABEL: icmp1_v16i8_v16i1: ; SSE41: # %bb.0: ; SSE41-NEXT: pcmpeqd %xmm1, %xmm1 -; SSE41-NEXT: psubb %xmm1, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm1 +; SSE41-NEXT: ptest %xmm1, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1OR2-LABEL: icmp1_v16i8_v16i1: ; AVX1OR2: # %bb.0: ; AVX1OR2-NEXT: vpcmpeqd %xmm1, %xmm1, %xmm1 -; AVX1OR2-NEXT: vpsubb %xmm1, %xmm0, %xmm0 -; AVX1OR2-NEXT: vptest %xmm0, %xmm0 -; AVX1OR2-NEXT: sete %al +; AVX1OR2-NEXT: vpxor %xmm1, %xmm0, %xmm1 +; AVX1OR2-NEXT: vptest %xmm1, %xmm0 +; AVX1OR2-NEXT: setb %al ; AVX1OR2-NEXT: retq ; ; AVX512F-LABEL: icmp1_v16i8_v16i1: ; AVX512F: # %bb.0: -; AVX512F-NEXT: vpcmpeqd %xmm1, %xmm1, %xmm1 -; AVX512F-NEXT: vpsubb %xmm1, %xmm0, %xmm0 -; AVX512F-NEXT: vptest %xmm0, %xmm0 -; AVX512F-NEXT: sete %al +; AVX512F-NEXT: # kill: def $xmm0 killed $xmm0 def $zmm0 +; AVX512F-NEXT: vmovdqa64 %zmm0, %zmm1 +; AVX512F-NEXT: vpternlogq $15, %zmm0, %zmm0, %zmm1 +; AVX512F-NEXT: vptest %xmm1, %xmm0 +; AVX512F-NEXT: setb %al +; AVX512F-NEXT: vzeroupper ; AVX512F-NEXT: retq ; ; AVX512BW-LABEL: icmp1_v16i8_v16i1: @@ -1794,17 +1796,17 @@ define i1 @icmp1_v4i64_v4i1(<4 x i64>) { ; SSE41: # %bb.0: ; SSE41-NEXT: pcmpeqd %xmm2, %xmm2 ; SSE41-NEXT: pand %xmm1, %xmm0 -; SSE41-NEXT: psubb %xmm2, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm2 +; SSE41-NEXT: ptest %xmm2, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1-LABEL: icmp1_v4i64_v4i1: ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1 ; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2 -; AVX1-NEXT: vpsubb %xmm2, %xmm1, %xmm1 -; AVX1-NEXT: vpsubb %xmm2, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1 +; AVX1-NEXT: vpxor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -1814,9 +1816,9 @@ define i1 @icmp1_v4i64_v4i1(<4 x i64>) { ; AVX2-LABEL: icmp1_v4i64_v4i1: ; AVX2: # %bb.0: ; AVX2-NEXT: vpcmpeqd %ymm1, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 -; AVX2-NEXT: vptest %ymm0, %ymm0 -; AVX2-NEXT: sete %al +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm1 +; AVX2-NEXT: vptest %ymm1, %ymm0 +; AVX2-NEXT: setb %al ; AVX2-NEXT: vzeroupper ; AVX2-NEXT: retq ; @@ -1871,17 +1873,17 @@ define i1 @icmp1_v8i32_v8i1(<8 x i32>) { ; SSE41: # %bb.0: ; SSE41-NEXT: pcmpeqd %xmm2, %xmm2 ; SSE41-NEXT: pand %xmm1, %xmm0 -; SSE41-NEXT: psubb %xmm2, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm2 +; SSE41-NEXT: ptest %xmm2, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1-LABEL: icmp1_v8i32_v8i1: ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1 ; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2 -; AVX1-NEXT: vpsubb %xmm2, %xmm1, %xmm1 -; AVX1-NEXT: vpsubb %xmm2, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1 +; AVX1-NEXT: vpxor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -1891,9 +1893,9 @@ define i1 @icmp1_v8i32_v8i1(<8 x i32>) { ; AVX2-LABEL: icmp1_v8i32_v8i1: ; AVX2: # %bb.0: ; AVX2-NEXT: vpcmpeqd %ymm1, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 -; AVX2-NEXT: vptest %ymm0, %ymm0 -; AVX2-NEXT: sete %al +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm1 +; AVX2-NEXT: vptest %ymm1, %ymm0 +; AVX2-NEXT: setb %al ; AVX2-NEXT: vzeroupper ; AVX2-NEXT: retq ; @@ -1945,17 +1947,17 @@ define i1 @icmp1_v16i16_v16i1(<16 x i16>) { ; SSE41: # %bb.0: ; SSE41-NEXT: pcmpeqd %xmm2, %xmm2 ; SSE41-NEXT: pand %xmm1, %xmm0 -; SSE41-NEXT: psubb %xmm2, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm2 +; SSE41-NEXT: ptest %xmm2, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1-LABEL: icmp1_v16i16_v16i1: ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1 ; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2 -; AVX1-NEXT: vpsubb %xmm2, %xmm1, %xmm1 -; AVX1-NEXT: vpsubb %xmm2, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1 +; AVX1-NEXT: vpxor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -1965,9 +1967,9 @@ define i1 @icmp1_v16i16_v16i1(<16 x i16>) { ; AVX2-LABEL: icmp1_v16i16_v16i1: ; AVX2: # %bb.0: ; AVX2-NEXT: vpcmpeqd %ymm1, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 -; AVX2-NEXT: vptest %ymm0, %ymm0 -; AVX2-NEXT: sete %al +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm1 +; AVX2-NEXT: vptest %ymm1, %ymm0 +; AVX2-NEXT: setb %al ; AVX2-NEXT: vzeroupper ; AVX2-NEXT: retq ; @@ -2020,17 +2022,17 @@ define i1 @icmp1_v32i8_v32i1(<32 x i8>) { ; SSE41: # %bb.0: ; SSE41-NEXT: pand %xmm1, %xmm0 ; SSE41-NEXT: pcmpeqd %xmm1, %xmm1 -; SSE41-NEXT: psubb %xmm1, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm1 +; SSE41-NEXT: ptest %xmm1, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1-LABEL: icmp1_v32i8_v32i1: ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1 ; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2 -; AVX1-NEXT: vpsubb %xmm2, %xmm1, %xmm1 -; AVX1-NEXT: vpsubb %xmm2, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1 +; AVX1-NEXT: vpxor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2040,9 +2042,9 @@ define i1 @icmp1_v32i8_v32i1(<32 x i8>) { ; AVX2-LABEL: icmp1_v32i8_v32i1: ; AVX2: # %bb.0: ; AVX2-NEXT: vpcmpeqd %ymm1, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 -; AVX2-NEXT: vptest %ymm0, %ymm0 -; AVX2-NEXT: sete %al +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm1 +; AVX2-NEXT: vptest %ymm1, %ymm0 +; AVX2-NEXT: setb %al ; AVX2-NEXT: vzeroupper ; AVX2-NEXT: retq ; @@ -2109,9 +2111,9 @@ define i1 @icmp1_v8i64_v8i1(<8 x i64>) { ; SSE41-NEXT: pand %xmm3, %xmm1 ; SSE41-NEXT: pand %xmm2, %xmm0 ; SSE41-NEXT: pand %xmm1, %xmm0 -; SSE41-NEXT: psubb %xmm4, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm4 +; SSE41-NEXT: ptest %xmm4, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1-LABEL: icmp1_v8i64_v8i1: @@ -2119,8 +2121,8 @@ define i1 @icmp1_v8i64_v8i1(<8 x i64>) { ; AVX1-NEXT: vandps %ymm1, %ymm0, %ymm0 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1 ; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2 -; AVX1-NEXT: vpsubb %xmm2, %xmm1, %xmm1 -; AVX1-NEXT: vpsubb %xmm2, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1 +; AVX1-NEXT: vpxor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2131,9 +2133,9 @@ define i1 @icmp1_v8i64_v8i1(<8 x i64>) { ; AVX2: # %bb.0: ; AVX2-NEXT: vpcmpeqd %ymm2, %ymm2, %ymm2 ; AVX2-NEXT: vpand %ymm1, %ymm0, %ymm0 -; AVX2-NEXT: vpsubb %ymm2, %ymm0, %ymm0 -; AVX2-NEXT: vptest %ymm0, %ymm0 -; AVX2-NEXT: sete %al +; AVX2-NEXT: vpxor %ymm2, %ymm0, %ymm1 +; AVX2-NEXT: vptest %ymm1, %ymm0 +; AVX2-NEXT: setb %al ; AVX2-NEXT: vzeroupper ; AVX2-NEXT: retq ; @@ -2169,9 +2171,9 @@ define i1 @icmp1_v16i32_v16i1(<16 x i32>) { ; SSE41-NEXT: pand %xmm3, %xmm1 ; SSE41-NEXT: pand %xmm2, %xmm0 ; SSE41-NEXT: pand %xmm1, %xmm0 -; SSE41-NEXT: psubb %xmm4, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm4 +; SSE41-NEXT: ptest %xmm4, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1-LABEL: icmp1_v16i32_v16i1: @@ -2179,8 +2181,8 @@ define i1 @icmp1_v16i32_v16i1(<16 x i32>) { ; AVX1-NEXT: vandps %ymm1, %ymm0, %ymm0 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1 ; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2 -; AVX1-NEXT: vpsubb %xmm2, %xmm1, %xmm1 -; AVX1-NEXT: vpsubb %xmm2, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1 +; AVX1-NEXT: vpxor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2191,9 +2193,9 @@ define i1 @icmp1_v16i32_v16i1(<16 x i32>) { ; AVX2: # %bb.0: ; AVX2-NEXT: vpcmpeqd %ymm2, %ymm2, %ymm2 ; AVX2-NEXT: vpand %ymm1, %ymm0, %ymm0 -; AVX2-NEXT: vpsubb %ymm2, %ymm0, %ymm0 -; AVX2-NEXT: vptest %ymm0, %ymm0 -; AVX2-NEXT: sete %al +; AVX2-NEXT: vpxor %ymm2, %ymm0, %ymm1 +; AVX2-NEXT: vptest %ymm1, %ymm0 +; AVX2-NEXT: setb %al ; AVX2-NEXT: vzeroupper ; AVX2-NEXT: retq ; @@ -2229,9 +2231,9 @@ define i1 @icmp1_v32i16_v32i1(<32 x i16>) { ; SSE41-NEXT: pand %xmm3, %xmm1 ; SSE41-NEXT: pand %xmm2, %xmm0 ; SSE41-NEXT: pand %xmm1, %xmm0 -; SSE41-NEXT: psubb %xmm4, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm4 +; SSE41-NEXT: ptest %xmm4, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1-LABEL: icmp1_v32i16_v32i1: @@ -2239,8 +2241,8 @@ define i1 @icmp1_v32i16_v32i1(<32 x i16>) { ; AVX1-NEXT: vandps %ymm1, %ymm0, %ymm0 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1 ; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2 -; AVX1-NEXT: vpsubb %xmm2, %xmm1, %xmm1 -; AVX1-NEXT: vpsubb %xmm2, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1 +; AVX1-NEXT: vpxor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2251,9 +2253,9 @@ define i1 @icmp1_v32i16_v32i1(<32 x i16>) { ; AVX2: # %bb.0: ; AVX2-NEXT: vpcmpeqd %ymm2, %ymm2, %ymm2 ; AVX2-NEXT: vpand %ymm1, %ymm0, %ymm0 -; AVX2-NEXT: vpsubb %ymm2, %ymm0, %ymm0 -; AVX2-NEXT: vptest %ymm0, %ymm0 -; AVX2-NEXT: sete %al +; AVX2-NEXT: vpxor %ymm2, %ymm0, %ymm1 +; AVX2-NEXT: vptest %ymm1, %ymm0 +; AVX2-NEXT: setb %al ; AVX2-NEXT: vzeroupper ; AVX2-NEXT: retq ; @@ -2320,9 +2322,9 @@ define i1 @icmp1_v64i8_v64i1(<64 x i8>) { ; SSE41-NEXT: pand %xmm2, %xmm0 ; SSE41-NEXT: pand %xmm1, %xmm0 ; SSE41-NEXT: pcmpeqd %xmm1, %xmm1 -; SSE41-NEXT: psubb %xmm1, %xmm0 -; SSE41-NEXT: ptest %xmm0, %xmm0 -; SSE41-NEXT: sete %al +; SSE41-NEXT: pxor %xmm0, %xmm1 +; SSE41-NEXT: ptest %xmm1, %xmm0 +; SSE41-NEXT: setb %al ; SSE41-NEXT: retq ; ; AVX1-LABEL: icmp1_v64i8_v64i1: @@ -2330,8 +2332,8 @@ define i1 @icmp1_v64i8_v64i1(<64 x i8>) { ; AVX1-NEXT: vandps %ymm1, %ymm0, %ymm0 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1 ; AVX1-NEXT: vpcmpeqd %xmm2, %xmm2, %xmm2 -; AVX1-NEXT: vpsubb %xmm2, %xmm1, %xmm1 -; AVX1-NEXT: vpsubb %xmm2, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm1, %xmm1 +; AVX1-NEXT: vpxor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2342,9 +2344,9 @@ define i1 @icmp1_v64i8_v64i1(<64 x i8>) { ; AVX2: # %bb.0: ; AVX2-NEXT: vpand %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vpcmpeqd %ymm1, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 -; AVX2-NEXT: vptest %ymm0, %ymm0 -; AVX2-NEXT: sete %al +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm1 +; AVX2-NEXT: vptest %ymm1, %ymm0 +; AVX2-NEXT: setb %al ; AVX2-NEXT: vzeroupper ; AVX2-NEXT: retq ; @@ -2479,14 +2481,14 @@ define i1 @icmp_v2i64_v2i1(<2 x i64>, <2 x i64>) { ; ; SSE41-LABEL: icmp_v2i64_v2i1: ; SSE41: # %bb.0: -; SSE41-NEXT: psubb %xmm1, %xmm0 +; SSE41-NEXT: pxor %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: sete %al ; SSE41-NEXT: retq ; ; AVX1OR2-LABEL: icmp_v2i64_v2i1: ; AVX1OR2: # %bb.0: -; AVX1OR2-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1OR2-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1OR2-NEXT: vptest %xmm0, %xmm0 ; AVX1OR2-NEXT: sete %al ; AVX1OR2-NEXT: retq @@ -2536,14 +2538,14 @@ define i1 @icmp_v4i32_v4i1(<4 x i32>, <4 x i32>) { ; ; SSE41-LABEL: icmp_v4i32_v4i1: ; SSE41: # %bb.0: -; SSE41-NEXT: psubb %xmm1, %xmm0 +; SSE41-NEXT: pxor %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: sete %al ; SSE41-NEXT: retq ; ; AVX1OR2-LABEL: icmp_v4i32_v4i1: ; AVX1OR2: # %bb.0: -; AVX1OR2-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1OR2-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1OR2-NEXT: vptest %xmm0, %xmm0 ; AVX1OR2-NEXT: sete %al ; AVX1OR2-NEXT: retq @@ -2593,14 +2595,14 @@ define i1 @icmp_v8i16_v8i1(<8 x i16>, <8 x i16>) { ; ; SSE41-LABEL: icmp_v8i16_v8i1: ; SSE41: # %bb.0: -; SSE41-NEXT: psubb %xmm1, %xmm0 +; SSE41-NEXT: pxor %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: sete %al ; SSE41-NEXT: retq ; ; AVX1OR2-LABEL: icmp_v8i16_v8i1: ; AVX1OR2: # %bb.0: -; AVX1OR2-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1OR2-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1OR2-NEXT: vptest %xmm0, %xmm0 ; AVX1OR2-NEXT: sete %al ; AVX1OR2-NEXT: retq @@ -2645,38 +2647,17 @@ define i1 @icmp_v16i8_v16i1(<16 x i8>, <16 x i8>) { ; ; SSE41-LABEL: icmp_v16i8_v16i1: ; SSE41: # %bb.0: -; SSE41-NEXT: psubb %xmm1, %xmm0 +; SSE41-NEXT: pxor %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: sete %al ; SSE41-NEXT: retq ; -; AVX1OR2-LABEL: icmp_v16i8_v16i1: -; AVX1OR2: # %bb.0: -; AVX1OR2-NEXT: vpsubb %xmm1, %xmm0, %xmm0 -; AVX1OR2-NEXT: vptest %xmm0, %xmm0 -; AVX1OR2-NEXT: sete %al -; AVX1OR2-NEXT: retq -; -; AVX512F-LABEL: icmp_v16i8_v16i1: -; AVX512F: # %bb.0: -; AVX512F-NEXT: vpsubb %xmm1, %xmm0, %xmm0 -; AVX512F-NEXT: vptest %xmm0, %xmm0 -; AVX512F-NEXT: sete %al -; AVX512F-NEXT: retq -; -; AVX512BW-LABEL: icmp_v16i8_v16i1: -; AVX512BW: # %bb.0: -; AVX512BW-NEXT: vpxor %xmm1, %xmm0, %xmm0 -; AVX512BW-NEXT: vptest %xmm0, %xmm0 -; AVX512BW-NEXT: sete %al -; AVX512BW-NEXT: retq -; -; AVX512VL-LABEL: icmp_v16i8_v16i1: -; AVX512VL: # %bb.0: -; AVX512VL-NEXT: vpxor %xmm1, %xmm0, %xmm0 -; AVX512VL-NEXT: vptest %xmm0, %xmm0 -; AVX512VL-NEXT: sete %al -; AVX512VL-NEXT: retq +; AVX-LABEL: icmp_v16i8_v16i1: +; AVX: # %bb.0: +; AVX-NEXT: vpxor %xmm1, %xmm0, %xmm0 +; AVX-NEXT: vptest %xmm0, %xmm0 +; AVX-NEXT: sete %al +; AVX-NEXT: retq %a = icmp eq <16 x i8> %0, %1 %b = call i1 @llvm.vector.reduce.and.v16i1(<16 x i1> %a) ret i1 %b @@ -2695,8 +2676,8 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>, <4 x i64>) { ; ; SSE41-LABEL: icmp_v4i64_v4i1: ; SSE41: # %bb.0: -; SSE41-NEXT: psubb %xmm3, %xmm1 -; SSE41-NEXT: psubb %xmm2, %xmm0 +; SSE41-NEXT: pxor %xmm3, %xmm1 +; SSE41-NEXT: pxor %xmm2, %xmm0 ; SSE41-NEXT: por %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: sete %al @@ -2706,8 +2687,8 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>, <4 x i64>) { ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm2 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3 -; AVX1-NEXT: vpsubb %xmm2, %xmm3, %xmm2 -; AVX1-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm3, %xmm2 +; AVX1-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2716,7 +2697,7 @@ define i1 @icmp_v4i64_v4i1(<4 x i64>, <4 x i64>) { ; ; AVX2-LABEL: icmp_v4i64_v4i1: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al ; AVX2-NEXT: vzeroupper @@ -2770,8 +2751,8 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>, <8 x i32>) { ; ; SSE41-LABEL: icmp_v8i32_v8i1: ; SSE41: # %bb.0: -; SSE41-NEXT: psubb %xmm3, %xmm1 -; SSE41-NEXT: psubb %xmm2, %xmm0 +; SSE41-NEXT: pxor %xmm3, %xmm1 +; SSE41-NEXT: pxor %xmm2, %xmm0 ; SSE41-NEXT: por %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: sete %al @@ -2781,8 +2762,8 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>, <8 x i32>) { ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm2 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3 -; AVX1-NEXT: vpsubb %xmm2, %xmm3, %xmm2 -; AVX1-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm3, %xmm2 +; AVX1-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2791,7 +2772,7 @@ define i1 @icmp_v8i32_v8i1(<8 x i32>, <8 x i32>) { ; ; AVX2-LABEL: icmp_v8i32_v8i1: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al ; AVX2-NEXT: vzeroupper @@ -2822,8 +2803,8 @@ define i1 @icmp_v16i16_v16i1(<16 x i16>, <16 x i16>) { ; ; SSE41-LABEL: icmp_v16i16_v16i1: ; SSE41: # %bb.0: -; SSE41-NEXT: psubb %xmm3, %xmm1 -; SSE41-NEXT: psubb %xmm2, %xmm0 +; SSE41-NEXT: pxor %xmm3, %xmm1 +; SSE41-NEXT: pxor %xmm2, %xmm0 ; SSE41-NEXT: por %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: sete %al @@ -2833,8 +2814,8 @@ define i1 @icmp_v16i16_v16i1(<16 x i16>, <16 x i16>) { ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm2 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3 -; AVX1-NEXT: vpsubb %xmm2, %xmm3, %xmm2 -; AVX1-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm3, %xmm2 +; AVX1-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2843,7 +2824,7 @@ define i1 @icmp_v16i16_v16i1(<16 x i16>, <16 x i16>) { ; ; AVX2-LABEL: icmp_v16i16_v16i1: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al ; AVX2-NEXT: vzeroupper @@ -2892,8 +2873,8 @@ define i1 @icmp_v32i8_v32i1(<32 x i8>, <32 x i8>) { ; ; SSE41-LABEL: icmp_v32i8_v32i1: ; SSE41: # %bb.0: -; SSE41-NEXT: psubb %xmm3, %xmm1 -; SSE41-NEXT: psubb %xmm2, %xmm0 +; SSE41-NEXT: pxor %xmm3, %xmm1 +; SSE41-NEXT: pxor %xmm2, %xmm0 ; SSE41-NEXT: por %xmm1, %xmm0 ; SSE41-NEXT: ptest %xmm0, %xmm0 ; SSE41-NEXT: sete %al @@ -2903,8 +2884,8 @@ define i1 @icmp_v32i8_v32i1(<32 x i8>, <32 x i8>) { ; AVX1: # %bb.0: ; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm2 ; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm3 -; AVX1-NEXT: vpsubb %xmm2, %xmm3, %xmm2 -; AVX1-NEXT: vpsubb %xmm1, %xmm0, %xmm0 +; AVX1-NEXT: vpxor %xmm2, %xmm3, %xmm2 +; AVX1-NEXT: vpxor %xmm1, %xmm0, %xmm0 ; AVX1-NEXT: vpor %xmm2, %xmm0, %xmm0 ; AVX1-NEXT: vptest %xmm0, %xmm0 ; AVX1-NEXT: sete %al @@ -2913,7 +2894,7 @@ define i1 @icmp_v32i8_v32i1(<32 x i8>, <32 x i8>) { ; ; AVX2-LABEL: icmp_v32i8_v32i1: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm1, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al ; AVX2-NEXT: vzeroupper @@ -2995,8 +2976,8 @@ define i1 @icmp_v8i64_v8i1(<8 x i64>, <8 x i64>) { ; ; AVX2-LABEL: icmp_v8i64_v8i1: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm3, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm2, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm3, %ymm1, %ymm1 +; AVX2-NEXT: vpxor %ymm2, %ymm0, %ymm0 ; AVX2-NEXT: vpor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al @@ -3051,8 +3032,8 @@ define i1 @icmp_v16i32_v16i1(<16 x i32>, <16 x i32>) { ; ; AVX2-LABEL: icmp_v16i32_v16i1: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm3, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm2, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm3, %ymm1, %ymm1 +; AVX2-NEXT: vpxor %ymm2, %ymm0, %ymm0 ; AVX2-NEXT: vpor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al @@ -3107,8 +3088,8 @@ define i1 @icmp_v32i16_v32i1(<32 x i16>, <32 x i16>) { ; ; AVX2-LABEL: icmp_v32i16_v32i1: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm3, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm2, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm3, %ymm1, %ymm1 +; AVX2-NEXT: vpxor %ymm2, %ymm0, %ymm0 ; AVX2-NEXT: vpor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al @@ -3193,8 +3174,8 @@ define i1 @icmp_v64i8_v64i1(<64 x i8>, <64 x i8>) { ; ; AVX2-LABEL: icmp_v64i8_v64i1: ; AVX2: # %bb.0: -; AVX2-NEXT: vpsubb %ymm3, %ymm1, %ymm1 -; AVX2-NEXT: vpsubb %ymm2, %ymm0, %ymm0 +; AVX2-NEXT: vpxor %ymm3, %ymm1, %ymm1 +; AVX2-NEXT: vpxor %ymm2, %ymm0, %ymm0 ; AVX2-NEXT: vpor %ymm1, %ymm0, %ymm0 ; AVX2-NEXT: vptest %ymm0, %ymm0 ; AVX2-NEXT: sete %al