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 cl::opt<bool> BBSectionsDetectSourceDrift(
92 "bbsections-detect-source-drift",
93 cl::desc("This checks if there is a fdo instr. profile hash "
94 "mismatch for this function"),
95 cl::init(true), cl::Hidden);
96
97 namespace {
98
99 // This struct represents the cluster information for a machine basic block.
100 struct BBClusterInfo {
101 // MachineBasicBlock ID.
102 unsigned MBBNumber;
103 // Cluster ID this basic block belongs to.
104 unsigned ClusterID;
105 // Position of basic block within the cluster.
106 unsigned PositionInCluster;
107 };
108
109 using ProgramBBClusterInfoMapTy = StringMap<SmallVector<BBClusterInfo, 4>>;
110
111 class BasicBlockSections : public MachineFunctionPass {
112 public:
113 static char ID;
114
115 // This contains the basic-block-sections profile.
116 const MemoryBuffer *MBuf = nullptr;
117
118 // This encapsulates the BB cluster information for the whole program.
119 //
120 // For every function name, it contains the cluster information for (all or
121 // some of) its basic blocks. The cluster information for every basic block
122 // includes its cluster ID along with the position of the basic block in that
123 // cluster.
124 ProgramBBClusterInfoMapTy ProgramBBClusterInfo;
125
126 // Some functions have alias names. We use this map to find the main alias
127 // name for which we have mapping in ProgramBBClusterInfo.
128 StringMap<StringRef> FuncAliasMap;
129
BasicBlockSections(const MemoryBuffer * Buf)130 BasicBlockSections(const MemoryBuffer *Buf)
131 : MachineFunctionPass(ID), MBuf(Buf) {
132 initializeBasicBlockSectionsPass(*PassRegistry::getPassRegistry());
133 };
134
BasicBlockSections()135 BasicBlockSections() : MachineFunctionPass(ID) {
136 initializeBasicBlockSectionsPass(*PassRegistry::getPassRegistry());
137 }
138
getPassName() const139 StringRef getPassName() const override {
140 return "Basic Block Sections Analysis";
141 }
142
143 void getAnalysisUsage(AnalysisUsage &AU) const override;
144
145 /// Read profiles of basic blocks if available here.
146 bool doInitialization(Module &M) override;
147
148 /// Identify basic blocks that need separate sections and prepare to emit them
149 /// accordingly.
150 bool runOnMachineFunction(MachineFunction &MF) override;
151 };
152
153 } // end anonymous namespace
154
155 char BasicBlockSections::ID = 0;
156 INITIALIZE_PASS(BasicBlockSections, "bbsections-prepare",
157 "Prepares for basic block sections, by splitting functions "
158 "into clusters of basic blocks.",
159 false, false)
160
161 // This function updates and optimizes the branching instructions of every basic
162 // block in a given function to account for changes in the layout.
updateBranches(MachineFunction & MF,const SmallVector<MachineBasicBlock *,4> & PreLayoutFallThroughs)163 static void updateBranches(
164 MachineFunction &MF,
165 const SmallVector<MachineBasicBlock *, 4> &PreLayoutFallThroughs) {
166 const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo();
167 SmallVector<MachineOperand, 4> Cond;
168 for (auto &MBB : MF) {
169 auto NextMBBI = std::next(MBB.getIterator());
170 auto *FTMBB = PreLayoutFallThroughs[MBB.getNumber()];
171 // If this block had a fallthrough before we need an explicit unconditional
172 // branch to that block if either
173 // 1- the block ends a section, which means its next block may be
174 // reorderd by the linker, or
175 // 2- the fallthrough block is not adjacent to the block in the new
176 // order.
177 if (FTMBB && (MBB.isEndSection() || &*NextMBBI != FTMBB))
178 TII->insertUnconditionalBranch(MBB, FTMBB, MBB.findBranchDebugLoc());
179
180 // We do not optimize branches for machine basic blocks ending sections, as
181 // their adjacent block might be reordered by the linker.
182 if (MBB.isEndSection())
183 continue;
184
185 // It might be possible to optimize branches by flipping the branch
186 // condition.
187 Cond.clear();
188 MachineBasicBlock *TBB = nullptr, *FBB = nullptr; // For analyzeBranch.
189 if (TII->analyzeBranch(MBB, TBB, FBB, Cond))
190 continue;
191 MBB.updateTerminator(FTMBB);
192 }
193 }
194
195 // This function provides the BBCluster information associated with a function.
196 // 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)197 static bool getBBClusterInfoForFunction(
198 const MachineFunction &MF, const StringMap<StringRef> FuncAliasMap,
199 const ProgramBBClusterInfoMapTy &ProgramBBClusterInfo,
200 std::vector<Optional<BBClusterInfo>> &V) {
201 // Get the main alias name for the function.
202 auto FuncName = MF.getName();
203 auto R = FuncAliasMap.find(FuncName);
204 StringRef AliasName = R == FuncAliasMap.end() ? FuncName : R->second;
205
206 // Find the assoicated cluster information.
207 auto P = ProgramBBClusterInfo.find(AliasName);
208 if (P == ProgramBBClusterInfo.end())
209 return false;
210
211 if (P->second.empty()) {
212 // This indicates that sections are desired for all basic blocks of this
213 // function. We clear the BBClusterInfo vector to denote this.
214 V.clear();
215 return true;
216 }
217
218 V.resize(MF.getNumBlockIDs());
219 for (auto bbClusterInfo : P->second) {
220 // Bail out if the cluster information contains invalid MBB numbers.
221 if (bbClusterInfo.MBBNumber >= MF.getNumBlockIDs())
222 return false;
223 V[bbClusterInfo.MBBNumber] = bbClusterInfo;
224 }
225 return true;
226 }
227
228 // This function sorts basic blocks according to the cluster's information.
229 // All explicitly specified clusters of basic blocks will be ordered
230 // accordingly. All non-specified BBs go into a separate "Cold" section.
231 // Additionally, if exception handling landing pads end up in more than one
232 // clusters, they are moved into a single "Exception" section. Eventually,
233 // clusters are ordered in increasing order of their IDs, with the "Exception"
234 // and "Cold" succeeding all other clusters.
235 // FuncBBClusterInfo represent the cluster information for basic blocks. If this
236 // is empty, it means unique sections for all basic blocks in the function.
237 static void
assignSections(MachineFunction & MF,const std::vector<Optional<BBClusterInfo>> & FuncBBClusterInfo)238 assignSections(MachineFunction &MF,
239 const std::vector<Optional<BBClusterInfo>> &FuncBBClusterInfo) {
240 assert(MF.hasBBSections() && "BB Sections is not set for function.");
241 // This variable stores the section ID of the cluster containing eh_pads (if
242 // all eh_pads are one cluster). If more than one cluster contain eh_pads, we
243 // set it equal to ExceptionSectionID.
244 Optional<MBBSectionID> EHPadsSectionID;
245
246 for (auto &MBB : MF) {
247 // With the 'all' option, every basic block is placed in a unique section.
248 // With the 'list' option, every basic block is placed in a section
249 // associated with its cluster, unless we want individual unique sections
250 // for every basic block in this function (if FuncBBClusterInfo is empty).
251 if (MF.getTarget().getBBSectionsType() == llvm::BasicBlockSection::All ||
252 FuncBBClusterInfo.empty()) {
253 // If unique sections are desired for all basic blocks of the function, we
254 // set every basic block's section ID equal to its number (basic block
255 // id). This further ensures that basic blocks are ordered canonically.
256 MBB.setSectionID({static_cast<unsigned int>(MBB.getNumber())});
257 } else if (FuncBBClusterInfo[MBB.getNumber()].hasValue())
258 MBB.setSectionID(FuncBBClusterInfo[MBB.getNumber()]->ClusterID);
259 else {
260 // BB goes into the special cold section if it is not specified in the
261 // cluster info map.
262 MBB.setSectionID(MBBSectionID::ColdSectionID);
263 }
264
265 if (MBB.isEHPad() && EHPadsSectionID != MBB.getSectionID() &&
266 EHPadsSectionID != MBBSectionID::ExceptionSectionID) {
267 // If we already have one cluster containing eh_pads, this must be updated
268 // to ExceptionSectionID. Otherwise, we set it equal to the current
269 // section ID.
270 EHPadsSectionID = EHPadsSectionID.hasValue()
271 ? MBBSectionID::ExceptionSectionID
272 : MBB.getSectionID();
273 }
274 }
275
276 // If EHPads are in more than one section, this places all of them in the
277 // special exception section.
278 if (EHPadsSectionID == MBBSectionID::ExceptionSectionID)
279 for (auto &MBB : MF)
280 if (MBB.isEHPad())
281 MBB.setSectionID(EHPadsSectionID.getValue());
282 }
283
sortBasicBlocksAndUpdateBranches(MachineFunction & MF,MachineBasicBlockComparator MBBCmp)284 void llvm::sortBasicBlocksAndUpdateBranches(
285 MachineFunction &MF, MachineBasicBlockComparator MBBCmp) {
286 SmallVector<MachineBasicBlock *, 4> PreLayoutFallThroughs(
287 MF.getNumBlockIDs());
288 for (auto &MBB : MF)
289 PreLayoutFallThroughs[MBB.getNumber()] = MBB.getFallThrough();
290
291 MF.sort(MBBCmp);
292
293 // Set IsBeginSection and IsEndSection according to the assigned section IDs.
294 MF.assignBeginEndSections();
295
296 // After reordering basic blocks, we must update basic block branches to
297 // insert explicit fallthrough branches when required and optimize branches
298 // when possible.
299 updateBranches(MF, PreLayoutFallThroughs);
300 }
301
302 // If the exception section begins with a landing pad, that landing pad will
303 // assume a zero offset (relative to @LPStart) in the LSDA. However, a value of
304 // zero implies "no landing pad." This function inserts a NOP just before the EH
305 // pad label to ensure a nonzero offset. Returns true if padding is not needed.
avoidZeroOffsetLandingPad(MachineFunction & MF)306 static bool avoidZeroOffsetLandingPad(MachineFunction &MF) {
307 for (auto &MBB : MF) {
308 if (MBB.isBeginSection() && MBB.isEHPad()) {
309 MachineBasicBlock::iterator MI = MBB.begin();
310 while (!MI->isEHLabel())
311 ++MI;
312 MCInst Nop = MF.getSubtarget().getInstrInfo()->getNop();
313 BuildMI(MBB, MI, DebugLoc(),
314 MF.getSubtarget().getInstrInfo()->get(Nop.getOpcode()));
315 return false;
316 }
317 }
318 return true;
319 }
320
321 // This checks if the source of this function has drifted since this binary was
322 // profiled previously. For now, we are piggy backing on what PGO does to
323 // detect this with instrumented profiles. PGO emits an hash of the IR and
324 // checks if the hash has changed. Advanced basic block layout is usually done
325 // on top of PGO optimized binaries and hence this check works well in practice.
hasInstrProfHashMismatch(MachineFunction & MF)326 static bool hasInstrProfHashMismatch(MachineFunction &MF) {
327 if (!BBSectionsDetectSourceDrift)
328 return false;
329
330 const char MetadataName[] = "instr_prof_hash_mismatch";
331 auto *Existing = MF.getFunction().getMetadata(LLVMContext::MD_annotation);
332 if (Existing) {
333 MDTuple *Tuple = cast<MDTuple>(Existing);
334 for (auto &N : Tuple->operands())
335 if (cast<MDString>(N.get())->getString() == MetadataName)
336 return true;
337 }
338
339 return false;
340 }
341
runOnMachineFunction(MachineFunction & MF)342 bool BasicBlockSections::runOnMachineFunction(MachineFunction &MF) {
343 auto BBSectionsType = MF.getTarget().getBBSectionsType();
344 assert(BBSectionsType != BasicBlockSection::None &&
345 "BB Sections not enabled!");
346
347 // Check for source drift. If the source has changed since the profiles
348 // were obtained, optimizing basic blocks might be sub-optimal.
349 // This only applies to BasicBlockSection::List as it creates
350 // clusters of basic blocks using basic block ids. Source drift can
351 // invalidate these groupings leading to sub-optimal code generation with
352 // regards to performance.
353 if (BBSectionsType == BasicBlockSection::List &&
354 hasInstrProfHashMismatch(MF))
355 return true;
356
357 // Renumber blocks before sorting them for basic block sections. This is
358 // useful during sorting, basic blocks in the same section will retain the
359 // default order. This renumbering should also be done for basic block
360 // labels to match the profiles with the correct blocks.
361 MF.RenumberBlocks();
362
363 if (BBSectionsType == BasicBlockSection::Labels) {
364 MF.setBBSectionsType(BBSectionsType);
365 return true;
366 }
367
368 std::vector<Optional<BBClusterInfo>> FuncBBClusterInfo;
369 if (BBSectionsType == BasicBlockSection::List &&
370 !getBBClusterInfoForFunction(MF, FuncAliasMap, ProgramBBClusterInfo,
371 FuncBBClusterInfo))
372 return true;
373 MF.setBBSectionsType(BBSectionsType);
374 assignSections(MF, FuncBBClusterInfo);
375
376 // We make sure that the cluster including the entry basic block precedes all
377 // other clusters.
378 auto EntryBBSectionID = MF.front().getSectionID();
379
380 // Helper function for ordering BB sections as follows:
381 // * Entry section (section including the entry block).
382 // * Regular sections (in increasing order of their Number).
383 // ...
384 // * Exception section
385 // * Cold section
386 auto MBBSectionOrder = [EntryBBSectionID](const MBBSectionID &LHS,
387 const MBBSectionID &RHS) {
388 // We make sure that the section containing the entry block precedes all the
389 // other sections.
390 if (LHS == EntryBBSectionID || RHS == EntryBBSectionID)
391 return LHS == EntryBBSectionID;
392 return LHS.Type == RHS.Type ? LHS.Number < RHS.Number : LHS.Type < RHS.Type;
393 };
394
395 // We sort all basic blocks to make sure the basic blocks of every cluster are
396 // contiguous and ordered accordingly. Furthermore, clusters are ordered in
397 // increasing order of their section IDs, with the exception and the
398 // cold section placed at the end of the function.
399 auto Comparator = [&](const MachineBasicBlock &X,
400 const MachineBasicBlock &Y) {
401 auto XSectionID = X.getSectionID();
402 auto YSectionID = Y.getSectionID();
403 if (XSectionID != YSectionID)
404 return MBBSectionOrder(XSectionID, YSectionID);
405 // If the two basic block are in the same section, the order is decided by
406 // their position within the section.
407 if (XSectionID.Type == MBBSectionID::SectionType::Default)
408 return FuncBBClusterInfo[X.getNumber()]->PositionInCluster <
409 FuncBBClusterInfo[Y.getNumber()]->PositionInCluster;
410 return X.getNumber() < Y.getNumber();
411 };
412
413 sortBasicBlocksAndUpdateBranches(MF, Comparator);
414 avoidZeroOffsetLandingPad(MF);
415 return true;
416 }
417
418 // Basic Block Sections can be enabled for a subset of machine basic blocks.
419 // This is done by passing a file containing names of functions for which basic
420 // block sections are desired. Additionally, machine basic block ids of the
421 // functions can also be specified for a finer granularity. Moreover, a cluster
422 // of basic blocks could be assigned to the same section.
423 // A file with basic block sections for all of function main and three blocks
424 // for function foo (of which 1 and 2 are placed in a cluster) looks like this:
425 // ----------------------------
426 // list.txt:
427 // !main
428 // !foo
429 // !!1 2
430 // !!4
getBBClusterInfo(const MemoryBuffer * MBuf,ProgramBBClusterInfoMapTy & ProgramBBClusterInfo,StringMap<StringRef> & FuncAliasMap)431 static Error getBBClusterInfo(const MemoryBuffer *MBuf,
432 ProgramBBClusterInfoMapTy &ProgramBBClusterInfo,
433 StringMap<StringRef> &FuncAliasMap) {
434 assert(MBuf);
435 line_iterator LineIt(*MBuf, /*SkipBlanks=*/true, /*CommentMarker=*/'#');
436
437 auto invalidProfileError = [&](auto Message) {
438 return make_error<StringError>(
439 Twine("Invalid profile " + MBuf->getBufferIdentifier() + " at line " +
440 Twine(LineIt.line_number()) + ": " + Message),
441 inconvertibleErrorCode());
442 };
443
444 auto FI = ProgramBBClusterInfo.end();
445
446 // Current cluster ID corresponding to this function.
447 unsigned CurrentCluster = 0;
448 // Current position in the current cluster.
449 unsigned CurrentPosition = 0;
450
451 // Temporary set to ensure every basic block ID appears once in the clusters
452 // of a function.
453 SmallSet<unsigned, 4> FuncBBIDs;
454
455 for (; !LineIt.is_at_eof(); ++LineIt) {
456 StringRef S(*LineIt);
457 if (S[0] == '@')
458 continue;
459 // Check for the leading "!"
460 if (!S.consume_front("!") || S.empty())
461 break;
462 // Check for second "!" which indicates a cluster of basic blocks.
463 if (S.consume_front("!")) {
464 if (FI == ProgramBBClusterInfo.end())
465 return invalidProfileError(
466 "Cluster list does not follow a function name specifier.");
467 SmallVector<StringRef, 4> BBIndexes;
468 S.split(BBIndexes, ' ');
469 // Reset current cluster position.
470 CurrentPosition = 0;
471 for (auto BBIndexStr : BBIndexes) {
472 unsigned long long BBIndex;
473 if (getAsUnsignedInteger(BBIndexStr, 10, BBIndex))
474 return invalidProfileError(Twine("Unsigned integer expected: '") +
475 BBIndexStr + "'.");
476 if (!FuncBBIDs.insert(BBIndex).second)
477 return invalidProfileError(Twine("Duplicate basic block id found '") +
478 BBIndexStr + "'.");
479 if (!BBIndex && CurrentPosition)
480 return invalidProfileError("Entry BB (0) does not begin a cluster.");
481
482 FI->second.emplace_back(BBClusterInfo{
483 ((unsigned)BBIndex), CurrentCluster, CurrentPosition++});
484 }
485 CurrentCluster++;
486 } else { // This is a function name specifier.
487 // Function aliases are separated using '/'. We use the first function
488 // name for the cluster info mapping and delegate all other aliases to
489 // this one.
490 SmallVector<StringRef, 4> Aliases;
491 S.split(Aliases, '/');
492 for (size_t i = 1; i < Aliases.size(); ++i)
493 FuncAliasMap.try_emplace(Aliases[i], Aliases.front());
494
495 // Prepare for parsing clusters of this function name.
496 // Start a new cluster map for this function name.
497 FI = ProgramBBClusterInfo.try_emplace(Aliases.front()).first;
498 CurrentCluster = 0;
499 FuncBBIDs.clear();
500 }
501 }
502 return Error::success();
503 }
504
doInitialization(Module & M)505 bool BasicBlockSections::doInitialization(Module &M) {
506 if (!MBuf)
507 return false;
508 if (auto Err = getBBClusterInfo(MBuf, ProgramBBClusterInfo, FuncAliasMap))
509 report_fatal_error(std::move(Err));
510 return false;
511 }
512
getAnalysisUsage(AnalysisUsage & AU) const513 void BasicBlockSections::getAnalysisUsage(AnalysisUsage &AU) const {
514 AU.setPreservesAll();
515 MachineFunctionPass::getAnalysisUsage(AU);
516 }
517
518 MachineFunctionPass *
createBasicBlockSectionsPass(const MemoryBuffer * Buf)519 llvm::createBasicBlockSectionsPass(const MemoryBuffer *Buf) {
520 return new BasicBlockSections(Buf);
521 }
522