6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-06-21 18:24:23 +00:00
Code Issues Projects Releases Wiki Activity

add ConstantRange::difference (to perform set difference/relative complement)

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159352 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nuno Lopes
2012-06-28 16:10:13 +00:00
parent ceb5bc7df1
commit 62d7afad8f
3 changed files with 27 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/llvm/Support/ConstantRange.h
View File

@ -155,6 +155,10 @@ public:
/// constant range. /// constant range.
ConstantRange subtract(const APInt &CI) const; ConstantRange subtract(const APInt &CI) const;
/// \brief Subtract the specified range from this range (aka relative
/// complement of the sets).
ConstantRange difference(const ConstantRange &CR) const;
/// intersectWith - Return the range that results from the intersection of /// intersectWith - Return the range that results from the intersection of
/// this range with another range. The resultant range is guaranteed to /// this range with another range. The resultant range is guaranteed to
/// include all elements contained in both input ranges, and to have the /// include all elements contained in both input ranges, and to have the

6
lib/Support/ConstantRange.cpp
View File

@ -248,6 +248,12 @@ ConstantRange ConstantRange::subtract(const APInt &Val) const {
return ConstantRange(Lower - Val, Upper - Val); return ConstantRange(Lower - Val, Upper - Val);
} }
/// \brief Subtract the specified range from this range (aka relative complement
/// of the sets).
ConstantRange ConstantRange::difference(const ConstantRange &CR) const {
return intersectWith(CR.inverse());
}
/// intersectWith - Return the range that results from the intersection of this /// intersectWith - Return the range that results from the intersection of this
/// range with another range. The resultant range is guaranteed to include all /// range with another range. The resultant range is guaranteed to include all
/// elements contained in both input ranges, and to have the smallest possible /// elements contained in both input ranges, and to have the smallest possible

17
unittests/Support/ConstantRangeTest.cpp
View File

@ -289,6 +289,23 @@ TEST_F(ConstantRangeTest, UnionWith) {
ConstantRange(16)); ConstantRange(16));
} }
TEST_F(ConstantRangeTest, SetDifference) {
EXPECT_EQ(Full.difference(Empty), Full);
EXPECT_EQ(Full.difference(Full), Empty);
EXPECT_EQ(Empty.difference(Empty), Empty);
EXPECT_EQ(Empty.difference(Full), Empty);
ConstantRange A(APInt(16, 3), APInt(16, 7));
ConstantRange B(APInt(16, 5), APInt(16, 9));
ConstantRange C(APInt(16, 3), APInt(16, 5));
ConstantRange D(APInt(16, 7), APInt(16, 9));
ConstantRange E(APInt(16, 5), APInt(16, 4));
ConstantRange F(APInt(16, 7), APInt(16, 3));
EXPECT_EQ(A.difference(B), C);
EXPECT_EQ(B.difference(A), D);
EXPECT_EQ(E.difference(A), F);
}
TEST_F(ConstantRangeTest, SubtractAPInt) { TEST_F(ConstantRangeTest, SubtractAPInt) {
EXPECT_EQ(Full.subtract(APInt(16, 4)), Full); EXPECT_EQ(Full.subtract(APInt(16, 4)), Full);
EXPECT_EQ(Empty.subtract(APInt(16, 4)), Empty); EXPECT_EQ(Empty.subtract(APInt(16, 4)), Empty);