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 a .bb_addr_map section. Along with the function symbols, 53 // this allows for mapping of virtual addresses in PMU profiles back to the 54 // 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. Where necessary, users should set this to ".text.split." 85 // which is recognized by lld 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.unlikely."), 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 124 BasicBlockSections(const MemoryBuffer *Buf) 125 : MachineFunctionPass(ID), MBuf(Buf) { 126 initializeBasicBlockSectionsPass(*PassRegistry::getPassRegistry()); 127 }; 128 129 BasicBlockSections() : MachineFunctionPass(ID) { 130 initializeBasicBlockSectionsPass(*PassRegistry::getPassRegistry()); 131 } 132 133 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. 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. 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 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 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 bool BasicBlockSections::runOnMachineFunction(MachineFunction &MF) { 297 auto BBSectionsType = MF.getTarget().getBBSectionsType(); 298 assert(BBSectionsType != BasicBlockSection::None && 299 "BB Sections not enabled!"); 300 // Renumber blocks before sorting them for basic block sections. This is 301 // useful during sorting, basic blocks in the same section will retain the 302 // default order. This renumbering should also be done for basic block 303 // labels to match the profiles with the correct blocks. 304 MF.RenumberBlocks(); 305 306 if (BBSectionsType == BasicBlockSection::Labels) { 307 MF.setBBSectionsType(BBSectionsType); 308 return true; 309 } 310 311 std::vector<Optional<BBClusterInfo>> FuncBBClusterInfo; 312 if (BBSectionsType == BasicBlockSection::List && 313 !getBBClusterInfoForFunction(MF, FuncAliasMap, ProgramBBClusterInfo, 314 FuncBBClusterInfo)) 315 return true; 316 MF.setBBSectionsType(BBSectionsType); 317 assignSections(MF, FuncBBClusterInfo); 318 319 // We make sure that the cluster including the entry basic block precedes all 320 // other clusters. 321 auto EntryBBSectionID = MF.front().getSectionID(); 322 323 // Helper function for ordering BB sections as follows: 324 // * Entry section (section including the entry block). 325 // * Regular sections (in increasing order of their Number). 326 // ... 327 // * Exception section 328 // * Cold section 329 auto MBBSectionOrder = [EntryBBSectionID](const MBBSectionID &LHS, 330 const MBBSectionID &RHS) { 331 // We make sure that the section containing the entry block precedes all the 332 // other sections. 333 if (LHS == EntryBBSectionID || RHS == EntryBBSectionID) 334 return LHS == EntryBBSectionID; 335 return LHS.Type == RHS.Type ? LHS.Number < RHS.Number : LHS.Type < RHS.Type; 336 }; 337 338 // We sort all basic blocks to make sure the basic blocks of every cluster are 339 // contiguous and ordered accordingly. Furthermore, clusters are ordered in 340 // increasing order of their section IDs, with the exception and the 341 // cold section placed at the end of the function. 342 auto Comparator = [&](const MachineBasicBlock &X, 343 const MachineBasicBlock &Y) { 344 auto XSectionID = X.getSectionID(); 345 auto YSectionID = Y.getSectionID(); 346 if (XSectionID != YSectionID) 347 return MBBSectionOrder(XSectionID, YSectionID); 348 // If the two basic block are in the same section, the order is decided by 349 // their position within the section. 350 if (XSectionID.Type == MBBSectionID::SectionType::Default) 351 return FuncBBClusterInfo[X.getNumber()]->PositionInCluster < 352 FuncBBClusterInfo[Y.getNumber()]->PositionInCluster; 353 return X.getNumber() < Y.getNumber(); 354 }; 355 356 sortBasicBlocksAndUpdateBranches(MF, Comparator); 357 return true; 358 } 359 360 // Basic Block Sections can be enabled for a subset of machine basic blocks. 361 // This is done by passing a file containing names of functions for which basic 362 // block sections are desired. Additionally, machine basic block ids of the 363 // functions can also be specified for a finer granularity. Moreover, a cluster 364 // of basic blocks could be assigned to the same section. 365 // A file with basic block sections for all of function main and three blocks 366 // for function foo (of which 1 and 2 are placed in a cluster) looks like this: 367 // ---------------------------- 368 // list.txt: 369 // !main 370 // !foo 371 // !!1 2 372 // !!4 373 static Error getBBClusterInfo(const MemoryBuffer *MBuf, 374 ProgramBBClusterInfoMapTy &ProgramBBClusterInfo, 375 StringMap<StringRef> &FuncAliasMap) { 376 assert(MBuf); 377 line_iterator LineIt(*MBuf, /*SkipBlanks=*/true, /*CommentMarker=*/'#'); 378 379 auto invalidProfileError = [&](auto Message) { 380 return make_error<StringError>( 381 Twine("Invalid profile " + MBuf->getBufferIdentifier() + " at line " + 382 Twine(LineIt.line_number()) + ": " + Message), 383 inconvertibleErrorCode()); 384 }; 385 386 auto FI = ProgramBBClusterInfo.end(); 387 388 // Current cluster ID corresponding to this function. 389 unsigned CurrentCluster = 0; 390 // Current position in the current cluster. 391 unsigned CurrentPosition = 0; 392 393 // Temporary set to ensure every basic block ID appears once in the clusters 394 // of a function. 395 SmallSet<unsigned, 4> FuncBBIDs; 396 397 for (; !LineIt.is_at_eof(); ++LineIt) { 398 StringRef S(*LineIt); 399 if (S[0] == '@') 400 continue; 401 // Check for the leading "!" 402 if (!S.consume_front("!") || S.empty()) 403 break; 404 // Check for second "!" which indicates a cluster of basic blocks. 405 if (S.consume_front("!")) { 406 if (FI == ProgramBBClusterInfo.end()) 407 return invalidProfileError( 408 "Cluster list does not follow a function name specifier."); 409 SmallVector<StringRef, 4> BBIndexes; 410 S.split(BBIndexes, ' '); 411 // Reset current cluster position. 412 CurrentPosition = 0; 413 for (auto BBIndexStr : BBIndexes) { 414 unsigned long long BBIndex; 415 if (getAsUnsignedInteger(BBIndexStr, 10, BBIndex)) 416 return invalidProfileError(Twine("Unsigned integer expected: '") + 417 BBIndexStr + "'."); 418 if (!FuncBBIDs.insert(BBIndex).second) 419 return invalidProfileError(Twine("Duplicate basic block id found '") + 420 BBIndexStr + "'."); 421 if (!BBIndex && CurrentPosition) 422 return invalidProfileError("Entry BB (0) does not begin a cluster."); 423 424 FI->second.emplace_back(BBClusterInfo{ 425 ((unsigned)BBIndex), CurrentCluster, CurrentPosition++}); 426 } 427 CurrentCluster++; 428 } else { // This is a function name specifier. 429 // Function aliases are separated using '/'. We use the first function 430 // name for the cluster info mapping and delegate all other aliases to 431 // this one. 432 SmallVector<StringRef, 4> Aliases; 433 S.split(Aliases, '/'); 434 for (size_t i = 1; i < Aliases.size(); ++i) 435 FuncAliasMap.try_emplace(Aliases[i], Aliases.front()); 436 437 // Prepare for parsing clusters of this function name. 438 // Start a new cluster map for this function name. 439 FI = ProgramBBClusterInfo.try_emplace(Aliases.front()).first; 440 CurrentCluster = 0; 441 FuncBBIDs.clear(); 442 } 443 } 444 return Error::success(); 445 } 446 447 bool BasicBlockSections::doInitialization(Module &M) { 448 if (!MBuf) 449 return false; 450 if (auto Err = getBBClusterInfo(MBuf, ProgramBBClusterInfo, FuncAliasMap)) 451 report_fatal_error(std::move(Err)); 452 return false; 453 } 454 455 void BasicBlockSections::getAnalysisUsage(AnalysisUsage &AU) const { 456 AU.setPreservesAll(); 457 MachineFunctionPass::getAnalysisUsage(AU); 458 } 459 460 MachineFunctionPass * 461 llvm::createBasicBlockSectionsPass(const MemoryBuffer *Buf) { 462 return new BasicBlockSections(Buf); 463 } 464