1 //===- MergeFunctions.cpp - Merge identical functions ---------------------===// 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 pass looks for equivalent functions that are mergable and folds them. 10 // 11 // Order relation is defined on set of functions. It was made through 12 // special function comparison procedure that returns 13 // 0 when functions are equal, 14 // -1 when Left function is less than right function, and 15 // 1 for opposite case. We need total-ordering, so we need to maintain 16 // four properties on the functions set: 17 // a <= a (reflexivity) 18 // if a <= b and b <= a then a = b (antisymmetry) 19 // if a <= b and b <= c then a <= c (transitivity). 20 // for all a and b: a <= b or b <= a (totality). 21 // 22 // Comparison iterates through each instruction in each basic block. 23 // Functions are kept on binary tree. For each new function F we perform 24 // lookup in binary tree. 25 // In practice it works the following way: 26 // -- We define Function* container class with custom "operator<" (FunctionPtr). 27 // -- "FunctionPtr" instances are stored in std::set collection, so every 28 // std::set::insert operation will give you result in log(N) time. 29 // 30 // As an optimization, a hash of the function structure is calculated first, and 31 // two functions are only compared if they have the same hash. This hash is 32 // cheap to compute, and has the property that if function F == G according to 33 // the comparison function, then hash(F) == hash(G). This consistency property 34 // is critical to ensuring all possible merging opportunities are exploited. 35 // Collisions in the hash affect the speed of the pass but not the correctness 36 // or determinism of the resulting transformation. 37 // 38 // When a match is found the functions are folded. If both functions are 39 // overridable, we move the functionality into a new internal function and 40 // leave two overridable thunks to it. 41 // 42 //===----------------------------------------------------------------------===// 43 // 44 // Future work: 45 // 46 // * virtual functions. 47 // 48 // Many functions have their address taken by the virtual function table for 49 // the object they belong to. However, as long as it's only used for a lookup 50 // and call, this is irrelevant, and we'd like to fold such functions. 51 // 52 // * be smarter about bitcasts. 53 // 54 // In order to fold functions, we will sometimes add either bitcast instructions 55 // or bitcast constant expressions. Unfortunately, this can confound further 56 // analysis since the two functions differ where one has a bitcast and the 57 // other doesn't. We should learn to look through bitcasts. 58 // 59 // * Compare complex types with pointer types inside. 60 // * Compare cross-reference cases. 61 // * Compare complex expressions. 62 // 63 // All the three issues above could be described as ability to prove that 64 // fA == fB == fC == fE == fF == fG in example below: 65 // 66 // void fA() { 67 // fB(); 68 // } 69 // void fB() { 70 // fA(); 71 // } 72 // 73 // void fE() { 74 // fF(); 75 // } 76 // void fF() { 77 // fG(); 78 // } 79 // void fG() { 80 // fE(); 81 // } 82 // 83 // Simplest cross-reference case (fA <--> fB) was implemented in previous 84 // versions of MergeFunctions, though it presented only in two function pairs 85 // in test-suite (that counts >50k functions) 86 // Though possibility to detect complex cross-referencing (e.g.: A->B->C->D->A) 87 // could cover much more cases. 88 // 89 //===----------------------------------------------------------------------===// 90 91 #include "llvm/Transforms/IPO/MergeFunctions.h" 92 #include "llvm/ADT/ArrayRef.h" 93 #include "llvm/ADT/SmallVector.h" 94 #include "llvm/ADT/Statistic.h" 95 #include "llvm/IR/Argument.h" 96 #include "llvm/IR/BasicBlock.h" 97 #include "llvm/IR/Constants.h" 98 #include "llvm/IR/DebugInfoMetadata.h" 99 #include "llvm/IR/DebugLoc.h" 100 #include "llvm/IR/DerivedTypes.h" 101 #include "llvm/IR/Function.h" 102 #include "llvm/IR/GlobalValue.h" 103 #include "llvm/IR/IRBuilder.h" 104 #include "llvm/IR/InstrTypes.h" 105 #include "llvm/IR/Instruction.h" 106 #include "llvm/IR/Instructions.h" 107 #include "llvm/IR/IntrinsicInst.h" 108 #include "llvm/IR/Module.h" 109 #include "llvm/IR/StructuralHash.h" 110 #include "llvm/IR/Type.h" 111 #include "llvm/IR/Use.h" 112 #include "llvm/IR/User.h" 113 #include "llvm/IR/Value.h" 114 #include "llvm/IR/ValueHandle.h" 115 #include "llvm/Support/Casting.h" 116 #include "llvm/Support/CommandLine.h" 117 #include "llvm/Support/Debug.h" 118 #include "llvm/Support/raw_ostream.h" 119 #include "llvm/Transforms/IPO.h" 120 #include "llvm/Transforms/Utils/FunctionComparator.h" 121 #include "llvm/Transforms/Utils/ModuleUtils.h" 122 #include <algorithm> 123 #include <cassert> 124 #include <iterator> 125 #include <set> 126 #include <utility> 127 #include <vector> 128 129 using namespace llvm; 130 131 #define DEBUG_TYPE "mergefunc" 132 133 STATISTIC(NumFunctionsMerged, "Number of functions merged"); 134 STATISTIC(NumThunksWritten, "Number of thunks generated"); 135 STATISTIC(NumAliasesWritten, "Number of aliases generated"); 136 STATISTIC(NumDoubleWeak, "Number of new functions created"); 137 138 static cl::opt<unsigned> NumFunctionsForVerificationCheck( 139 "mergefunc-verify", 140 cl::desc("How many functions in a module could be used for " 141 "MergeFunctions to pass a basic correctness check. " 142 "'0' disables this check. Works only with '-debug' key."), 143 cl::init(0), cl::Hidden); 144 145 // Under option -mergefunc-preserve-debug-info we: 146 // - Do not create a new function for a thunk. 147 // - Retain the debug info for a thunk's parameters (and associated 148 // instructions for the debug info) from the entry block. 149 // Note: -debug will display the algorithm at work. 150 // - Create debug-info for the call (to the shared implementation) made by 151 // a thunk and its return value. 152 // - Erase the rest of the function, retaining the (minimally sized) entry 153 // block to create a thunk. 154 // - Preserve a thunk's call site to point to the thunk even when both occur 155 // within the same translation unit, to aid debugability. Note that this 156 // behaviour differs from the underlying -mergefunc implementation which 157 // modifies the thunk's call site to point to the shared implementation 158 // when both occur within the same translation unit. 159 static cl::opt<bool> 160 MergeFunctionsPDI("mergefunc-preserve-debug-info", cl::Hidden, 161 cl::init(false), 162 cl::desc("Preserve debug info in thunk when mergefunc " 163 "transformations are made.")); 164 165 static cl::opt<bool> 166 MergeFunctionsAliases("mergefunc-use-aliases", cl::Hidden, 167 cl::init(false), 168 cl::desc("Allow mergefunc to create aliases")); 169 170 namespace { 171 172 class FunctionNode { 173 mutable AssertingVH<Function> F; 174 stable_hash Hash; 175 176 public: 177 // Note the hash is recalculated potentially multiple times, but it is cheap. 178 FunctionNode(Function *F) : F(F), Hash(StructuralHash(*F)) {} 179 180 Function *getFunc() const { return F; } 181 stable_hash getHash() const { return Hash; } 182 183 /// Replace the reference to the function F by the function G, assuming their 184 /// implementations are equal. 185 void replaceBy(Function *G) const { 186 F = G; 187 } 188 }; 189 190 /// MergeFunctions finds functions which will generate identical machine code, 191 /// by considering all pointer types to be equivalent. Once identified, 192 /// MergeFunctions will fold them by replacing a call to one to a call to a 193 /// bitcast of the other. 194 class MergeFunctions { 195 public: 196 MergeFunctions() : FnTree(FunctionNodeCmp(&GlobalNumbers)) { 197 } 198 199 template <typename FuncContainer> bool run(FuncContainer &Functions); 200 DenseMap<Function *, Function *> runOnFunctions(ArrayRef<Function *> F); 201 202 SmallPtrSet<GlobalValue *, 4> &getUsed(); 203 204 private: 205 // The function comparison operator is provided here so that FunctionNodes do 206 // not need to become larger with another pointer. 207 class FunctionNodeCmp { 208 GlobalNumberState* GlobalNumbers; 209 210 public: 211 FunctionNodeCmp(GlobalNumberState* GN) : GlobalNumbers(GN) {} 212 213 bool operator()(const FunctionNode &LHS, const FunctionNode &RHS) const { 214 // Order first by hashes, then full function comparison. 215 if (LHS.getHash() != RHS.getHash()) 216 return LHS.getHash() < RHS.getHash(); 217 FunctionComparator FCmp(LHS.getFunc(), RHS.getFunc(), GlobalNumbers); 218 return FCmp.compare() < 0; 219 } 220 }; 221 using FnTreeType = std::set<FunctionNode, FunctionNodeCmp>; 222 223 GlobalNumberState GlobalNumbers; 224 225 /// A work queue of functions that may have been modified and should be 226 /// analyzed again. 227 std::vector<WeakTrackingVH> Deferred; 228 229 /// Set of values marked as used in llvm.used and llvm.compiler.used. 230 SmallPtrSet<GlobalValue *, 4> Used; 231 232 #ifndef NDEBUG 233 /// Checks the rules of order relation introduced among functions set. 234 /// Returns true, if check has been passed, and false if failed. 235 bool doFunctionalCheck(std::vector<WeakTrackingVH> &Worklist); 236 #endif 237 238 /// Insert a ComparableFunction into the FnTree, or merge it away if it's 239 /// equal to one that's already present. 240 bool insert(Function *NewFunction); 241 242 /// Remove a Function from the FnTree and queue it up for a second sweep of 243 /// analysis. 244 void remove(Function *F); 245 246 /// Find the functions that use this Value and remove them from FnTree and 247 /// queue the functions. 248 void removeUsers(Value *V); 249 250 /// Replace all direct calls of Old with calls of New. Will bitcast New if 251 /// necessary to make types match. 252 void replaceDirectCallers(Function *Old, Function *New); 253 254 /// Merge two equivalent functions. Upon completion, G may be deleted, or may 255 /// be converted into a thunk. In either case, it should never be visited 256 /// again. 257 void mergeTwoFunctions(Function *F, Function *G); 258 259 /// Fill PDIUnrelatedWL with instructions from the entry block that are 260 /// unrelated to parameter related debug info. 261 /// \param PDVRUnrelatedWL The equivalent non-intrinsic debug records. 262 void 263 filterInstsUnrelatedToPDI(BasicBlock *GEntryBlock, 264 std::vector<Instruction *> &PDIUnrelatedWL, 265 std::vector<DbgVariableRecord *> &PDVRUnrelatedWL); 266 267 /// Erase the rest of the CFG (i.e. barring the entry block). 268 void eraseTail(Function *G); 269 270 /// Erase the instructions in PDIUnrelatedWL as they are unrelated to the 271 /// parameter debug info, from the entry block. 272 /// \param PDVRUnrelatedWL contains the equivalent set of non-instruction 273 /// debug-info records. 274 void 275 eraseInstsUnrelatedToPDI(std::vector<Instruction *> &PDIUnrelatedWL, 276 std::vector<DbgVariableRecord *> &PDVRUnrelatedWL); 277 278 /// Replace G with a simple tail call to bitcast(F). Also (unless 279 /// MergeFunctionsPDI holds) replace direct uses of G with bitcast(F), 280 /// delete G. 281 void writeThunk(Function *F, Function *G); 282 283 // Replace G with an alias to F (deleting function G) 284 void writeAlias(Function *F, Function *G); 285 286 // Replace G with an alias to F if possible, or a thunk to F if possible. 287 // Returns false if neither is the case. 288 bool writeThunkOrAlias(Function *F, Function *G); 289 290 /// Replace function F with function G in the function tree. 291 void replaceFunctionInTree(const FunctionNode &FN, Function *G); 292 293 /// The set of all distinct functions. Use the insert() and remove() methods 294 /// to modify it. The map allows efficient lookup and deferring of Functions. 295 FnTreeType FnTree; 296 297 // Map functions to the iterators of the FunctionNode which contains them 298 // in the FnTree. This must be updated carefully whenever the FnTree is 299 // modified, i.e. in insert(), remove(), and replaceFunctionInTree(), to avoid 300 // dangling iterators into FnTree. The invariant that preserves this is that 301 // there is exactly one mapping F -> FN for each FunctionNode FN in FnTree. 302 DenseMap<AssertingVH<Function>, FnTreeType::iterator> FNodesInTree; 303 304 /// Deleted-New functions mapping 305 DenseMap<Function *, Function *> DelToNewMap; 306 }; 307 } // end anonymous namespace 308 309 PreservedAnalyses MergeFunctionsPass::run(Module &M, 310 ModuleAnalysisManager &AM) { 311 if (!MergeFunctionsPass::runOnModule(M)) 312 return PreservedAnalyses::all(); 313 return PreservedAnalyses::none(); 314 } 315 316 SmallPtrSet<GlobalValue *, 4> &MergeFunctions::getUsed() { return Used; } 317 318 bool MergeFunctionsPass::runOnModule(Module &M) { 319 MergeFunctions MF; 320 SmallVector<GlobalValue *, 4> UsedV; 321 collectUsedGlobalVariables(M, UsedV, /*CompilerUsed=*/false); 322 collectUsedGlobalVariables(M, UsedV, /*CompilerUsed=*/true); 323 MF.getUsed().insert(UsedV.begin(), UsedV.end()); 324 return MF.run(M); 325 } 326 327 DenseMap<Function *, Function *> 328 MergeFunctionsPass::runOnFunctions(ArrayRef<Function *> F) { 329 MergeFunctions MF; 330 return MF.runOnFunctions(F); 331 } 332 333 #ifndef NDEBUG 334 bool MergeFunctions::doFunctionalCheck(std::vector<WeakTrackingVH> &Worklist) { 335 if (const unsigned Max = NumFunctionsForVerificationCheck) { 336 unsigned TripleNumber = 0; 337 bool Valid = true; 338 339 dbgs() << "MERGEFUNC-VERIFY: Started for first " << Max << " functions.\n"; 340 341 unsigned i = 0; 342 for (std::vector<WeakTrackingVH>::iterator I = Worklist.begin(), 343 E = Worklist.end(); 344 I != E && i < Max; ++I, ++i) { 345 unsigned j = i; 346 for (std::vector<WeakTrackingVH>::iterator J = I; J != E && j < Max; 347 ++J, ++j) { 348 Function *F1 = cast<Function>(*I); 349 Function *F2 = cast<Function>(*J); 350 int Res1 = FunctionComparator(F1, F2, &GlobalNumbers).compare(); 351 int Res2 = FunctionComparator(F2, F1, &GlobalNumbers).compare(); 352 353 // If F1 <= F2, then F2 >= F1, otherwise report failure. 354 if (Res1 != -Res2) { 355 dbgs() << "MERGEFUNC-VERIFY: Non-symmetric; triple: " << TripleNumber 356 << "\n"; 357 dbgs() << *F1 << '\n' << *F2 << '\n'; 358 Valid = false; 359 } 360 361 if (Res1 == 0) 362 continue; 363 364 unsigned k = j; 365 for (std::vector<WeakTrackingVH>::iterator K = J; K != E && k < Max; 366 ++k, ++K, ++TripleNumber) { 367 if (K == J) 368 continue; 369 370 Function *F3 = cast<Function>(*K); 371 int Res3 = FunctionComparator(F1, F3, &GlobalNumbers).compare(); 372 int Res4 = FunctionComparator(F2, F3, &GlobalNumbers).compare(); 373 374 bool Transitive = true; 375 376 if (Res1 != 0 && Res1 == Res4) { 377 // F1 > F2, F2 > F3 => F1 > F3 378 Transitive = Res3 == Res1; 379 } else if (Res3 != 0 && Res3 == -Res4) { 380 // F1 > F3, F3 > F2 => F1 > F2 381 Transitive = Res3 == Res1; 382 } else if (Res4 != 0 && -Res3 == Res4) { 383 // F2 > F3, F3 > F1 => F2 > F1 384 Transitive = Res4 == -Res1; 385 } 386 387 if (!Transitive) { 388 dbgs() << "MERGEFUNC-VERIFY: Non-transitive; triple: " 389 << TripleNumber << "\n"; 390 dbgs() << "Res1, Res3, Res4: " << Res1 << ", " << Res3 << ", " 391 << Res4 << "\n"; 392 dbgs() << *F1 << '\n' << *F2 << '\n' << *F3 << '\n'; 393 Valid = false; 394 } 395 } 396 } 397 } 398 399 dbgs() << "MERGEFUNC-VERIFY: " << (Valid ? "Passed." : "Failed.") << "\n"; 400 return Valid; 401 } 402 return true; 403 } 404 #endif 405 406 /// Check whether \p F has an intrinsic which references 407 /// distinct metadata as an operand. The most common 408 /// instance of this would be CFI checks for function-local types. 409 static bool hasDistinctMetadataIntrinsic(const Function &F) { 410 for (const BasicBlock &BB : F) { 411 for (const Instruction &I : BB.instructionsWithoutDebug()) { 412 if (!isa<IntrinsicInst>(&I)) 413 continue; 414 415 for (Value *Op : I.operands()) { 416 auto *MDL = dyn_cast<MetadataAsValue>(Op); 417 if (!MDL) 418 continue; 419 if (MDNode *N = dyn_cast<MDNode>(MDL->getMetadata())) 420 if (N->isDistinct()) 421 return true; 422 } 423 } 424 } 425 return false; 426 } 427 428 /// Check whether \p F is eligible for function merging. 429 static bool isEligibleForMerging(Function &F) { 430 return !F.isDeclaration() && !F.hasAvailableExternallyLinkage() && 431 !hasDistinctMetadataIntrinsic(F); 432 } 433 434 inline Function *asPtr(Function *Fn) { return Fn; } 435 inline Function *asPtr(Function &Fn) { return &Fn; } 436 437 template <typename FuncContainer> bool MergeFunctions::run(FuncContainer &M) { 438 bool Changed = false; 439 440 // All functions in the module, ordered by hash. Functions with a unique 441 // hash value are easily eliminated. 442 std::vector<std::pair<stable_hash, Function *>> HashedFuncs; 443 for (auto &Func : M) { 444 Function *FuncPtr = asPtr(Func); 445 if (isEligibleForMerging(*FuncPtr)) { 446 HashedFuncs.push_back({StructuralHash(*FuncPtr), FuncPtr}); 447 } 448 } 449 450 llvm::stable_sort(HashedFuncs, less_first()); 451 452 auto S = HashedFuncs.begin(); 453 for (auto I = HashedFuncs.begin(), IE = HashedFuncs.end(); I != IE; ++I) { 454 // If the hash value matches the previous value or the next one, we must 455 // consider merging it. Otherwise it is dropped and never considered again. 456 if ((I != S && std::prev(I)->first == I->first) || 457 (std::next(I) != IE && std::next(I)->first == I->first)) { 458 Deferred.push_back(WeakTrackingVH(I->second)); 459 } 460 } 461 462 do { 463 std::vector<WeakTrackingVH> Worklist; 464 Deferred.swap(Worklist); 465 466 LLVM_DEBUG(doFunctionalCheck(Worklist)); 467 468 LLVM_DEBUG(dbgs() << "size of module: " << M.size() << '\n'); 469 LLVM_DEBUG(dbgs() << "size of worklist: " << Worklist.size() << '\n'); 470 471 // Insert functions and merge them. 472 for (WeakTrackingVH &I : Worklist) { 473 if (!I) 474 continue; 475 Function *F = cast<Function>(I); 476 if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage()) { 477 Changed |= insert(F); 478 } 479 } 480 LLVM_DEBUG(dbgs() << "size of FnTree: " << FnTree.size() << '\n'); 481 } while (!Deferred.empty()); 482 483 FnTree.clear(); 484 FNodesInTree.clear(); 485 GlobalNumbers.clear(); 486 Used.clear(); 487 488 return Changed; 489 } 490 491 DenseMap<Function *, Function *> 492 MergeFunctions::runOnFunctions(ArrayRef<Function *> F) { 493 [[maybe_unused]] bool MergeResult = this->run(F); 494 assert(MergeResult == !DelToNewMap.empty()); 495 return this->DelToNewMap; 496 } 497 498 // Replace direct callers of Old with New. 499 void MergeFunctions::replaceDirectCallers(Function *Old, Function *New) { 500 for (Use &U : make_early_inc_range(Old->uses())) { 501 CallBase *CB = dyn_cast<CallBase>(U.getUser()); 502 if (CB && CB->isCallee(&U)) { 503 // Do not copy attributes from the called function to the call-site. 504 // Function comparison ensures that the attributes are the same up to 505 // type congruences in byval(), in which case we need to keep the byval 506 // type of the call-site, not the callee function. 507 remove(CB->getFunction()); 508 U.set(New); 509 } 510 } 511 } 512 513 // Helper for writeThunk, 514 // Selects proper bitcast operation, 515 // but a bit simpler then CastInst::getCastOpcode. 516 static Value *createCast(IRBuilder<> &Builder, Value *V, Type *DestTy) { 517 Type *SrcTy = V->getType(); 518 if (SrcTy->isStructTy()) { 519 assert(DestTy->isStructTy()); 520 assert(SrcTy->getStructNumElements() == DestTy->getStructNumElements()); 521 Value *Result = PoisonValue::get(DestTy); 522 for (unsigned int I = 0, E = SrcTy->getStructNumElements(); I < E; ++I) { 523 Value *Element = 524 createCast(Builder, Builder.CreateExtractValue(V, ArrayRef(I)), 525 DestTy->getStructElementType(I)); 526 527 Result = Builder.CreateInsertValue(Result, Element, ArrayRef(I)); 528 } 529 return Result; 530 } 531 assert(!DestTy->isStructTy()); 532 if (SrcTy->isIntegerTy() && DestTy->isPointerTy()) 533 return Builder.CreateIntToPtr(V, DestTy); 534 else if (SrcTy->isPointerTy() && DestTy->isIntegerTy()) 535 return Builder.CreatePtrToInt(V, DestTy); 536 else 537 return Builder.CreateBitCast(V, DestTy); 538 } 539 540 // Erase the instructions in PDIUnrelatedWL as they are unrelated to the 541 // parameter debug info, from the entry block. 542 void MergeFunctions::eraseInstsUnrelatedToPDI( 543 std::vector<Instruction *> &PDIUnrelatedWL, 544 std::vector<DbgVariableRecord *> &PDVRUnrelatedWL) { 545 LLVM_DEBUG( 546 dbgs() << " Erasing instructions (in reverse order of appearance in " 547 "entry block) unrelated to parameter debug info from entry " 548 "block: {\n"); 549 while (!PDIUnrelatedWL.empty()) { 550 Instruction *I = PDIUnrelatedWL.back(); 551 LLVM_DEBUG(dbgs() << " Deleting Instruction: "); 552 LLVM_DEBUG(I->print(dbgs())); 553 LLVM_DEBUG(dbgs() << "\n"); 554 I->eraseFromParent(); 555 PDIUnrelatedWL.pop_back(); 556 } 557 558 while (!PDVRUnrelatedWL.empty()) { 559 DbgVariableRecord *DVR = PDVRUnrelatedWL.back(); 560 LLVM_DEBUG(dbgs() << " Deleting DbgVariableRecord "); 561 LLVM_DEBUG(DVR->print(dbgs())); 562 LLVM_DEBUG(dbgs() << "\n"); 563 DVR->eraseFromParent(); 564 PDVRUnrelatedWL.pop_back(); 565 } 566 567 LLVM_DEBUG(dbgs() << " } // Done erasing instructions unrelated to parameter " 568 "debug info from entry block. \n"); 569 } 570 571 // Reduce G to its entry block. 572 void MergeFunctions::eraseTail(Function *G) { 573 std::vector<BasicBlock *> WorklistBB; 574 for (BasicBlock &BB : drop_begin(*G)) { 575 BB.dropAllReferences(); 576 WorklistBB.push_back(&BB); 577 } 578 while (!WorklistBB.empty()) { 579 BasicBlock *BB = WorklistBB.back(); 580 BB->eraseFromParent(); 581 WorklistBB.pop_back(); 582 } 583 } 584 585 // We are interested in the following instructions from the entry block as being 586 // related to parameter debug info: 587 // - @llvm.dbg.declare 588 // - stores from the incoming parameters to locations on the stack-frame 589 // - allocas that create these locations on the stack-frame 590 // - @llvm.dbg.value 591 // - the entry block's terminator 592 // The rest are unrelated to debug info for the parameters; fill up 593 // PDIUnrelatedWL with such instructions. 594 void MergeFunctions::filterInstsUnrelatedToPDI( 595 BasicBlock *GEntryBlock, std::vector<Instruction *> &PDIUnrelatedWL, 596 std::vector<DbgVariableRecord *> &PDVRUnrelatedWL) { 597 std::set<Instruction *> PDIRelated; 598 std::set<DbgVariableRecord *> PDVRRelated; 599 600 // Work out whether a dbg.value intrinsic or an equivalent DbgVariableRecord 601 // is a parameter to be preserved. 602 auto ExamineDbgValue = [](auto *DbgVal, auto &Container) { 603 LLVM_DEBUG(dbgs() << " Deciding: "); 604 LLVM_DEBUG(DbgVal->print(dbgs())); 605 LLVM_DEBUG(dbgs() << "\n"); 606 DILocalVariable *DILocVar = DbgVal->getVariable(); 607 if (DILocVar->isParameter()) { 608 LLVM_DEBUG(dbgs() << " Include (parameter): "); 609 LLVM_DEBUG(DbgVal->print(dbgs())); 610 LLVM_DEBUG(dbgs() << "\n"); 611 Container.insert(DbgVal); 612 } else { 613 LLVM_DEBUG(dbgs() << " Delete (!parameter): "); 614 LLVM_DEBUG(DbgVal->print(dbgs())); 615 LLVM_DEBUG(dbgs() << "\n"); 616 } 617 }; 618 619 auto ExamineDbgDeclare = [&PDIRelated](auto *DbgDecl, auto &Container) { 620 LLVM_DEBUG(dbgs() << " Deciding: "); 621 LLVM_DEBUG(DbgDecl->print(dbgs())); 622 LLVM_DEBUG(dbgs() << "\n"); 623 DILocalVariable *DILocVar = DbgDecl->getVariable(); 624 if (DILocVar->isParameter()) { 625 LLVM_DEBUG(dbgs() << " Parameter: "); 626 LLVM_DEBUG(DILocVar->print(dbgs())); 627 AllocaInst *AI = dyn_cast_or_null<AllocaInst>(DbgDecl->getAddress()); 628 if (AI) { 629 LLVM_DEBUG(dbgs() << " Processing alloca users: "); 630 LLVM_DEBUG(dbgs() << "\n"); 631 for (User *U : AI->users()) { 632 if (StoreInst *SI = dyn_cast<StoreInst>(U)) { 633 if (Value *Arg = SI->getValueOperand()) { 634 if (isa<Argument>(Arg)) { 635 LLVM_DEBUG(dbgs() << " Include: "); 636 LLVM_DEBUG(AI->print(dbgs())); 637 LLVM_DEBUG(dbgs() << "\n"); 638 PDIRelated.insert(AI); 639 LLVM_DEBUG(dbgs() << " Include (parameter): "); 640 LLVM_DEBUG(SI->print(dbgs())); 641 LLVM_DEBUG(dbgs() << "\n"); 642 PDIRelated.insert(SI); 643 LLVM_DEBUG(dbgs() << " Include: "); 644 LLVM_DEBUG(DbgDecl->print(dbgs())); 645 LLVM_DEBUG(dbgs() << "\n"); 646 Container.insert(DbgDecl); 647 } else { 648 LLVM_DEBUG(dbgs() << " Delete (!parameter): "); 649 LLVM_DEBUG(SI->print(dbgs())); 650 LLVM_DEBUG(dbgs() << "\n"); 651 } 652 } 653 } else { 654 LLVM_DEBUG(dbgs() << " Defer: "); 655 LLVM_DEBUG(U->print(dbgs())); 656 LLVM_DEBUG(dbgs() << "\n"); 657 } 658 } 659 } else { 660 LLVM_DEBUG(dbgs() << " Delete (alloca NULL): "); 661 LLVM_DEBUG(DbgDecl->print(dbgs())); 662 LLVM_DEBUG(dbgs() << "\n"); 663 } 664 } else { 665 LLVM_DEBUG(dbgs() << " Delete (!parameter): "); 666 LLVM_DEBUG(DbgDecl->print(dbgs())); 667 LLVM_DEBUG(dbgs() << "\n"); 668 } 669 }; 670 671 for (BasicBlock::iterator BI = GEntryBlock->begin(), BIE = GEntryBlock->end(); 672 BI != BIE; ++BI) { 673 // Examine DbgVariableRecords as they happen "before" the instruction. Are 674 // they connected to parameters? 675 for (DbgVariableRecord &DVR : filterDbgVars(BI->getDbgRecordRange())) { 676 if (DVR.isDbgValue() || DVR.isDbgAssign()) { 677 ExamineDbgValue(&DVR, PDVRRelated); 678 } else { 679 assert(DVR.isDbgDeclare()); 680 ExamineDbgDeclare(&DVR, PDVRRelated); 681 } 682 } 683 684 if (auto *DVI = dyn_cast<DbgValueInst>(&*BI)) { 685 ExamineDbgValue(DVI, PDIRelated); 686 } else if (auto *DDI = dyn_cast<DbgDeclareInst>(&*BI)) { 687 ExamineDbgDeclare(DDI, PDIRelated); 688 } else if (BI->isTerminator() && &*BI == GEntryBlock->getTerminator()) { 689 LLVM_DEBUG(dbgs() << " Will Include Terminator: "); 690 LLVM_DEBUG(BI->print(dbgs())); 691 LLVM_DEBUG(dbgs() << "\n"); 692 PDIRelated.insert(&*BI); 693 } else { 694 LLVM_DEBUG(dbgs() << " Defer: "); 695 LLVM_DEBUG(BI->print(dbgs())); 696 LLVM_DEBUG(dbgs() << "\n"); 697 } 698 } 699 LLVM_DEBUG( 700 dbgs() 701 << " Report parameter debug info related/related instructions: {\n"); 702 703 auto IsPDIRelated = [](auto *Rec, auto &Container, auto &UnrelatedCont) { 704 if (Container.find(Rec) == Container.end()) { 705 LLVM_DEBUG(dbgs() << " !PDIRelated: "); 706 LLVM_DEBUG(Rec->print(dbgs())); 707 LLVM_DEBUG(dbgs() << "\n"); 708 UnrelatedCont.push_back(Rec); 709 } else { 710 LLVM_DEBUG(dbgs() << " PDIRelated: "); 711 LLVM_DEBUG(Rec->print(dbgs())); 712 LLVM_DEBUG(dbgs() << "\n"); 713 } 714 }; 715 716 // Collect the set of unrelated instructions and debug records. 717 for (Instruction &I : *GEntryBlock) { 718 for (DbgVariableRecord &DVR : filterDbgVars(I.getDbgRecordRange())) 719 IsPDIRelated(&DVR, PDVRRelated, PDVRUnrelatedWL); 720 IsPDIRelated(&I, PDIRelated, PDIUnrelatedWL); 721 } 722 LLVM_DEBUG(dbgs() << " }\n"); 723 } 724 725 /// Whether this function may be replaced by a forwarding thunk. 726 static bool canCreateThunkFor(Function *F) { 727 if (F->isVarArg()) 728 return false; 729 730 // Don't merge tiny functions using a thunk, since it can just end up 731 // making the function larger. 732 if (F->size() == 1) { 733 if (F->front().sizeWithoutDebug() < 2) { 734 LLVM_DEBUG(dbgs() << "canCreateThunkFor: " << F->getName() 735 << " is too small to bother creating a thunk for\n"); 736 return false; 737 } 738 } 739 return true; 740 } 741 742 /// Copy all metadata of a specific kind from one function to another. 743 static void copyMetadataIfPresent(Function *From, Function *To, 744 StringRef Kind) { 745 SmallVector<MDNode *, 4> MDs; 746 From->getMetadata(Kind, MDs); 747 for (MDNode *MD : MDs) 748 To->addMetadata(Kind, *MD); 749 } 750 751 // Replace G with a simple tail call to bitcast(F). Also (unless 752 // MergeFunctionsPDI holds) replace direct uses of G with bitcast(F), 753 // delete G. Under MergeFunctionsPDI, we use G itself for creating 754 // the thunk as we preserve the debug info (and associated instructions) 755 // from G's entry block pertaining to G's incoming arguments which are 756 // passed on as corresponding arguments in the call that G makes to F. 757 // For better debugability, under MergeFunctionsPDI, we do not modify G's 758 // call sites to point to F even when within the same translation unit. 759 void MergeFunctions::writeThunk(Function *F, Function *G) { 760 BasicBlock *GEntryBlock = nullptr; 761 std::vector<Instruction *> PDIUnrelatedWL; 762 std::vector<DbgVariableRecord *> PDVRUnrelatedWL; 763 BasicBlock *BB = nullptr; 764 Function *NewG = nullptr; 765 if (MergeFunctionsPDI) { 766 LLVM_DEBUG(dbgs() << "writeThunk: (MergeFunctionsPDI) Do not create a new " 767 "function as thunk; retain original: " 768 << G->getName() << "()\n"); 769 GEntryBlock = &G->getEntryBlock(); 770 LLVM_DEBUG( 771 dbgs() << "writeThunk: (MergeFunctionsPDI) filter parameter related " 772 "debug info for " 773 << G->getName() << "() {\n"); 774 filterInstsUnrelatedToPDI(GEntryBlock, PDIUnrelatedWL, PDVRUnrelatedWL); 775 GEntryBlock->getTerminator()->eraseFromParent(); 776 BB = GEntryBlock; 777 } else { 778 NewG = Function::Create(G->getFunctionType(), G->getLinkage(), 779 G->getAddressSpace(), "", G->getParent()); 780 NewG->setComdat(G->getComdat()); 781 NewG->IsNewDbgInfoFormat = G->IsNewDbgInfoFormat; 782 BB = BasicBlock::Create(F->getContext(), "", NewG); 783 } 784 785 IRBuilder<> Builder(BB); 786 Function *H = MergeFunctionsPDI ? G : NewG; 787 SmallVector<Value *, 16> Args; 788 unsigned i = 0; 789 FunctionType *FFTy = F->getFunctionType(); 790 for (Argument &AI : H->args()) { 791 Args.push_back(createCast(Builder, &AI, FFTy->getParamType(i))); 792 ++i; 793 } 794 795 CallInst *CI = Builder.CreateCall(F, Args); 796 ReturnInst *RI = nullptr; 797 bool isSwiftTailCall = F->getCallingConv() == CallingConv::SwiftTail && 798 G->getCallingConv() == CallingConv::SwiftTail; 799 CI->setTailCallKind(isSwiftTailCall ? CallInst::TCK_MustTail 800 : CallInst::TCK_Tail); 801 CI->setCallingConv(F->getCallingConv()); 802 CI->setAttributes(F->getAttributes()); 803 if (H->getReturnType()->isVoidTy()) { 804 RI = Builder.CreateRetVoid(); 805 } else { 806 RI = Builder.CreateRet(createCast(Builder, CI, H->getReturnType())); 807 } 808 809 if (MergeFunctionsPDI) { 810 DISubprogram *DIS = G->getSubprogram(); 811 if (DIS) { 812 DebugLoc CIDbgLoc = 813 DILocation::get(DIS->getContext(), DIS->getScopeLine(), 0, DIS); 814 DebugLoc RIDbgLoc = 815 DILocation::get(DIS->getContext(), DIS->getScopeLine(), 0, DIS); 816 CI->setDebugLoc(CIDbgLoc); 817 RI->setDebugLoc(RIDbgLoc); 818 } else { 819 LLVM_DEBUG( 820 dbgs() << "writeThunk: (MergeFunctionsPDI) No DISubprogram for " 821 << G->getName() << "()\n"); 822 } 823 eraseTail(G); 824 eraseInstsUnrelatedToPDI(PDIUnrelatedWL, PDVRUnrelatedWL); 825 LLVM_DEBUG( 826 dbgs() << "} // End of parameter related debug info filtering for: " 827 << G->getName() << "()\n"); 828 } else { 829 NewG->copyAttributesFrom(G); 830 NewG->takeName(G); 831 // Ensure CFI type metadata is propagated to the new function. 832 copyMetadataIfPresent(G, NewG, "type"); 833 copyMetadataIfPresent(G, NewG, "kcfi_type"); 834 removeUsers(G); 835 G->replaceAllUsesWith(NewG); 836 G->eraseFromParent(); 837 } 838 839 LLVM_DEBUG(dbgs() << "writeThunk: " << H->getName() << '\n'); 840 ++NumThunksWritten; 841 } 842 843 // Whether this function may be replaced by an alias 844 static bool canCreateAliasFor(Function *F) { 845 if (!MergeFunctionsAliases || !F->hasGlobalUnnamedAddr()) 846 return false; 847 848 // We should only see linkages supported by aliases here 849 assert(F->hasLocalLinkage() || F->hasExternalLinkage() 850 || F->hasWeakLinkage() || F->hasLinkOnceLinkage()); 851 return true; 852 } 853 854 // Replace G with an alias to F (deleting function G) 855 void MergeFunctions::writeAlias(Function *F, Function *G) { 856 PointerType *PtrType = G->getType(); 857 auto *GA = GlobalAlias::create(G->getValueType(), PtrType->getAddressSpace(), 858 G->getLinkage(), "", F, G->getParent()); 859 860 const MaybeAlign FAlign = F->getAlign(); 861 const MaybeAlign GAlign = G->getAlign(); 862 if (FAlign || GAlign) 863 F->setAlignment(std::max(FAlign.valueOrOne(), GAlign.valueOrOne())); 864 else 865 F->setAlignment(std::nullopt); 866 GA->takeName(G); 867 GA->setVisibility(G->getVisibility()); 868 GA->setUnnamedAddr(GlobalValue::UnnamedAddr::Global); 869 870 removeUsers(G); 871 G->replaceAllUsesWith(GA); 872 G->eraseFromParent(); 873 874 LLVM_DEBUG(dbgs() << "writeAlias: " << GA->getName() << '\n'); 875 ++NumAliasesWritten; 876 } 877 878 // Replace G with an alias to F if possible, or a thunk to F if 879 // profitable. Returns false if neither is the case. 880 bool MergeFunctions::writeThunkOrAlias(Function *F, Function *G) { 881 if (canCreateAliasFor(G)) { 882 writeAlias(F, G); 883 return true; 884 } 885 if (canCreateThunkFor(F)) { 886 writeThunk(F, G); 887 return true; 888 } 889 return false; 890 } 891 892 // Merge two equivalent functions. Upon completion, Function G is deleted. 893 void MergeFunctions::mergeTwoFunctions(Function *F, Function *G) { 894 if (F->isInterposable()) { 895 assert(G->isInterposable()); 896 897 // Both writeThunkOrAlias() calls below must succeed, either because we can 898 // create aliases for G and NewF, or because a thunk for F is profitable. 899 // F here has the same signature as NewF below, so that's what we check. 900 if (!canCreateThunkFor(F) && 901 (!canCreateAliasFor(F) || !canCreateAliasFor(G))) 902 return; 903 904 // Make them both thunks to the same internal function. 905 Function *NewF = Function::Create(F->getFunctionType(), F->getLinkage(), 906 F->getAddressSpace(), "", F->getParent()); 907 NewF->copyAttributesFrom(F); 908 NewF->takeName(F); 909 NewF->IsNewDbgInfoFormat = F->IsNewDbgInfoFormat; 910 // Ensure CFI type metadata is propagated to the new function. 911 copyMetadataIfPresent(F, NewF, "type"); 912 copyMetadataIfPresent(F, NewF, "kcfi_type"); 913 removeUsers(F); 914 F->replaceAllUsesWith(NewF); 915 916 // We collect alignment before writeThunkOrAlias that overwrites NewF and 917 // G's content. 918 const MaybeAlign NewFAlign = NewF->getAlign(); 919 const MaybeAlign GAlign = G->getAlign(); 920 921 writeThunkOrAlias(F, G); 922 writeThunkOrAlias(F, NewF); 923 924 if (NewFAlign || GAlign) 925 F->setAlignment(std::max(NewFAlign.valueOrOne(), GAlign.valueOrOne())); 926 else 927 F->setAlignment(std::nullopt); 928 F->setLinkage(GlobalValue::PrivateLinkage); 929 ++NumDoubleWeak; 930 ++NumFunctionsMerged; 931 } else { 932 // For better debugability, under MergeFunctionsPDI, we do not modify G's 933 // call sites to point to F even when within the same translation unit. 934 if (!G->isInterposable() && !MergeFunctionsPDI) { 935 // Functions referred to by llvm.used/llvm.compiler.used are special: 936 // there are uses of the symbol name that are not visible to LLVM, 937 // usually from inline asm. 938 if (G->hasGlobalUnnamedAddr() && !Used.contains(G)) { 939 // G might have been a key in our GlobalNumberState, and it's illegal 940 // to replace a key in ValueMap<GlobalValue *> with a non-global. 941 GlobalNumbers.erase(G); 942 // If G's address is not significant, replace it entirely. 943 removeUsers(G); 944 G->replaceAllUsesWith(F); 945 } else { 946 // Redirect direct callers of G to F. (See note on MergeFunctionsPDI 947 // above). 948 replaceDirectCallers(G, F); 949 } 950 } 951 952 // If G was internal then we may have replaced all uses of G with F. If so, 953 // stop here and delete G. There's no need for a thunk. (See note on 954 // MergeFunctionsPDI above). 955 if (G->isDiscardableIfUnused() && G->use_empty() && !MergeFunctionsPDI) { 956 G->eraseFromParent(); 957 ++NumFunctionsMerged; 958 return; 959 } 960 961 if (writeThunkOrAlias(F, G)) { 962 ++NumFunctionsMerged; 963 } 964 } 965 } 966 967 /// Replace function F by function G. 968 void MergeFunctions::replaceFunctionInTree(const FunctionNode &FN, 969 Function *G) { 970 Function *F = FN.getFunc(); 971 assert(FunctionComparator(F, G, &GlobalNumbers).compare() == 0 && 972 "The two functions must be equal"); 973 974 auto I = FNodesInTree.find(F); 975 assert(I != FNodesInTree.end() && "F should be in FNodesInTree"); 976 assert(FNodesInTree.count(G) == 0 && "FNodesInTree should not contain G"); 977 978 FnTreeType::iterator IterToFNInFnTree = I->second; 979 assert(&(*IterToFNInFnTree) == &FN && "F should map to FN in FNodesInTree."); 980 // Remove F -> FN and insert G -> FN 981 FNodesInTree.erase(I); 982 FNodesInTree.insert({G, IterToFNInFnTree}); 983 // Replace F with G in FN, which is stored inside the FnTree. 984 FN.replaceBy(G); 985 } 986 987 // Ordering for functions that are equal under FunctionComparator 988 static bool isFuncOrderCorrect(const Function *F, const Function *G) { 989 if (F->isInterposable() != G->isInterposable()) { 990 // Strong before weak, because the weak function may call the strong 991 // one, but not the other way around. 992 return !F->isInterposable(); 993 } 994 if (F->hasLocalLinkage() != G->hasLocalLinkage()) { 995 // External before local, because we definitely have to keep the external 996 // function, but may be able to drop the local one. 997 return !F->hasLocalLinkage(); 998 } 999 // Impose a total order (by name) on the replacement of functions. This is 1000 // important when operating on more than one module independently to prevent 1001 // cycles of thunks calling each other when the modules are linked together. 1002 return F->getName() <= G->getName(); 1003 } 1004 1005 // Insert a ComparableFunction into the FnTree, or merge it away if equal to one 1006 // that was already inserted. 1007 bool MergeFunctions::insert(Function *NewFunction) { 1008 std::pair<FnTreeType::iterator, bool> Result = 1009 FnTree.insert(FunctionNode(NewFunction)); 1010 1011 if (Result.second) { 1012 assert(FNodesInTree.count(NewFunction) == 0); 1013 FNodesInTree.insert({NewFunction, Result.first}); 1014 LLVM_DEBUG(dbgs() << "Inserting as unique: " << NewFunction->getName() 1015 << '\n'); 1016 return false; 1017 } 1018 1019 const FunctionNode &OldF = *Result.first; 1020 1021 if (!isFuncOrderCorrect(OldF.getFunc(), NewFunction)) { 1022 // Swap the two functions. 1023 Function *F = OldF.getFunc(); 1024 replaceFunctionInTree(*Result.first, NewFunction); 1025 NewFunction = F; 1026 assert(OldF.getFunc() != F && "Must have swapped the functions."); 1027 } 1028 1029 LLVM_DEBUG(dbgs() << " " << OldF.getFunc()->getName() 1030 << " == " << NewFunction->getName() << '\n'); 1031 1032 Function *DeleteF = NewFunction; 1033 mergeTwoFunctions(OldF.getFunc(), DeleteF); 1034 this->DelToNewMap.insert({DeleteF, OldF.getFunc()}); 1035 return true; 1036 } 1037 1038 // Remove a function from FnTree. If it was already in FnTree, add 1039 // it to Deferred so that we'll look at it in the next round. 1040 void MergeFunctions::remove(Function *F) { 1041 auto I = FNodesInTree.find(F); 1042 if (I != FNodesInTree.end()) { 1043 LLVM_DEBUG(dbgs() << "Deferred " << F->getName() << ".\n"); 1044 FnTree.erase(I->second); 1045 // I->second has been invalidated, remove it from the FNodesInTree map to 1046 // preserve the invariant. 1047 FNodesInTree.erase(I); 1048 Deferred.emplace_back(F); 1049 } 1050 } 1051 1052 // For each instruction used by the value, remove() the function that contains 1053 // the instruction. This should happen right before a call to RAUW. 1054 void MergeFunctions::removeUsers(Value *V) { 1055 for (User *U : V->users()) 1056 if (auto *I = dyn_cast<Instruction>(U)) 1057 remove(I->getFunction()); 1058 } 1059