summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>2016-04-05 16:18:53 +0000
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>2016-04-05 16:18:53 +0000
commita49c557f70ee86bdc149900ab080b9dea48241b6 (patch)
tree0ab6779b7c447a1c4ca181ad8c8d00c98abc8cf2
parent020c29e2b7adb702fd1b2df70b307f123b429378 (diff)
downloadbcm5719-llvm-a49c557f70ee86bdc149900ab080b9dea48241b6.tar.gz
bcm5719-llvm-a49c557f70ee86bdc149900ab080b9dea48241b6.zip
Remove dead code and comment [NFC]
llvm-svn: 265413
-rw-r--r--polly/lib/Analysis/ScopInfo.cpp12
1 files changed, 1 insertions, 11 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp
index ff1c337a837..ff88536846c 100644
--- a/polly/lib/Analysis/ScopInfo.cpp
+++ b/polly/lib/Analysis/ScopInfo.cpp
@@ -2512,19 +2512,9 @@ void Scop::propagateDomainConstraints(Region *R, ScopDetection &SD,
}
}
- // Get the domain for the current block and check if it was initialized or
- // not. The only way it was not is if this block is only reachable via error
- // blocks, thus will not be executed under the assumptions we make. Such
- // blocks have to be skipped as their predecessors might not have domains
- // either. It would not benefit us to compute the domain anyway, only the
- // domains of the error blocks that are reachable from non-error blocks
- // are needed to generate assumptions.
BasicBlock *BB = getRegionNodeBasicBlock(RN);
isl_set *&Domain = DomainMap[BB];
- if (!Domain) {
- DomainMap.erase(BB);
- continue;
- }
+ assert(Domain);
// Under the union of all predecessor conditions we can reach this block.
auto *PredDom = getPredecessorDomainConstraints(BB, Domain, SD, DT, LI);
OpenPOWER on IntegriCloud