commit ad96c4b06d2a6fbf976422dc845605c82ea3295f
author Tobias Grosser <grosser@fim.uni-passau.de> Thu Nov 03 21:03:01 2011 +0000
committer Tobias Grosser <grosser@fim.uni-passau.de> Thu Nov 03 21:03:01 2011 +0000
tree 82c450d05c903e22a8114a727f7146e1ba819f0e
parent 803b761cbb371f840cb0540a2745bed44e3780d8

ScopDetection: A parameter cannot appear inside a SCoP.

llvm-svn: 143650

polly/lib/Analysis/ScopDetection.cpp

diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp
index d7d4c4d..b6400f4 100644
--- a/polly/lib/Analysis/ScopDetection.cpp
+++ b/polly/lib/Analysis/ScopDetection.cpp
@@ -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;
   }
 };