From a2a74f09fc9a0125e442dda65644a9c3484f2827 Mon Sep 17 00:00:00 2001 From: Johannes Doerfert Date: Sat, 21 Nov 2015 17:00:02 +0000 Subject: 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 --- polly/lib/Analysis/ScopDetection.cpp | 8 -------- 1 file changed, 8 deletions(-) (limited to 'polly/lib/Analysis/ScopDetection.cpp') 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(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() == -- cgit v1.2.3