6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-13 09:33:50 +00:00
Code Issues Projects Releases Wiki Activity

make ConstantRange::getSetSize() properly compute the size of wrapped and full sets.

Browse Source 
Make it always return APInts with the same bitwidth for the same ConstantRange bitwidth to simply clients

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@160294 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nuno Lopes 2012-07-16 18:08:12 +00:00
parent 3591955bce
commit 367308f798
2 changed files with 19 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
lib/Support/ConstantRange.cpp
View File

@ -143,16 +143,18 @@ bool ConstantRange::isSignWrappedSet() const {
/// getSetSize - Return the number of elements in this set.
///
APInt ConstantRange::getSetSize() const {
if (isEmptySet())
return APInt(getBitWidth(), 0);
if (getBitWidth() == 1) {
if (Lower != Upper) // One of T or F in the set...
return APInt(2, 1);
return APInt(2, 2); // Must be full set...
if (isEmptySet())
return APInt(getBitWidth()+1, 0);
if (isFullSet())
return APInt::getMaxValue(getBitWidth()).zext(getBitWidth()+1) + 1;
if (isWrappedSet()) {
APInt Result = Upper + (APInt::getMaxValue(getBitWidth()) - Lower + 1);
return Result.zext(getBitWidth()+1);
}
// Simply subtract the bounds...
return Upper - Lower;
return (Upper - Lower).zext(getBitWidth()+1);
}
/// getUnsignedMax - Return the largest unsigned value contained in the

14
unittests/Support/ConstantRangeTest.cpp
View File

@ -114,11 +114,15 @@ TEST_F(ConstantRangeTest, SingleElement) {
}
TEST_F(ConstantRangeTest, GetSetSize) {
EXPECT_EQ(Full.getSetSize(), APInt(16, 0));
EXPECT_EQ(Empty.getSetSize(), APInt(16, 0));
EXPECT_EQ(One.getSetSize(), APInt(16, 1));
EXPECT_EQ(Some.getSetSize(), APInt(16, 0xaa0));
EXPECT_EQ(Wrap.getSetSize(), APInt(16, 0x10000 - 0xaa0));
EXPECT_EQ(Full.getSetSize(), APInt(17, 65536));
EXPECT_EQ(Empty.getSetSize(), APInt(17, 0));
EXPECT_EQ(One.getSetSize(), APInt(17, 1));
EXPECT_EQ(Some.getSetSize(), APInt(17, 0xaa0));
ConstantRange Wrap(APInt(4, 7), APInt(4, 3));
ConstantRange Wrap2(APInt(4, 8), APInt(4, 7));
EXPECT_EQ(Wrap.getSetSize(), APInt(5, 12));
EXPECT_EQ(Wrap2.getSetSize(), APInt(5, 15));
}
TEST_F(ConstantRangeTest, GetMinsAndMaxes) {