From cfadb2293f3b386263ab601af588f2a955a3dc92 Mon Sep 17 00:00:00 2001 From: Johannes Doerfert Date: Thu, 17 Nov 2016 21:44:47 +0000 Subject: [PATCH] [DBG] Collect statistics about statically infeasible SCoPs llvm-svn: 287263 --- polly/lib/Analysis/ScopBuilder.cpp | 3 +++ 1 file changed, 3 insertions(+) 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 { -- 2.7.4