diff options
author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-11-21 17:00:02 +0000 |
---|---|---|
committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-11-21 17:00:02 +0000 |
commit | a2a74f09fc9a0125e442dda65644a9c3484f2827 (patch) | |
tree | ad234b70a696bb54c2d92f714d8716134773fc83 /polly/lib/Analysis/ScopDetection.cpp | |
parent | dec27df5885015c0b51489db8452af01555197c2 (diff) | |
download | bcm5719-llvm-a2a74f09fc9a0125e442dda65644a9c3484f2827.tar.gz bcm5719-llvm-a2a74f09fc9a0125e442dda65644a9c3484f2827.zip |
Do not enforce lcssa
At some point we enforced lcssa for the loop surrounding the entry block.
This is not only questionable as it does not check any other loop but also
not needed any more.
llvm-svn: 253789
Diffstat (limited to 'polly/lib/Analysis/ScopDetection.cpp')
-rw-r--r-- | polly/lib/Analysis/ScopDetection.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp index 1ec38d566ed..5aa905928d1 100644 --- a/polly/lib/Analysis/ScopDetection.cpp +++ b/polly/lib/Analysis/ScopDetection.cpp @@ -1031,14 +1031,6 @@ bool ScopDetection::isValidRegion(DetectionContext &Context) const { return false; } - if (!CurRegion.getEnteringBlock()) { - BasicBlock *entry = CurRegion.getEntry(); - Loop *L = LI->getLoopFor(entry); - - if (L && !L->isLoopSimplifyForm()) - return invalid<ReportSimpleLoop>(Context, /*Assert=*/true); - } - // SCoP cannot contain the entry block of the function, because we need // to insert alloca instruction there when translate scalar to array. if (CurRegion.getEntry() == |