From: Sanjay Patel <spatel@rotateright.com>
Date: Sun, 30 Oct 2016 18:13:30 +0000 (+0000)
Subject: [DAG] x & x --> x
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=73a78bf8d3eb0ace6886031ec444bc5294c7c89a;p=llvm

[DAG] x & x --> x


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@285521 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
index f5aeb8cb533..e78a3562a05 100644
--- a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
+++ b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
@@ -3134,6 +3134,10 @@ SDValue DAGCombiner::visitAND(SDNode *N) {
   SDValue N1 = N->getOperand(1);
   EVT VT = N1.getValueType();
 
+  // x & x --> x
+  if (N0 == N1)
+    return N0;
+
   // fold vector ops
   if (VT.isVector()) {
     if (SDValue FoldedVOp = SimplifyVBinOp(N))
diff --git a/test/CodeGen/X86/combine-and.ll b/test/CodeGen/X86/combine-and.ll
index 8ff8ebb4f92..6f310d9b7b1 100644
--- a/test/CodeGen/X86/combine-and.ll
+++ b/test/CodeGen/X86/combine-and.ll
@@ -4,7 +4,6 @@
 define i32 @and_self(i32 %x) {
 ; CHECK-LABEL: and_self:
 ; CHECK:       # BB#0:
-; CHECK-NEXT:    andl %edi, %edi
 ; CHECK-NEXT:    movl %edi, %eax
 ; CHECK-NEXT:    retq
   %and = and i32 %x, %x
@@ -14,7 +13,6 @@ define i32 @and_self(i32 %x) {
 define <4 x i32> @and_self_vec(<4 x i32> %x) {
 ; CHECK-LABEL: and_self_vec:
 ; CHECK:       # BB#0:
-; CHECK-NEXT:    andps %xmm0, %xmm0
 ; CHECK-NEXT:    retq
   %and = and <4 x i32> %x, %x
   ret <4 x i32> %and