diff options
author | Florian Hahn <flo@fhahn.com> | 2019-12-27 17:38:18 +0000 |
---|---|---|
committer | Florian Hahn <flo@fhahn.com> | 2019-12-27 17:38:34 +0000 |
commit | b35c585a9a8185ca7de378a0d45ebb68e385e7a0 (patch) | |
tree | 5ca3f0545a4af182a9c86514babc7836a59663c4 /llvm/unittests/IR/ConstantRangeTest.cpp | |
parent | 752220ea2664c814eb1eb046d755fe63ade9c32e (diff) | |
download | llvm-b35c585a9a8185ca7de378a0d45ebb68e385e7a0.zip llvm-b35c585a9a8185ca7de378a0d45ebb68e385e7a0.tar.gz llvm-b35c585a9a8185ca7de378a0d45ebb68e385e7a0.tar.bz2 |
[ConstantRange] Respect destination bitwidth for cast results.
We returning a full set, we should use ResultBitWidth. Otherwise we might
it assertions when the resulting constant ranges are used later on.
Reviewers: nikic, spatel, reames
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D71937
Diffstat (limited to 'llvm/unittests/IR/ConstantRangeTest.cpp')
-rw-r--r-- | llvm/unittests/IR/ConstantRangeTest.cpp | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/llvm/unittests/IR/ConstantRangeTest.cpp b/llvm/unittests/IR/ConstantRangeTest.cpp index d8befa8..2e5ab82 100644 --- a/llvm/unittests/IR/ConstantRangeTest.cpp +++ b/llvm/unittests/IR/ConstantRangeTest.cpp @@ -2295,4 +2295,26 @@ TEST_F(ConstantRangeTest, Abs) { }); } +TEST_F(ConstantRangeTest, castOps) { + ConstantRange A(APInt(16, 66), APInt(16, 128)); + ConstantRange FpToI8 = A.castOp(Instruction::FPToSI, 8); + EXPECT_EQ(8u, FpToI8.getBitWidth()); + EXPECT_TRUE(FpToI8.isFullSet()); + + ConstantRange FpToI16 = A.castOp(Instruction::FPToSI, 16); + EXPECT_EQ(16u, FpToI16.getBitWidth()); + EXPECT_EQ(A, FpToI16); + + ConstantRange FPExtToDouble = A.castOp(Instruction::FPExt, 64); + EXPECT_EQ(64u, FPExtToDouble.getBitWidth()); + EXPECT_TRUE(FPExtToDouble.isFullSet()); + + ConstantRange PtrToInt = A.castOp(Instruction::PtrToInt, 64); + EXPECT_EQ(64u, PtrToInt.getBitWidth()); + EXPECT_TRUE(PtrToInt.isFullSet()); + + ConstantRange IntToPtr = A.castOp(Instruction::IntToPtr, 64); + EXPECT_EQ(64u, IntToPtr.getBitWidth()); + EXPECT_TRUE(IntToPtr.isFullSet()); +} } // anonymous namespace |