[llvm-commits] [llvm] r75414 - /llvm/trunk/include/llvm/Support/ConstantRange.h

[Nick Lewycky]

Author: nicholas
Date: Sun Jul 12 00:44:08 2009
New Revision: 75414

URL: http://llvm.org/viewvc/llvm-project?rev=75414&view=rev
Log:
Make this clearer for the mathematically inclined. Thanks to Duncan Sands for
going over the text!

Modified:
    llvm/trunk/include/llvm/Support/ConstantRange.h

Modified: llvm/trunk/include/llvm/Support/ConstantRange.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Support/ConstantRange.h?rev=75414&r1=75413&r2=75414&view=diff

==============================================================================
--- llvm/trunk/include/llvm/Support/ConstantRange.h (original)
+++ llvm/trunk/include/llvm/Support/ConstantRange.h Sun Jul 12 00:44:08 2009
@@ -61,6 +61,10 @@
   /// 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.
+  ///
+  /// Solves for range X in 'for all x in X, there exists a y in Y such that
+  /// icmp op x, y is true'. Every value that might make the comparison true
+  /// is included in the resulting range.
   static ConstantRange makeICmpRegion(unsigned Pred,
                                       const ConstantRange &Other);