123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895 |
- //===- Standard pass instrumentations handling ----------------*- C++ -*--===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- /// \file
- ///
- /// This file defines IR-printing pass instrumentation callbacks as well as
- /// StandardInstrumentations class that manages standard pass instrumentations.
- ///
- //===----------------------------------------------------------------------===//
- #include "llvm/Passes/StandardInstrumentations.h"
- #include "llvm/ADT/Any.h"
- #include "llvm/ADT/Optional.h"
- #include "llvm/ADT/StringRef.h"
- #include "llvm/Analysis/CallGraphSCCPass.h"
- #include "llvm/Analysis/LazyCallGraph.h"
- #include "llvm/Analysis/LoopInfo.h"
- #include "llvm/IR/Function.h"
- #include "llvm/IR/Module.h"
- #include "llvm/IR/PassInstrumentation.h"
- #include "llvm/IR/PrintPasses.h"
- #include "llvm/IR/Verifier.h"
- #include "llvm/Support/CommandLine.h"
- #include "llvm/Support/Debug.h"
- #include "llvm/Support/FormatVariadic.h"
- #include "llvm/Support/raw_ostream.h"
- #include <unordered_set>
- #include <vector>
- using namespace llvm;
- cl::opt<bool> PreservedCFGCheckerInstrumentation::VerifyPreservedCFG(
- "verify-cfg-preserved", cl::Hidden,
- #ifdef NDEBUG
- cl::init(false));
- #else
- cl::init(false));
- #endif
- // FIXME: Change `-debug-pass-manager` from boolean to enum type. Similar to
- // `-debug-pass` in legacy PM.
- static cl::opt<bool>
- DebugPMVerbose("debug-pass-manager-verbose", cl::Hidden, cl::init(false),
- cl::desc("Print all pass management debugging information. "
- "`-debug-pass-manager` must also be specified"));
- // An option that prints out the IR after passes, similar to
- // -print-after-all except that it only prints the IR after passes that
- // change the IR. Those passes that do not make changes to the IR are
- // reported as not making any changes. In addition, the initial IR is
- // also reported. Other hidden options affect the output from this
- // option. -filter-passes will limit the output to the named passes
- // that actually change the IR and other passes are reported as filtered out.
- // The specified passes will either be reported as making no changes (with
- // no IR reported) or the changed IR will be reported. Also, the
- // -filter-print-funcs and -print-module-scope options will do similar
- // filtering based on function name, reporting changed IRs as functions(or
- // modules if -print-module-scope is specified) for a particular function
- // or indicating that the IR has been filtered out. The extra options
- // can be combined, allowing only changed IRs for certain passes on certain
- // functions to be reported in different formats, with the rest being
- // reported as filtered out. The -print-before-changed option will print
- // the IR as it was before each pass that changed it. The optional
- // value of quiet will only report when the IR changes, suppressing
- // all other messages, including the initial IR.
- enum ChangePrinter { NoChangePrinter, PrintChangedVerbose, PrintChangedQuiet };
- static cl::opt<ChangePrinter> PrintChanged(
- "print-changed", cl::desc("Print changed IRs"), cl::Hidden,
- cl::ValueOptional, cl::init(NoChangePrinter),
- cl::values(clEnumValN(PrintChangedQuiet, "quiet", "Run in quiet mode"),
- // Sentinel value for unspecified option.
- clEnumValN(PrintChangedVerbose, "", "")));
- // An option that supports the -print-changed option. See
- // the description for -print-changed for an explanation of the use
- // of this option. Note that this option has no effect without -print-changed.
- static cl::list<std::string>
- PrintPassesList("filter-passes", cl::value_desc("pass names"),
- cl::desc("Only consider IR changes for passes whose names "
- "match for the print-changed option"),
- cl::CommaSeparated, cl::Hidden);
- // An option that supports the -print-changed option. See
- // the description for -print-changed for an explanation of the use
- // of this option. Note that this option has no effect without -print-changed.
- static cl::opt<bool>
- PrintChangedBefore("print-before-changed",
- cl::desc("Print before passes that change them"),
- cl::init(false), cl::Hidden);
- namespace {
- /// Extracting Module out of \p IR unit. Also fills a textual description
- /// of \p IR for use in header when printing.
- Optional<std::pair<const Module *, std::string>>
- unwrapModule(Any IR, bool Force = false) {
- if (any_isa<const Module *>(IR))
- return std::make_pair(any_cast<const Module *>(IR), std::string());
- if (any_isa<const Function *>(IR)) {
- const Function *F = any_cast<const Function *>(IR);
- if (!Force && !isFunctionInPrintList(F->getName()))
- return None;
- const Module *M = F->getParent();
- return std::make_pair(M, formatv(" (function: {0})", F->getName()).str());
- }
- if (any_isa<const LazyCallGraph::SCC *>(IR)) {
- const LazyCallGraph::SCC *C = any_cast<const LazyCallGraph::SCC *>(IR);
- for (const LazyCallGraph::Node &N : *C) {
- const Function &F = N.getFunction();
- if (Force || (!F.isDeclaration() && isFunctionInPrintList(F.getName()))) {
- const Module *M = F.getParent();
- return std::make_pair(M, formatv(" (scc: {0})", C->getName()).str());
- }
- }
- assert(!Force && "Expected to have made a pair when forced.");
- return None;
- }
- if (any_isa<const Loop *>(IR)) {
- const Loop *L = any_cast<const Loop *>(IR);
- const Function *F = L->getHeader()->getParent();
- if (!Force && !isFunctionInPrintList(F->getName()))
- return None;
- const Module *M = F->getParent();
- std::string LoopName;
- raw_string_ostream ss(LoopName);
- L->getHeader()->printAsOperand(ss, false);
- return std::make_pair(M, formatv(" (loop: {0})", ss.str()).str());
- }
- llvm_unreachable("Unknown IR unit");
- }
- void printIR(raw_ostream &OS, const Function *F, StringRef Banner,
- StringRef Extra = StringRef(), bool Brief = false) {
- if (Brief) {
- OS << F->getName() << '\n';
- return;
- }
- if (!isFunctionInPrintList(F->getName()))
- return;
- OS << Banner << Extra << "\n" << static_cast<const Value &>(*F);
- }
- void printIR(raw_ostream &OS, const Module *M, StringRef Banner,
- StringRef Extra = StringRef(), bool Brief = false,
- bool ShouldPreserveUseListOrder = false) {
- if (Brief) {
- OS << M->getName() << '\n';
- return;
- }
- if (isFunctionInPrintList("*") || forcePrintModuleIR()) {
- OS << Banner << Extra << "\n";
- M->print(OS, nullptr, ShouldPreserveUseListOrder);
- } else {
- for (const auto &F : M->functions()) {
- printIR(OS, &F, Banner, Extra);
- }
- }
- }
- void printIR(raw_ostream &OS, const LazyCallGraph::SCC *C, StringRef Banner,
- StringRef Extra = StringRef(), bool Brief = false) {
- if (Brief) {
- OS << *C << '\n';
- return;
- }
- bool BannerPrinted = false;
- for (const LazyCallGraph::Node &N : *C) {
- const Function &F = N.getFunction();
- if (!F.isDeclaration() && isFunctionInPrintList(F.getName())) {
- if (!BannerPrinted) {
- OS << Banner << Extra << "\n";
- BannerPrinted = true;
- }
- F.print(OS);
- }
- }
- }
- void printIR(raw_ostream &OS, const Loop *L, StringRef Banner,
- bool Brief = false) {
- if (Brief) {
- OS << *L;
- return;
- }
- const Function *F = L->getHeader()->getParent();
- if (!isFunctionInPrintList(F->getName()))
- return;
- printLoop(const_cast<Loop &>(*L), OS, std::string(Banner));
- }
- /// Generic IR-printing helper that unpacks a pointer to IRUnit wrapped into
- /// llvm::Any and does actual print job.
- void unwrapAndPrint(raw_ostream &OS, Any IR, StringRef Banner,
- bool ForceModule = false, bool Brief = false,
- bool ShouldPreserveUseListOrder = false) {
- if (ForceModule) {
- if (auto UnwrappedModule = unwrapModule(IR))
- printIR(OS, UnwrappedModule->first, Banner, UnwrappedModule->second,
- Brief, ShouldPreserveUseListOrder);
- return;
- }
- if (any_isa<const Module *>(IR)) {
- const Module *M = any_cast<const Module *>(IR);
- assert(M && "module should be valid for printing");
- printIR(OS, M, Banner, "", Brief, ShouldPreserveUseListOrder);
- return;
- }
- if (any_isa<const Function *>(IR)) {
- const Function *F = any_cast<const Function *>(IR);
- assert(F && "function should be valid for printing");
- printIR(OS, F, Banner, "", Brief);
- return;
- }
- if (any_isa<const LazyCallGraph::SCC *>(IR)) {
- const LazyCallGraph::SCC *C = any_cast<const LazyCallGraph::SCC *>(IR);
- assert(C && "scc should be valid for printing");
- std::string Extra = std::string(formatv(" (scc: {0})", C->getName()));
- printIR(OS, C, Banner, Extra, Brief);
- return;
- }
- if (any_isa<const Loop *>(IR)) {
- const Loop *L = any_cast<const Loop *>(IR);
- assert(L && "Loop should be valid for printing");
- printIR(OS, L, Banner, Brief);
- return;
- }
- llvm_unreachable("Unknown wrapped IR type");
- }
- // Return true when this is a pass for which changes should be ignored
- bool isIgnored(StringRef PassID) {
- return isSpecialPass(PassID,
- {"PassManager", "PassAdaptor", "AnalysisManagerProxy"});
- }
- } // namespace
- template <typename IRUnitT>
- ChangeReporter<IRUnitT>::~ChangeReporter<IRUnitT>() {
- assert(BeforeStack.empty() && "Problem with Change Printer stack.");
- }
- template <typename IRUnitT>
- bool ChangeReporter<IRUnitT>::isInterestingFunction(const Function &F) {
- return isFunctionInPrintList(F.getName());
- }
- template <typename IRUnitT>
- bool ChangeReporter<IRUnitT>::isInterestingPass(StringRef PassID) {
- if (isIgnored(PassID))
- return false;
- static std::unordered_set<std::string> PrintPassNames(PrintPassesList.begin(),
- PrintPassesList.end());
- return PrintPassNames.empty() || PrintPassNames.count(PassID.str());
- }
- // Return true when this is a pass on IR for which printing
- // of changes is desired.
- template <typename IRUnitT>
- bool ChangeReporter<IRUnitT>::isInteresting(Any IR, StringRef PassID) {
- if (!isInterestingPass(PassID))
- return false;
- if (any_isa<const Function *>(IR))
- return isInterestingFunction(*any_cast<const Function *>(IR));
- return true;
- }
- template <typename IRUnitT>
- void ChangeReporter<IRUnitT>::saveIRBeforePass(Any IR, StringRef PassID) {
- // Always need to place something on the stack because invalidated passes
- // are not given the IR so it cannot be determined whether the pass was for
- // something that was filtered out.
- BeforeStack.emplace_back();
- if (!isInteresting(IR, PassID))
- return;
- // Is this the initial IR?
- if (InitialIR) {
- InitialIR = false;
- if (VerboseMode)
- handleInitialIR(IR);
- }
- // Save the IR representation on the stack.
- IRUnitT &Data = BeforeStack.back();
- generateIRRepresentation(IR, PassID, Data);
- }
- template <typename IRUnitT>
- void ChangeReporter<IRUnitT>::handleIRAfterPass(Any IR, StringRef PassID) {
- assert(!BeforeStack.empty() && "Unexpected empty stack encountered.");
- std::string Name;
- // unwrapModule has inconsistent handling of names for function IRs.
- if (any_isa<const Function *>(IR)) {
- const Function *F = any_cast<const Function *>(IR);
- Name = formatv(" (function: {0})", F->getName()).str();
- } else {
- if (auto UM = unwrapModule(IR))
- Name = UM->second;
- }
- if (Name == "")
- Name = " (module)";
- if (isIgnored(PassID)) {
- if (VerboseMode)
- handleIgnored(PassID, Name);
- } else if (!isInteresting(IR, PassID)) {
- if (VerboseMode)
- handleFiltered(PassID, Name);
- } else {
- // Get the before rep from the stack
- IRUnitT &Before = BeforeStack.back();
- // Create the after rep
- IRUnitT After;
- generateIRRepresentation(IR, PassID, After);
- // Was there a change in IR?
- if (same(Before, After)) {
- if (VerboseMode)
- omitAfter(PassID, Name);
- } else
- handleAfter(PassID, Name, Before, After, IR);
- }
- BeforeStack.pop_back();
- }
- template <typename IRUnitT>
- void ChangeReporter<IRUnitT>::handleInvalidatedPass(StringRef PassID) {
- assert(!BeforeStack.empty() && "Unexpected empty stack encountered.");
- // Always flag it as invalidated as we cannot determine when
- // a pass for a filtered function is invalidated since we do not
- // get the IR in the call. Also, the output is just alternate
- // forms of the banner anyway.
- if (VerboseMode)
- handleInvalidated(PassID);
- BeforeStack.pop_back();
- }
- template <typename IRUnitT>
- void ChangeReporter<IRUnitT>::registerRequiredCallbacks(
- PassInstrumentationCallbacks &PIC) {
- PIC.registerBeforeNonSkippedPassCallback(
- [this](StringRef P, Any IR) { saveIRBeforePass(IR, P); });
- PIC.registerAfterPassCallback(
- [this](StringRef P, Any IR, const PreservedAnalyses &) {
- handleIRAfterPass(IR, P);
- });
- PIC.registerAfterPassInvalidatedCallback(
- [this](StringRef P, const PreservedAnalyses &) {
- handleInvalidatedPass(P);
- });
- }
- template <typename IRUnitT>
- TextChangeReporter<IRUnitT>::TextChangeReporter(bool Verbose)
- : ChangeReporter<IRUnitT>(Verbose), Out(dbgs()) {}
- template <typename IRUnitT>
- void TextChangeReporter<IRUnitT>::handleInitialIR(Any IR) {
- // Always print the module.
- // Unwrap and print directly to avoid filtering problems in general routines.
- auto UnwrappedModule = unwrapModule(IR, /*Force=*/true);
- assert(UnwrappedModule && "Expected module to be unwrapped when forced.");
- Out << "*** IR Dump At Start: ***" << UnwrappedModule->second << "\n";
- UnwrappedModule->first->print(Out, nullptr,
- /*ShouldPreserveUseListOrder=*/true);
- }
- template <typename IRUnitT>
- void TextChangeReporter<IRUnitT>::omitAfter(StringRef PassID,
- std::string &Name) {
- Out << formatv("*** IR Dump After {0}{1} omitted because no change ***\n",
- PassID, Name);
- }
- template <typename IRUnitT>
- void TextChangeReporter<IRUnitT>::handleInvalidated(StringRef PassID) {
- Out << formatv("*** IR Pass {0} invalidated ***\n", PassID);
- }
- template <typename IRUnitT>
- void TextChangeReporter<IRUnitT>::handleFiltered(StringRef PassID,
- std::string &Name) {
- SmallString<20> Banner =
- formatv("*** IR Dump After {0}{1} filtered out ***\n", PassID, Name);
- Out << Banner;
- }
- template <typename IRUnitT>
- void TextChangeReporter<IRUnitT>::handleIgnored(StringRef PassID,
- std::string &Name) {
- Out << formatv("*** IR Pass {0}{1} ignored ***\n", PassID, Name);
- }
- IRChangedPrinter::~IRChangedPrinter() {}
- void IRChangedPrinter::registerCallbacks(PassInstrumentationCallbacks &PIC) {
- if (PrintChanged != NoChangePrinter)
- TextChangeReporter<std::string>::registerRequiredCallbacks(PIC);
- }
- void IRChangedPrinter::generateIRRepresentation(Any IR, StringRef PassID,
- std::string &Output) {
- raw_string_ostream OS(Output);
- // use the after banner for all cases so it will match
- SmallString<20> Banner = formatv("*** IR Dump After {0} ***", PassID);
- unwrapAndPrint(OS, IR, Banner, forcePrintModuleIR(),
- /*Brief=*/false, /*ShouldPreserveUseListOrder=*/true);
- OS.str();
- }
- void IRChangedPrinter::handleAfter(StringRef PassID, std::string &Name,
- const std::string &Before,
- const std::string &After, Any) {
- assert(After.find("*** IR Dump") == 0 && "Unexpected banner format.");
- StringRef AfterRef = After;
- StringRef Banner =
- AfterRef.take_until([](char C) -> bool { return C == '\n'; });
- // Report the IR before the changes when requested.
- if (PrintChangedBefore) {
- Out << "*** IR Dump Before" << Banner.substr(17);
- // LazyCallGraph::SCC already has "(scc:..." in banner so only add
- // in the name if it isn't already there.
- if (Name.substr(0, 6) != " (scc:" && !forcePrintModuleIR())
- Out << Name;
- StringRef BeforeRef = Before;
- Out << BeforeRef.substr(Banner.size());
- }
- Out << Banner;
- // LazyCallGraph::SCC already has "(scc:..." in banner so only add
- // in the name if it isn't already there.
- if (Name.substr(0, 6) != " (scc:" && !forcePrintModuleIR())
- Out << Name;
- Out << After.substr(Banner.size());
- }
- bool IRChangedPrinter::same(const std::string &S1, const std::string &S2) {
- return S1 == S2;
- }
- PrintIRInstrumentation::~PrintIRInstrumentation() {
- assert(ModuleDescStack.empty() && "ModuleDescStack is not empty at exit");
- }
- void PrintIRInstrumentation::pushModuleDesc(StringRef PassID, Any IR) {
- assert(StoreModuleDesc);
- const Module *M = nullptr;
- std::string Extra;
- if (auto UnwrappedModule = unwrapModule(IR))
- std::tie(M, Extra) = UnwrappedModule.getValue();
- ModuleDescStack.emplace_back(M, Extra, PassID);
- }
- PrintIRInstrumentation::PrintModuleDesc
- PrintIRInstrumentation::popModuleDesc(StringRef PassID) {
- assert(!ModuleDescStack.empty() && "empty ModuleDescStack");
- PrintModuleDesc ModuleDesc = ModuleDescStack.pop_back_val();
- assert(std::get<2>(ModuleDesc).equals(PassID) && "malformed ModuleDescStack");
- return ModuleDesc;
- }
- void PrintIRInstrumentation::printBeforePass(StringRef PassID, Any IR) {
- if (isIgnored(PassID))
- return;
- // Saving Module for AfterPassInvalidated operations.
- // Note: here we rely on a fact that we do not change modules while
- // traversing the pipeline, so the latest captured module is good
- // for all print operations that has not happen yet.
- if (StoreModuleDesc && shouldPrintAfterPass(PassID))
- pushModuleDesc(PassID, IR);
- if (!shouldPrintBeforePass(PassID))
- return;
- SmallString<20> Banner = formatv("*** IR Dump Before {0} ***", PassID);
- unwrapAndPrint(dbgs(), IR, Banner, forcePrintModuleIR());
- }
- void PrintIRInstrumentation::printAfterPass(StringRef PassID, Any IR) {
- if (isIgnored(PassID))
- return;
- if (!shouldPrintAfterPass(PassID))
- return;
- if (StoreModuleDesc)
- popModuleDesc(PassID);
- SmallString<20> Banner = formatv("*** IR Dump After {0} ***", PassID);
- unwrapAndPrint(dbgs(), IR, Banner, forcePrintModuleIR());
- }
- void PrintIRInstrumentation::printAfterPassInvalidated(StringRef PassID) {
- StringRef PassName = PIC->getPassNameForClassName(PassID);
- if (!StoreModuleDesc || !shouldPrintAfterPass(PassName))
- return;
- if (isIgnored(PassID))
- return;
- const Module *M;
- std::string Extra;
- StringRef StoredPassID;
- std::tie(M, Extra, StoredPassID) = popModuleDesc(PassID);
- // Additional filtering (e.g. -filter-print-func) can lead to module
- // printing being skipped.
- if (!M)
- return;
- SmallString<20> Banner =
- formatv("*** IR Dump After {0} *** invalidated: ", PassID);
- printIR(dbgs(), M, Banner, Extra);
- }
- bool PrintIRInstrumentation::shouldPrintBeforePass(StringRef PassID) {
- if (shouldPrintBeforeAll())
- return true;
- StringRef PassName = PIC->getPassNameForClassName(PassID);
- for (const auto &P : printBeforePasses()) {
- if (PassName == P)
- return true;
- }
- return false;
- }
- bool PrintIRInstrumentation::shouldPrintAfterPass(StringRef PassID) {
- if (shouldPrintAfterAll())
- return true;
- StringRef PassName = PIC->getPassNameForClassName(PassID);
- for (const auto &P : printAfterPasses()) {
- if (PassName == P)
- return true;
- }
- return false;
- }
- void PrintIRInstrumentation::registerCallbacks(
- PassInstrumentationCallbacks &PIC) {
- this->PIC = &PIC;
- // BeforePass callback is not just for printing, it also saves a Module
- // for later use in AfterPassInvalidated.
- StoreModuleDesc = forcePrintModuleIR() && shouldPrintAfterSomePass();
- if (shouldPrintBeforeSomePass() || StoreModuleDesc)
- PIC.registerBeforeNonSkippedPassCallback(
- [this](StringRef P, Any IR) { this->printBeforePass(P, IR); });
- if (shouldPrintAfterSomePass()) {
- PIC.registerAfterPassCallback(
- [this](StringRef P, Any IR, const PreservedAnalyses &) {
- this->printAfterPass(P, IR);
- });
- PIC.registerAfterPassInvalidatedCallback(
- [this](StringRef P, const PreservedAnalyses &) {
- this->printAfterPassInvalidated(P);
- });
- }
- }
- void OptNoneInstrumentation::registerCallbacks(
- PassInstrumentationCallbacks &PIC) {
- PIC.registerShouldRunOptionalPassCallback(
- [this](StringRef P, Any IR) { return this->shouldRun(P, IR); });
- }
- bool OptNoneInstrumentation::shouldRun(StringRef PassID, Any IR) {
- const Function *F = nullptr;
- if (any_isa<const Function *>(IR)) {
- F = any_cast<const Function *>(IR);
- } else if (any_isa<const Loop *>(IR)) {
- F = any_cast<const Loop *>(IR)->getHeader()->getParent();
- }
- bool ShouldRun = !(F && F->hasOptNone());
- if (!ShouldRun && DebugLogging) {
- errs() << "Skipping pass " << PassID << " on " << F->getName()
- << " due to optnone attribute\n";
- }
- return ShouldRun;
- }
- static std::string getBisectDescription(Any IR) {
- if (any_isa<const Module *>(IR)) {
- const Module *M = any_cast<const Module *>(IR);
- assert(M && "module should be valid for printing");
- return "module (" + M->getName().str() + ")";
- }
- if (any_isa<const Function *>(IR)) {
- const Function *F = any_cast<const Function *>(IR);
- assert(F && "function should be valid for printing");
- return "function (" + F->getName().str() + ")";
- }
- if (any_isa<const LazyCallGraph::SCC *>(IR)) {
- const LazyCallGraph::SCC *C = any_cast<const LazyCallGraph::SCC *>(IR);
- assert(C && "scc should be valid for printing");
- return "SCC " + C->getName();
- }
- if (any_isa<const Loop *>(IR)) {
- return "loop";
- }
- llvm_unreachable("Unknown wrapped IR type");
- }
- void OptBisectInstrumentation::registerCallbacks(
- PassInstrumentationCallbacks &PIC) {
- if (!OptBisector->isEnabled())
- return;
- PIC.registerShouldRunOptionalPassCallback([](StringRef PassID, Any IR) {
- return isIgnored(PassID) ||
- OptBisector->checkPass(PassID, getBisectDescription(IR));
- });
- }
- void PrintPassInstrumentation::registerCallbacks(
- PassInstrumentationCallbacks &PIC) {
- if (!DebugLogging)
- return;
- std::vector<StringRef> SpecialPasses = {"PassManager"};
- if (!DebugPMVerbose)
- SpecialPasses.emplace_back("PassAdaptor");
- PIC.registerBeforeSkippedPassCallback(
- [SpecialPasses](StringRef PassID, Any IR) {
- assert(!isSpecialPass(PassID, SpecialPasses) &&
- "Unexpectedly skipping special pass");
- dbgs() << "Skipping pass: " << PassID << " on ";
- unwrapAndPrint(dbgs(), IR, "", false, true);
- });
- PIC.registerBeforeNonSkippedPassCallback(
- [SpecialPasses](StringRef PassID, Any IR) {
- if (isSpecialPass(PassID, SpecialPasses))
- return;
- dbgs() << "Running pass: " << PassID << " on ";
- unwrapAndPrint(dbgs(), IR, "", false, true);
- });
- PIC.registerBeforeAnalysisCallback([](StringRef PassID, Any IR) {
- dbgs() << "Running analysis: " << PassID << " on ";
- unwrapAndPrint(dbgs(), IR, "", false, true);
- });
- }
- PreservedCFGCheckerInstrumentation::CFG::CFG(const Function *F,
- bool TrackBBLifetime) {
- if (TrackBBLifetime)
- BBGuards = DenseMap<intptr_t, BBGuard>(F->size());
- for (const auto &BB : *F) {
- if (BBGuards)
- BBGuards->try_emplace(intptr_t(&BB), &BB);
- for (auto *Succ : successors(&BB)) {
- Graph[&BB][Succ]++;
- if (BBGuards)
- BBGuards->try_emplace(intptr_t(Succ), Succ);
- }
- }
- }
- static void printBBName(raw_ostream &out, const BasicBlock *BB) {
- if (BB->hasName()) {
- out << BB->getName() << "<" << BB << ">";
- return;
- }
- if (!BB->getParent()) {
- out << "unnamed_removed<" << BB << ">";
- return;
- }
- if (BB == &BB->getParent()->getEntryBlock()) {
- out << "entry"
- << "<" << BB << ">";
- return;
- }
- unsigned FuncOrderBlockNum = 0;
- for (auto &FuncBB : *BB->getParent()) {
- if (&FuncBB == BB)
- break;
- FuncOrderBlockNum++;
- }
- out << "unnamed_" << FuncOrderBlockNum << "<" << BB << ">";
- }
- void PreservedCFGCheckerInstrumentation::CFG::printDiff(raw_ostream &out,
- const CFG &Before,
- const CFG &After) {
- assert(!After.isPoisoned());
- // Print function name.
- const CFG *FuncGraph = nullptr;
- if (!After.Graph.empty())
- FuncGraph = &After;
- else if (!Before.isPoisoned() && !Before.Graph.empty())
- FuncGraph = &Before;
- if (FuncGraph)
- out << "In function @"
- << FuncGraph->Graph.begin()->first->getParent()->getName() << "\n";
- if (Before.isPoisoned()) {
- out << "Some blocks were deleted\n";
- return;
- }
- // Find and print graph differences.
- if (Before.Graph.size() != After.Graph.size())
- out << "Different number of non-leaf basic blocks: before="
- << Before.Graph.size() << ", after=" << After.Graph.size() << "\n";
- for (auto &BB : Before.Graph) {
- auto BA = After.Graph.find(BB.first);
- if (BA == After.Graph.end()) {
- out << "Non-leaf block ";
- printBBName(out, BB.first);
- out << " is removed (" << BB.second.size() << " successors)\n";
- }
- }
- for (auto &BA : After.Graph) {
- auto BB = Before.Graph.find(BA.first);
- if (BB == Before.Graph.end()) {
- out << "Non-leaf block ";
- printBBName(out, BA.first);
- out << " is added (" << BA.second.size() << " successors)\n";
- continue;
- }
- if (BB->second == BA.second)
- continue;
- out << "Different successors of block ";
- printBBName(out, BA.first);
- out << " (unordered):\n";
- out << "- before (" << BB->second.size() << "): ";
- for (auto &SuccB : BB->second) {
- printBBName(out, SuccB.first);
- if (SuccB.second != 1)
- out << "(" << SuccB.second << "), ";
- else
- out << ", ";
- }
- out << "\n";
- out << "- after (" << BA.second.size() << "): ";
- for (auto &SuccA : BA.second) {
- printBBName(out, SuccA.first);
- if (SuccA.second != 1)
- out << "(" << SuccA.second << "), ";
- else
- out << ", ";
- }
- out << "\n";
- }
- }
- void PreservedCFGCheckerInstrumentation::registerCallbacks(
- PassInstrumentationCallbacks &PIC) {
- if (!VerifyPreservedCFG)
- return;
- PIC.registerBeforeNonSkippedPassCallback([this](StringRef P, Any IR) {
- if (any_isa<const Function *>(IR))
- GraphStackBefore.emplace_back(P, CFG(any_cast<const Function *>(IR)));
- else
- GraphStackBefore.emplace_back(P, None);
- });
- PIC.registerAfterPassInvalidatedCallback(
- [this](StringRef P, const PreservedAnalyses &PassPA) {
- auto Before = GraphStackBefore.pop_back_val();
- assert(Before.first == P &&
- "Before and After callbacks must correspond");
- (void)Before;
- });
- PIC.registerAfterPassCallback([this](StringRef P, Any IR,
- const PreservedAnalyses &PassPA) {
- auto Before = GraphStackBefore.pop_back_val();
- assert(Before.first == P && "Before and After callbacks must correspond");
- auto &GraphBefore = Before.second;
- if (!PassPA.allAnalysesInSetPreserved<CFGAnalyses>())
- return;
- if (any_isa<const Function *>(IR)) {
- assert(GraphBefore && "Must be built in BeforePassCallback");
- CFG GraphAfter(any_cast<const Function *>(IR), false /* NeedsGuard */);
- if (GraphAfter == *GraphBefore)
- return;
- dbgs() << "Error: " << P
- << " reported it preserved CFG, but changes detected:\n";
- CFG::printDiff(dbgs(), *GraphBefore, GraphAfter);
- report_fatal_error(Twine("Preserved CFG changed by ", P));
- }
- });
- }
- void VerifyInstrumentation::registerCallbacks(
- PassInstrumentationCallbacks &PIC) {
- PIC.registerAfterPassCallback(
- [this](StringRef P, Any IR, const PreservedAnalyses &PassPA) {
- if (isIgnored(P) || P == "VerifierPass")
- return;
- if (any_isa<const Function *>(IR) || any_isa<const Loop *>(IR)) {
- const Function *F;
- if (any_isa<const Loop *>(IR))
- F = any_cast<const Loop *>(IR)->getHeader()->getParent();
- else
- F = any_cast<const Function *>(IR);
- if (DebugLogging)
- dbgs() << "Verifying function " << F->getName() << "\n";
- if (verifyFunction(*F))
- report_fatal_error("Broken function found, compilation aborted!");
- } else if (any_isa<const Module *>(IR) ||
- any_isa<const LazyCallGraph::SCC *>(IR)) {
- const Module *M;
- if (any_isa<const LazyCallGraph::SCC *>(IR))
- M = any_cast<const LazyCallGraph::SCC *>(IR)
- ->begin()
- ->getFunction()
- .getParent();
- else
- M = any_cast<const Module *>(IR);
- if (DebugLogging)
- dbgs() << "Verifying module " << M->getName() << "\n";
- if (verifyModule(*M))
- report_fatal_error("Broken module found, compilation aborted!");
- }
- });
- }
- StandardInstrumentations::StandardInstrumentations(bool DebugLogging,
- bool VerifyEach)
- : PrintPass(DebugLogging), OptNone(DebugLogging),
- PrintChangedIR(PrintChanged != PrintChangedQuiet), Verify(DebugLogging),
- VerifyEach(VerifyEach) {}
- void StandardInstrumentations::registerCallbacks(
- PassInstrumentationCallbacks &PIC) {
- PrintIR.registerCallbacks(PIC);
- PrintPass.registerCallbacks(PIC);
- TimePasses.registerCallbacks(PIC);
- OptNone.registerCallbacks(PIC);
- OptBisect.registerCallbacks(PIC);
- PreservedCFGChecker.registerCallbacks(PIC);
- PrintChangedIR.registerCallbacks(PIC);
- PseudoProbeVerification.registerCallbacks(PIC);
- if (VerifyEach)
- Verify.registerCallbacks(PIC);
- }
- namespace llvm {
- template class ChangeReporter<std::string>;
- template class TextChangeReporter<std::string>;
- } // namespace llvm
|