diff options
| -rw-r--r-- | llvm/lib/IR/ConstantRange.cpp | 5 | ||||
| -rw-r--r-- | llvm/unittests/IR/ConstantRangeTest.cpp | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/llvm/lib/IR/ConstantRange.cpp b/llvm/lib/IR/ConstantRange.cpp index be6386c..9d23910 100644 --- a/llvm/lib/IR/ConstantRange.cpp +++ b/llvm/lib/IR/ConstantRange.cpp @@ -1238,7 +1238,10 @@ ConstantRange ConstantRange::sdiv(const ConstantRange &RHS) const { // separately by combining division results with the appropriate signs. APInt Zero = APInt::getZero(getBitWidth()); APInt SignedMin = APInt::getSignedMinValue(getBitWidth()); - ConstantRange PosFilter(APInt(getBitWidth(), 1), SignedMin); + // There are no positive 1-bit values. The 1 would get interpreted as -1. + ConstantRange PosFilter = + getBitWidth() == 1 ? getEmpty() + : ConstantRange(APInt(getBitWidth(), 1), SignedMin); ConstantRange NegFilter(SignedMin, Zero); ConstantRange PosL = intersectWith(PosFilter); ConstantRange NegL = intersectWith(NegFilter); diff --git a/llvm/unittests/IR/ConstantRangeTest.cpp b/llvm/unittests/IR/ConstantRangeTest.cpp index ced38a2..edea097 100644 --- a/llvm/unittests/IR/ConstantRangeTest.cpp +++ b/llvm/unittests/IR/ConstantRangeTest.cpp @@ -1259,6 +1259,9 @@ TEST_F(ConstantRangeTest, UDiv) { } TEST_F(ConstantRangeTest, SDiv) { + ConstantRange OneBit = ConstantRange::getFull(1); + EXPECT_EQ(OneBit.sdiv(OneBit), ConstantRange(APInt(1, 0))); + unsigned Bits = 4; EnumerateTwoConstantRanges(Bits, [&](const ConstantRange &CR1, const ConstantRange &CR2) { |