diff options
author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-05 16:18:53 +0000 |
---|---|---|
committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-05 16:18:53 +0000 |
commit | a49c557f70ee86bdc149900ab080b9dea48241b6 (patch) | |
tree | 0ab6779b7c447a1c4ca181ad8c8d00c98abc8cf2 | |
parent | 020c29e2b7adb702fd1b2df70b307f123b429378 (diff) | |
download | bcm5719-llvm-a49c557f70ee86bdc149900ab080b9dea48241b6.tar.gz bcm5719-llvm-a49c557f70ee86bdc149900ab080b9dea48241b6.zip |
Remove dead code and comment [NFC]
llvm-svn: 265413
-rw-r--r-- | polly/lib/Analysis/ScopInfo.cpp | 12 |
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); |