Remove obsolete check

  This check was needed at some point but seems not useful anymore. Only
  one adjustment in the domain generation was needed to cope with the
  cases this check prevented from happening before.

llvm-svn: 248695

1 files changed, 2 insertions, 12 deletions

diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp
index 8a41891b1a4..5d779a40f27 100644
--- a/polly/lib/Analysis/ScopDetection.cpp
+++ b/polly/lib/Analysis/ScopDetection.cpp
@@ -949,18 +949,8 @@ bool ScopDetection::isValidRegion(DetectionContext &Context) const {
     BasicBlock *entry = CurRegion.getEntry();
     Loop *L = LI->getLoopFor(entry);
 
-    if (L) {
-      if (!L->isLoopSimplifyForm())
-        return invalid<ReportSimpleLoop>(Context, /*Assert=*/true);
-
-      for (pred_iterator PI = pred_begin(entry), PE = pred_end(entry); PI != PE;
-           ++PI) {
-        // Region entering edges come from the same loop but outside the region
-        // are not allowed.
-        if (L->contains(*PI) && !CurRegion.contains(*PI))
-          return invalid<ReportIndEdge>(Context, /*Assert=*/true, *PI);
-      }
-    }
+    if (L && !L->isLoopSimplifyForm())
+      return invalid<ReportSimpleLoop>(Context, /*Assert=*/true);
   }
 
   // SCoP cannot contain the entry block of the function, because we need