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"
23*f74f091eSEvgeniy Stepanov #include "llvm/IR/Constants.h"
241dc6a8d1SPeter Collingbourne #include "llvm/IR/Function.h"
251dc6a8d1SPeter Collingbourne #include "llvm/IR/GlobalAlias.h"
261dc6a8d1SPeter Collingbourne #include "llvm/IR/GlobalObject.h"
271dc6a8d1SPeter Collingbourne #include "llvm/IR/GlobalValue.h"
281dc6a8d1SPeter Collingbourne #include "llvm/IR/Module.h"
29d19d4d30SSergei Larin #include "llvm/Support/CommandLine.h"
30d19d4d30SSergei Larin #include "llvm/Support/Debug.h"
311dc6a8d1SPeter Collingbourne #include "llvm/Support/MD5.h"
321dc6a8d1SPeter Collingbourne #include "llvm/Support/raw_ostream.h"
331dc6a8d1SPeter Collingbourne #include "llvm/Transforms/Utils/Cloning.h"
34d19d4d30SSergei Larin #include <queue>
351dc6a8d1SPeter Collingbourne 
361dc6a8d1SPeter Collingbourne using namespace llvm;
371dc6a8d1SPeter Collingbourne 
38d19d4d30SSergei Larin namespace {
39d19d4d30SSergei Larin typedef EquivalenceClasses<const GlobalValue *> ClusterMapType;
40d19d4d30SSergei Larin typedef DenseMap<const Comdat *, const GlobalValue *> ComdatMembersType;
41d19d4d30SSergei Larin typedef DenseMap<const GlobalValue *, unsigned> ClusterIDMapType;
42d19d4d30SSergei Larin }
43d19d4d30SSergei Larin 
44d19d4d30SSergei Larin static void addNonConstUser(ClusterMapType &GVtoClusterMap,
45d19d4d30SSergei Larin                             const GlobalValue *GV, const User *U) {
46d19d4d30SSergei Larin   assert((!isa<Constant>(U) || isa<GlobalValue>(U)) && "Bad user");
47d19d4d30SSergei Larin 
48d19d4d30SSergei Larin   if (const Instruction *I = dyn_cast<Instruction>(U)) {
49d19d4d30SSergei Larin     const GlobalValue *F = I->getParent()->getParent();
50d19d4d30SSergei Larin     GVtoClusterMap.unionSets(GV, F);
51d19d4d30SSergei Larin   } else if (isa<GlobalAlias>(U) || isa<Function>(U) ||
52d19d4d30SSergei Larin              isa<GlobalVariable>(U)) {
53d19d4d30SSergei Larin     GVtoClusterMap.unionSets(GV, cast<GlobalValue>(U));
54d19d4d30SSergei Larin   } else {
55d19d4d30SSergei Larin     llvm_unreachable("Underimplemented use case");
56d19d4d30SSergei Larin   }
57d19d4d30SSergei Larin }
58d19d4d30SSergei Larin 
59*f74f091eSEvgeniy Stepanov // Adds all GlobalValue users of V to the same cluster as GV.
60*f74f091eSEvgeniy Stepanov static void addAllGlobalValueUsers(ClusterMapType &GVtoClusterMap,
61*f74f091eSEvgeniy Stepanov                                    const GlobalValue *GV, const Value *V) {
62*f74f091eSEvgeniy Stepanov   for (auto *U : V->users()) {
63*f74f091eSEvgeniy Stepanov     SmallVector<const User *, 4> Worklist;
64*f74f091eSEvgeniy Stepanov     Worklist.push_back(U);
65*f74f091eSEvgeniy Stepanov     while (!Worklist.empty()) {
66*f74f091eSEvgeniy Stepanov       const User *UU = Worklist.pop_back_val();
67*f74f091eSEvgeniy Stepanov       // For each constant that is not a GV (a pure const) recurse.
68*f74f091eSEvgeniy Stepanov       if (isa<Constant>(UU) && !isa<GlobalValue>(UU)) {
69*f74f091eSEvgeniy Stepanov         Worklist.append(UU->user_begin(), UU->user_end());
70*f74f091eSEvgeniy Stepanov         continue;
71*f74f091eSEvgeniy Stepanov       }
72*f74f091eSEvgeniy Stepanov       addNonConstUser(GVtoClusterMap, GV, UU);
73*f74f091eSEvgeniy Stepanov     }
74*f74f091eSEvgeniy Stepanov   }
75*f74f091eSEvgeniy Stepanov }
76*f74f091eSEvgeniy Stepanov 
77d19d4d30SSergei Larin // Find partitions for module in the way that no locals need to be
78d19d4d30SSergei Larin // globalized.
79d19d4d30SSergei Larin // Try to balance pack those partitions into N files since this roughly equals
80d19d4d30SSergei Larin // thread balancing for the backend codegen step.
81d19d4d30SSergei Larin static void findPartitions(Module *M, ClusterIDMapType &ClusterIDMap,
82d19d4d30SSergei Larin                            unsigned N) {
83d19d4d30SSergei Larin   // At this point module should have the proper mix of globals and locals.
84d19d4d30SSergei Larin   // As we attempt to partition this module, we must not change any
85d19d4d30SSergei Larin   // locals to globals.
86d19d4d30SSergei Larin   DEBUG(dbgs() << "Partition module with (" << M->size() << ")functions\n");
87d19d4d30SSergei Larin   ClusterMapType GVtoClusterMap;
88d19d4d30SSergei Larin   ComdatMembersType ComdatMembers;
89d19d4d30SSergei Larin 
90d19d4d30SSergei Larin   auto recordGVSet = [&GVtoClusterMap, &ComdatMembers](GlobalValue &GV) {
91d19d4d30SSergei Larin     if (GV.isDeclaration())
92d19d4d30SSergei Larin       return;
93d19d4d30SSergei Larin 
94d19d4d30SSergei Larin     if (!GV.hasName())
95d19d4d30SSergei Larin       GV.setName("__llvmsplit_unnamed");
96d19d4d30SSergei Larin 
97d19d4d30SSergei Larin     // Comdat groups must not be partitioned. For comdat groups that contain
98d19d4d30SSergei Larin     // locals, record all their members here so we can keep them together.
99d19d4d30SSergei Larin     // Comdat groups that only contain external globals are already handled by
100d19d4d30SSergei Larin     // the MD5-based partitioning.
101d19d4d30SSergei Larin     if (const Comdat *C = GV.getComdat()) {
102d19d4d30SSergei Larin       auto &Member = ComdatMembers[C];
103d19d4d30SSergei Larin       if (Member)
104d19d4d30SSergei Larin         GVtoClusterMap.unionSets(Member, &GV);
105d19d4d30SSergei Larin       else
106d19d4d30SSergei Larin         Member = &GV;
107d19d4d30SSergei Larin     }
108d19d4d30SSergei Larin 
109427f570cSSergei Larin     // For aliases we should not separate them from their aliasees regardless
110427f570cSSergei Larin     // of linkage.
111427f570cSSergei Larin     if (GlobalAlias *GA = dyn_cast<GlobalAlias>(&GV)) {
112427f570cSSergei Larin       if (const GlobalObject *Base = GA->getBaseObject())
113427f570cSSergei Larin         GVtoClusterMap.unionSets(&GV, Base);
114427f570cSSergei Larin     }
115427f570cSSergei Larin 
116*f74f091eSEvgeniy Stepanov     if (const Function *F = dyn_cast<Function>(&GV)) {
117*f74f091eSEvgeniy Stepanov       for (const BasicBlock &BB : *F) {
118*f74f091eSEvgeniy Stepanov         BlockAddress *BA = BlockAddress::lookup(&BB);
119*f74f091eSEvgeniy Stepanov         if (!BA || !BA->isConstantUsed())
120d19d4d30SSergei Larin           continue;
121*f74f091eSEvgeniy Stepanov         addAllGlobalValueUsers(GVtoClusterMap, F, BA);
122d19d4d30SSergei Larin       }
123d19d4d30SSergei Larin     }
124*f74f091eSEvgeniy Stepanov 
125*f74f091eSEvgeniy Stepanov     if (GV.hasLocalLinkage())
126*f74f091eSEvgeniy Stepanov       addAllGlobalValueUsers(GVtoClusterMap, &GV, &GV);
127d19d4d30SSergei Larin   };
128d19d4d30SSergei Larin 
129d19d4d30SSergei Larin   std::for_each(M->begin(), M->end(), recordGVSet);
130d19d4d30SSergei Larin   std::for_each(M->global_begin(), M->global_end(), recordGVSet);
131d19d4d30SSergei Larin   std::for_each(M->alias_begin(), M->alias_end(), recordGVSet);
132d19d4d30SSergei Larin 
133d19d4d30SSergei Larin   // Assigned all GVs to merged clusters while balancing number of objects in
134d19d4d30SSergei Larin   // each.
135d19d4d30SSergei Larin   auto CompareClusters = [](const std::pair<unsigned, unsigned> &a,
136d19d4d30SSergei Larin                             const std::pair<unsigned, unsigned> &b) {
137d19d4d30SSergei Larin     if (a.second || b.second)
138d19d4d30SSergei Larin       return a.second > b.second;
139d19d4d30SSergei Larin     else
140d19d4d30SSergei Larin       return a.first > b.first;
141d19d4d30SSergei Larin   };
142d19d4d30SSergei Larin 
143d19d4d30SSergei Larin   std::priority_queue<std::pair<unsigned, unsigned>,
144d19d4d30SSergei Larin                       std::vector<std::pair<unsigned, unsigned>>,
145d19d4d30SSergei Larin                       decltype(CompareClusters)>
146d19d4d30SSergei Larin       BalancinQueue(CompareClusters);
147d19d4d30SSergei Larin   // Pre-populate priority queue with N slot blanks.
148d19d4d30SSergei Larin   for (unsigned i = 0; i < N; ++i)
149d19d4d30SSergei Larin     BalancinQueue.push(std::make_pair(i, 0));
150d19d4d30SSergei Larin 
151d19d4d30SSergei Larin   typedef std::pair<unsigned, ClusterMapType::iterator> SortType;
152d19d4d30SSergei Larin   SmallVector<SortType, 64> Sets;
153b30f2f51SMatthias Braun   SmallPtrSet<const GlobalValue *, 32> Visited;
154d19d4d30SSergei Larin 
155d19d4d30SSergei Larin   // To guarantee determinism, we have to sort SCC according to size.
156d19d4d30SSergei Larin   // When size is the same, use leader's name.
157d19d4d30SSergei Larin   for (ClusterMapType::iterator I = GVtoClusterMap.begin(),
158d19d4d30SSergei Larin                                 E = GVtoClusterMap.end(); I != E; ++I)
159d19d4d30SSergei Larin     if (I->isLeader())
160d19d4d30SSergei Larin       Sets.push_back(
161d19d4d30SSergei Larin           std::make_pair(std::distance(GVtoClusterMap.member_begin(I),
162d19d4d30SSergei Larin                                        GVtoClusterMap.member_end()), I));
163d19d4d30SSergei Larin 
164d19d4d30SSergei Larin   std::sort(Sets.begin(), Sets.end(), [](const SortType &a, const SortType &b) {
165d19d4d30SSergei Larin     if (a.first == b.first)
166d19d4d30SSergei Larin       return a.second->getData()->getName() > b.second->getData()->getName();
167d19d4d30SSergei Larin     else
168d19d4d30SSergei Larin       return a.first > b.first;
169d19d4d30SSergei Larin   });
170d19d4d30SSergei Larin 
171d19d4d30SSergei Larin   for (auto &I : Sets) {
172d19d4d30SSergei Larin     unsigned CurrentClusterID = BalancinQueue.top().first;
173d19d4d30SSergei Larin     unsigned CurrentClusterSize = BalancinQueue.top().second;
174d19d4d30SSergei Larin     BalancinQueue.pop();
175d19d4d30SSergei Larin 
176d19d4d30SSergei Larin     DEBUG(dbgs() << "Root[" << CurrentClusterID << "] cluster_size(" << I.first
177d19d4d30SSergei Larin                  << ") ----> " << I.second->getData()->getName() << "\n");
178d19d4d30SSergei Larin 
179d19d4d30SSergei Larin     for (ClusterMapType::member_iterator MI =
180d19d4d30SSergei Larin              GVtoClusterMap.findLeader(I.second);
181d19d4d30SSergei Larin          MI != GVtoClusterMap.member_end(); ++MI) {
182d19d4d30SSergei Larin       if (!Visited.insert(*MI).second)
183d19d4d30SSergei Larin         continue;
184d19d4d30SSergei Larin       DEBUG(dbgs() << "----> " << (*MI)->getName()
185d19d4d30SSergei Larin                    << ((*MI)->hasLocalLinkage() ? " l " : " e ") << "\n");
186d19d4d30SSergei Larin       Visited.insert(*MI);
187d19d4d30SSergei Larin       ClusterIDMap[*MI] = CurrentClusterID;
188d19d4d30SSergei Larin       CurrentClusterSize++;
189d19d4d30SSergei Larin     }
190d19d4d30SSergei Larin     // Add this set size to the number of entries in this cluster.
191d19d4d30SSergei Larin     BalancinQueue.push(std::make_pair(CurrentClusterID, CurrentClusterSize));
192d19d4d30SSergei Larin   }
193d19d4d30SSergei Larin }
194d19d4d30SSergei Larin 
1951dc6a8d1SPeter Collingbourne static void externalize(GlobalValue *GV) {
1961dc6a8d1SPeter Collingbourne   if (GV->hasLocalLinkage()) {
1971dc6a8d1SPeter Collingbourne     GV->setLinkage(GlobalValue::ExternalLinkage);
1981dc6a8d1SPeter Collingbourne     GV->setVisibility(GlobalValue::HiddenVisibility);
1991dc6a8d1SPeter Collingbourne   }
2001dc6a8d1SPeter Collingbourne 
2011dc6a8d1SPeter Collingbourne   // Unnamed entities must be named consistently between modules. setName will
2021dc6a8d1SPeter Collingbourne   // give a distinct name to each such entity.
2031dc6a8d1SPeter Collingbourne   if (!GV->hasName())
2041dc6a8d1SPeter Collingbourne     GV->setName("__llvmsplit_unnamed");
2051dc6a8d1SPeter Collingbourne }
2061dc6a8d1SPeter Collingbourne 
2071dc6a8d1SPeter Collingbourne // Returns whether GV should be in partition (0-based) I of N.
2081dc6a8d1SPeter Collingbourne static bool isInPartition(const GlobalValue *GV, unsigned I, unsigned N) {
2091dc6a8d1SPeter Collingbourne   if (auto GA = dyn_cast<GlobalAlias>(GV))
2101dc6a8d1SPeter Collingbourne     if (const GlobalObject *Base = GA->getBaseObject())
2111dc6a8d1SPeter Collingbourne       GV = Base;
2121dc6a8d1SPeter Collingbourne 
2131dc6a8d1SPeter Collingbourne   StringRef Name;
2141dc6a8d1SPeter Collingbourne   if (const Comdat *C = GV->getComdat())
2151dc6a8d1SPeter Collingbourne     Name = C->getName();
2161dc6a8d1SPeter Collingbourne   else
2171dc6a8d1SPeter Collingbourne     Name = GV->getName();
2181dc6a8d1SPeter Collingbourne 
2191dc6a8d1SPeter Collingbourne   // Partition by MD5 hash. We only need a few bits for evenness as the number
2201dc6a8d1SPeter Collingbourne   // of partitions will generally be in the 1-2 figure range; the low 16 bits
2211dc6a8d1SPeter Collingbourne   // are enough.
2221dc6a8d1SPeter Collingbourne   MD5 H;
2231dc6a8d1SPeter Collingbourne   MD5::MD5Result R;
2241dc6a8d1SPeter Collingbourne   H.update(Name);
2251dc6a8d1SPeter Collingbourne   H.final(R);
2261dc6a8d1SPeter Collingbourne   return (R[0] | (R[1] << 8)) % N == I;
2271dc6a8d1SPeter Collingbourne }
2281dc6a8d1SPeter Collingbourne 
2291dc6a8d1SPeter Collingbourne void llvm::SplitModule(
2301dc6a8d1SPeter Collingbourne     std::unique_ptr<Module> M, unsigned N,
231d19d4d30SSergei Larin     std::function<void(std::unique_ptr<Module> MPart)> ModuleCallback,
232d19d4d30SSergei Larin     bool PreserveLocals) {
233d19d4d30SSergei Larin   if (!PreserveLocals) {
2341dc6a8d1SPeter Collingbourne     for (Function &F : *M)
2351dc6a8d1SPeter Collingbourne       externalize(&F);
2361dc6a8d1SPeter Collingbourne     for (GlobalVariable &GV : M->globals())
2371dc6a8d1SPeter Collingbourne       externalize(&GV);
2381dc6a8d1SPeter Collingbourne     for (GlobalAlias &GA : M->aliases())
2391dc6a8d1SPeter Collingbourne       externalize(&GA);
2401dc6a8d1SPeter Collingbourne   }
241*f74f091eSEvgeniy Stepanov 
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 
247*f74f091eSEvgeniy Stepanov   // FIXME: We should be able to reuse M as the last partition instead of
248*f74f091eSEvgeniy Stepanov   // cloning it.
249d19d4d30SSergei Larin   for (unsigned I = 0; I < N; ++I) {
250d19d4d30SSergei Larin     ValueToValueMapTy VMap;
251d19d4d30SSergei Larin     std::unique_ptr<Module> MPart(
252d19d4d30SSergei Larin         CloneModule(M.get(), VMap, [&](const GlobalValue *GV) {
253d19d4d30SSergei Larin           if (ClusterIDMap.count(GV))
254d19d4d30SSergei Larin             return (ClusterIDMap[GV] == I);
255d19d4d30SSergei Larin           else
256d19d4d30SSergei Larin             return isInPartition(GV, I, N);
257d19d4d30SSergei Larin         }));
258d19d4d30SSergei Larin     if (I != 0)
259d19d4d30SSergei Larin       MPart->setModuleInlineAsm("");
260d19d4d30SSergei Larin     ModuleCallback(std::move(MPart));
261d19d4d30SSergei Larin   }
262d19d4d30SSergei Larin }
263