Replace intersectWith with maximalIntersectWith. The latter guarantees that
authorNick Lewycky <nicholas@mxc.ca>
Sat, 18 Jul 2009 06:34:42 +0000 (06:34 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Sat, 18 Jul 2009 06:34:42 +0000 (06:34 +0000)
commit3a4a884c1618d94202ee714ea5c899cd80d1c536
tree1e69e339c818903ac78cd8ed80335c25c1a5f5d7
parentd370d776aa6f28866563cdc85abbc32f20a96ec7
Replace intersectWith with maximalIntersectWith. The latter guarantees that
all values belonging to the intersection will belong to the resulting range.
The former was inconsistent about that point (either way is fine, just pick
one.) This is part of PR4545.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76289 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Support/ConstantRange.h
lib/Analysis/LoopVR.cpp
lib/Support/ConstantRange.cpp
lib/Transforms/Scalar/PredicateSimplifier.cpp
unittests/Support/ConstantRangeTest.cpp