1 //===- bolt/Passes/LongJmp.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 // This file implements the LongJmpPass class. 10 // 11 //===----------------------------------------------------------------------===// 12 13 #include "bolt/Passes/LongJmp.h" 14 #include "llvm/Support/Alignment.h" 15 16 #define DEBUG_TYPE "longjmp" 17 18 using namespace llvm; 19 20 namespace opts { 21 extern cl::OptionCategory BoltOptCategory; 22 23 extern cl::opt<bool> UseOldText; 24 extern cl::opt<bool> HotFunctionsAtEnd; 25 26 static cl::opt<bool> 27 GroupStubs("group-stubs", 28 cl::desc("share stubs across functions"), 29 cl::init(true), 30 cl::ZeroOrMore, 31 cl::cat(BoltOptCategory)); 32 } 33 34 namespace llvm { 35 namespace bolt { 36 37 namespace { 38 constexpr unsigned ColdFragAlign = 16; 39 40 void relaxStubToShortJmp(BinaryBasicBlock &StubBB, const MCSymbol *Tgt) { 41 const BinaryContext &BC = StubBB.getFunction()->getBinaryContext(); 42 InstructionListType Seq; 43 BC.MIB->createShortJmp(Seq, Tgt, BC.Ctx.get()); 44 StubBB.clear(); 45 StubBB.addInstructions(Seq.begin(), Seq.end()); 46 } 47 48 void relaxStubToLongJmp(BinaryBasicBlock &StubBB, const MCSymbol *Tgt) { 49 const BinaryContext &BC = StubBB.getFunction()->getBinaryContext(); 50 InstructionListType Seq; 51 BC.MIB->createLongJmp(Seq, Tgt, BC.Ctx.get()); 52 StubBB.clear(); 53 StubBB.addInstructions(Seq.begin(), Seq.end()); 54 } 55 56 BinaryBasicBlock *getBBAtHotColdSplitPoint(BinaryFunction &Func) { 57 if (!Func.isSplit() || Func.empty()) 58 return nullptr; 59 60 assert(!(*Func.begin()).isCold() && "Entry cannot be cold"); 61 for (auto I = Func.layout_begin(), E = Func.layout_end(); I != E; ++I) { 62 auto Next = std::next(I); 63 if (Next != E && (*Next)->isCold()) 64 return *I; 65 } 66 llvm_unreachable("No hot-colt split point found"); 67 } 68 69 bool shouldInsertStub(const BinaryContext &BC, const MCInst &Inst) { 70 return (BC.MIB->isBranch(Inst) || BC.MIB->isCall(Inst)) && 71 !BC.MIB->isIndirectBranch(Inst) && !BC.MIB->isIndirectCall(Inst); 72 } 73 74 } // end anonymous namespace 75 76 std::pair<std::unique_ptr<BinaryBasicBlock>, MCSymbol *> 77 LongJmpPass::createNewStub(BinaryBasicBlock &SourceBB, const MCSymbol *TgtSym, 78 bool TgtIsFunc, uint64_t AtAddress) { 79 BinaryFunction &Func = *SourceBB.getFunction(); 80 const BinaryContext &BC = Func.getBinaryContext(); 81 const bool IsCold = SourceBB.isCold(); 82 MCSymbol *StubSym = BC.Ctx->createNamedTempSymbol("Stub"); 83 std::unique_ptr<BinaryBasicBlock> StubBB = Func.createBasicBlock(0, StubSym); 84 MCInst Inst; 85 BC.MIB->createUncondBranch(Inst, TgtSym, BC.Ctx.get()); 86 if (TgtIsFunc) 87 BC.MIB->convertJmpToTailCall(Inst); 88 StubBB->addInstruction(Inst); 89 StubBB->setExecutionCount(0); 90 91 // Register this in stubs maps 92 auto registerInMap = [&](StubGroupsTy &Map) { 93 StubGroupTy &StubGroup = Map[TgtSym]; 94 StubGroup.insert( 95 std::lower_bound( 96 StubGroup.begin(), StubGroup.end(), 97 std::make_pair(AtAddress, nullptr), 98 [&](const std::pair<uint64_t, BinaryBasicBlock *> &LHS, 99 const std::pair<uint64_t, BinaryBasicBlock *> &RHS) { 100 return LHS.first < RHS.first; 101 }), 102 std::make_pair(AtAddress, StubBB.get())); 103 }; 104 105 Stubs[&Func].insert(StubBB.get()); 106 StubBits[StubBB.get()] = BC.MIB->getUncondBranchEncodingSize(); 107 if (IsCold) { 108 registerInMap(ColdLocalStubs[&Func]); 109 if (opts::GroupStubs && TgtIsFunc) 110 registerInMap(ColdStubGroups); 111 ++NumColdStubs; 112 } else { 113 registerInMap(HotLocalStubs[&Func]); 114 if (opts::GroupStubs && TgtIsFunc) 115 registerInMap(HotStubGroups); 116 ++NumHotStubs; 117 } 118 119 return std::make_pair(std::move(StubBB), StubSym); 120 } 121 122 BinaryBasicBlock *LongJmpPass::lookupStubFromGroup( 123 const StubGroupsTy &StubGroups, const BinaryFunction &Func, 124 const MCInst &Inst, const MCSymbol *TgtSym, uint64_t DotAddress) const { 125 const BinaryContext &BC = Func.getBinaryContext(); 126 auto CandidatesIter = StubGroups.find(TgtSym); 127 if (CandidatesIter == StubGroups.end()) 128 return nullptr; 129 const StubGroupTy &Candidates = CandidatesIter->second; 130 if (Candidates.empty()) 131 return nullptr; 132 auto Cand = std::lower_bound( 133 Candidates.begin(), Candidates.end(), std::make_pair(DotAddress, nullptr), 134 [&](const std::pair<uint64_t, BinaryBasicBlock *> &LHS, 135 const std::pair<uint64_t, BinaryBasicBlock *> &RHS) { 136 return LHS.first < RHS.first; 137 }); 138 if (Cand == Candidates.end()) 139 return nullptr; 140 if (Cand != Candidates.begin()) { 141 const StubTy *LeftCand = std::prev(Cand); 142 if (Cand->first - DotAddress > DotAddress - LeftCand->first) 143 Cand = LeftCand; 144 } 145 int BitsAvail = BC.MIB->getPCRelEncodingSize(Inst) - 1; 146 uint64_t Mask = ~((1ULL << BitsAvail) - 1); 147 uint64_t PCRelTgtAddress = Cand->first; 148 PCRelTgtAddress = DotAddress > PCRelTgtAddress ? DotAddress - PCRelTgtAddress 149 : PCRelTgtAddress - DotAddress; 150 LLVM_DEBUG({ 151 if (Candidates.size() > 1) 152 dbgs() << "Considering stub group with " << Candidates.size() 153 << " candidates. DotAddress is " << Twine::utohexstr(DotAddress) 154 << ", chosen candidate address is " 155 << Twine::utohexstr(Cand->first) << "\n"; 156 }); 157 return PCRelTgtAddress & Mask ? nullptr : Cand->second; 158 } 159 160 BinaryBasicBlock * 161 LongJmpPass::lookupGlobalStub(const BinaryBasicBlock &SourceBB, 162 const MCInst &Inst, const MCSymbol *TgtSym, 163 uint64_t DotAddress) const { 164 const BinaryFunction &Func = *SourceBB.getFunction(); 165 const StubGroupsTy &StubGroups = 166 SourceBB.isCold() ? ColdStubGroups : HotStubGroups; 167 return lookupStubFromGroup(StubGroups, Func, Inst, TgtSym, DotAddress); 168 } 169 170 BinaryBasicBlock *LongJmpPass::lookupLocalStub(const BinaryBasicBlock &SourceBB, 171 const MCInst &Inst, 172 const MCSymbol *TgtSym, 173 uint64_t DotAddress) const { 174 const BinaryFunction &Func = *SourceBB.getFunction(); 175 const DenseMap<const BinaryFunction *, StubGroupsTy> &StubGroups = 176 SourceBB.isCold() ? ColdLocalStubs : HotLocalStubs; 177 const auto Iter = StubGroups.find(&Func); 178 if (Iter == StubGroups.end()) 179 return nullptr; 180 return lookupStubFromGroup(Iter->second, Func, Inst, TgtSym, DotAddress); 181 } 182 183 std::unique_ptr<BinaryBasicBlock> 184 LongJmpPass::replaceTargetWithStub(BinaryBasicBlock &BB, MCInst &Inst, 185 uint64_t DotAddress, 186 uint64_t StubCreationAddress) { 187 const BinaryFunction &Func = *BB.getFunction(); 188 const BinaryContext &BC = Func.getBinaryContext(); 189 std::unique_ptr<BinaryBasicBlock> NewBB; 190 const MCSymbol *TgtSym = BC.MIB->getTargetSymbol(Inst); 191 assert(TgtSym && "getTargetSymbol failed"); 192 193 BinaryBasicBlock::BinaryBranchInfo BI{0, 0}; 194 BinaryBasicBlock *TgtBB = BB.getSuccessor(TgtSym, BI); 195 auto LocalStubsIter = Stubs.find(&Func); 196 197 // If already using stub and the stub is from another function, create a local 198 // stub, since the foreign stub is now out of range 199 if (!TgtBB) { 200 auto SSIter = SharedStubs.find(TgtSym); 201 if (SSIter != SharedStubs.end()) { 202 TgtSym = BC.MIB->getTargetSymbol(*SSIter->second->begin()); 203 --NumSharedStubs; 204 } 205 } else if (LocalStubsIter != Stubs.end() && 206 LocalStubsIter->second.count(TgtBB)) { 207 // If we are replacing a local stub (because it is now out of range), 208 // use its target instead of creating a stub to jump to another stub 209 TgtSym = BC.MIB->getTargetSymbol(*TgtBB->begin()); 210 TgtBB = BB.getSuccessor(TgtSym, BI); 211 } 212 213 BinaryBasicBlock *StubBB = lookupLocalStub(BB, Inst, TgtSym, DotAddress); 214 // If not found, look it up in globally shared stub maps if it is a function 215 // call (TgtBB is not set) 216 if (!StubBB && !TgtBB) { 217 StubBB = lookupGlobalStub(BB, Inst, TgtSym, DotAddress); 218 if (StubBB) { 219 SharedStubs[StubBB->getLabel()] = StubBB; 220 ++NumSharedStubs; 221 } 222 } 223 MCSymbol *StubSymbol = StubBB ? StubBB->getLabel() : nullptr; 224 225 if (!StubBB) { 226 std::tie(NewBB, StubSymbol) = 227 createNewStub(BB, TgtSym, /*is func?*/ !TgtBB, StubCreationAddress); 228 StubBB = NewBB.get(); 229 } 230 231 // Local branch 232 if (TgtBB) { 233 uint64_t OrigCount = BI.Count; 234 uint64_t OrigMispreds = BI.MispredictedCount; 235 BB.replaceSuccessor(TgtBB, StubBB, OrigCount, OrigMispreds); 236 StubBB->setExecutionCount(StubBB->getExecutionCount() + OrigCount); 237 if (NewBB) { 238 StubBB->addSuccessor(TgtBB, OrigCount, OrigMispreds); 239 StubBB->setIsCold(BB.isCold()); 240 } 241 // Call / tail call 242 } else { 243 StubBB->setExecutionCount(StubBB->getExecutionCount() + 244 BB.getExecutionCount()); 245 if (NewBB) { 246 assert(TgtBB == nullptr); 247 StubBB->setIsCold(BB.isCold()); 248 // Set as entry point because this block is valid but we have no preds 249 StubBB->getFunction()->addEntryPoint(*StubBB); 250 } 251 } 252 BC.MIB->replaceBranchTarget(Inst, StubSymbol, BC.Ctx.get()); 253 254 return NewBB; 255 } 256 257 void LongJmpPass::updateStubGroups() { 258 auto update = [&](StubGroupsTy &StubGroups) { 259 for (auto &KeyVal : StubGroups) { 260 for (StubTy &Elem : KeyVal.second) 261 Elem.first = BBAddresses[Elem.second]; 262 std::sort(KeyVal.second.begin(), KeyVal.second.end(), 263 [&](const std::pair<uint64_t, BinaryBasicBlock *> &LHS, 264 const std::pair<uint64_t, BinaryBasicBlock *> &RHS) { 265 return LHS.first < RHS.first; 266 }); 267 } 268 }; 269 270 for (auto &KeyVal : HotLocalStubs) 271 update(KeyVal.second); 272 for (auto &KeyVal : ColdLocalStubs) 273 update(KeyVal.second); 274 update(HotStubGroups); 275 update(ColdStubGroups); 276 } 277 278 void LongJmpPass::tentativeBBLayout(const BinaryFunction &Func) { 279 const BinaryContext &BC = Func.getBinaryContext(); 280 uint64_t HotDot = HotAddresses[&Func]; 281 uint64_t ColdDot = ColdAddresses[&Func]; 282 bool Cold = false; 283 for (BinaryBasicBlock *BB : Func.layout()) { 284 if (Cold || BB->isCold()) { 285 Cold = true; 286 BBAddresses[BB] = ColdDot; 287 ColdDot += BC.computeCodeSize(BB->begin(), BB->end()); 288 } else { 289 BBAddresses[BB] = HotDot; 290 HotDot += BC.computeCodeSize(BB->begin(), BB->end()); 291 } 292 } 293 } 294 295 uint64_t LongJmpPass::tentativeLayoutRelocColdPart( 296 const BinaryContext &BC, std::vector<BinaryFunction *> &SortedFunctions, 297 uint64_t DotAddress) { 298 for (BinaryFunction *Func : SortedFunctions) { 299 if (!Func->isSplit()) 300 continue; 301 DotAddress = alignTo(DotAddress, BinaryFunction::MinAlign); 302 uint64_t Pad = 303 offsetToAlignment(DotAddress, llvm::Align(Func->getAlignment())); 304 if (Pad <= Func->getMaxColdAlignmentBytes()) 305 DotAddress += Pad; 306 ColdAddresses[Func] = DotAddress; 307 LLVM_DEBUG(dbgs() << Func->getPrintName() << " cold tentative: " 308 << Twine::utohexstr(DotAddress) << "\n"); 309 DotAddress += Func->estimateColdSize(); 310 DotAddress += Func->estimateConstantIslandSize(); 311 } 312 return DotAddress; 313 } 314 315 uint64_t LongJmpPass::tentativeLayoutRelocMode( 316 const BinaryContext &BC, std::vector<BinaryFunction *> &SortedFunctions, 317 uint64_t DotAddress) { 318 319 // Compute hot cold frontier 320 uint32_t LastHotIndex = -1u; 321 uint32_t CurrentIndex = 0; 322 if (opts::HotFunctionsAtEnd) { 323 for (BinaryFunction *BF : SortedFunctions) { 324 if (BF->hasValidIndex() && LastHotIndex == -1u) 325 LastHotIndex = CurrentIndex; 326 ++CurrentIndex; 327 } 328 } else { 329 for (BinaryFunction *BF : SortedFunctions) { 330 if (!BF->hasValidIndex() && LastHotIndex == -1u) 331 LastHotIndex = CurrentIndex; 332 ++CurrentIndex; 333 } 334 } 335 336 // Hot 337 CurrentIndex = 0; 338 bool ColdLayoutDone = false; 339 for (BinaryFunction *Func : SortedFunctions) { 340 if (!ColdLayoutDone && CurrentIndex >= LastHotIndex) { 341 DotAddress = 342 tentativeLayoutRelocColdPart(BC, SortedFunctions, DotAddress); 343 ColdLayoutDone = true; 344 if (opts::HotFunctionsAtEnd) 345 DotAddress = alignTo(DotAddress, BC.PageAlign); 346 } 347 348 DotAddress = alignTo(DotAddress, BinaryFunction::MinAlign); 349 uint64_t Pad = 350 offsetToAlignment(DotAddress, llvm::Align(Func->getAlignment())); 351 if (Pad <= Func->getMaxAlignmentBytes()) 352 DotAddress += Pad; 353 HotAddresses[Func] = DotAddress; 354 LLVM_DEBUG(dbgs() << Func->getPrintName() << " tentative: " 355 << Twine::utohexstr(DotAddress) << "\n"); 356 if (!Func->isSplit()) 357 DotAddress += Func->estimateSize(); 358 else 359 DotAddress += Func->estimateHotSize(); 360 DotAddress += Func->estimateConstantIslandSize(); 361 ++CurrentIndex; 362 } 363 // BBs 364 for (BinaryFunction *Func : SortedFunctions) 365 tentativeBBLayout(*Func); 366 367 return DotAddress; 368 } 369 370 void LongJmpPass::tentativeLayout( 371 const BinaryContext &BC, std::vector<BinaryFunction *> &SortedFunctions) { 372 uint64_t DotAddress = BC.LayoutStartAddress; 373 374 if (!BC.HasRelocations) { 375 for (BinaryFunction *Func : SortedFunctions) { 376 HotAddresses[Func] = Func->getAddress(); 377 DotAddress = alignTo(DotAddress, ColdFragAlign); 378 ColdAddresses[Func] = DotAddress; 379 if (Func->isSplit()) 380 DotAddress += Func->estimateColdSize(); 381 tentativeBBLayout(*Func); 382 } 383 384 return; 385 } 386 387 // Relocation mode 388 uint64_t EstimatedTextSize = tentativeLayoutRelocMode(BC, SortedFunctions, 0); 389 390 // Initial padding 391 if (opts::UseOldText && EstimatedTextSize <= BC.OldTextSectionSize) { 392 DotAddress = BC.OldTextSectionAddress; 393 uint64_t Pad = offsetToAlignment(DotAddress, llvm::Align(BC.PageAlign)); 394 if (Pad + EstimatedTextSize <= BC.OldTextSectionSize) 395 DotAddress += Pad; 396 } else { 397 DotAddress = alignTo(BC.LayoutStartAddress, BC.PageAlign); 398 } 399 400 tentativeLayoutRelocMode(BC, SortedFunctions, DotAddress); 401 } 402 403 bool LongJmpPass::usesStub(const BinaryFunction &Func, 404 const MCInst &Inst) const { 405 const MCSymbol *TgtSym = Func.getBinaryContext().MIB->getTargetSymbol(Inst); 406 const BinaryBasicBlock *TgtBB = Func.getBasicBlockForLabel(TgtSym); 407 auto Iter = Stubs.find(&Func); 408 if (Iter != Stubs.end()) 409 return Iter->second.count(TgtBB); 410 return false; 411 } 412 413 uint64_t LongJmpPass::getSymbolAddress(const BinaryContext &BC, 414 const MCSymbol *Target, 415 const BinaryBasicBlock *TgtBB) const { 416 if (TgtBB) { 417 auto Iter = BBAddresses.find(TgtBB); 418 assert(Iter != BBAddresses.end() && "Unrecognized BB"); 419 return Iter->second; 420 } 421 uint64_t EntryID = 0; 422 const BinaryFunction *TargetFunc = BC.getFunctionForSymbol(Target, &EntryID); 423 auto Iter = HotAddresses.find(TargetFunc); 424 if (Iter == HotAddresses.end() || (TargetFunc && EntryID)) { 425 // Look at BinaryContext's resolution for this symbol - this is a symbol not 426 // mapped to a BinaryFunction 427 ErrorOr<uint64_t> ValueOrError = BC.getSymbolValue(*Target); 428 assert(ValueOrError && "Unrecognized symbol"); 429 return *ValueOrError; 430 } 431 return Iter->second; 432 } 433 434 bool LongJmpPass::relaxStub(BinaryBasicBlock &StubBB) { 435 const BinaryFunction &Func = *StubBB.getFunction(); 436 const BinaryContext &BC = Func.getBinaryContext(); 437 const int Bits = StubBits[&StubBB]; 438 // Already working with the largest range? 439 if (Bits == static_cast<int>(BC.AsmInfo->getCodePointerSize() * 8)) 440 return false; 441 442 const static int RangeShortJmp = BC.MIB->getShortJmpEncodingSize(); 443 const static int RangeSingleInstr = BC.MIB->getUncondBranchEncodingSize(); 444 const static uint64_t ShortJmpMask = ~((1ULL << RangeShortJmp) - 1); 445 const static uint64_t SingleInstrMask = 446 ~((1ULL << (RangeSingleInstr - 1)) - 1); 447 448 const MCSymbol *RealTargetSym = BC.MIB->getTargetSymbol(*StubBB.begin()); 449 const BinaryBasicBlock *TgtBB = Func.getBasicBlockForLabel(RealTargetSym); 450 uint64_t TgtAddress = getSymbolAddress(BC, RealTargetSym, TgtBB); 451 uint64_t DotAddress = BBAddresses[&StubBB]; 452 uint64_t PCRelTgtAddress = DotAddress > TgtAddress ? DotAddress - TgtAddress 453 : TgtAddress - DotAddress; 454 // If it fits in one instruction, do not relax 455 if (!(PCRelTgtAddress & SingleInstrMask)) 456 return false; 457 458 // Fits short jmp 459 if (!(PCRelTgtAddress & ShortJmpMask)) { 460 if (Bits >= RangeShortJmp) 461 return false; 462 463 LLVM_DEBUG(dbgs() << "Relaxing stub to short jump. PCRelTgtAddress = " 464 << Twine::utohexstr(PCRelTgtAddress) 465 << " RealTargetSym = " << RealTargetSym->getName() 466 << "\n"); 467 relaxStubToShortJmp(StubBB, RealTargetSym); 468 StubBits[&StubBB] = RangeShortJmp; 469 return true; 470 } 471 472 // The long jmp uses absolute address on AArch64 473 // So we could not use it for PIC binaries 474 if (BC.isAArch64() && !BC.HasFixedLoadAddress) { 475 errs() << "BOLT-ERROR: Unable to relax stub for PIC binary\n"; 476 exit(1); 477 } 478 479 LLVM_DEBUG(dbgs() << "Relaxing stub to long jump. PCRelTgtAddress = " 480 << Twine::utohexstr(PCRelTgtAddress) 481 << " RealTargetSym = " << RealTargetSym->getName() << "\n"); 482 relaxStubToLongJmp(StubBB, RealTargetSym); 483 StubBits[&StubBB] = static_cast<int>(BC.AsmInfo->getCodePointerSize() * 8); 484 return true; 485 } 486 487 bool LongJmpPass::needsStub(const BinaryBasicBlock &BB, const MCInst &Inst, 488 uint64_t DotAddress) const { 489 const BinaryFunction &Func = *BB.getFunction(); 490 const BinaryContext &BC = Func.getBinaryContext(); 491 const MCSymbol *TgtSym = BC.MIB->getTargetSymbol(Inst); 492 assert(TgtSym && "getTargetSymbol failed"); 493 494 const BinaryBasicBlock *TgtBB = Func.getBasicBlockForLabel(TgtSym); 495 // Check for shared stubs from foreign functions 496 if (!TgtBB) { 497 auto SSIter = SharedStubs.find(TgtSym); 498 if (SSIter != SharedStubs.end()) 499 TgtBB = SSIter->second; 500 } 501 502 int BitsAvail = BC.MIB->getPCRelEncodingSize(Inst) - 1; 503 uint64_t Mask = ~((1ULL << BitsAvail) - 1); 504 505 uint64_t PCRelTgtAddress = getSymbolAddress(BC, TgtSym, TgtBB); 506 PCRelTgtAddress = DotAddress > PCRelTgtAddress ? DotAddress - PCRelTgtAddress 507 : PCRelTgtAddress - DotAddress; 508 509 return PCRelTgtAddress & Mask; 510 } 511 512 bool LongJmpPass::relax(BinaryFunction &Func) { 513 const BinaryContext &BC = Func.getBinaryContext(); 514 bool Modified = false; 515 516 assert(BC.isAArch64() && "Unsupported arch"); 517 constexpr int InsnSize = 4; // AArch64 518 std::vector<std::pair<BinaryBasicBlock *, std::unique_ptr<BinaryBasicBlock>>> 519 Insertions; 520 521 BinaryBasicBlock *Frontier = getBBAtHotColdSplitPoint(Func); 522 uint64_t FrontierAddress = Frontier ? BBAddresses[Frontier] : 0; 523 if (FrontierAddress) 524 FrontierAddress += Frontier->getNumNonPseudos() * InsnSize; 525 526 // Add necessary stubs for branch targets we know we can't fit in the 527 // instruction 528 for (BinaryBasicBlock &BB : Func) { 529 uint64_t DotAddress = BBAddresses[&BB]; 530 // Stubs themselves are relaxed on the next loop 531 if (Stubs[&Func].count(&BB)) 532 continue; 533 534 for (MCInst &Inst : BB) { 535 if (BC.MIB->isPseudo(Inst)) 536 continue; 537 538 if (!shouldInsertStub(BC, Inst)) { 539 DotAddress += InsnSize; 540 continue; 541 } 542 543 // Check and relax direct branch or call 544 if (!needsStub(BB, Inst, DotAddress)) { 545 DotAddress += InsnSize; 546 continue; 547 } 548 Modified = true; 549 550 // Insert stubs close to the patched BB if call, but far away from the 551 // hot path if a branch, since this branch target is the cold region 552 // (but first check that the far away stub will be in range). 553 BinaryBasicBlock *InsertionPoint = &BB; 554 if (Func.isSimple() && !BC.MIB->isCall(Inst) && FrontierAddress && 555 !BB.isCold()) { 556 int BitsAvail = BC.MIB->getPCRelEncodingSize(Inst) - 1; 557 uint64_t Mask = ~((1ULL << BitsAvail) - 1); 558 assert(FrontierAddress > DotAddress && 559 "Hot code should be before the frontier"); 560 uint64_t PCRelTgt = FrontierAddress - DotAddress; 561 if (!(PCRelTgt & Mask)) 562 InsertionPoint = Frontier; 563 } 564 // Always put stubs at the end of the function if non-simple. We can't 565 // change the layout of non-simple functions because it has jump tables 566 // that we do not control. 567 if (!Func.isSimple()) 568 InsertionPoint = &*std::prev(Func.end()); 569 570 // Create a stub to handle a far-away target 571 Insertions.emplace_back(InsertionPoint, 572 replaceTargetWithStub(BB, Inst, DotAddress, 573 InsertionPoint == Frontier 574 ? FrontierAddress 575 : DotAddress)); 576 577 DotAddress += InsnSize; 578 } 579 } 580 581 // Relax stubs if necessary 582 for (BinaryBasicBlock &BB : Func) { 583 if (!Stubs[&Func].count(&BB) || !BB.isValid()) 584 continue; 585 586 Modified |= relaxStub(BB); 587 } 588 589 for (std::pair<BinaryBasicBlock *, std::unique_ptr<BinaryBasicBlock>> &Elmt : 590 Insertions) { 591 if (!Elmt.second) 592 continue; 593 std::vector<std::unique_ptr<BinaryBasicBlock>> NewBBs; 594 NewBBs.emplace_back(std::move(Elmt.second)); 595 Func.insertBasicBlocks(Elmt.first, std::move(NewBBs), true); 596 } 597 598 return Modified; 599 } 600 601 void LongJmpPass::runOnFunctions(BinaryContext &BC) { 602 outs() << "BOLT-INFO: Starting stub-insertion pass\n"; 603 std::vector<BinaryFunction *> Sorted = BC.getSortedFunctions(); 604 bool Modified; 605 uint32_t Iterations = 0; 606 do { 607 ++Iterations; 608 Modified = false; 609 tentativeLayout(BC, Sorted); 610 updateStubGroups(); 611 for (BinaryFunction *Func : Sorted) { 612 if (relax(*Func)) { 613 // Don't ruin non-simple functions, they can't afford to have the layout 614 // changed. 615 if (Func->isSimple()) 616 Func->fixBranches(); 617 Modified = true; 618 } 619 } 620 } while (Modified); 621 outs() << "BOLT-INFO: Inserted " << NumHotStubs 622 << " stubs in the hot area and " << NumColdStubs 623 << " stubs in the cold area. Shared " << NumSharedStubs 624 << " times, iterated " << Iterations << " times.\n"; 625 } 626 } // namespace bolt 627 } // namespace llvm 628