From: Johannes Doerfert <doerfert@cs.uni-saarland.de>
Date: Thu, 17 Nov 2016 21:44:47 +0000 (+0000)
Subject: [DBG] Collect statistics about statically infeasible SCoPs
X-Git-Tag: llvmorg-4.0.0-rc1~4267
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=cfadb2293f3b386263ab601af588f2a955a3dc92;p=platform%2Fupstream%2Fllvm.git

[DBG] Collect statistics about statically infeasible SCoPs

llvm-svn: 287263
---

diff --git a/polly/lib/Analysis/ScopBuilder.cpp b/polly/lib/Analysis/ScopBuilder.cpp
index de564e3..4f428a1 100644
--- a/polly/lib/Analysis/ScopBuilder.cpp
+++ b/polly/lib/Analysis/ScopBuilder.cpp
@@ -28,6 +28,8 @@ using namespace polly;
 
 STATISTIC(ScopFound, "Number of valid Scops");
 STATISTIC(RichScopFound, "Number of Scops containing a loop");
+STATISTIC(INFEASIBLE_SCOPS,
+          "Number of SCoPs with statically infeasible context.");
 
 // If the loop is nonaffine/boxed, return the first non-boxed surrounding loop
 // for Polly. If the loop is affine, return the loop itself. Do not call
@@ -687,6 +689,7 @@ ScopBuilder::ScopBuilder(Region *R, AssumptionCache &AC, AliasAnalysis &AA,
   DEBUG(scop->print(dbgs()));
 
   if (!scop->hasFeasibleRuntimeContext()) {
+    INFEASIBLE_SCOPS++;
     Msg = "SCoP ends here but was dismissed.";
     scop.reset();
   } else {