RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity

[ConstantRange] Handle wrapping range in binaryNot()

Browse Source 
We don't need any special handling for wrapping ranges (or empty
ranges for that matter). The sub() call will already compute a
correct and precise range.

We only need to adjust the test expectation: We're now computing
an optimal result, rather than an unsigned envelope.
This commit is contained in:
Nikita Popov 2021-02-20 21:42:26 +01:00
parent 8328dce0c0
commit ca3345ac4e
2 changed files with 3 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/IR/ConstantRange.cpp
View File

@ -1256,12 +1256,6 @@ ConstantRange ConstantRange::srem(const ConstantRange &RHS) const {
}
ConstantRange ConstantRange::binaryNot() const {
if (isEmptySet())
return getEmpty();
if (isWrappedSet())
return getFull();
return ConstantRange(APInt::getAllOnesValue(getBitWidth())).sub(*this);
}

8
unittests/IR/ConstantRangeTest.cpp
View File

@ -2388,26 +2388,24 @@ TEST_F(ConstantRangeTest, binaryXor) {
}
TEST_F(ConstantRangeTest, binaryNot) {
// TODO: Improve binaryNot() implementation to remove the need for
// PreferSmallestUnsigned.
TestUnaryOpExhaustive(
[](const ConstantRange &CR) { return CR.binaryNot(); },
[](const APInt &N) { return ~N; },
PreferSmallestUnsigned);
PreferSmallest);
TestUnaryOpExhaustive(
[](const ConstantRange &CR) {
return CR.binaryXor(
ConstantRange(APInt::getAllOnesValue(CR.getBitWidth())));
},
[](const APInt &N) { return ~N; },
PreferSmallestUnsigned);
PreferSmallest);
TestUnaryOpExhaustive(
[](const ConstantRange &CR) {
return ConstantRange(APInt::getAllOnesValue(CR.getBitWidth()))
.binaryXor(CR);
},
[](const APInt &N) { return ~N; },
PreferSmallestUnsigned);
PreferSmallest);
}
} // anonymous namespace