[polly] r298054 - [ScopInfo] Do not try to eliminate parameter dimensions that do not exist
Tobias Grosser via llvm-commits
llvm-commits at lists.llvm.org
Fri Mar 17 02:02:53 PDT 2017
Author: grosser
Date: Fri Mar 17 04:02:53 2017
New Revision: 298054
URL: http://llvm.org/viewvc/llvm-project?rev=298054&view=rev
Log:
[ScopInfo] Do not try to eliminate parameter dimensions that do not exist
In subsequent changes we will make Polly a little bit more lazy in adding
parameter dimensions to different sets. As a result, not all parameters will
always be part of the parameter space. This change ensures that we do not use
the '-1' returned when a parameter dimension cannot be found, but instead
just do not try to eliminate the anyhow non-existing dimension.
Modified:
polly/trunk/lib/Analysis/ScopInfo.cpp
Modified: polly/trunk/lib/Analysis/ScopInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopInfo.cpp?rev=298054&r1=298053&r2=298054&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Fri Mar 17 04:02:53 2017
@@ -3611,7 +3611,8 @@ void Scop::addInvariantLoads(ScopStmt &S
if (isl_id *ParamId = getIdForParam(Parameter)) {
int Dim = isl_set_find_dim_by_id(DomainCtx, isl_dim_param, ParamId);
- DomainCtx = isl_set_eliminate(DomainCtx, isl_dim_param, Dim, 1);
+ if (Dim >= 0)
+ DomainCtx = isl_set_eliminate(DomainCtx, isl_dim_param, Dim, 1);
isl_id_free(ParamId);
}
}
More information about the llvm-commits
mailing list