[llvm-commits] [polly] r143650 - /polly/trunk/lib/Analysis/ScopDetection.cpp

[Tobias Grosser]

Author: grosser
Date: Thu Nov  3 16:03:01 2011
New Revision: 143650

URL: http://llvm.org/viewvc/llvm-project?rev=143650&view=rev
Log:
ScopDetection: A parameter cannot appear inside a SCoP.

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

Modified: polly/trunk/lib/Analysis/ScopDetection.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopDetection.cpp?rev=143650&r1=143649&r2=143650&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopDetection.cpp (original)
+++ polly/trunk/lib/Analysis/ScopDetection.cpp Thu Nov  3 16:03:01 2011
@@ -261,6 +261,9 @@
   }
 
   SCEVType::TYPE visitUnknown(const SCEVUnknown* Expr) {
+    if (Instruction *I = dyn_cast<Instruction>(Expr->getValue()))
+      if (R->contains(I))
+        return SCEVType::INVALID;
     return SCEVType::PARAM;
   }
 };