Clarify and simplify.

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

diff --git a/include/llvm/Support/ConstantRange.h b/include/llvm/Support/ConstantRange.h
index 27585491b38f2c7bd3f0037d3a44ccc3dd14b815..64019ca3a7bc92bff431a6ef8b0fb0ea96d717e9 100644 (file)
--- a/include/llvm/Support/ConstantRange.h
+++ b/include/llvm/Support/ConstantRange.h
@@ -58,9 +58,9 @@ public:
   /// assert out if the two APInt's are not the same bit width.
   ConstantRange(const APInt& Lower, const APInt& Upper);
 
-  /// makeICmpRegion - Return the range of values that a value must be within
-  /// in order for the comparison specified by the predicate against range
-  /// Other to be true.
+  /// makeICmpRegion - Produce the smallest range that contains all values that
+  /// might satisfy the comparison specified by Pred when compared to any value
+  /// contained within Other.
   static ConstantRange makeICmpRegion(unsigned Pred,
                                       const ConstantRange &Other);
 

diff --git a/lib/Support/ConstantRange.cpp b/lib/Support/ConstantRange.cpp
index e04272348d9dac838ff4ff69139324b368b03770..f5b408f8a553cf92015d08caf7ae2e8d4900368f 100644 (file)
--- a/lib/Support/ConstantRange.cpp
+++ b/lib/Support/ConstantRange.cpp
@@ -53,7 +53,7 @@ ConstantRange ConstantRange::makeICmpRegion(unsigned Pred,
   switch (Pred) {
     default: assert(!"Invalid ICmp predicate to makeICmpRegion()");
     case ICmpInst::ICMP_EQ:
-      return ConstantRange(CR.getLower(), CR.getUpper());
+      return CR;
     case ICmpInst::ICMP_NE:
       if (CR.isSingleElement())
         return ConstantRange(CR.getUpper(), CR.getLower());