This is not overly conservative.

Some = [10, 2730). A subset of that is [1024..2048) which covers every possible
10-bit pattern.

llvm-svn: 75411

llvm/unittests/Support/ConstantRangeTest.cpp

@@ -149,7 +149,6 @@ TEST_F(ConstantRangeTest, Trunc) {
   EXPECT_TRUE(TEmpty.isEmptySet());
   EXPECT_EQ(TOne, ConstantRange(APInt(One.getLower()).trunc(10),
                                 APInt(One.getUpper()).trunc(10)));
-  // TODO: ConstantRange is currently over-conservative here.
   EXPECT_TRUE(TSome.isFullSet());
 }