From: Nate Begeman <natebegeman@mac.com>
Date: Thu, 14 Apr 2005 08:56:52 +0000 (+0000)
Subject: Add a couple missing transforms in getSetCC that were triggering assertions
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=72ea281d61c74abfa875d4d7ba614a993119df8a;p=oota-llvm.git

Add a couple missing transforms in getSetCC that were triggering assertions
in the PPC Pattern ISel


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

diff --git a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
index 1926c2adb5b..6790adb9d2c 100644
--- a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
+++ b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
@@ -436,11 +436,18 @@ SDOperand SelectionDAG::getSetCC(ISD::CondCode Cond, MVT::ValueType VT,
         N2C = cast<ConstantSDNode>(N2.Val);
       }
       
+      if ((Cond == ISD::SETLT || Cond == ISD::SETULT) && C2 == MinVal)
+        return getConstant(0, VT);      // X < MIN --> false
+        
+      // Canonicalize setgt X, Min --> setne X, Min
+      if ((Cond == ISD::SETGT || Cond == ISD::SETUGT) && C2 == MinVal)
+        return getSetCC(ISD::SETNE, VT, N1, N2);
+        
       // If we have setult X, 1, turn it into seteq X, 0
       if ((Cond == ISD::SETLT || Cond == ISD::SETULT) && C2 == MinVal+1)
         return getSetCC(ISD::SETEQ, VT, N1,
                         getConstant(MinVal, N1.getValueType()));
-      // If we have setult X, 1, turn it into seteq X, 0
+      // If we have setugt X, Max-1, turn it into seteq X, Max
       else if ((Cond == ISD::SETGT || Cond == ISD::SETUGT) && C2 == MaxVal-1)
         return getSetCC(ISD::SETEQ, VT, N1,
                         getConstant(MaxVal, N1.getValueType()));