From ddc2f9ba578d88a5b90ff5fbfcd869f5df5cb885 Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Sat, 14 Jul 2007 17:41:03 +0000 Subject: Clarify the language. Pointed out by Duncan Sands. llvm-svn: 39857 --- llvm/lib/Support/ConstantRange.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'llvm/lib/Support/ConstantRange.cpp') diff --git a/llvm/lib/Support/ConstantRange.cpp b/llvm/lib/Support/ConstantRange.cpp index 4f132e5ed5f..fdfe28aaa95 100644 --- a/llvm/lib/Support/ConstantRange.cpp +++ b/llvm/lib/Support/ConstantRange.cpp @@ -248,8 +248,10 @@ ConstantRange ConstantRange::intersectWith(const ConstantRange &CR) const { /// maximalIntersectWith - Return the range that results from the intersection /// of this range with another range. The resultant range is guaranteed to -/// include all elements contained in both input ranges, and is also guaranteed -/// to be the smallest possible set that does so. +/// include all elements contained in both input ranges, and to have the +/// smallest possible set size that does so. Because there may be two +/// intersections with the same set size, A.maximalIntersectWith(B) might not +/// be equal to B.maximalIntersect(A). ConstantRange ConstantRange::maximalIntersectWith(const ConstantRange &CR) const { assert(getBitWidth() == CR.getBitWidth() && "ConstantRange types don't agree!"); -- cgit v1.2.3