• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===-- BasicBlockSections.cpp ---=========--------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // BasicBlockSections implementation.
10 //
11 // The purpose of this pass is to assign sections to basic blocks when
12 // -fbasic-block-sections= option is used. Further, with profile information
13 // only the subset of basic blocks with profiles are placed in separate sections
14 // and the rest are grouped in a cold section. The exception handling blocks are
15 // treated specially to ensure they are all in one seciton.
16 //
17 // Basic Block Sections
18 // ====================
19 //
20 // With option, -fbasic-block-sections=list, every function may be split into
21 // clusters of basic blocks. Every cluster will be emitted into a separate
22 // section with its basic blocks sequenced in the given order. To get the
23 // optimized performance, the clusters must form an optimal BB layout for the
24 // function. Every cluster's section is labeled with a symbol to allow the
25 // linker to reorder the sections in any arbitrary sequence. A global order of
26 // these sections would encapsulate the function layout.
27 //
28 // There are a couple of challenges to be addressed:
29 //
30 // 1. The last basic block of every cluster should not have any implicit
31 //    fallthrough to its next basic block, as it can be reordered by the linker.
32 //    The compiler should make these fallthroughs explicit by adding
33 //    unconditional jumps..
34 //
35 // 2. All inter-cluster branch targets would now need to be resolved by the
36 //    linker as they cannot be calculated during compile time. This is done
37 //    using static relocations. Further, the compiler tries to use short branch
38 //    instructions on some ISAs for small branch offsets. This is not possible
39 //    for inter-cluster branches as the offset is not determined at compile
40 //    time, and therefore, long branch instructions have to be used for those.
41 //
42 // 3. Debug Information (DebugInfo) and Call Frame Information (CFI) emission
43 //    needs special handling with basic block sections. DebugInfo needs to be
44 //    emitted with more relocations as basic block sections can break a
45 //    function into potentially several disjoint pieces, and CFI needs to be
46 //    emitted per cluster. This also bloats the object file and binary sizes.
47 //
48 // Basic Block Labels
49 // ==================
50 //
51 // With -fbasic-block-sections=labels, we emit the offsets of BB addresses of
52 // every function into the .llvm_bb_addr_map section. Along with the function
53 // symbols, this allows for mapping of virtual addresses in PMU profiles back to
54 // the corresponding basic blocks. This logic is implemented in AsmPrinter. This
55 // pass only assigns the BBSectionType of every function to ``labels``.
56 //
57 //===----------------------------------------------------------------------===//
58 
59 #include "llvm/ADT/Optional.h"
60 #include "llvm/ADT/SmallSet.h"
61 #include "llvm/ADT/SmallVector.h"
62 #include "llvm/ADT/StringMap.h"
63 #include "llvm/ADT/StringRef.h"
64 #include "llvm/CodeGen/BasicBlockSectionUtils.h"
65 #include "llvm/CodeGen/MachineFunction.h"
66 #include "llvm/CodeGen/MachineFunctionPass.h"
67 #include "llvm/CodeGen/MachineModuleInfo.h"
68 #include "llvm/CodeGen/Passes.h"
69 #include "llvm/CodeGen/TargetInstrInfo.h"
70 #include "llvm/InitializePasses.h"
71 #include "llvm/Support/Error.h"
72 #include "llvm/Support/LineIterator.h"
73 #include "llvm/Support/MemoryBuffer.h"
74 #include "llvm/Target/TargetMachine.h"
75 
76 using llvm::SmallSet;
77 using llvm::SmallVector;
78 using llvm::StringMap;
79 using llvm::StringRef;
80 using namespace llvm;
81 
82 // Placing the cold clusters in a separate section mitigates against poor
83 // profiles and allows optimizations such as hugepage mapping to be applied at a
84 // section granularity. Defaults to ".text.split." which is recognized by lld
85 // via the `-z keep-text-section-prefix` flag.
86 cl::opt<std::string> llvm::BBSectionsColdTextPrefix(
87     "bbsections-cold-text-prefix",
88     cl::desc("The text prefix to use for cold basic block clusters"),
89     cl::init(".text.split."), cl::Hidden);
90 
91 namespace {
92 
93 // This struct represents the cluster information for a machine basic block.
94 struct BBClusterInfo {
95   // MachineBasicBlock ID.
96   unsigned MBBNumber;
97   // Cluster ID this basic block belongs to.
98   unsigned ClusterID;
99   // Position of basic block within the cluster.
100   unsigned PositionInCluster;
101 };
102 
103 using ProgramBBClusterInfoMapTy = StringMap<SmallVector<BBClusterInfo, 4>>;
104 
105 class BasicBlockSections : public MachineFunctionPass {
106 public:
107   static char ID;
108 
109   // This contains the basic-block-sections profile.
110   const MemoryBuffer *MBuf = nullptr;
111 
112   // This encapsulates the BB cluster information for the whole program.
113   //
114   // For every function name, it contains the cluster information for (all or
115   // some of) its basic blocks. The cluster information for every basic block
116   // includes its cluster ID along with the position of the basic block in that
117   // cluster.
118   ProgramBBClusterInfoMapTy ProgramBBClusterInfo;
119 
120   // Some functions have alias names. We use this map to find the main alias
121   // name for which we have mapping in ProgramBBClusterInfo.
122   StringMap<StringRef> FuncAliasMap;
123 
BasicBlockSections(const MemoryBuffer * Buf)124   BasicBlockSections(const MemoryBuffer *Buf)
125       : MachineFunctionPass(ID), MBuf(Buf) {
126     initializeBasicBlockSectionsPass(*PassRegistry::getPassRegistry());
127   };
128 
BasicBlockSections()129   BasicBlockSections() : MachineFunctionPass(ID) {
130     initializeBasicBlockSectionsPass(*PassRegistry::getPassRegistry());
131   }
132 
getPassName() const133   StringRef getPassName() const override {
134     return "Basic Block Sections Analysis";
135   }
136 
137   void getAnalysisUsage(AnalysisUsage &AU) const override;
138 
139   /// Read profiles of basic blocks if available here.
140   bool doInitialization(Module &M) override;
141 
142   /// Identify basic blocks that need separate sections and prepare to emit them
143   /// accordingly.
144   bool runOnMachineFunction(MachineFunction &MF) override;
145 };
146 
147 } // end anonymous namespace
148 
149 char BasicBlockSections::ID = 0;
150 INITIALIZE_PASS(BasicBlockSections, "bbsections-prepare",
151                 "Prepares for basic block sections, by splitting functions "
152                 "into clusters of basic blocks.",
153                 false, false)
154 
155 // This function updates and optimizes the branching instructions of every basic
156 // block in a given function to account for changes in the layout.
updateBranches(MachineFunction & MF,const SmallVector<MachineBasicBlock *,4> & PreLayoutFallThroughs)157 static void updateBranches(
158     MachineFunction &MF,
159     const SmallVector<MachineBasicBlock *, 4> &PreLayoutFallThroughs) {
160   const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo();
161   SmallVector<MachineOperand, 4> Cond;
162   for (auto &MBB : MF) {
163     auto NextMBBI = std::next(MBB.getIterator());
164     auto *FTMBB = PreLayoutFallThroughs[MBB.getNumber()];
165     // If this block had a fallthrough before we need an explicit unconditional
166     // branch to that block if either
167     //     1- the block ends a section, which means its next block may be
168     //        reorderd by the linker, or
169     //     2- the fallthrough block is not adjacent to the block in the new
170     //        order.
171     if (FTMBB && (MBB.isEndSection() || &*NextMBBI != FTMBB))
172       TII->insertUnconditionalBranch(MBB, FTMBB, MBB.findBranchDebugLoc());
173 
174     // We do not optimize branches for machine basic blocks ending sections, as
175     // their adjacent block might be reordered by the linker.
176     if (MBB.isEndSection())
177       continue;
178 
179     // It might be possible to optimize branches by flipping the branch
180     // condition.
181     Cond.clear();
182     MachineBasicBlock *TBB = nullptr, *FBB = nullptr; // For analyzeBranch.
183     if (TII->analyzeBranch(MBB, TBB, FBB, Cond))
184       continue;
185     MBB.updateTerminator(FTMBB);
186   }
187 }
188 
189 // This function provides the BBCluster information associated with a function.
190 // Returns true if a valid association exists and false otherwise.
getBBClusterInfoForFunction(const MachineFunction & MF,const StringMap<StringRef> FuncAliasMap,const ProgramBBClusterInfoMapTy & ProgramBBClusterInfo,std::vector<Optional<BBClusterInfo>> & V)191 static bool getBBClusterInfoForFunction(
192     const MachineFunction &MF, const StringMap<StringRef> FuncAliasMap,
193     const ProgramBBClusterInfoMapTy &ProgramBBClusterInfo,
194     std::vector<Optional<BBClusterInfo>> &V) {
195   // Get the main alias name for the function.
196   auto FuncName = MF.getName();
197   auto R = FuncAliasMap.find(FuncName);
198   StringRef AliasName = R == FuncAliasMap.end() ? FuncName : R->second;
199 
200   // Find the assoicated cluster information.
201   auto P = ProgramBBClusterInfo.find(AliasName);
202   if (P == ProgramBBClusterInfo.end())
203     return false;
204 
205   if (P->second.empty()) {
206     // This indicates that sections are desired for all basic blocks of this
207     // function. We clear the BBClusterInfo vector to denote this.
208     V.clear();
209     return true;
210   }
211 
212   V.resize(MF.getNumBlockIDs());
213   for (auto bbClusterInfo : P->second) {
214     // Bail out if the cluster information contains invalid MBB numbers.
215     if (bbClusterInfo.MBBNumber >= MF.getNumBlockIDs())
216       return false;
217     V[bbClusterInfo.MBBNumber] = bbClusterInfo;
218   }
219   return true;
220 }
221 
222 // This function sorts basic blocks according to the cluster's information.
223 // All explicitly specified clusters of basic blocks will be ordered
224 // accordingly. All non-specified BBs go into a separate "Cold" section.
225 // Additionally, if exception handling landing pads end up in more than one
226 // clusters, they are moved into a single "Exception" section. Eventually,
227 // clusters are ordered in increasing order of their IDs, with the "Exception"
228 // and "Cold" succeeding all other clusters.
229 // FuncBBClusterInfo represent the cluster information for basic blocks. If this
230 // is empty, it means unique sections for all basic blocks in the function.
231 static void
assignSections(MachineFunction & MF,const std::vector<Optional<BBClusterInfo>> & FuncBBClusterInfo)232 assignSections(MachineFunction &MF,
233                const std::vector<Optional<BBClusterInfo>> &FuncBBClusterInfo) {
234   assert(MF.hasBBSections() && "BB Sections is not set for function.");
235   // This variable stores the section ID of the cluster containing eh_pads (if
236   // all eh_pads are one cluster). If more than one cluster contain eh_pads, we
237   // set it equal to ExceptionSectionID.
238   Optional<MBBSectionID> EHPadsSectionID;
239 
240   for (auto &MBB : MF) {
241     // With the 'all' option, every basic block is placed in a unique section.
242     // With the 'list' option, every basic block is placed in a section
243     // associated with its cluster, unless we want individual unique sections
244     // for every basic block in this function (if FuncBBClusterInfo is empty).
245     if (MF.getTarget().getBBSectionsType() == llvm::BasicBlockSection::All ||
246         FuncBBClusterInfo.empty()) {
247       // If unique sections are desired for all basic blocks of the function, we
248       // set every basic block's section ID equal to its number (basic block
249       // id). This further ensures that basic blocks are ordered canonically.
250       MBB.setSectionID({static_cast<unsigned int>(MBB.getNumber())});
251     } else if (FuncBBClusterInfo[MBB.getNumber()].hasValue())
252       MBB.setSectionID(FuncBBClusterInfo[MBB.getNumber()]->ClusterID);
253     else {
254       // BB goes into the special cold section if it is not specified in the
255       // cluster info map.
256       MBB.setSectionID(MBBSectionID::ColdSectionID);
257     }
258 
259     if (MBB.isEHPad() && EHPadsSectionID != MBB.getSectionID() &&
260         EHPadsSectionID != MBBSectionID::ExceptionSectionID) {
261       // If we already have one cluster containing eh_pads, this must be updated
262       // to ExceptionSectionID. Otherwise, we set it equal to the current
263       // section ID.
264       EHPadsSectionID = EHPadsSectionID.hasValue()
265                             ? MBBSectionID::ExceptionSectionID
266                             : MBB.getSectionID();
267     }
268   }
269 
270   // If EHPads are in more than one section, this places all of them in the
271   // special exception section.
272   if (EHPadsSectionID == MBBSectionID::ExceptionSectionID)
273     for (auto &MBB : MF)
274       if (MBB.isEHPad())
275         MBB.setSectionID(EHPadsSectionID.getValue());
276 }
277 
sortBasicBlocksAndUpdateBranches(MachineFunction & MF,MachineBasicBlockComparator MBBCmp)278 void llvm::sortBasicBlocksAndUpdateBranches(
279     MachineFunction &MF, MachineBasicBlockComparator MBBCmp) {
280   SmallVector<MachineBasicBlock *, 4> PreLayoutFallThroughs(
281       MF.getNumBlockIDs());
282   for (auto &MBB : MF)
283     PreLayoutFallThroughs[MBB.getNumber()] = MBB.getFallThrough();
284 
285   MF.sort(MBBCmp);
286 
287   // Set IsBeginSection and IsEndSection according to the assigned section IDs.
288   MF.assignBeginEndSections();
289 
290   // After reordering basic blocks, we must update basic block branches to
291   // insert explicit fallthrough branches when required and optimize branches
292   // when possible.
293   updateBranches(MF, PreLayoutFallThroughs);
294 }
295 
296 // If the exception section begins with a landing pad, that landing pad will
297 // assume a zero offset (relative to @LPStart) in the LSDA. However, a value of
298 // zero implies "no landing pad." This function inserts a NOP just before the EH
299 // pad label to ensure a nonzero offset. Returns true if padding is not needed.
avoidZeroOffsetLandingPad(MachineFunction & MF)300 static bool avoidZeroOffsetLandingPad(MachineFunction &MF) {
301   for (auto &MBB : MF) {
302     if (MBB.isBeginSection() && MBB.isEHPad()) {
303       MachineBasicBlock::iterator MI = MBB.begin();
304       while (!MI->isEHLabel())
305         ++MI;
306       MCInst Noop;
307       MF.getSubtarget().getInstrInfo()->getNoop(Noop);
308       BuildMI(MBB, MI, DebugLoc(),
309               MF.getSubtarget().getInstrInfo()->get(Noop.getOpcode()));
310       return false;
311     }
312   }
313   return true;
314 }
315 
runOnMachineFunction(MachineFunction & MF)316 bool BasicBlockSections::runOnMachineFunction(MachineFunction &MF) {
317   auto BBSectionsType = MF.getTarget().getBBSectionsType();
318   assert(BBSectionsType != BasicBlockSection::None &&
319          "BB Sections not enabled!");
320   // Renumber blocks before sorting them for basic block sections.  This is
321   // useful during sorting, basic blocks in the same section will retain the
322   // default order.  This renumbering should also be done for basic block
323   // labels to match the profiles with the correct blocks.
324   MF.RenumberBlocks();
325 
326   if (BBSectionsType == BasicBlockSection::Labels) {
327     MF.setBBSectionsType(BBSectionsType);
328     return true;
329   }
330 
331   std::vector<Optional<BBClusterInfo>> FuncBBClusterInfo;
332   if (BBSectionsType == BasicBlockSection::List &&
333       !getBBClusterInfoForFunction(MF, FuncAliasMap, ProgramBBClusterInfo,
334                                    FuncBBClusterInfo))
335     return true;
336   MF.setBBSectionsType(BBSectionsType);
337   assignSections(MF, FuncBBClusterInfo);
338 
339   // We make sure that the cluster including the entry basic block precedes all
340   // other clusters.
341   auto EntryBBSectionID = MF.front().getSectionID();
342 
343   // Helper function for ordering BB sections as follows:
344   //   * Entry section (section including the entry block).
345   //   * Regular sections (in increasing order of their Number).
346   //     ...
347   //   * Exception section
348   //   * Cold section
349   auto MBBSectionOrder = [EntryBBSectionID](const MBBSectionID &LHS,
350                                             const MBBSectionID &RHS) {
351     // We make sure that the section containing the entry block precedes all the
352     // other sections.
353     if (LHS == EntryBBSectionID || RHS == EntryBBSectionID)
354       return LHS == EntryBBSectionID;
355     return LHS.Type == RHS.Type ? LHS.Number < RHS.Number : LHS.Type < RHS.Type;
356   };
357 
358   // We sort all basic blocks to make sure the basic blocks of every cluster are
359   // contiguous and ordered accordingly. Furthermore, clusters are ordered in
360   // increasing order of their section IDs, with the exception and the
361   // cold section placed at the end of the function.
362   auto Comparator = [&](const MachineBasicBlock &X,
363                         const MachineBasicBlock &Y) {
364     auto XSectionID = X.getSectionID();
365     auto YSectionID = Y.getSectionID();
366     if (XSectionID != YSectionID)
367       return MBBSectionOrder(XSectionID, YSectionID);
368     // If the two basic block are in the same section, the order is decided by
369     // their position within the section.
370     if (XSectionID.Type == MBBSectionID::SectionType::Default)
371       return FuncBBClusterInfo[X.getNumber()]->PositionInCluster <
372              FuncBBClusterInfo[Y.getNumber()]->PositionInCluster;
373     return X.getNumber() < Y.getNumber();
374   };
375 
376   sortBasicBlocksAndUpdateBranches(MF, Comparator);
377   avoidZeroOffsetLandingPad(MF);
378   return true;
379 }
380 
381 // Basic Block Sections can be enabled for a subset of machine basic blocks.
382 // This is done by passing a file containing names of functions for which basic
383 // block sections are desired.  Additionally, machine basic block ids of the
384 // functions can also be specified for a finer granularity. Moreover, a cluster
385 // of basic blocks could be assigned to the same section.
386 // A file with basic block sections for all of function main and three blocks
387 // for function foo (of which 1 and 2 are placed in a cluster) looks like this:
388 // ----------------------------
389 // list.txt:
390 // !main
391 // !foo
392 // !!1 2
393 // !!4
getBBClusterInfo(const MemoryBuffer * MBuf,ProgramBBClusterInfoMapTy & ProgramBBClusterInfo,StringMap<StringRef> & FuncAliasMap)394 static Error getBBClusterInfo(const MemoryBuffer *MBuf,
395                               ProgramBBClusterInfoMapTy &ProgramBBClusterInfo,
396                               StringMap<StringRef> &FuncAliasMap) {
397   assert(MBuf);
398   line_iterator LineIt(*MBuf, /*SkipBlanks=*/true, /*CommentMarker=*/'#');
399 
400   auto invalidProfileError = [&](auto Message) {
401     return make_error<StringError>(
402         Twine("Invalid profile " + MBuf->getBufferIdentifier() + " at line " +
403               Twine(LineIt.line_number()) + ": " + Message),
404         inconvertibleErrorCode());
405   };
406 
407   auto FI = ProgramBBClusterInfo.end();
408 
409   // Current cluster ID corresponding to this function.
410   unsigned CurrentCluster = 0;
411   // Current position in the current cluster.
412   unsigned CurrentPosition = 0;
413 
414   // Temporary set to ensure every basic block ID appears once in the clusters
415   // of a function.
416   SmallSet<unsigned, 4> FuncBBIDs;
417 
418   for (; !LineIt.is_at_eof(); ++LineIt) {
419     StringRef S(*LineIt);
420     if (S[0] == '@')
421       continue;
422     // Check for the leading "!"
423     if (!S.consume_front("!") || S.empty())
424       break;
425     // Check for second "!" which indicates a cluster of basic blocks.
426     if (S.consume_front("!")) {
427       if (FI == ProgramBBClusterInfo.end())
428         return invalidProfileError(
429             "Cluster list does not follow a function name specifier.");
430       SmallVector<StringRef, 4> BBIndexes;
431       S.split(BBIndexes, ' ');
432       // Reset current cluster position.
433       CurrentPosition = 0;
434       for (auto BBIndexStr : BBIndexes) {
435         unsigned long long BBIndex;
436         if (getAsUnsignedInteger(BBIndexStr, 10, BBIndex))
437           return invalidProfileError(Twine("Unsigned integer expected: '") +
438                                      BBIndexStr + "'.");
439         if (!FuncBBIDs.insert(BBIndex).second)
440           return invalidProfileError(Twine("Duplicate basic block id found '") +
441                                      BBIndexStr + "'.");
442         if (!BBIndex && CurrentPosition)
443           return invalidProfileError("Entry BB (0) does not begin a cluster.");
444 
445         FI->second.emplace_back(BBClusterInfo{
446             ((unsigned)BBIndex), CurrentCluster, CurrentPosition++});
447       }
448       CurrentCluster++;
449     } else { // This is a function name specifier.
450       // Function aliases are separated using '/'. We use the first function
451       // name for the cluster info mapping and delegate all other aliases to
452       // this one.
453       SmallVector<StringRef, 4> Aliases;
454       S.split(Aliases, '/');
455       for (size_t i = 1; i < Aliases.size(); ++i)
456         FuncAliasMap.try_emplace(Aliases[i], Aliases.front());
457 
458       // Prepare for parsing clusters of this function name.
459       // Start a new cluster map for this function name.
460       FI = ProgramBBClusterInfo.try_emplace(Aliases.front()).first;
461       CurrentCluster = 0;
462       FuncBBIDs.clear();
463     }
464   }
465   return Error::success();
466 }
467 
doInitialization(Module & M)468 bool BasicBlockSections::doInitialization(Module &M) {
469   if (!MBuf)
470     return false;
471   if (auto Err = getBBClusterInfo(MBuf, ProgramBBClusterInfo, FuncAliasMap))
472     report_fatal_error(std::move(Err));
473   return false;
474 }
475 
getAnalysisUsage(AnalysisUsage & AU) const476 void BasicBlockSections::getAnalysisUsage(AnalysisUsage &AU) const {
477   AU.setPreservesAll();
478   MachineFunctionPass::getAnalysisUsage(AU);
479 }
480 
481 MachineFunctionPass *
createBasicBlockSectionsPass(const MemoryBuffer * Buf)482 llvm::createBasicBlockSectionsPass(const MemoryBuffer *Buf) {
483   return new BasicBlockSections(Buf);
484 }
485