summaryrefslogtreecommitdiffstats
path: root/polly/lib/Support/SCEVAffinator.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'polly/lib/Support/SCEVAffinator.cpp')
-rw-r--r--polly/lib/Support/SCEVAffinator.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/lib/Support/SCEVAffinator.cpp b/polly/lib/Support/SCEVAffinator.cpp
index 4a008c3fef8..1e6fb5ce2e6 100644
--- a/polly/lib/Support/SCEVAffinator.cpp
+++ b/polly/lib/Support/SCEVAffinator.cpp
@@ -340,7 +340,7 @@ SCEVAffinator::visitZeroExtendExpr(const SCEVZeroExtendExpr *Expr) {
NegDom = ExprDomain ? isl_set_intersect(NegDom, ExprDomain) : NegDom;
auto DL = BB ? BB->getTerminator()->getDebugLoc() : DebugLoc();
OpPWAC.second = isl_set_union(OpPWAC.second, isl_set_copy(NegDom));
- S->addAssumption(UNSIGNED, isl_set_params(NegDom), DL, AS_RESTRICTION);
+ S->recordAssumption(UNSIGNED, NegDom, DL, AS_RESTRICTION, BB);
return OpPWAC;
}
OpenPOWER on IntegriCloud