From f3d8295105017ce7e42cbf33d718dc602edefbef Mon Sep 17 00:00:00 2001 From: Tim Renouf Date: Fri, 13 Jul 2018 13:13:30 +0000 Subject: DivergenceAnalysis: added debug output Summary: This commit does two things: 1. modified the existing DivergenceAnalysis::dump() so it dumps the whole function with added DIVERGENT: annotations; 2. added code to do that dump if the appropriate -debug-only option is on. Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D47700 Change-Id: Id97b605aab1fc6f5a11a20c58a99bbe8c565bf83 llvm-svn: 336998 --- llvm/lib/Analysis/DivergenceAnalysis.cpp | 21 ++++++++++++++++----- 1 file changed, 16 insertions(+), 5 deletions(-) (limited to 'llvm/lib/Analysis') diff --git a/llvm/lib/Analysis/DivergenceAnalysis.cpp b/llvm/lib/Analysis/DivergenceAnalysis.cpp index ac684ec1846..f5f1874c930 100644 --- a/llvm/lib/Analysis/DivergenceAnalysis.cpp +++ b/llvm/lib/Analysis/DivergenceAnalysis.cpp @@ -77,6 +77,8 @@ #include using namespace llvm; +#define DEBUG_TYPE "divergence" + namespace { class DivergencePropagator { @@ -299,6 +301,10 @@ bool DivergenceAnalysis::runOnFunction(Function &F) { PDT, DivergentValues); DP.populateWithSourcesOfDivergence(); DP.propagate(); + LLVM_DEBUG( + dbgs() << "\nAfter divergence analysis on " << F.getName() << ":\n"; + print(dbgs(), F.getParent()) + ); return false; } @@ -318,12 +324,17 @@ void DivergenceAnalysis::print(raw_ostream &OS, const Module *) const { // Dumps all divergent values in F, arguments and then instructions. for (auto &Arg : F->args()) { - if (DivergentValues.count(&Arg)) - OS << "DIVERGENT: " << Arg << "\n"; + OS << (DivergentValues.count(&Arg) ? "DIVERGENT: " : " "); + OS << Arg << "\n"; } // Iterate instructions using instructions() to ensure a deterministic order. - for (auto &I : instructions(F)) { - if (DivergentValues.count(&I)) - OS << "DIVERGENT:" << I << "\n"; + for (auto BI = F->begin(), BE = F->end(); BI != BE; ++BI) { + auto &BB = *BI; + OS << "\n " << BB.getName() << ":\n"; + for (auto &I : BB.instructionsWithoutDebug()) { + OS << (DivergentValues.count(&I) ? "DIVERGENT: " : " "); + OS << I << "\n"; + } } + OS << "\n"; } -- cgit v1.2.3