From: Chris Lattner <sabre@nondot.org>
Date: Tue, 26 Apr 2005 01:18:33 +0000 (+0000)
Subject: Fold  (X >  -1) | (Y >  -1)  -->   (X&Y >  -1)
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d36f979085048f0d24dbe4a5584acd89153940a8;p=oota-llvm.git

Fold  (X >  -1) | (Y >  -1)  -->   (X&Y >  -1)


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

diff --git a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
index 3e5395bd341..e56ffec44f6 100644
--- a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
+++ b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
@@ -1075,8 +1075,10 @@ SDOperand SelectionDAG::getNode(unsigned Opcode, MVT::ValueType VT,
           if (cast<ConstantSDNode>(LR)->isAllOnesValue()) {
             // (X == -1) & (Y == -1) -> (X&Y == -1)
             // (X != -1) | (Y != -1) -> (X&Y != -1)
+            // (X >  -1) | (Y >  -1) -> (X&Y >  -1)
             if ((Opcode == ISD::AND && Op2 == ISD::SETEQ) ||
-                (Opcode == ISD::OR  && Op2 == ISD::SETNE))
+                (Opcode == ISD::OR  && Op2 == ISD::SETNE) ||
+                (Opcode == ISD::OR  && Op2 == ISD::SETGT))
               return getSetCC(Op2, VT,
                             getNode(ISD::AND, LR.getValueType(), LL, RL), LR);
             // (X >  -1) & (Y >  -1) -> (X|Y > -1)