forked from OSchip/llvm-project
[ConstantRange] Add a few more truncate unittests.
llvm-svn: 304694
This commit is contained in:
parent
2df639eaa1
commit
0be7a1badb
|
@ -188,6 +188,18 @@ TEST_F(ConstantRangeTest, Trunc) {
|
|||
One.getUpper().trunc(10)));
|
||||
EXPECT_TRUE(TSome.isFullSet());
|
||||
EXPECT_TRUE(TWrap.isFullSet());
|
||||
|
||||
// trunc([2, 5), 3->2) = [2, 1)
|
||||
ConstantRange TwoFive(APInt(3, 2), APInt(3, 5));
|
||||
EXPECT_EQ(TwoFive.truncate(2), ConstantRange(APInt(2, 2), APInt(2, 1)));
|
||||
|
||||
// trunc([2, 6), 3->2) = full
|
||||
ConstantRange TwoSix(APInt(3, 2), APInt(3, 6));
|
||||
EXPECT_TRUE(TwoSix.truncate(2).isFullSet());
|
||||
|
||||
// trunc([5, 7), 3->2) = [1, 3)
|
||||
ConstantRange FiveSeven(APInt(3, 5), APInt(3, 7));
|
||||
EXPECT_EQ(FiveSeven.truncate(2), ConstantRange(APInt(2, 1), APInt(2, 3)));
|
||||
}
|
||||
|
||||
TEST_F(ConstantRangeTest, ZExt) {
|
||||
|
|
Loading…
Reference in New Issue