11dc6a8d1SPeter Collingbourne //===- SplitModule.cpp - Split a module into partitions -------------------===//
21dc6a8d1SPeter Collingbourne //
31dc6a8d1SPeter Collingbourne //                     The LLVM Compiler Infrastructure
41dc6a8d1SPeter Collingbourne //
51dc6a8d1SPeter Collingbourne // This file is distributed under the University of Illinois Open Source
61dc6a8d1SPeter Collingbourne // License. See LICENSE.TXT for details.
71dc6a8d1SPeter Collingbourne //
81dc6a8d1SPeter Collingbourne //===----------------------------------------------------------------------===//
91dc6a8d1SPeter Collingbourne //
101dc6a8d1SPeter Collingbourne // This file defines the function llvm::SplitModule, which splits a module
111dc6a8d1SPeter Collingbourne // into multiple linkable partitions. It can be used to implement parallel code
121dc6a8d1SPeter Collingbourne // generation for link-time optimization.
131dc6a8d1SPeter Collingbourne //
141dc6a8d1SPeter Collingbourne //===----------------------------------------------------------------------===//
151dc6a8d1SPeter Collingbourne 
16d19d4d30SSergei Larin #define DEBUG_TYPE "split-module"
17d19d4d30SSergei Larin 
181dc6a8d1SPeter Collingbourne #include "llvm/Transforms/Utils/SplitModule.h"
19d19d4d30SSergei Larin #include "llvm/ADT/EquivalenceClasses.h"
201dc6a8d1SPeter Collingbourne #include "llvm/ADT/Hashing.h"
21d19d4d30SSergei Larin #include "llvm/ADT/MapVector.h"
22d19d4d30SSergei Larin #include "llvm/ADT/SetVector.h"
231dc6a8d1SPeter Collingbourne #include "llvm/IR/Function.h"
241dc6a8d1SPeter Collingbourne #include "llvm/IR/GlobalAlias.h"
251dc6a8d1SPeter Collingbourne #include "llvm/IR/GlobalObject.h"
261dc6a8d1SPeter Collingbourne #include "llvm/IR/GlobalValue.h"
271dc6a8d1SPeter Collingbourne #include "llvm/IR/Module.h"
28d19d4d30SSergei Larin #include "llvm/Support/CommandLine.h"
29d19d4d30SSergei Larin #include "llvm/Support/Debug.h"
301dc6a8d1SPeter Collingbourne #include "llvm/Support/MD5.h"
311dc6a8d1SPeter Collingbourne #include "llvm/Support/raw_ostream.h"
321dc6a8d1SPeter Collingbourne #include "llvm/Transforms/Utils/Cloning.h"
33d19d4d30SSergei Larin #include <queue>
341dc6a8d1SPeter Collingbourne 
351dc6a8d1SPeter Collingbourne using namespace llvm;
361dc6a8d1SPeter Collingbourne 
37d19d4d30SSergei Larin namespace {
38d19d4d30SSergei Larin typedef EquivalenceClasses<const GlobalValue *> ClusterMapType;
39d19d4d30SSergei Larin typedef DenseMap<const Comdat *, const GlobalValue *> ComdatMembersType;
40d19d4d30SSergei Larin typedef DenseMap<const GlobalValue *, unsigned> ClusterIDMapType;
41d19d4d30SSergei Larin }
42d19d4d30SSergei Larin 
43d19d4d30SSergei Larin static void addNonConstUser(ClusterMapType &GVtoClusterMap,
44d19d4d30SSergei Larin                             const GlobalValue *GV, const User *U) {
45d19d4d30SSergei Larin   assert((!isa<Constant>(U) || isa<GlobalValue>(U)) && "Bad user");
46d19d4d30SSergei Larin 
47d19d4d30SSergei Larin   if (const Instruction *I = dyn_cast<Instruction>(U)) {
48d19d4d30SSergei Larin     const GlobalValue *F = I->getParent()->getParent();
49d19d4d30SSergei Larin     GVtoClusterMap.unionSets(GV, F);
50d19d4d30SSergei Larin   } else if (isa<GlobalAlias>(U) || isa<Function>(U) ||
51d19d4d30SSergei Larin              isa<GlobalVariable>(U)) {
52d19d4d30SSergei Larin     GVtoClusterMap.unionSets(GV, cast<GlobalValue>(U));
53d19d4d30SSergei Larin   } else {
54d19d4d30SSergei Larin     llvm_unreachable("Underimplemented use case");
55d19d4d30SSergei Larin   }
56d19d4d30SSergei Larin }
57d19d4d30SSergei Larin 
58d19d4d30SSergei Larin // Find partitions for module in the way that no locals need to be
59d19d4d30SSergei Larin // globalized.
60d19d4d30SSergei Larin // Try to balance pack those partitions into N files since this roughly equals
61d19d4d30SSergei Larin // thread balancing for the backend codegen step.
62d19d4d30SSergei Larin static void findPartitions(Module *M, ClusterIDMapType &ClusterIDMap,
63d19d4d30SSergei Larin                            unsigned N) {
64d19d4d30SSergei Larin   // At this point module should have the proper mix of globals and locals.
65d19d4d30SSergei Larin   // As we attempt to partition this module, we must not change any
66d19d4d30SSergei Larin   // locals to globals.
67d19d4d30SSergei Larin 
68d19d4d30SSergei Larin   DEBUG(dbgs() << "Partition module with (" << M->size() << ")functions\n");
69d19d4d30SSergei Larin   ClusterMapType GVtoClusterMap;
70d19d4d30SSergei Larin   ComdatMembersType ComdatMembers;
71d19d4d30SSergei Larin 
72d19d4d30SSergei Larin   auto recordGVSet = [&GVtoClusterMap, &ComdatMembers](GlobalValue &GV) {
73d19d4d30SSergei Larin     if (GV.isDeclaration())
74d19d4d30SSergei Larin       return;
75d19d4d30SSergei Larin 
76d19d4d30SSergei Larin     if (!GV.hasName())
77d19d4d30SSergei Larin       GV.setName("__llvmsplit_unnamed");
78d19d4d30SSergei Larin 
79d19d4d30SSergei Larin     // Comdat groups must not be partitioned. For comdat groups that contain
80d19d4d30SSergei Larin     // locals, record all their members here so we can keep them together.
81d19d4d30SSergei Larin     // Comdat groups that only contain external globals are already handled by
82d19d4d30SSergei Larin     // the MD5-based partitioning.
83d19d4d30SSergei Larin     if (const Comdat *C = GV.getComdat()) {
84d19d4d30SSergei Larin       auto &Member = ComdatMembers[C];
85d19d4d30SSergei Larin       if (Member)
86d19d4d30SSergei Larin         GVtoClusterMap.unionSets(Member, &GV);
87d19d4d30SSergei Larin       else
88d19d4d30SSergei Larin         Member = &GV;
89d19d4d30SSergei Larin     }
90d19d4d30SSergei Larin 
91*427f570cSSergei Larin     // For aliases we should not separate them from their aliasees regardless
92*427f570cSSergei Larin     // of linkage.
93*427f570cSSergei Larin     if (GlobalAlias *GA = dyn_cast<GlobalAlias>(&GV)) {
94*427f570cSSergei Larin       if (const GlobalObject *Base = GA->getBaseObject())
95*427f570cSSergei Larin         GVtoClusterMap.unionSets(&GV, Base);
96*427f570cSSergei Larin     }
97*427f570cSSergei Larin 
98d19d4d30SSergei Larin     // Further only iterate over local GVs.
99d19d4d30SSergei Larin     if (!GV.hasLocalLinkage())
100d19d4d30SSergei Larin       return;
101d19d4d30SSergei Larin 
102d19d4d30SSergei Larin     for (auto *U : GV.users()) {
103d19d4d30SSergei Larin       SmallVector<const User *, 4> Worklist;
104d19d4d30SSergei Larin       Worklist.push_back(U);
105d19d4d30SSergei Larin       while (!Worklist.empty()) {
106d19d4d30SSergei Larin         const User *UU = Worklist.pop_back_val();
107d19d4d30SSergei Larin         // For each constant that is not a GV (a pure const) recurse.
108d19d4d30SSergei Larin         if (isa<Constant>(UU) && !isa<GlobalValue>(UU)) {
109d19d4d30SSergei Larin           Worklist.append(UU->user_begin(), UU->user_end());
110d19d4d30SSergei Larin           continue;
111d19d4d30SSergei Larin         }
112d19d4d30SSergei Larin         addNonConstUser(GVtoClusterMap, &GV, UU);
113d19d4d30SSergei Larin       }
114d19d4d30SSergei Larin     }
115d19d4d30SSergei Larin   };
116d19d4d30SSergei Larin 
117d19d4d30SSergei Larin   std::for_each(M->begin(), M->end(), recordGVSet);
118d19d4d30SSergei Larin   std::for_each(M->global_begin(), M->global_end(), recordGVSet);
119d19d4d30SSergei Larin   std::for_each(M->alias_begin(), M->alias_end(), recordGVSet);
120d19d4d30SSergei Larin 
121d19d4d30SSergei Larin   // Assigned all GVs to merged clusters while balancing number of objects in
122d19d4d30SSergei Larin   // each.
123d19d4d30SSergei Larin   auto CompareClusters = [](const std::pair<unsigned, unsigned> &a,
124d19d4d30SSergei Larin                             const std::pair<unsigned, unsigned> &b) {
125d19d4d30SSergei Larin     if (a.second || b.second)
126d19d4d30SSergei Larin       return a.second > b.second;
127d19d4d30SSergei Larin     else
128d19d4d30SSergei Larin       return a.first > b.first;
129d19d4d30SSergei Larin   };
130d19d4d30SSergei Larin 
131d19d4d30SSergei Larin   std::priority_queue<std::pair<unsigned, unsigned>,
132d19d4d30SSergei Larin                       std::vector<std::pair<unsigned, unsigned>>,
133d19d4d30SSergei Larin                       decltype(CompareClusters)>
134d19d4d30SSergei Larin       BalancinQueue(CompareClusters);
135d19d4d30SSergei Larin   // Pre-populate priority queue with N slot blanks.
136d19d4d30SSergei Larin   for (unsigned i = 0; i < N; ++i)
137d19d4d30SSergei Larin     BalancinQueue.push(std::make_pair(i, 0));
138d19d4d30SSergei Larin 
139d19d4d30SSergei Larin   typedef std::pair<unsigned, ClusterMapType::iterator> SortType;
140d19d4d30SSergei Larin   SmallVector<SortType, 64> Sets;
141d19d4d30SSergei Larin   SmallPtrSet<const GlobalValue *, 64> Visited;
142d19d4d30SSergei Larin 
143d19d4d30SSergei Larin   // To guarantee determinism, we have to sort SCC according to size.
144d19d4d30SSergei Larin   // When size is the same, use leader's name.
145d19d4d30SSergei Larin   for (ClusterMapType::iterator I = GVtoClusterMap.begin(),
146d19d4d30SSergei Larin                                 E = GVtoClusterMap.end(); I != E; ++I)
147d19d4d30SSergei Larin     if (I->isLeader())
148d19d4d30SSergei Larin       Sets.push_back(
149d19d4d30SSergei Larin           std::make_pair(std::distance(GVtoClusterMap.member_begin(I),
150d19d4d30SSergei Larin                                        GVtoClusterMap.member_end()), I));
151d19d4d30SSergei Larin 
152d19d4d30SSergei Larin   std::sort(Sets.begin(), Sets.end(), [](const SortType &a, const SortType &b) {
153d19d4d30SSergei Larin     if (a.first == b.first)
154d19d4d30SSergei Larin       return a.second->getData()->getName() > b.second->getData()->getName();
155d19d4d30SSergei Larin     else
156d19d4d30SSergei Larin       return a.first > b.first;
157d19d4d30SSergei Larin   });
158d19d4d30SSergei Larin 
159d19d4d30SSergei Larin   for (auto &I : Sets) {
160d19d4d30SSergei Larin     unsigned CurrentClusterID = BalancinQueue.top().first;
161d19d4d30SSergei Larin     unsigned CurrentClusterSize = BalancinQueue.top().second;
162d19d4d30SSergei Larin     BalancinQueue.pop();
163d19d4d30SSergei Larin 
164d19d4d30SSergei Larin     DEBUG(dbgs() << "Root[" << CurrentClusterID << "] cluster_size(" << I.first
165d19d4d30SSergei Larin                  << ") ----> " << I.second->getData()->getName() << "\n");
166d19d4d30SSergei Larin 
167d19d4d30SSergei Larin     for (ClusterMapType::member_iterator MI =
168d19d4d30SSergei Larin              GVtoClusterMap.findLeader(I.second);
169d19d4d30SSergei Larin          MI != GVtoClusterMap.member_end(); ++MI) {
170d19d4d30SSergei Larin       if (!Visited.insert(*MI).second)
171d19d4d30SSergei Larin         continue;
172d19d4d30SSergei Larin       DEBUG(dbgs() << "----> " << (*MI)->getName()
173d19d4d30SSergei Larin                    << ((*MI)->hasLocalLinkage() ? " l " : " e ") << "\n");
174d19d4d30SSergei Larin       Visited.insert(*MI);
175d19d4d30SSergei Larin       ClusterIDMap[*MI] = CurrentClusterID;
176d19d4d30SSergei Larin       CurrentClusterSize++;
177d19d4d30SSergei Larin     }
178d19d4d30SSergei Larin     // Add this set size to the number of entries in this cluster.
179d19d4d30SSergei Larin     BalancinQueue.push(std::make_pair(CurrentClusterID, CurrentClusterSize));
180d19d4d30SSergei Larin   }
181d19d4d30SSergei Larin }
182d19d4d30SSergei Larin 
1831dc6a8d1SPeter Collingbourne static void externalize(GlobalValue *GV) {
1841dc6a8d1SPeter Collingbourne   if (GV->hasLocalLinkage()) {
1851dc6a8d1SPeter Collingbourne     GV->setLinkage(GlobalValue::ExternalLinkage);
1861dc6a8d1SPeter Collingbourne     GV->setVisibility(GlobalValue::HiddenVisibility);
1871dc6a8d1SPeter Collingbourne   }
1881dc6a8d1SPeter Collingbourne 
1891dc6a8d1SPeter Collingbourne   // Unnamed entities must be named consistently between modules. setName will
1901dc6a8d1SPeter Collingbourne   // give a distinct name to each such entity.
1911dc6a8d1SPeter Collingbourne   if (!GV->hasName())
1921dc6a8d1SPeter Collingbourne     GV->setName("__llvmsplit_unnamed");
1931dc6a8d1SPeter Collingbourne }
1941dc6a8d1SPeter Collingbourne 
1951dc6a8d1SPeter Collingbourne // Returns whether GV should be in partition (0-based) I of N.
1961dc6a8d1SPeter Collingbourne static bool isInPartition(const GlobalValue *GV, unsigned I, unsigned N) {
1971dc6a8d1SPeter Collingbourne   if (auto GA = dyn_cast<GlobalAlias>(GV))
1981dc6a8d1SPeter Collingbourne     if (const GlobalObject *Base = GA->getBaseObject())
1991dc6a8d1SPeter Collingbourne       GV = Base;
2001dc6a8d1SPeter Collingbourne 
2011dc6a8d1SPeter Collingbourne   StringRef Name;
2021dc6a8d1SPeter Collingbourne   if (const Comdat *C = GV->getComdat())
2031dc6a8d1SPeter Collingbourne     Name = C->getName();
2041dc6a8d1SPeter Collingbourne   else
2051dc6a8d1SPeter Collingbourne     Name = GV->getName();
2061dc6a8d1SPeter Collingbourne 
2071dc6a8d1SPeter Collingbourne   // Partition by MD5 hash. We only need a few bits for evenness as the number
2081dc6a8d1SPeter Collingbourne   // of partitions will generally be in the 1-2 figure range; the low 16 bits
2091dc6a8d1SPeter Collingbourne   // are enough.
2101dc6a8d1SPeter Collingbourne   MD5 H;
2111dc6a8d1SPeter Collingbourne   MD5::MD5Result R;
2121dc6a8d1SPeter Collingbourne   H.update(Name);
2131dc6a8d1SPeter Collingbourne   H.final(R);
2141dc6a8d1SPeter Collingbourne   return (R[0] | (R[1] << 8)) % N == I;
2151dc6a8d1SPeter Collingbourne }
2161dc6a8d1SPeter Collingbourne 
2171dc6a8d1SPeter Collingbourne void llvm::SplitModule(
2181dc6a8d1SPeter Collingbourne     std::unique_ptr<Module> M, unsigned N,
219d19d4d30SSergei Larin     std::function<void(std::unique_ptr<Module> MPart)> ModuleCallback,
220d19d4d30SSergei Larin     bool PreserveLocals) {
221d19d4d30SSergei Larin   if (!PreserveLocals) {
2221dc6a8d1SPeter Collingbourne     for (Function &F : *M)
2231dc6a8d1SPeter Collingbourne       externalize(&F);
2241dc6a8d1SPeter Collingbourne     for (GlobalVariable &GV : M->globals())
2251dc6a8d1SPeter Collingbourne       externalize(&GV);
2261dc6a8d1SPeter Collingbourne     for (GlobalAlias &GA : M->aliases())
2271dc6a8d1SPeter Collingbourne       externalize(&GA);
2281dc6a8d1SPeter Collingbourne 
2291dc6a8d1SPeter Collingbourne     // FIXME: We should be able to reuse M as the last partition instead of
2301dc6a8d1SPeter Collingbourne     // cloning it.
2311dc6a8d1SPeter Collingbourne     for (unsigned I = 0; I != N; ++I) {
2321dc6a8d1SPeter Collingbourne       ValueToValueMapTy VMap;
2331dc6a8d1SPeter Collingbourne       std::unique_ptr<Module> MPart(
2341dc6a8d1SPeter Collingbourne           CloneModule(M.get(), VMap, [=](const GlobalValue *GV) {
2351dc6a8d1SPeter Collingbourne             return isInPartition(GV, I, N);
2361dc6a8d1SPeter Collingbourne           }));
2371dc6a8d1SPeter Collingbourne       if (I != 0)
2381dc6a8d1SPeter Collingbourne         MPart->setModuleInlineAsm("");
2391dc6a8d1SPeter Collingbourne       ModuleCallback(std::move(MPart));
2401dc6a8d1SPeter Collingbourne     }
241d19d4d30SSergei Larin   } else {
242d19d4d30SSergei Larin     // This performs splitting without a need for externalization, which might not
243d19d4d30SSergei Larin     // always be possible.
244d19d4d30SSergei Larin     ClusterIDMapType ClusterIDMap;
245d19d4d30SSergei Larin     findPartitions(M.get(), ClusterIDMap, N);
246d19d4d30SSergei Larin 
247d19d4d30SSergei Larin     for (unsigned I = 0; I < N; ++I) {
248d19d4d30SSergei Larin       ValueToValueMapTy VMap;
249d19d4d30SSergei Larin       std::unique_ptr<Module> MPart(
250d19d4d30SSergei Larin           CloneModule(M.get(), VMap, [&](const GlobalValue *GV) {
251d19d4d30SSergei Larin              if (ClusterIDMap.count(GV))
252d19d4d30SSergei Larin                return (ClusterIDMap[GV] == I);
253d19d4d30SSergei Larin              else
254d19d4d30SSergei Larin                return isInPartition(GV, I, N);
255d19d4d30SSergei Larin           }));
256d19d4d30SSergei Larin       if (I != 0)
257d19d4d30SSergei Larin         MPart->setModuleInlineAsm("");
258d19d4d30SSergei Larin       ModuleCallback(std::move(MPart));
259d19d4d30SSergei Larin     }
260d19d4d30SSergei Larin   }
2611dc6a8d1SPeter Collingbourne }
262