aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ScalarEvolution.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
-rw-r--r--lib/Analysis/ScalarEvolution.cpp9
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index 438e42886b..d2eca4adeb 100644
--- a/lib/Analysis/ScalarEvolution.cpp
+++ b/lib/Analysis/ScalarEvolution.cpp
@@ -1341,9 +1341,12 @@ static APInt GetConstantFactor(SCEVHandle S) {
return APInt(C->getBitWidth(), 1).shl(C->getBitWidth()-1);
}
- if (SCEVTruncateExpr *T = dyn_cast<SCEVTruncateExpr>(S))
- return GetConstantFactor(T->getOperand()) &
- cast<IntegerType>(T->getType())->getMask();
+ if (SCEVTruncateExpr *T = dyn_cast<SCEVTruncateExpr>(S)) {
+ APInt Mask(cast<IntegerType>(T->getType())->getMask());
+ APInt GCF(GetConstantFactor(T->getOperand()));
+ Mask.zextOrTrunc(GCF.getBitWidth());
+ return GCF & Mask;
+ }
if (SCEVZeroExtendExpr *E = dyn_cast<SCEVZeroExtendExpr>(S))
return GetConstantFactor(E->getOperand());