diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-19 14:49:05 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-19 14:49:05 +0000 |
| commit | 535de035717cc676a4c76e0cd06917e71417dfa1 (patch) | |
| tree | 29cab366b5586335bee9027aa41955802be003c7 | |
| parent | fff283df7aeeb05de2821e2833832f8beac11db5 (diff) | |
| download | bcm5719-llvm-535de035717cc676a4c76e0cd06917e71417dfa1.tar.gz bcm5719-llvm-535de035717cc676a4c76e0cd06917e71417dfa1.zip | |
Do not build domains for out of SCoP blocks [NFC]
llvm-svn: 266739
| -rw-r--r-- | polly/lib/Analysis/ScopInfo.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp index f2ebce88dc6..d1ec2be6c2d 100644 --- a/polly/lib/Analysis/ScopInfo.cpp +++ b/polly/lib/Analysis/ScopInfo.cpp @@ -2489,6 +2489,13 @@ bool Scop::buildDomainsWithBranchConstraints(Region *R, ScopDetection &SD, isl_set *CondSet = ConditionSets[u]; BasicBlock *SuccBB = getRegionNodeSuccessor(RN, TI, u); + auto *SuccStmt = getStmtFor(SuccBB); + // Skip blocks outside the region. + if (!SuccStmt) { + isl_set_free(CondSet); + continue; + } + // If we propagate the domain of some block to "SuccBB" we do not have to // adjust the domain. if (FinishedExitBlocks.count(SuccBB)) { |
