10b57cec5SDimitry Andric //===- CallGraphSCCPass.cpp - Pass that operates BU on call graph ---------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements the CallGraphSCCPass class, which is used for passes
100b57cec5SDimitry Andric // which are implemented as bottom-up traversals on the call graph. Because
110b57cec5SDimitry Andric // there may be cycles in the call graph, passes of this type operate on the
120b57cec5SDimitry Andric // call-graph in SCC order: that is, they process function bottom-up, except for
130b57cec5SDimitry Andric // recursive functions, which they process all at once.
140b57cec5SDimitry Andric //
150b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
160b57cec5SDimitry Andric
170b57cec5SDimitry Andric #include "llvm/Analysis/CallGraphSCCPass.h"
180b57cec5SDimitry Andric #include "llvm/ADT/DenseMap.h"
190b57cec5SDimitry Andric #include "llvm/ADT/SCCIterator.h"
200b57cec5SDimitry Andric #include "llvm/ADT/Statistic.h"
21*fe013be4SDimitry Andric #include "llvm/ADT/StringExtras.h"
220b57cec5SDimitry Andric #include "llvm/Analysis/CallGraph.h"
235ffd83dbSDimitry Andric #include "llvm/IR/AbstractCallSite.h"
240b57cec5SDimitry Andric #include "llvm/IR/Function.h"
250b57cec5SDimitry Andric #include "llvm/IR/Intrinsics.h"
260b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h"
270b57cec5SDimitry Andric #include "llvm/IR/LegacyPassManagers.h"
280b57cec5SDimitry Andric #include "llvm/IR/Module.h"
290b57cec5SDimitry Andric #include "llvm/IR/OptBisect.h"
300b57cec5SDimitry Andric #include "llvm/IR/PassTimingInfo.h"
31e8d8bef9SDimitry Andric #include "llvm/IR/PrintPasses.h"
320b57cec5SDimitry Andric #include "llvm/Pass.h"
330b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
340b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
350b57cec5SDimitry Andric #include "llvm/Support/Timer.h"
360b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
370b57cec5SDimitry Andric #include <cassert>
380b57cec5SDimitry Andric #include <string>
390b57cec5SDimitry Andric #include <utility>
400b57cec5SDimitry Andric #include <vector>
410b57cec5SDimitry Andric
420b57cec5SDimitry Andric using namespace llvm;
430b57cec5SDimitry Andric
440b57cec5SDimitry Andric #define DEBUG_TYPE "cgscc-passmgr"
450b57cec5SDimitry Andric
46fe6060f1SDimitry Andric namespace llvm {
47e8d8bef9SDimitry Andric cl::opt<unsigned> MaxDevirtIterations("max-devirt-iterations", cl::ReallyHidden,
48e8d8bef9SDimitry Andric cl::init(4));
49fe6060f1SDimitry Andric }
500b57cec5SDimitry Andric
510b57cec5SDimitry Andric STATISTIC(MaxSCCIterations, "Maximum CGSCCPassMgr iterations on one SCC");
520b57cec5SDimitry Andric
530b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
540b57cec5SDimitry Andric // CGPassManager
550b57cec5SDimitry Andric //
560b57cec5SDimitry Andric /// CGPassManager manages FPPassManagers and CallGraphSCCPasses.
570b57cec5SDimitry Andric
580b57cec5SDimitry Andric namespace {
590b57cec5SDimitry Andric
600b57cec5SDimitry Andric class CGPassManager : public ModulePass, public PMDataManager {
610b57cec5SDimitry Andric public:
620b57cec5SDimitry Andric static char ID;
630b57cec5SDimitry Andric
CGPassManager()6404eeddc0SDimitry Andric explicit CGPassManager() : ModulePass(ID) {}
650b57cec5SDimitry Andric
660b57cec5SDimitry Andric /// Execute all of the passes scheduled for execution. Keep track of
670b57cec5SDimitry Andric /// whether any of the passes modifies the module, and if so, return true.
680b57cec5SDimitry Andric bool runOnModule(Module &M) override;
690b57cec5SDimitry Andric
700b57cec5SDimitry Andric using ModulePass::doInitialization;
710b57cec5SDimitry Andric using ModulePass::doFinalization;
720b57cec5SDimitry Andric
730b57cec5SDimitry Andric bool doInitialization(CallGraph &CG);
740b57cec5SDimitry Andric bool doFinalization(CallGraph &CG);
750b57cec5SDimitry Andric
760b57cec5SDimitry Andric /// Pass Manager itself does not invalidate any analysis info.
getAnalysisUsage(AnalysisUsage & Info) const770b57cec5SDimitry Andric void getAnalysisUsage(AnalysisUsage &Info) const override {
780b57cec5SDimitry Andric // CGPassManager walks SCC and it needs CallGraph.
790b57cec5SDimitry Andric Info.addRequired<CallGraphWrapperPass>();
800b57cec5SDimitry Andric Info.setPreservesAll();
810b57cec5SDimitry Andric }
820b57cec5SDimitry Andric
getPassName() const830b57cec5SDimitry Andric StringRef getPassName() const override { return "CallGraph Pass Manager"; }
840b57cec5SDimitry Andric
getAsPMDataManager()850b57cec5SDimitry Andric PMDataManager *getAsPMDataManager() override { return this; }
getAsPass()860b57cec5SDimitry Andric Pass *getAsPass() override { return this; }
870b57cec5SDimitry Andric
880b57cec5SDimitry Andric // Print passes managed by this manager
dumpPassStructure(unsigned Offset)890b57cec5SDimitry Andric void dumpPassStructure(unsigned Offset) override {
900b57cec5SDimitry Andric errs().indent(Offset*2) << "Call Graph SCC Pass Manager\n";
910b57cec5SDimitry Andric for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
920b57cec5SDimitry Andric Pass *P = getContainedPass(Index);
930b57cec5SDimitry Andric P->dumpPassStructure(Offset + 1);
940b57cec5SDimitry Andric dumpLastUses(P, Offset+1);
950b57cec5SDimitry Andric }
960b57cec5SDimitry Andric }
970b57cec5SDimitry Andric
getContainedPass(unsigned N)980b57cec5SDimitry Andric Pass *getContainedPass(unsigned N) {
990b57cec5SDimitry Andric assert(N < PassVector.size() && "Pass number out of range!");
1000b57cec5SDimitry Andric return static_cast<Pass *>(PassVector[N]);
1010b57cec5SDimitry Andric }
1020b57cec5SDimitry Andric
getPassManagerType() const1030b57cec5SDimitry Andric PassManagerType getPassManagerType() const override {
1040b57cec5SDimitry Andric return PMT_CallGraphPassManager;
1050b57cec5SDimitry Andric }
1060b57cec5SDimitry Andric
1070b57cec5SDimitry Andric private:
1080b57cec5SDimitry Andric bool RunAllPassesOnSCC(CallGraphSCC &CurSCC, CallGraph &CG,
1090b57cec5SDimitry Andric bool &DevirtualizedCall);
1100b57cec5SDimitry Andric
1110b57cec5SDimitry Andric bool RunPassOnSCC(Pass *P, CallGraphSCC &CurSCC,
1120b57cec5SDimitry Andric CallGraph &CG, bool &CallGraphUpToDate,
1130b57cec5SDimitry Andric bool &DevirtualizedCall);
1140b57cec5SDimitry Andric bool RefreshCallGraph(const CallGraphSCC &CurSCC, CallGraph &CG,
1150b57cec5SDimitry Andric bool IsCheckingMode);
1160b57cec5SDimitry Andric };
1170b57cec5SDimitry Andric
1180b57cec5SDimitry Andric } // end anonymous namespace.
1190b57cec5SDimitry Andric
1200b57cec5SDimitry Andric char CGPassManager::ID = 0;
1210b57cec5SDimitry Andric
RunPassOnSCC(Pass * P,CallGraphSCC & CurSCC,CallGraph & CG,bool & CallGraphUpToDate,bool & DevirtualizedCall)1220b57cec5SDimitry Andric bool CGPassManager::RunPassOnSCC(Pass *P, CallGraphSCC &CurSCC,
1230b57cec5SDimitry Andric CallGraph &CG, bool &CallGraphUpToDate,
1240b57cec5SDimitry Andric bool &DevirtualizedCall) {
1250b57cec5SDimitry Andric bool Changed = false;
1260b57cec5SDimitry Andric PMDataManager *PM = P->getAsPMDataManager();
1270b57cec5SDimitry Andric Module &M = CG.getModule();
1280b57cec5SDimitry Andric
1290b57cec5SDimitry Andric if (!PM) {
1300b57cec5SDimitry Andric CallGraphSCCPass *CGSP = (CallGraphSCCPass *)P;
1310b57cec5SDimitry Andric if (!CallGraphUpToDate) {
1320b57cec5SDimitry Andric DevirtualizedCall |= RefreshCallGraph(CurSCC, CG, false);
1330b57cec5SDimitry Andric CallGraphUpToDate = true;
1340b57cec5SDimitry Andric }
1350b57cec5SDimitry Andric
1360b57cec5SDimitry Andric {
1370b57cec5SDimitry Andric unsigned InstrCount, SCCCount = 0;
1380b57cec5SDimitry Andric StringMap<std::pair<unsigned, unsigned>> FunctionToInstrCount;
1390b57cec5SDimitry Andric bool EmitICRemark = M.shouldEmitInstrCountChangedRemark();
1400b57cec5SDimitry Andric TimeRegion PassTimer(getPassTimer(CGSP));
1410b57cec5SDimitry Andric if (EmitICRemark)
1420b57cec5SDimitry Andric InstrCount = initSizeRemarkInfo(M, FunctionToInstrCount);
1430b57cec5SDimitry Andric Changed = CGSP->runOnSCC(CurSCC);
1440b57cec5SDimitry Andric
1450b57cec5SDimitry Andric if (EmitICRemark) {
1460b57cec5SDimitry Andric // FIXME: Add getInstructionCount to CallGraphSCC.
1470b57cec5SDimitry Andric SCCCount = M.getInstructionCount();
1480b57cec5SDimitry Andric // Is there a difference in the number of instructions in the module?
1490b57cec5SDimitry Andric if (SCCCount != InstrCount) {
1500b57cec5SDimitry Andric // Yep. Emit a remark and update InstrCount.
1510b57cec5SDimitry Andric int64_t Delta =
1520b57cec5SDimitry Andric static_cast<int64_t>(SCCCount) - static_cast<int64_t>(InstrCount);
1530b57cec5SDimitry Andric emitInstrCountChangedRemark(P, M, Delta, InstrCount,
1540b57cec5SDimitry Andric FunctionToInstrCount);
1550b57cec5SDimitry Andric InstrCount = SCCCount;
1560b57cec5SDimitry Andric }
1570b57cec5SDimitry Andric }
1580b57cec5SDimitry Andric }
1590b57cec5SDimitry Andric
1600b57cec5SDimitry Andric // After the CGSCCPass is done, when assertions are enabled, use
1610b57cec5SDimitry Andric // RefreshCallGraph to verify that the callgraph was correctly updated.
1620b57cec5SDimitry Andric #ifndef NDEBUG
1630b57cec5SDimitry Andric if (Changed)
1640b57cec5SDimitry Andric RefreshCallGraph(CurSCC, CG, true);
1650b57cec5SDimitry Andric #endif
1660b57cec5SDimitry Andric
1670b57cec5SDimitry Andric return Changed;
1680b57cec5SDimitry Andric }
1690b57cec5SDimitry Andric
1700b57cec5SDimitry Andric assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
1710b57cec5SDimitry Andric "Invalid CGPassManager member");
1720b57cec5SDimitry Andric FPPassManager *FPP = (FPPassManager*)P;
1730b57cec5SDimitry Andric
1740b57cec5SDimitry Andric // Run pass P on all functions in the current SCC.
1750b57cec5SDimitry Andric for (CallGraphNode *CGN : CurSCC) {
1760b57cec5SDimitry Andric if (Function *F = CGN->getFunction()) {
1770b57cec5SDimitry Andric dumpPassInfo(P, EXECUTION_MSG, ON_FUNCTION_MSG, F->getName());
1780b57cec5SDimitry Andric {
1790b57cec5SDimitry Andric TimeRegion PassTimer(getPassTimer(FPP));
1800b57cec5SDimitry Andric Changed |= FPP->runOnFunction(*F);
1810b57cec5SDimitry Andric }
1820b57cec5SDimitry Andric F->getContext().yield();
1830b57cec5SDimitry Andric }
1840b57cec5SDimitry Andric }
1850b57cec5SDimitry Andric
1860b57cec5SDimitry Andric // The function pass(es) modified the IR, they may have clobbered the
1870b57cec5SDimitry Andric // callgraph.
1880b57cec5SDimitry Andric if (Changed && CallGraphUpToDate) {
1890b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "CGSCCPASSMGR: Pass Dirtied SCC: " << P->getPassName()
1900b57cec5SDimitry Andric << '\n');
1910b57cec5SDimitry Andric CallGraphUpToDate = false;
1920b57cec5SDimitry Andric }
1930b57cec5SDimitry Andric return Changed;
1940b57cec5SDimitry Andric }
1950b57cec5SDimitry Andric
1960b57cec5SDimitry Andric /// Scan the functions in the specified CFG and resync the
1970b57cec5SDimitry Andric /// callgraph with the call sites found in it. This is used after
1980b57cec5SDimitry Andric /// FunctionPasses have potentially munged the callgraph, and can be used after
1990b57cec5SDimitry Andric /// CallGraphSCC passes to verify that they correctly updated the callgraph.
2000b57cec5SDimitry Andric ///
2010b57cec5SDimitry Andric /// This function returns true if it devirtualized an existing function call,
2020b57cec5SDimitry Andric /// meaning it turned an indirect call into a direct call. This happens when
2030b57cec5SDimitry Andric /// a function pass like GVN optimizes away stuff feeding the indirect call.
2040b57cec5SDimitry Andric /// This never happens in checking mode.
RefreshCallGraph(const CallGraphSCC & CurSCC,CallGraph & CG,bool CheckingMode)2050b57cec5SDimitry Andric bool CGPassManager::RefreshCallGraph(const CallGraphSCC &CurSCC, CallGraph &CG,
2060b57cec5SDimitry Andric bool CheckingMode) {
2070b57cec5SDimitry Andric DenseMap<Value *, CallGraphNode *> Calls;
2080b57cec5SDimitry Andric
2090b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "CGSCCPASSMGR: Refreshing SCC with " << CurSCC.size()
2100b57cec5SDimitry Andric << " nodes:\n";
2110b57cec5SDimitry Andric for (CallGraphNode *CGN
2120b57cec5SDimitry Andric : CurSCC) CGN->dump(););
2130b57cec5SDimitry Andric
2140b57cec5SDimitry Andric bool MadeChange = false;
2150b57cec5SDimitry Andric bool DevirtualizedCall = false;
2160b57cec5SDimitry Andric
2170b57cec5SDimitry Andric // Scan all functions in the SCC.
2180b57cec5SDimitry Andric unsigned FunctionNo = 0;
2190b57cec5SDimitry Andric for (CallGraphSCC::iterator SCCIdx = CurSCC.begin(), E = CurSCC.end();
2200b57cec5SDimitry Andric SCCIdx != E; ++SCCIdx, ++FunctionNo) {
2210b57cec5SDimitry Andric CallGraphNode *CGN = *SCCIdx;
2220b57cec5SDimitry Andric Function *F = CGN->getFunction();
2230b57cec5SDimitry Andric if (!F || F->isDeclaration()) continue;
2240b57cec5SDimitry Andric
2250b57cec5SDimitry Andric // Walk the function body looking for call sites. Sync up the call sites in
2260b57cec5SDimitry Andric // CGN with those actually in the function.
2270b57cec5SDimitry Andric
2280b57cec5SDimitry Andric // Keep track of the number of direct and indirect calls that were
2290b57cec5SDimitry Andric // invalidated and removed.
2300b57cec5SDimitry Andric unsigned NumDirectRemoved = 0, NumIndirectRemoved = 0;
2310b57cec5SDimitry Andric
2325ffd83dbSDimitry Andric CallGraphNode::iterator CGNEnd = CGN->end();
2335ffd83dbSDimitry Andric
2345ffd83dbSDimitry Andric auto RemoveAndCheckForDone = [&](CallGraphNode::iterator I) {
2355ffd83dbSDimitry Andric // Just remove the edge from the set of callees, keep track of whether
2365ffd83dbSDimitry Andric // I points to the last element of the vector.
2375ffd83dbSDimitry Andric bool WasLast = I + 1 == CGNEnd;
2385ffd83dbSDimitry Andric CGN->removeCallEdge(I);
2395ffd83dbSDimitry Andric
2405ffd83dbSDimitry Andric // If I pointed to the last element of the vector, we have to bail out:
2415ffd83dbSDimitry Andric // iterator checking rejects comparisons of the resultant pointer with
2425ffd83dbSDimitry Andric // end.
2435ffd83dbSDimitry Andric if (WasLast)
2445ffd83dbSDimitry Andric return true;
2455ffd83dbSDimitry Andric
2465ffd83dbSDimitry Andric CGNEnd = CGN->end();
2475ffd83dbSDimitry Andric return false;
2485ffd83dbSDimitry Andric };
2495ffd83dbSDimitry Andric
2500b57cec5SDimitry Andric // Get the set of call sites currently in the function.
2515ffd83dbSDimitry Andric for (CallGraphNode::iterator I = CGN->begin(); I != CGNEnd;) {
2525ffd83dbSDimitry Andric // Delete "reference" call records that do not have call instruction. We
2535ffd83dbSDimitry Andric // reinsert them as needed later. However, keep them in checking mode.
2545ffd83dbSDimitry Andric if (!I->first) {
2555ffd83dbSDimitry Andric if (CheckingMode) {
2565ffd83dbSDimitry Andric ++I;
2575ffd83dbSDimitry Andric continue;
2585ffd83dbSDimitry Andric }
2595ffd83dbSDimitry Andric if (RemoveAndCheckForDone(I))
2605ffd83dbSDimitry Andric break;
2615ffd83dbSDimitry Andric continue;
2625ffd83dbSDimitry Andric }
2635ffd83dbSDimitry Andric
2640b57cec5SDimitry Andric // If this call site is null, then the function pass deleted the call
2650b57cec5SDimitry Andric // entirely and the WeakTrackingVH nulled it out.
2665ffd83dbSDimitry Andric auto *Call = dyn_cast_or_null<CallBase>(*I->first);
2675ffd83dbSDimitry Andric if (!Call ||
2680b57cec5SDimitry Andric // If we've already seen this call site, then the FunctionPass RAUW'd
2690b57cec5SDimitry Andric // one call with another, which resulted in two "uses" in the edge
2700b57cec5SDimitry Andric // list of the same call.
271bdd1243dSDimitry Andric Calls.count(Call)) {
2720b57cec5SDimitry Andric assert(!CheckingMode &&
2730b57cec5SDimitry Andric "CallGraphSCCPass did not update the CallGraph correctly!");
2740b57cec5SDimitry Andric
2750b57cec5SDimitry Andric // If this was an indirect call site, count it.
2760b57cec5SDimitry Andric if (!I->second->getFunction())
2770b57cec5SDimitry Andric ++NumIndirectRemoved;
2780b57cec5SDimitry Andric else
2790b57cec5SDimitry Andric ++NumDirectRemoved;
2800b57cec5SDimitry Andric
2815ffd83dbSDimitry Andric if (RemoveAndCheckForDone(I))
2820b57cec5SDimitry Andric break;
2830b57cec5SDimitry Andric continue;
2840b57cec5SDimitry Andric }
2850b57cec5SDimitry Andric
2865ffd83dbSDimitry Andric assert(!Calls.count(Call) && "Call site occurs in node multiple times");
2870b57cec5SDimitry Andric
2880b57cec5SDimitry Andric if (Call) {
2890b57cec5SDimitry Andric Function *Callee = Call->getCalledFunction();
2900b57cec5SDimitry Andric // Ignore intrinsics because they're not really function calls.
2910b57cec5SDimitry Andric if (!Callee || !(Callee->isIntrinsic()))
2925ffd83dbSDimitry Andric Calls.insert(std::make_pair(Call, I->second));
2930b57cec5SDimitry Andric }
2940b57cec5SDimitry Andric ++I;
2950b57cec5SDimitry Andric }
2960b57cec5SDimitry Andric
2970b57cec5SDimitry Andric // Loop over all of the instructions in the function, getting the callsites.
2980b57cec5SDimitry Andric // Keep track of the number of direct/indirect calls added.
2990b57cec5SDimitry Andric unsigned NumDirectAdded = 0, NumIndirectAdded = 0;
3000b57cec5SDimitry Andric
3010b57cec5SDimitry Andric for (BasicBlock &BB : *F)
3020b57cec5SDimitry Andric for (Instruction &I : BB) {
3030b57cec5SDimitry Andric auto *Call = dyn_cast<CallBase>(&I);
3040b57cec5SDimitry Andric if (!Call)
3050b57cec5SDimitry Andric continue;
3060b57cec5SDimitry Andric Function *Callee = Call->getCalledFunction();
3070b57cec5SDimitry Andric if (Callee && Callee->isIntrinsic())
3080b57cec5SDimitry Andric continue;
3090b57cec5SDimitry Andric
3105ffd83dbSDimitry Andric // If we are not in checking mode, insert potential callback calls as
3115ffd83dbSDimitry Andric // references. This is not a requirement but helps to iterate over the
3125ffd83dbSDimitry Andric // functions in the right order.
3135ffd83dbSDimitry Andric if (!CheckingMode) {
3145ffd83dbSDimitry Andric forEachCallbackFunction(*Call, [&](Function *CB) {
3155ffd83dbSDimitry Andric CGN->addCalledFunction(nullptr, CG.getOrInsertFunction(CB));
3165ffd83dbSDimitry Andric });
3175ffd83dbSDimitry Andric }
3185ffd83dbSDimitry Andric
3190b57cec5SDimitry Andric // If this call site already existed in the callgraph, just verify it
3200b57cec5SDimitry Andric // matches up to expectations and remove it from Calls.
3210b57cec5SDimitry Andric DenseMap<Value *, CallGraphNode *>::iterator ExistingIt =
3220b57cec5SDimitry Andric Calls.find(Call);
3230b57cec5SDimitry Andric if (ExistingIt != Calls.end()) {
3240b57cec5SDimitry Andric CallGraphNode *ExistingNode = ExistingIt->second;
3250b57cec5SDimitry Andric
3260b57cec5SDimitry Andric // Remove from Calls since we have now seen it.
3270b57cec5SDimitry Andric Calls.erase(ExistingIt);
3280b57cec5SDimitry Andric
3290b57cec5SDimitry Andric // Verify that the callee is right.
3300b57cec5SDimitry Andric if (ExistingNode->getFunction() == Call->getCalledFunction())
3310b57cec5SDimitry Andric continue;
3320b57cec5SDimitry Andric
3330b57cec5SDimitry Andric // If we are in checking mode, we are not allowed to actually mutate
3340b57cec5SDimitry Andric // the callgraph. If this is a case where we can infer that the
3350b57cec5SDimitry Andric // callgraph is less precise than it could be (e.g. an indirect call
3360b57cec5SDimitry Andric // site could be turned direct), don't reject it in checking mode, and
3370b57cec5SDimitry Andric // don't tweak it to be more precise.
3380b57cec5SDimitry Andric if (CheckingMode && Call->getCalledFunction() &&
3390b57cec5SDimitry Andric ExistingNode->getFunction() == nullptr)
3400b57cec5SDimitry Andric continue;
3410b57cec5SDimitry Andric
3420b57cec5SDimitry Andric assert(!CheckingMode &&
3430b57cec5SDimitry Andric "CallGraphSCCPass did not update the CallGraph correctly!");
3440b57cec5SDimitry Andric
3450b57cec5SDimitry Andric // If not, we either went from a direct call to indirect, indirect to
3460b57cec5SDimitry Andric // direct, or direct to different direct.
3470b57cec5SDimitry Andric CallGraphNode *CalleeNode;
3480b57cec5SDimitry Andric if (Function *Callee = Call->getCalledFunction()) {
3490b57cec5SDimitry Andric CalleeNode = CG.getOrInsertFunction(Callee);
3500b57cec5SDimitry Andric // Keep track of whether we turned an indirect call into a direct
3510b57cec5SDimitry Andric // one.
3520b57cec5SDimitry Andric if (!ExistingNode->getFunction()) {
3530b57cec5SDimitry Andric DevirtualizedCall = true;
3540b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " CGSCCPASSMGR: Devirtualized call to '"
3550b57cec5SDimitry Andric << Callee->getName() << "'\n");
3560b57cec5SDimitry Andric }
3570b57cec5SDimitry Andric } else {
3580b57cec5SDimitry Andric CalleeNode = CG.getCallsExternalNode();
3590b57cec5SDimitry Andric }
3600b57cec5SDimitry Andric
3610b57cec5SDimitry Andric // Update the edge target in CGN.
3620b57cec5SDimitry Andric CGN->replaceCallEdge(*Call, *Call, CalleeNode);
3630b57cec5SDimitry Andric MadeChange = true;
3640b57cec5SDimitry Andric continue;
3650b57cec5SDimitry Andric }
3660b57cec5SDimitry Andric
3670b57cec5SDimitry Andric assert(!CheckingMode &&
3680b57cec5SDimitry Andric "CallGraphSCCPass did not update the CallGraph correctly!");
3690b57cec5SDimitry Andric
3700b57cec5SDimitry Andric // If the call site didn't exist in the CGN yet, add it.
3710b57cec5SDimitry Andric CallGraphNode *CalleeNode;
3720b57cec5SDimitry Andric if (Function *Callee = Call->getCalledFunction()) {
3730b57cec5SDimitry Andric CalleeNode = CG.getOrInsertFunction(Callee);
3740b57cec5SDimitry Andric ++NumDirectAdded;
3750b57cec5SDimitry Andric } else {
3760b57cec5SDimitry Andric CalleeNode = CG.getCallsExternalNode();
3770b57cec5SDimitry Andric ++NumIndirectAdded;
3780b57cec5SDimitry Andric }
3790b57cec5SDimitry Andric
3800b57cec5SDimitry Andric CGN->addCalledFunction(Call, CalleeNode);
3810b57cec5SDimitry Andric MadeChange = true;
3820b57cec5SDimitry Andric }
3830b57cec5SDimitry Andric
3840b57cec5SDimitry Andric // We scanned the old callgraph node, removing invalidated call sites and
3850b57cec5SDimitry Andric // then added back newly found call sites. One thing that can happen is
3860b57cec5SDimitry Andric // that an old indirect call site was deleted and replaced with a new direct
3870b57cec5SDimitry Andric // call. In this case, we have devirtualized a call, and CGSCCPM would like
3880b57cec5SDimitry Andric // to iteratively optimize the new code. Unfortunately, we don't really
3890b57cec5SDimitry Andric // have a great way to detect when this happens. As an approximation, we
3900b57cec5SDimitry Andric // just look at whether the number of indirect calls is reduced and the
3910b57cec5SDimitry Andric // number of direct calls is increased. There are tons of ways to fool this
3920b57cec5SDimitry Andric // (e.g. DCE'ing an indirect call and duplicating an unrelated block with a
3930b57cec5SDimitry Andric // direct call) but this is close enough.
3940b57cec5SDimitry Andric if (NumIndirectRemoved > NumIndirectAdded &&
3950b57cec5SDimitry Andric NumDirectRemoved < NumDirectAdded)
3960b57cec5SDimitry Andric DevirtualizedCall = true;
3970b57cec5SDimitry Andric
3980b57cec5SDimitry Andric // After scanning this function, if we still have entries in callsites, then
3990b57cec5SDimitry Andric // they are dangling pointers. WeakTrackingVH should save us for this, so
4000b57cec5SDimitry Andric // abort if
4010b57cec5SDimitry Andric // this happens.
4020b57cec5SDimitry Andric assert(Calls.empty() && "Dangling pointers found in call sites map");
4030b57cec5SDimitry Andric
4040b57cec5SDimitry Andric // Periodically do an explicit clear to remove tombstones when processing
4050b57cec5SDimitry Andric // large scc's.
4060b57cec5SDimitry Andric if ((FunctionNo & 15) == 15)
4070b57cec5SDimitry Andric Calls.clear();
4080b57cec5SDimitry Andric }
4090b57cec5SDimitry Andric
4100b57cec5SDimitry Andric LLVM_DEBUG(if (MadeChange) {
4110b57cec5SDimitry Andric dbgs() << "CGSCCPASSMGR: Refreshed SCC is now:\n";
4120b57cec5SDimitry Andric for (CallGraphNode *CGN : CurSCC)
4130b57cec5SDimitry Andric CGN->dump();
4140b57cec5SDimitry Andric if (DevirtualizedCall)
4150b57cec5SDimitry Andric dbgs() << "CGSCCPASSMGR: Refresh devirtualized a call!\n";
4160b57cec5SDimitry Andric } else {
4170b57cec5SDimitry Andric dbgs() << "CGSCCPASSMGR: SCC Refresh didn't change call graph.\n";
4180b57cec5SDimitry Andric });
4190b57cec5SDimitry Andric (void)MadeChange;
4200b57cec5SDimitry Andric
4210b57cec5SDimitry Andric return DevirtualizedCall;
4220b57cec5SDimitry Andric }
4230b57cec5SDimitry Andric
4240b57cec5SDimitry Andric /// Execute the body of the entire pass manager on the specified SCC.
4250b57cec5SDimitry Andric /// This keeps track of whether a function pass devirtualizes
4260b57cec5SDimitry Andric /// any calls and returns it in DevirtualizedCall.
RunAllPassesOnSCC(CallGraphSCC & CurSCC,CallGraph & CG,bool & DevirtualizedCall)4270b57cec5SDimitry Andric bool CGPassManager::RunAllPassesOnSCC(CallGraphSCC &CurSCC, CallGraph &CG,
4280b57cec5SDimitry Andric bool &DevirtualizedCall) {
4290b57cec5SDimitry Andric bool Changed = false;
4300b57cec5SDimitry Andric
4310b57cec5SDimitry Andric // Keep track of whether the callgraph is known to be up-to-date or not.
4320b57cec5SDimitry Andric // The CGSSC pass manager runs two types of passes:
4330b57cec5SDimitry Andric // CallGraphSCC Passes and other random function passes. Because other
4340b57cec5SDimitry Andric // random function passes are not CallGraph aware, they may clobber the
4350b57cec5SDimitry Andric // call graph by introducing new calls or deleting other ones. This flag
4360b57cec5SDimitry Andric // is set to false when we run a function pass so that we know to clean up
4370b57cec5SDimitry Andric // the callgraph when we need to run a CGSCCPass again.
4380b57cec5SDimitry Andric bool CallGraphUpToDate = true;
4390b57cec5SDimitry Andric
4400b57cec5SDimitry Andric // Run all passes on current SCC.
4410b57cec5SDimitry Andric for (unsigned PassNo = 0, e = getNumContainedPasses();
4420b57cec5SDimitry Andric PassNo != e; ++PassNo) {
4430b57cec5SDimitry Andric Pass *P = getContainedPass(PassNo);
4440b57cec5SDimitry Andric
4450b57cec5SDimitry Andric // If we're in -debug-pass=Executions mode, construct the SCC node list,
4460b57cec5SDimitry Andric // otherwise avoid constructing this string as it is expensive.
4470b57cec5SDimitry Andric if (isPassDebuggingExecutionsOrMore()) {
4480b57cec5SDimitry Andric std::string Functions;
4490b57cec5SDimitry Andric #ifndef NDEBUG
4500b57cec5SDimitry Andric raw_string_ostream OS(Functions);
451fe6060f1SDimitry Andric ListSeparator LS;
452fe6060f1SDimitry Andric for (const CallGraphNode *CGN : CurSCC) {
453fe6060f1SDimitry Andric OS << LS;
454fe6060f1SDimitry Andric CGN->print(OS);
4550b57cec5SDimitry Andric }
4560b57cec5SDimitry Andric OS.flush();
4570b57cec5SDimitry Andric #endif
4580b57cec5SDimitry Andric dumpPassInfo(P, EXECUTION_MSG, ON_CG_MSG, Functions);
4590b57cec5SDimitry Andric }
4600b57cec5SDimitry Andric dumpRequiredSet(P);
4610b57cec5SDimitry Andric
4620b57cec5SDimitry Andric initializeAnalysisImpl(P);
4630b57cec5SDimitry Andric
464e8d8bef9SDimitry Andric #ifdef EXPENSIVE_CHECKS
46581ad6265SDimitry Andric uint64_t RefHash = P->structuralHash(CG.getModule());
466e8d8bef9SDimitry Andric #endif
4670b57cec5SDimitry Andric
468e8d8bef9SDimitry Andric // Actually run this pass on the current SCC.
469e8d8bef9SDimitry Andric bool LocalChanged =
470e8d8bef9SDimitry Andric RunPassOnSCC(P, CurSCC, CG, CallGraphUpToDate, DevirtualizedCall);
471e8d8bef9SDimitry Andric
472e8d8bef9SDimitry Andric Changed |= LocalChanged;
473e8d8bef9SDimitry Andric
474e8d8bef9SDimitry Andric #ifdef EXPENSIVE_CHECKS
47581ad6265SDimitry Andric if (!LocalChanged && (RefHash != P->structuralHash(CG.getModule()))) {
476e8d8bef9SDimitry Andric llvm::errs() << "Pass modifies its input and doesn't report it: "
477e8d8bef9SDimitry Andric << P->getPassName() << "\n";
478e8d8bef9SDimitry Andric llvm_unreachable("Pass modifies its input and doesn't report it");
479e8d8bef9SDimitry Andric }
480e8d8bef9SDimitry Andric #endif
481e8d8bef9SDimitry Andric if (LocalChanged)
4820b57cec5SDimitry Andric dumpPassInfo(P, MODIFICATION_MSG, ON_CG_MSG, "");
4830b57cec5SDimitry Andric dumpPreservedSet(P);
4840b57cec5SDimitry Andric
4850b57cec5SDimitry Andric verifyPreservedAnalysis(P);
486e8d8bef9SDimitry Andric if (LocalChanged)
4870b57cec5SDimitry Andric removeNotPreservedAnalysis(P);
4880b57cec5SDimitry Andric recordAvailableAnalysis(P);
4890b57cec5SDimitry Andric removeDeadPasses(P, "", ON_CG_MSG);
4900b57cec5SDimitry Andric }
4910b57cec5SDimitry Andric
4920b57cec5SDimitry Andric // If the callgraph was left out of date (because the last pass run was a
4930b57cec5SDimitry Andric // functionpass), refresh it before we move on to the next SCC.
4940b57cec5SDimitry Andric if (!CallGraphUpToDate)
4950b57cec5SDimitry Andric DevirtualizedCall |= RefreshCallGraph(CurSCC, CG, false);
4960b57cec5SDimitry Andric return Changed;
4970b57cec5SDimitry Andric }
4980b57cec5SDimitry Andric
4990b57cec5SDimitry Andric /// Execute all of the passes scheduled for execution. Keep track of
5000b57cec5SDimitry Andric /// whether any of the passes modifies the module, and if so, return true.
runOnModule(Module & M)5010b57cec5SDimitry Andric bool CGPassManager::runOnModule(Module &M) {
5020b57cec5SDimitry Andric CallGraph &CG = getAnalysis<CallGraphWrapperPass>().getCallGraph();
5030b57cec5SDimitry Andric bool Changed = doInitialization(CG);
5040b57cec5SDimitry Andric
5050b57cec5SDimitry Andric // Walk the callgraph in bottom-up SCC order.
5060b57cec5SDimitry Andric scc_iterator<CallGraph*> CGI = scc_begin(&CG);
5070b57cec5SDimitry Andric
5080b57cec5SDimitry Andric CallGraphSCC CurSCC(CG, &CGI);
5090b57cec5SDimitry Andric while (!CGI.isAtEnd()) {
5100b57cec5SDimitry Andric // Copy the current SCC and increment past it so that the pass can hack
5110b57cec5SDimitry Andric // on the SCC if it wants to without invalidating our iterator.
5120b57cec5SDimitry Andric const std::vector<CallGraphNode *> &NodeVec = *CGI;
5130b57cec5SDimitry Andric CurSCC.initialize(NodeVec);
5140b57cec5SDimitry Andric ++CGI;
5150b57cec5SDimitry Andric
5160b57cec5SDimitry Andric // At the top level, we run all the passes in this pass manager on the
5170b57cec5SDimitry Andric // functions in this SCC. However, we support iterative compilation in the
5180b57cec5SDimitry Andric // case where a function pass devirtualizes a call to a function. For
5190b57cec5SDimitry Andric // example, it is very common for a function pass (often GVN or instcombine)
5200b57cec5SDimitry Andric // to eliminate the addressing that feeds into a call. With that improved
5210b57cec5SDimitry Andric // information, we would like the call to be an inline candidate, infer
5220b57cec5SDimitry Andric // mod-ref information etc.
5230b57cec5SDimitry Andric //
5240b57cec5SDimitry Andric // Because of this, we allow iteration up to a specified iteration count.
5250b57cec5SDimitry Andric // This only happens in the case of a devirtualized call, so we only burn
5260b57cec5SDimitry Andric // compile time in the case that we're making progress. We also have a hard
5270b57cec5SDimitry Andric // iteration count limit in case there is crazy code.
5280b57cec5SDimitry Andric unsigned Iteration = 0;
5290b57cec5SDimitry Andric bool DevirtualizedCall = false;
5300b57cec5SDimitry Andric do {
5310b57cec5SDimitry Andric LLVM_DEBUG(if (Iteration) dbgs()
5320b57cec5SDimitry Andric << " SCCPASSMGR: Re-visiting SCC, iteration #" << Iteration
5330b57cec5SDimitry Andric << '\n');
5340b57cec5SDimitry Andric DevirtualizedCall = false;
5350b57cec5SDimitry Andric Changed |= RunAllPassesOnSCC(CurSCC, CG, DevirtualizedCall);
536e8d8bef9SDimitry Andric } while (Iteration++ < MaxDevirtIterations && DevirtualizedCall);
5370b57cec5SDimitry Andric
5380b57cec5SDimitry Andric if (DevirtualizedCall)
5390b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " CGSCCPASSMGR: Stopped iteration after "
5400b57cec5SDimitry Andric << Iteration
541e8d8bef9SDimitry Andric << " times, due to -max-devirt-iterations\n");
5420b57cec5SDimitry Andric
5430b57cec5SDimitry Andric MaxSCCIterations.updateMax(Iteration);
5440b57cec5SDimitry Andric }
5450b57cec5SDimitry Andric Changed |= doFinalization(CG);
5460b57cec5SDimitry Andric return Changed;
5470b57cec5SDimitry Andric }
5480b57cec5SDimitry Andric
5490b57cec5SDimitry Andric /// Initialize CG
doInitialization(CallGraph & CG)5500b57cec5SDimitry Andric bool CGPassManager::doInitialization(CallGraph &CG) {
5510b57cec5SDimitry Andric bool Changed = false;
5520b57cec5SDimitry Andric for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
5530b57cec5SDimitry Andric if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
5540b57cec5SDimitry Andric assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
5550b57cec5SDimitry Andric "Invalid CGPassManager member");
5560b57cec5SDimitry Andric Changed |= ((FPPassManager*)PM)->doInitialization(CG.getModule());
5570b57cec5SDimitry Andric } else {
5580b57cec5SDimitry Andric Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doInitialization(CG);
5590b57cec5SDimitry Andric }
5600b57cec5SDimitry Andric }
5610b57cec5SDimitry Andric return Changed;
5620b57cec5SDimitry Andric }
5630b57cec5SDimitry Andric
5640b57cec5SDimitry Andric /// Finalize CG
doFinalization(CallGraph & CG)5650b57cec5SDimitry Andric bool CGPassManager::doFinalization(CallGraph &CG) {
5660b57cec5SDimitry Andric bool Changed = false;
5670b57cec5SDimitry Andric for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
5680b57cec5SDimitry Andric if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
5690b57cec5SDimitry Andric assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
5700b57cec5SDimitry Andric "Invalid CGPassManager member");
5710b57cec5SDimitry Andric Changed |= ((FPPassManager*)PM)->doFinalization(CG.getModule());
5720b57cec5SDimitry Andric } else {
5730b57cec5SDimitry Andric Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doFinalization(CG);
5740b57cec5SDimitry Andric }
5750b57cec5SDimitry Andric }
5760b57cec5SDimitry Andric return Changed;
5770b57cec5SDimitry Andric }
5780b57cec5SDimitry Andric
5790b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
5800b57cec5SDimitry Andric // CallGraphSCC Implementation
5810b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
5820b57cec5SDimitry Andric
5830b57cec5SDimitry Andric /// This informs the SCC and the pass manager that the specified
5840b57cec5SDimitry Andric /// Old node has been deleted, and New is to be used in its place.
ReplaceNode(CallGraphNode * Old,CallGraphNode * New)5850b57cec5SDimitry Andric void CallGraphSCC::ReplaceNode(CallGraphNode *Old, CallGraphNode *New) {
5860b57cec5SDimitry Andric assert(Old != New && "Should not replace node with self");
5870b57cec5SDimitry Andric for (unsigned i = 0; ; ++i) {
5880b57cec5SDimitry Andric assert(i != Nodes.size() && "Node not in SCC");
5890b57cec5SDimitry Andric if (Nodes[i] != Old) continue;
5905ffd83dbSDimitry Andric if (New)
5910b57cec5SDimitry Andric Nodes[i] = New;
5925ffd83dbSDimitry Andric else
5935ffd83dbSDimitry Andric Nodes.erase(Nodes.begin() + i);
5940b57cec5SDimitry Andric break;
5950b57cec5SDimitry Andric }
5960b57cec5SDimitry Andric
5970b57cec5SDimitry Andric // Update the active scc_iterator so that it doesn't contain dangling
5980b57cec5SDimitry Andric // pointers to the old CallGraphNode.
5990b57cec5SDimitry Andric scc_iterator<CallGraph*> *CGI = (scc_iterator<CallGraph*>*)Context;
6000b57cec5SDimitry Andric CGI->ReplaceNode(Old, New);
6010b57cec5SDimitry Andric }
6020b57cec5SDimitry Andric
DeleteNode(CallGraphNode * Old)6035ffd83dbSDimitry Andric void CallGraphSCC::DeleteNode(CallGraphNode *Old) {
6045ffd83dbSDimitry Andric ReplaceNode(Old, /*New=*/nullptr);
6055ffd83dbSDimitry Andric }
6065ffd83dbSDimitry Andric
6070b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
6080b57cec5SDimitry Andric // CallGraphSCCPass Implementation
6090b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
6100b57cec5SDimitry Andric
6110b57cec5SDimitry Andric /// Assign pass manager to manage this pass.
assignPassManager(PMStack & PMS,PassManagerType PreferredType)6120b57cec5SDimitry Andric void CallGraphSCCPass::assignPassManager(PMStack &PMS,
6130b57cec5SDimitry Andric PassManagerType PreferredType) {
6140b57cec5SDimitry Andric // Find CGPassManager
6150b57cec5SDimitry Andric while (!PMS.empty() &&
6160b57cec5SDimitry Andric PMS.top()->getPassManagerType() > PMT_CallGraphPassManager)
6170b57cec5SDimitry Andric PMS.pop();
6180b57cec5SDimitry Andric
6190b57cec5SDimitry Andric assert(!PMS.empty() && "Unable to handle Call Graph Pass");
6200b57cec5SDimitry Andric CGPassManager *CGP;
6210b57cec5SDimitry Andric
6220b57cec5SDimitry Andric if (PMS.top()->getPassManagerType() == PMT_CallGraphPassManager)
6230b57cec5SDimitry Andric CGP = (CGPassManager*)PMS.top();
6240b57cec5SDimitry Andric else {
6250b57cec5SDimitry Andric // Create new Call Graph SCC Pass Manager if it does not exist.
6260b57cec5SDimitry Andric assert(!PMS.empty() && "Unable to create Call Graph Pass Manager");
6270b57cec5SDimitry Andric PMDataManager *PMD = PMS.top();
6280b57cec5SDimitry Andric
6290b57cec5SDimitry Andric // [1] Create new Call Graph Pass Manager
6300b57cec5SDimitry Andric CGP = new CGPassManager();
6310b57cec5SDimitry Andric
6320b57cec5SDimitry Andric // [2] Set up new manager's top level manager
6330b57cec5SDimitry Andric PMTopLevelManager *TPM = PMD->getTopLevelManager();
6340b57cec5SDimitry Andric TPM->addIndirectPassManager(CGP);
6350b57cec5SDimitry Andric
6360b57cec5SDimitry Andric // [3] Assign manager to manage this new manager. This may create
6370b57cec5SDimitry Andric // and push new managers into PMS
6380b57cec5SDimitry Andric Pass *P = CGP;
6390b57cec5SDimitry Andric TPM->schedulePass(P);
6400b57cec5SDimitry Andric
6410b57cec5SDimitry Andric // [4] Push new manager into PMS
6420b57cec5SDimitry Andric PMS.push(CGP);
6430b57cec5SDimitry Andric }
6440b57cec5SDimitry Andric
6450b57cec5SDimitry Andric CGP->add(this);
6460b57cec5SDimitry Andric }
6470b57cec5SDimitry Andric
6480b57cec5SDimitry Andric /// For this class, we declare that we require and preserve the call graph.
6490b57cec5SDimitry Andric /// If the derived class implements this method, it should
6500b57cec5SDimitry Andric /// always explicitly call the implementation here.
getAnalysisUsage(AnalysisUsage & AU) const6510b57cec5SDimitry Andric void CallGraphSCCPass::getAnalysisUsage(AnalysisUsage &AU) const {
6520b57cec5SDimitry Andric AU.addRequired<CallGraphWrapperPass>();
6530b57cec5SDimitry Andric AU.addPreserved<CallGraphWrapperPass>();
6540b57cec5SDimitry Andric }
6550b57cec5SDimitry Andric
6560b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
6570b57cec5SDimitry Andric // PrintCallGraphPass Implementation
6580b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
6590b57cec5SDimitry Andric
6600b57cec5SDimitry Andric namespace {
6610b57cec5SDimitry Andric
6620b57cec5SDimitry Andric /// PrintCallGraphPass - Print a Module corresponding to a call graph.
6630b57cec5SDimitry Andric ///
6640b57cec5SDimitry Andric class PrintCallGraphPass : public CallGraphSCCPass {
6650b57cec5SDimitry Andric std::string Banner;
6660b57cec5SDimitry Andric raw_ostream &OS; // raw_ostream to print on.
6670b57cec5SDimitry Andric
6680b57cec5SDimitry Andric public:
6690b57cec5SDimitry Andric static char ID;
6700b57cec5SDimitry Andric
PrintCallGraphPass(const std::string & B,raw_ostream & OS)6710b57cec5SDimitry Andric PrintCallGraphPass(const std::string &B, raw_ostream &OS)
6720b57cec5SDimitry Andric : CallGraphSCCPass(ID), Banner(B), OS(OS) {}
6730b57cec5SDimitry Andric
getAnalysisUsage(AnalysisUsage & AU) const6740b57cec5SDimitry Andric void getAnalysisUsage(AnalysisUsage &AU) const override {
6750b57cec5SDimitry Andric AU.setPreservesAll();
6760b57cec5SDimitry Andric }
6770b57cec5SDimitry Andric
runOnSCC(CallGraphSCC & SCC)6780b57cec5SDimitry Andric bool runOnSCC(CallGraphSCC &SCC) override {
6790b57cec5SDimitry Andric bool BannerPrinted = false;
6800b57cec5SDimitry Andric auto PrintBannerOnce = [&]() {
6810b57cec5SDimitry Andric if (BannerPrinted)
6820b57cec5SDimitry Andric return;
6830b57cec5SDimitry Andric OS << Banner;
6840b57cec5SDimitry Andric BannerPrinted = true;
6850b57cec5SDimitry Andric };
6860b57cec5SDimitry Andric
6870b57cec5SDimitry Andric bool NeedModule = llvm::forcePrintModuleIR();
6880b57cec5SDimitry Andric if (isFunctionInPrintList("*") && NeedModule) {
6890b57cec5SDimitry Andric PrintBannerOnce();
6900b57cec5SDimitry Andric OS << "\n";
6910b57cec5SDimitry Andric SCC.getCallGraph().getModule().print(OS, nullptr);
6920b57cec5SDimitry Andric return false;
6930b57cec5SDimitry Andric }
6940b57cec5SDimitry Andric bool FoundFunction = false;
6950b57cec5SDimitry Andric for (CallGraphNode *CGN : SCC) {
6960b57cec5SDimitry Andric if (Function *F = CGN->getFunction()) {
6970b57cec5SDimitry Andric if (!F->isDeclaration() && isFunctionInPrintList(F->getName())) {
6980b57cec5SDimitry Andric FoundFunction = true;
6990b57cec5SDimitry Andric if (!NeedModule) {
7000b57cec5SDimitry Andric PrintBannerOnce();
7010b57cec5SDimitry Andric F->print(OS);
7020b57cec5SDimitry Andric }
7030b57cec5SDimitry Andric }
7040b57cec5SDimitry Andric } else if (isFunctionInPrintList("*")) {
7050b57cec5SDimitry Andric PrintBannerOnce();
7060b57cec5SDimitry Andric OS << "\nPrinting <null> Function\n";
7070b57cec5SDimitry Andric }
7080b57cec5SDimitry Andric }
7090b57cec5SDimitry Andric if (NeedModule && FoundFunction) {
7100b57cec5SDimitry Andric PrintBannerOnce();
7110b57cec5SDimitry Andric OS << "\n";
7120b57cec5SDimitry Andric SCC.getCallGraph().getModule().print(OS, nullptr);
7130b57cec5SDimitry Andric }
7140b57cec5SDimitry Andric return false;
7150b57cec5SDimitry Andric }
7160b57cec5SDimitry Andric
getPassName() const7170b57cec5SDimitry Andric StringRef getPassName() const override { return "Print CallGraph IR"; }
7180b57cec5SDimitry Andric };
7190b57cec5SDimitry Andric
7200b57cec5SDimitry Andric } // end anonymous namespace.
7210b57cec5SDimitry Andric
7220b57cec5SDimitry Andric char PrintCallGraphPass::ID = 0;
7230b57cec5SDimitry Andric
createPrinterPass(raw_ostream & OS,const std::string & Banner) const7240b57cec5SDimitry Andric Pass *CallGraphSCCPass::createPrinterPass(raw_ostream &OS,
7250b57cec5SDimitry Andric const std::string &Banner) const {
7260b57cec5SDimitry Andric return new PrintCallGraphPass(Banner, OS);
7270b57cec5SDimitry Andric }
7280b57cec5SDimitry Andric
getDescription(const CallGraphSCC & SCC)7290b57cec5SDimitry Andric static std::string getDescription(const CallGraphSCC &SCC) {
7300b57cec5SDimitry Andric std::string Desc = "SCC (";
731fe6060f1SDimitry Andric ListSeparator LS;
7320b57cec5SDimitry Andric for (CallGraphNode *CGN : SCC) {
733fe6060f1SDimitry Andric Desc += LS;
7340b57cec5SDimitry Andric Function *F = CGN->getFunction();
7350b57cec5SDimitry Andric if (F)
7360b57cec5SDimitry Andric Desc += F->getName();
7370b57cec5SDimitry Andric else
7380b57cec5SDimitry Andric Desc += "<<null function>>";
7390b57cec5SDimitry Andric }
7400b57cec5SDimitry Andric Desc += ")";
7410b57cec5SDimitry Andric return Desc;
7420b57cec5SDimitry Andric }
7430b57cec5SDimitry Andric
skipSCC(CallGraphSCC & SCC) const7440b57cec5SDimitry Andric bool CallGraphSCCPass::skipSCC(CallGraphSCC &SCC) const {
7450b57cec5SDimitry Andric OptPassGate &Gate =
7460b57cec5SDimitry Andric SCC.getCallGraph().getModule().getContext().getOptPassGate();
747bdd1243dSDimitry Andric return Gate.isEnabled() &&
748bdd1243dSDimitry Andric !Gate.shouldRunPass(this->getPassName(), getDescription(SCC));
7490b57cec5SDimitry Andric }
7500b57cec5SDimitry Andric
7510b57cec5SDimitry Andric char DummyCGSCCPass::ID = 0;
7520b57cec5SDimitry Andric
7530b57cec5SDimitry Andric INITIALIZE_PASS(DummyCGSCCPass, "DummyCGSCCPass", "DummyCGSCCPass", false,
7540b57cec5SDimitry Andric false)
755