commit fbb7a73631e3c23510abb3904e8ad38c87ff2a24
author Nuno Lopes <nunoplopes@sapo.pt> Fri May 18 00:14:36 2012 +0000
committer Nuno Lopes <nunoplopes@sapo.pt> Fri May 18 00:14:36 2012 +0000
tree 432dd13e2b35e0979490e10e13c2d9862dc4000d
parent 59c15e920c9873804f3150d0c13357696f09e300

fix corner case in ConstantRange::intersectWith().
this fixes the missed optimization I was seeing in the CorrelatedValuePropagation pass

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

lib/Support/ConstantRange.cpp

diff --git a/lib/Support/ConstantRange.cpp b/lib/Support/ConstantRange.cpp
index 5206cf1..e7d8483 100644
--- a/lib/Support/ConstantRange.cpp
+++ b/lib/Support/ConstantRange.cpp
@@ -288,7 +288,7 @@
       if (CR.Upper.ult(Upper))
         return CR;
 
-      if (CR.Upper.ult(Lower))
+      if (CR.Upper.ule(Lower))
         return ConstantRange(CR.Lower, Upper);
 
       if (getSetSize().ult(CR.getSetSize()))