commit 4f129a6b4323eeadb2136920460b02c54a9d7788
author Tobias Grosser <grosser@fim.uni-passau.de> Sat Oct 08 00:30:55 2011 +0000
committer Tobias Grosser <grosser@fim.uni-passau.de> Sat Oct 08 00:30:55 2011 +0000
tree c34bcc896c958e5dbaee05276fb70eda09e4fadb
parent c4a0bd13ada188cb7343064e7bff4f278392848b

Show the reason a region is not a SCoP in the DOT graphs.

llvm-svn: 141458

polly/lib/Analysis/ScopDetection.cpp

diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp
index 8fc6335..ff77b3b 100644
--- a/polly/lib/Analysis/ScopDetection.cpp
+++ b/polly/lib/Analysis/ScopDetection.cpp
@@ -77,6 +77,11 @@
 
 #define INVALID(NAME, MESSAGE) \
   do { \
+    std::string Buf; \
+    raw_string_ostream fmt(Buf); \
+    fmt << MESSAGE; \
+    fmt.flush(); \
+    LastFailure = Buf; \
     DEBUG(dbgs() << MESSAGE); \
     DEBUG(dbgs() << "\n"); \
     STATSCOP(NAME); \
@@ -102,6 +107,14 @@
   return ValidRegions.count(&R);
 }
 
+std::string ScopDetection::regionIsInvalidBecause(const Region *R) const {
+  if (!InvalidRegions.count(R))
+    return "";
+
+  return InvalidRegions.find(R)->second;
+}
+
+
 bool ScopDetection::isValidAffineFunction(const SCEV *S, Region &RefRegion,
                                           Value **BasePtr) const {
   assert(S && "S must not be null!");
@@ -438,6 +451,8 @@
     return;
   }
 
+  InvalidRegions[&R] = LastFailure;
+
   for (Region::iterator I = R.begin(), E = R.end(); I != E; ++I)
     findScops(**I);
 
@@ -583,6 +598,7 @@
 
 void ScopDetection::releaseMemory() {
   ValidRegions.clear();
+  InvalidRegions.clear();
   // Do not clear the invalid function set.
 }