commit 0762051d1dcf3bc5da0a5485942a5342b7c3eea8
author Dan Gohman <gohman@apple.com> Mon Jul 20 22:34:18 2009 +0000
committer Dan Gohman <gohman@apple.com> Mon Jul 20 22:34:18 2009 +0000
tree 89bbb0bb29465517e23892e6e6067f8297f93c57
parent 523f3bca906b4cf0674f223adfa0eccd82ccdd8e

The upper argument of ConstantRange is exclusive, not inclusive.


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

lib/Analysis/ScalarEvolution.cpp

diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index aadba9d..c888a7a 100644
--- a/lib/Analysis/ScalarEvolution.cpp
+++ b/lib/Analysis/ScalarEvolution.cpp
@@ -2644,7 +2644,9 @@
     APInt Mask = APInt::getAllOnesValue(BitWidth);
     APInt Zeros(BitWidth, 0), Ones(BitWidth, 0);
     ComputeMaskedBits(U->getValue(), Mask, Zeros, Ones, TD);
-    return ConstantRange(Ones, ~Zeros);
+    if (Ones == ~Zeros + 1)
+      return FullSet;
+    return ConstantRange(Ones, ~Zeros + 1);
   }
 
   return FullSet;