[polly] r267402 - Do not propagate invalid domains over back edges

[Johannes Doerfert via llvm-commits]

Author: jdoerfert
Date: Mon Apr 25 08:34:50 2016
New Revision: 267402

URL: http://llvm.org/viewvc/llvm-project?rev=267402&view=rev
Log:
Do not propagate invalid domains over back edges


Modified:
    polly/trunk/lib/Analysis/ScopInfo.cpp

Modified: polly/trunk/lib/Analysis/ScopInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopInfo.cpp?rev=267402&r1=267401&r2=267402&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Mon Apr 25 08:34:50 2016
@@ -2370,6 +2370,10 @@ void Scop::propagateInvalidStmtDomains(R
       if (!SuccStmt)
         continue;
 
+      // Skip backedges.
+      if (DT.dominates(SuccBB, BB))
+        continue;
+
       auto *SuccBBLoop = getFirstNonBoxedLoopFor(SuccBB, LI, BoxedLoops);
       auto *AdjustedInvalidDomain = adjustDomainDimensions(
           *this, isl_set_copy(InvalidDomain), BBLoop, SuccBBLoop);