Get even more accurate on the casting.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32478 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index 703a1c4..46b8f26 100644
--- a/lib/Analysis/ScalarEvolution.cpp
+++ b/lib/Analysis/ScalarEvolution.cpp
@@ -1567,8 +1567,7 @@
ConstantInt *CompVal = RHSC->getValue();
const Type *RealTy = ExitCond->getOperand(0)->getType();
CompVal = dyn_cast<ConstantInt>(
- ConstantExpr::getIntegerCast(CompVal, RealTy,
- CompVal->getType()->isSigned()));
+ ConstantExpr::getBitCast(CompVal, RealTy));
if (CompVal) {
// Form the constant range.
ConstantRange CompRange(Cond, CompVal);
@@ -1577,12 +1576,10 @@
// range.
if (CompRange.getLower()->getType()->isSigned()) {
const Type *NewTy = RHSC->getValue()->getType();
- Constant *NewL =
- ConstantExpr::getIntegerCast(CompRange.getLower(), NewTy,
- CompRange.getLower()->getType()->isSigned());
- Constant *NewU =
- ConstantExpr::getIntegerCast(CompRange.getUpper(), NewTy,
- CompRange.getUpper()->getType()->isSigned());
+ Constant *NewL = ConstantExpr::getBitCast(CompRange.getLower(),
+ NewTy);
+ Constant *NewU = ConstantExpr::getBitCast(CompRange.getUpper(),
+ NewTy);
CompRange = ConstantRange(NewL, NewU);
}