maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Do not use the number of parameters in the complexity check 

llvm-svn: 267532
This commit is contained in:
Johannes Doerfert 2016-04-26 09:20:41 +00:00
parent 625bb1fc10
commit b2885799d1
1 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
polly/lib/Analysis/ScopInfo.cpp
View File

@ -1329,15 +1329,22 @@ buildConditionSets(ScopStmt &Stmt, Value *Condition, TerminatorInst *TI,
ConsequenceCondSet = isl_set_coalesce(
isl_set_intersect(ConsequenceCondSet, isl_set_copy(Domain)));
isl_set *AlternativeCondSet;
unsigned NumParams = isl_set_n_param(ConsequenceCondSet);
unsigned NumBasicSets = isl_set_n_basic_set(ConsequenceCondSet);
if (NumBasicSets + NumParams < MaxConjunctsInDomain) {
isl_set *AlternativeCondSet = nullptr;
bool ToComplex =
isl_set_n_basic_set(ConsequenceCondSet) >= MaxConjunctsInDomain;
if (!ToComplex) {
AlternativeCondSet = isl_set_subtract(isl_set_copy(Domain),
isl_set_copy(ConsequenceCondSet));
} else {
ToComplex = isl_set_n_basic_set(AlternativeCondSet) >= MaxConjunctsInDomain;
}
if (ToComplex) {
S.invalidate(COMPLEXITY, TI ? TI->getDebugLoc() : DebugLoc());
isl_set_free(AlternativeCondSet);
AlternativeCondSet = isl_set_empty(isl_set_get_space(ConsequenceCondSet));
isl_set_free(ConsequenceCondSet);
ConsequenceCondSet = isl_set_empty(isl_set_get_space(AlternativeCondSet));
}
ConditionSets.push_back(ConsequenceCondSet);