1d88c1a5aSDimitry Andric //===-- ImportedFunctionsInliningStats.cpp ----------------------*- C++ -*-===//
2d88c1a5aSDimitry Andric //
3d88c1a5aSDimitry Andric // The LLVM Compiler Infrastructure
4d88c1a5aSDimitry Andric //
5d88c1a5aSDimitry Andric // This file is distributed under the University of Illinois Open Source
6d88c1a5aSDimitry Andric // License. See LICENSE.TXT for details.
7d88c1a5aSDimitry Andric //
8d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===//
9d88c1a5aSDimitry Andric // Generating inliner statistics for imported functions, mostly useful for
10d88c1a5aSDimitry Andric // ThinLTO.
11d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===//
12d88c1a5aSDimitry Andric
13d88c1a5aSDimitry Andric #include "llvm/Transforms/Utils/ImportedFunctionsInliningStatistics.h"
14d88c1a5aSDimitry Andric #include "llvm/ADT/STLExtras.h"
15d88c1a5aSDimitry Andric #include "llvm/IR/Function.h"
16d88c1a5aSDimitry Andric #include "llvm/IR/Module.h"
17d88c1a5aSDimitry Andric #include "llvm/Support/Debug.h"
18d88c1a5aSDimitry Andric #include "llvm/Support/raw_ostream.h"
19d88c1a5aSDimitry Andric #include <algorithm>
20d88c1a5aSDimitry Andric #include <iomanip>
21d88c1a5aSDimitry Andric #include <sstream>
22d88c1a5aSDimitry Andric using namespace llvm;
23d88c1a5aSDimitry Andric
24d88c1a5aSDimitry Andric ImportedFunctionsInliningStatistics::InlineGraphNode &
createInlineGraphNode(const Function & F)25d88c1a5aSDimitry Andric ImportedFunctionsInliningStatistics::createInlineGraphNode(const Function &F) {
26d88c1a5aSDimitry Andric
27d88c1a5aSDimitry Andric auto &ValueLookup = NodesMap[F.getName()];
28d88c1a5aSDimitry Andric if (!ValueLookup) {
29d88c1a5aSDimitry Andric ValueLookup = llvm::make_unique<InlineGraphNode>();
30d88c1a5aSDimitry Andric ValueLookup->Imported = F.getMetadata("thinlto_src_module") != nullptr;
31d88c1a5aSDimitry Andric }
32d88c1a5aSDimitry Andric return *ValueLookup;
33d88c1a5aSDimitry Andric }
34d88c1a5aSDimitry Andric
recordInline(const Function & Caller,const Function & Callee)35d88c1a5aSDimitry Andric void ImportedFunctionsInliningStatistics::recordInline(const Function &Caller,
36d88c1a5aSDimitry Andric const Function &Callee) {
37d88c1a5aSDimitry Andric
38d88c1a5aSDimitry Andric InlineGraphNode &CallerNode = createInlineGraphNode(Caller);
39d88c1a5aSDimitry Andric InlineGraphNode &CalleeNode = createInlineGraphNode(Callee);
40d88c1a5aSDimitry Andric CalleeNode.NumberOfInlines++;
41d88c1a5aSDimitry Andric
42d88c1a5aSDimitry Andric if (!CallerNode.Imported && !CalleeNode.Imported) {
43d88c1a5aSDimitry Andric // Direct inline from not imported callee to not imported caller, so we
44d88c1a5aSDimitry Andric // don't have to add this to graph. It might be very helpful if you wanna
45d88c1a5aSDimitry Andric // get the inliner statistics in compile step where there are no imported
46d88c1a5aSDimitry Andric // functions. In this case the graph would be empty.
47d88c1a5aSDimitry Andric CalleeNode.NumberOfRealInlines++;
48d88c1a5aSDimitry Andric return;
49d88c1a5aSDimitry Andric }
50d88c1a5aSDimitry Andric
51d88c1a5aSDimitry Andric CallerNode.InlinedCallees.push_back(&CalleeNode);
52d88c1a5aSDimitry Andric if (!CallerNode.Imported) {
53d88c1a5aSDimitry Andric // We could avoid second lookup, but it would make the code ultra ugly.
54d88c1a5aSDimitry Andric auto It = NodesMap.find(Caller.getName());
55d88c1a5aSDimitry Andric assert(It != NodesMap.end() && "The node should be already there.");
56d88c1a5aSDimitry Andric // Save Caller as a starting node for traversal. The string has to be one
57d88c1a5aSDimitry Andric // from map because Caller can disappear (and function name with it).
58d88c1a5aSDimitry Andric NonImportedCallers.push_back(It->first());
59d88c1a5aSDimitry Andric }
60d88c1a5aSDimitry Andric }
61d88c1a5aSDimitry Andric
setModuleInfo(const Module & M)62d88c1a5aSDimitry Andric void ImportedFunctionsInliningStatistics::setModuleInfo(const Module &M) {
63d88c1a5aSDimitry Andric ModuleName = M.getName();
64d88c1a5aSDimitry Andric for (const auto &F : M.functions()) {
657a7e6055SDimitry Andric if (F.isDeclaration())
667a7e6055SDimitry Andric continue;
67d88c1a5aSDimitry Andric AllFunctions++;
68d88c1a5aSDimitry Andric ImportedFunctions += int(F.getMetadata("thinlto_src_module") != nullptr);
69d88c1a5aSDimitry Andric }
70d88c1a5aSDimitry Andric }
getStatString(const char * Msg,int32_t Fraction,int32_t All,const char * PercentageOfMsg,bool LineEnd=true)71d88c1a5aSDimitry Andric static std::string getStatString(const char *Msg, int32_t Fraction, int32_t All,
72d88c1a5aSDimitry Andric const char *PercentageOfMsg,
73d88c1a5aSDimitry Andric bool LineEnd = true) {
74d88c1a5aSDimitry Andric double Result = 0;
75d88c1a5aSDimitry Andric if (All != 0)
76d88c1a5aSDimitry Andric Result = 100 * static_cast<double>(Fraction) / All;
77d88c1a5aSDimitry Andric
78d88c1a5aSDimitry Andric std::stringstream Str;
79d88c1a5aSDimitry Andric Str << std::setprecision(4) << Msg << ": " << Fraction << " [" << Result
80d88c1a5aSDimitry Andric << "% of " << PercentageOfMsg << "]";
81d88c1a5aSDimitry Andric if (LineEnd)
82d88c1a5aSDimitry Andric Str << "\n";
83d88c1a5aSDimitry Andric return Str.str();
84d88c1a5aSDimitry Andric }
85d88c1a5aSDimitry Andric
dump(const bool Verbose)86d88c1a5aSDimitry Andric void ImportedFunctionsInliningStatistics::dump(const bool Verbose) {
87d88c1a5aSDimitry Andric calculateRealInlines();
88d88c1a5aSDimitry Andric NonImportedCallers.clear();
89d88c1a5aSDimitry Andric
90d88c1a5aSDimitry Andric int32_t InlinedImportedFunctionsCount = 0;
91d88c1a5aSDimitry Andric int32_t InlinedNotImportedFunctionsCount = 0;
92d88c1a5aSDimitry Andric
93d88c1a5aSDimitry Andric int32_t InlinedImportedFunctionsToImportingModuleCount = 0;
94d88c1a5aSDimitry Andric int32_t InlinedNotImportedFunctionsToImportingModuleCount = 0;
95d88c1a5aSDimitry Andric
96d88c1a5aSDimitry Andric const auto SortedNodes = getSortedNodes();
97d88c1a5aSDimitry Andric std::string Out;
98d88c1a5aSDimitry Andric Out.reserve(5000);
99d88c1a5aSDimitry Andric raw_string_ostream Ostream(Out);
100d88c1a5aSDimitry Andric
101d88c1a5aSDimitry Andric Ostream << "------- Dumping inliner stats for [" << ModuleName
102d88c1a5aSDimitry Andric << "] -------\n";
103d88c1a5aSDimitry Andric
104d88c1a5aSDimitry Andric if (Verbose)
105d88c1a5aSDimitry Andric Ostream << "-- List of inlined functions:\n";
106d88c1a5aSDimitry Andric
107d88c1a5aSDimitry Andric for (const auto &Node : SortedNodes) {
108d88c1a5aSDimitry Andric assert(Node->second->NumberOfInlines >= Node->second->NumberOfRealInlines);
109d88c1a5aSDimitry Andric if (Node->second->NumberOfInlines == 0)
110d88c1a5aSDimitry Andric continue;
111d88c1a5aSDimitry Andric
112d88c1a5aSDimitry Andric if (Node->second->Imported) {
113d88c1a5aSDimitry Andric InlinedImportedFunctionsCount++;
114d88c1a5aSDimitry Andric InlinedImportedFunctionsToImportingModuleCount +=
115d88c1a5aSDimitry Andric int(Node->second->NumberOfRealInlines > 0);
116d88c1a5aSDimitry Andric } else {
117d88c1a5aSDimitry Andric InlinedNotImportedFunctionsCount++;
118d88c1a5aSDimitry Andric InlinedNotImportedFunctionsToImportingModuleCount +=
119d88c1a5aSDimitry Andric int(Node->second->NumberOfRealInlines > 0);
120d88c1a5aSDimitry Andric }
121d88c1a5aSDimitry Andric
122d88c1a5aSDimitry Andric if (Verbose)
123d88c1a5aSDimitry Andric Ostream << "Inlined "
124d88c1a5aSDimitry Andric << (Node->second->Imported ? "imported " : "not imported ")
125d88c1a5aSDimitry Andric << "function [" << Node->first() << "]"
126d88c1a5aSDimitry Andric << ": #inlines = " << Node->second->NumberOfInlines
127d88c1a5aSDimitry Andric << ", #inlines_to_importing_module = "
128d88c1a5aSDimitry Andric << Node->second->NumberOfRealInlines << "\n";
129d88c1a5aSDimitry Andric }
130d88c1a5aSDimitry Andric
131d88c1a5aSDimitry Andric auto InlinedFunctionsCount =
132d88c1a5aSDimitry Andric InlinedImportedFunctionsCount + InlinedNotImportedFunctionsCount;
133d88c1a5aSDimitry Andric auto NotImportedFuncCount = AllFunctions - ImportedFunctions;
134d88c1a5aSDimitry Andric auto ImportedNotInlinedIntoModule =
135d88c1a5aSDimitry Andric ImportedFunctions - InlinedImportedFunctionsToImportingModuleCount;
136d88c1a5aSDimitry Andric
137d88c1a5aSDimitry Andric Ostream << "-- Summary:\n"
138d88c1a5aSDimitry Andric << "All functions: " << AllFunctions
139d88c1a5aSDimitry Andric << ", imported functions: " << ImportedFunctions << "\n"
140d88c1a5aSDimitry Andric << getStatString("inlined functions", InlinedFunctionsCount,
141d88c1a5aSDimitry Andric AllFunctions, "all functions")
142d88c1a5aSDimitry Andric << getStatString("imported functions inlined anywhere",
143d88c1a5aSDimitry Andric InlinedImportedFunctionsCount, ImportedFunctions,
144d88c1a5aSDimitry Andric "imported functions")
145d88c1a5aSDimitry Andric << getStatString("imported functions inlined into importing module",
146d88c1a5aSDimitry Andric InlinedImportedFunctionsToImportingModuleCount,
147d88c1a5aSDimitry Andric ImportedFunctions, "imported functions",
148d88c1a5aSDimitry Andric /*LineEnd=*/false)
149d88c1a5aSDimitry Andric << getStatString(", remaining", ImportedNotInlinedIntoModule,
150d88c1a5aSDimitry Andric ImportedFunctions, "imported functions")
151d88c1a5aSDimitry Andric << getStatString("non-imported functions inlined anywhere",
152d88c1a5aSDimitry Andric InlinedNotImportedFunctionsCount,
153d88c1a5aSDimitry Andric NotImportedFuncCount, "non-imported functions")
154d88c1a5aSDimitry Andric << getStatString(
155d88c1a5aSDimitry Andric "non-imported functions inlined into importing module",
156d88c1a5aSDimitry Andric InlinedNotImportedFunctionsToImportingModuleCount,
157d88c1a5aSDimitry Andric NotImportedFuncCount, "non-imported functions");
158d88c1a5aSDimitry Andric Ostream.flush();
159d88c1a5aSDimitry Andric dbgs() << Out;
160d88c1a5aSDimitry Andric }
161d88c1a5aSDimitry Andric
calculateRealInlines()162d88c1a5aSDimitry Andric void ImportedFunctionsInliningStatistics::calculateRealInlines() {
163d88c1a5aSDimitry Andric // Removing duplicated Callers.
164*b5893f02SDimitry Andric llvm::sort(NonImportedCallers);
165d88c1a5aSDimitry Andric NonImportedCallers.erase(
166d88c1a5aSDimitry Andric std::unique(NonImportedCallers.begin(), NonImportedCallers.end()),
167d88c1a5aSDimitry Andric NonImportedCallers.end());
168d88c1a5aSDimitry Andric
169d88c1a5aSDimitry Andric for (const auto &Name : NonImportedCallers) {
170d88c1a5aSDimitry Andric auto &Node = *NodesMap[Name];
171d88c1a5aSDimitry Andric if (!Node.Visited)
172d88c1a5aSDimitry Andric dfs(Node);
173d88c1a5aSDimitry Andric }
174d88c1a5aSDimitry Andric }
175d88c1a5aSDimitry Andric
dfs(InlineGraphNode & GraphNode)176d88c1a5aSDimitry Andric void ImportedFunctionsInliningStatistics::dfs(InlineGraphNode &GraphNode) {
177d88c1a5aSDimitry Andric assert(!GraphNode.Visited);
178d88c1a5aSDimitry Andric GraphNode.Visited = true;
179d88c1a5aSDimitry Andric for (auto *const InlinedFunctionNode : GraphNode.InlinedCallees) {
180d88c1a5aSDimitry Andric InlinedFunctionNode->NumberOfRealInlines++;
181d88c1a5aSDimitry Andric if (!InlinedFunctionNode->Visited)
182d88c1a5aSDimitry Andric dfs(*InlinedFunctionNode);
183d88c1a5aSDimitry Andric }
184d88c1a5aSDimitry Andric }
185d88c1a5aSDimitry Andric
186d88c1a5aSDimitry Andric ImportedFunctionsInliningStatistics::SortedNodesTy
getSortedNodes()187d88c1a5aSDimitry Andric ImportedFunctionsInliningStatistics::getSortedNodes() {
188d88c1a5aSDimitry Andric SortedNodesTy SortedNodes;
189d88c1a5aSDimitry Andric SortedNodes.reserve(NodesMap.size());
190d88c1a5aSDimitry Andric for (const NodesMapTy::value_type& Node : NodesMap)
191d88c1a5aSDimitry Andric SortedNodes.push_back(&Node);
192d88c1a5aSDimitry Andric
193*b5893f02SDimitry Andric llvm::sort(SortedNodes, [&](const SortedNodesTy::value_type &Lhs,
194d88c1a5aSDimitry Andric const SortedNodesTy::value_type &Rhs) {
195d88c1a5aSDimitry Andric if (Lhs->second->NumberOfInlines != Rhs->second->NumberOfInlines)
196d88c1a5aSDimitry Andric return Lhs->second->NumberOfInlines > Rhs->second->NumberOfInlines;
197*b5893f02SDimitry Andric if (Lhs->second->NumberOfRealInlines != Rhs->second->NumberOfRealInlines)
198d88c1a5aSDimitry Andric return Lhs->second->NumberOfRealInlines >
199d88c1a5aSDimitry Andric Rhs->second->NumberOfRealInlines;
200d88c1a5aSDimitry Andric return Lhs->first() < Rhs->first();
201d88c1a5aSDimitry Andric });
202d88c1a5aSDimitry Andric return SortedNodes;
203d88c1a5aSDimitry Andric }
204