1 //===- InlineAdvisor.cpp - analysis pass implementation -------------------===// 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 InlineAdvisorAnalysis and DefaultInlineAdvisor, and 10 // related types. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "llvm/Analysis/InlineAdvisor.h" 15 #include "llvm/ADT/Statistic.h" 16 #include "llvm/Analysis/InlineCost.h" 17 #include "llvm/Analysis/OptimizationRemarkEmitter.h" 18 #include "llvm/Analysis/ProfileSummaryInfo.h" 19 #include "llvm/Analysis/TargetLibraryInfo.h" 20 #include "llvm/Analysis/TargetTransformInfo.h" 21 #include "llvm/IR/DebugInfoMetadata.h" 22 #include "llvm/IR/Instructions.h" 23 #include "llvm/Support/CommandLine.h" 24 #include "llvm/Support/raw_ostream.h" 25 26 #include <sstream> 27 28 using namespace llvm; 29 #define DEBUG_TYPE "inline" 30 31 // This weirdly named statistic tracks the number of times that, when attempting 32 // to inline a function A into B, we analyze the callers of B in order to see 33 // if those would be more profitable and blocked inline steps. 34 STATISTIC(NumCallerCallersAnalyzed, "Number of caller-callers analyzed"); 35 36 /// Flag to add inline messages as callsite attributes 'inline-remark'. 37 static cl::opt<bool> 38 InlineRemarkAttribute("inline-remark-attribute", cl::init(false), 39 cl::Hidden, 40 cl::desc("Enable adding inline-remark attribute to" 41 " callsites processed by inliner but decided" 42 " to be not inlined")); 43 44 // An integer used to limit the cost of inline deferral. The default negative 45 // number tells shouldBeDeferred to only take the secondary cost into account. 46 static cl::opt<int> 47 InlineDeferralScale("inline-deferral-scale", 48 cl::desc("Scale to limit the cost of inline deferral"), 49 cl::init(2), cl::Hidden); 50 51 void DefaultInlineAdvice::recordUnsuccessfulInliningImpl( 52 const InlineResult &Result) { 53 using namespace ore; 54 llvm::setInlineRemark(*OriginalCB, std::string(Result.getFailureReason()) + 55 "; " + inlineCostStr(*OIC)); 56 ORE.emit([&]() { 57 return OptimizationRemarkMissed(DEBUG_TYPE, "NotInlined", DLoc, Block) 58 << NV("Callee", Callee) << " will not be inlined into " 59 << NV("Caller", Caller) << ": " 60 << NV("Reason", Result.getFailureReason()); 61 }); 62 } 63 64 void DefaultInlineAdvice::recordInliningWithCalleeDeletedImpl() { 65 if (EmitRemarks) 66 emitInlinedInto(ORE, DLoc, Block, *Callee, *Caller, *OIC); 67 } 68 69 void DefaultInlineAdvice::recordInliningImpl() { 70 if (EmitRemarks) 71 emitInlinedInto(ORE, DLoc, Block, *Callee, *Caller, *OIC); 72 } 73 74 llvm::Optional<llvm::InlineCost> static getDefaultInlineAdvice( 75 CallBase &CB, FunctionAnalysisManager &FAM, const InlineParams &Params) { 76 Function &Caller = *CB.getCaller(); 77 ProfileSummaryInfo *PSI = 78 FAM.getResult<ModuleAnalysisManagerFunctionProxy>(Caller) 79 .getCachedResult<ProfileSummaryAnalysis>( 80 *CB.getParent()->getParent()->getParent()); 81 82 auto &ORE = FAM.getResult<OptimizationRemarkEmitterAnalysis>(Caller); 83 auto GetAssumptionCache = [&](Function &F) -> AssumptionCache & { 84 return FAM.getResult<AssumptionAnalysis>(F); 85 }; 86 auto GetBFI = [&](Function &F) -> BlockFrequencyInfo & { 87 return FAM.getResult<BlockFrequencyAnalysis>(F); 88 }; 89 auto GetTLI = [&](Function &F) -> const TargetLibraryInfo & { 90 return FAM.getResult<TargetLibraryAnalysis>(F); 91 }; 92 93 auto GetInlineCost = [&](CallBase &CB) { 94 Function &Callee = *CB.getCalledFunction(); 95 auto &CalleeTTI = FAM.getResult<TargetIRAnalysis>(Callee); 96 bool RemarksEnabled = 97 Callee.getContext().getDiagHandlerPtr()->isMissedOptRemarkEnabled( 98 DEBUG_TYPE); 99 return getInlineCost(CB, Params, CalleeTTI, GetAssumptionCache, GetTLI, 100 GetBFI, PSI, RemarksEnabled ? &ORE : nullptr); 101 }; 102 return llvm::shouldInline(CB, GetInlineCost, ORE, 103 Params.EnableDeferral.getValueOr(false)); 104 } 105 106 std::unique_ptr<InlineAdvice> 107 DefaultInlineAdvisor::getAdviceImpl(CallBase &CB) { 108 auto OIC = getDefaultInlineAdvice(CB, FAM, Params); 109 return std::make_unique<DefaultInlineAdvice>( 110 this, CB, OIC, 111 FAM.getResult<OptimizationRemarkEmitterAnalysis>(*CB.getCaller())); 112 } 113 114 InlineAdvice::InlineAdvice(InlineAdvisor *Advisor, CallBase &CB, 115 OptimizationRemarkEmitter &ORE, 116 bool IsInliningRecommended) 117 : Advisor(Advisor), Caller(CB.getCaller()), Callee(CB.getCalledFunction()), 118 DLoc(CB.getDebugLoc()), Block(CB.getParent()), ORE(ORE), 119 IsInliningRecommended(IsInliningRecommended) {} 120 121 void InlineAdvisor::markFunctionAsDeleted(Function *F) { 122 assert((!DeletedFunctions.count(F)) && 123 "Cannot put cause a function to become dead twice!"); 124 DeletedFunctions.insert(F); 125 } 126 127 void InlineAdvisor::freeDeletedFunctions() { 128 for (auto *F : DeletedFunctions) 129 delete F; 130 DeletedFunctions.clear(); 131 } 132 133 void InlineAdvice::recordInliningWithCalleeDeleted() { 134 markRecorded(); 135 Advisor->markFunctionAsDeleted(Callee); 136 recordInliningWithCalleeDeletedImpl(); 137 } 138 139 AnalysisKey InlineAdvisorAnalysis::Key; 140 141 bool InlineAdvisorAnalysis::Result::tryCreate(InlineParams Params, 142 InliningAdvisorMode Mode) { 143 auto &FAM = MAM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager(); 144 switch (Mode) { 145 case InliningAdvisorMode::Default: 146 Advisor.reset(new DefaultInlineAdvisor(FAM, Params)); 147 break; 148 case InliningAdvisorMode::Development: 149 #ifdef LLVM_HAVE_TF_API 150 Advisor = 151 llvm::getDevelopmentModeAdvisor(M, MAM, [&FAM, Params](CallBase &CB) { 152 auto OIC = getDefaultInlineAdvice(CB, FAM, Params); 153 return OIC.hasValue(); 154 }); 155 #endif 156 break; 157 case InliningAdvisorMode::Release: 158 #ifdef LLVM_HAVE_TF_AOT 159 Advisor = llvm::getReleaseModeAdvisor(M, MAM); 160 #endif 161 break; 162 } 163 return !!Advisor; 164 } 165 166 /// Return true if inlining of CB can block the caller from being 167 /// inlined which is proved to be more beneficial. \p IC is the 168 /// estimated inline cost associated with callsite \p CB. 169 /// \p TotalSecondaryCost will be set to the estimated cost of inlining the 170 /// caller if \p CB is suppressed for inlining. 171 static bool 172 shouldBeDeferred(Function *Caller, InlineCost IC, int &TotalSecondaryCost, 173 function_ref<InlineCost(CallBase &CB)> GetInlineCost) { 174 // For now we only handle local or inline functions. 175 if (!Caller->hasLocalLinkage() && !Caller->hasLinkOnceODRLinkage()) 176 return false; 177 // If the cost of inlining CB is non-positive, it is not going to prevent the 178 // caller from being inlined into its callers and hence we don't need to 179 // defer. 180 if (IC.getCost() <= 0) 181 return false; 182 // Try to detect the case where the current inlining candidate caller (call 183 // it B) is a static or linkonce-ODR function and is an inlining candidate 184 // elsewhere, and the current candidate callee (call it C) is large enough 185 // that inlining it into B would make B too big to inline later. In these 186 // circumstances it may be best not to inline C into B, but to inline B into 187 // its callers. 188 // 189 // This only applies to static and linkonce-ODR functions because those are 190 // expected to be available for inlining in the translation units where they 191 // are used. Thus we will always have the opportunity to make local inlining 192 // decisions. Importantly the linkonce-ODR linkage covers inline functions 193 // and templates in C++. 194 // 195 // FIXME: All of this logic should be sunk into getInlineCost. It relies on 196 // the internal implementation of the inline cost metrics rather than 197 // treating them as truly abstract units etc. 198 TotalSecondaryCost = 0; 199 // The candidate cost to be imposed upon the current function. 200 int CandidateCost = IC.getCost() - 1; 201 // If the caller has local linkage and can be inlined to all its callers, we 202 // can apply a huge negative bonus to TotalSecondaryCost. 203 bool ApplyLastCallBonus = Caller->hasLocalLinkage() && !Caller->hasOneUse(); 204 // This bool tracks what happens if we DO inline C into B. 205 bool InliningPreventsSomeOuterInline = false; 206 unsigned NumCallerUsers = 0; 207 for (User *U : Caller->users()) { 208 CallBase *CS2 = dyn_cast<CallBase>(U); 209 210 // If this isn't a call to Caller (it could be some other sort 211 // of reference) skip it. Such references will prevent the caller 212 // from being removed. 213 if (!CS2 || CS2->getCalledFunction() != Caller) { 214 ApplyLastCallBonus = false; 215 continue; 216 } 217 218 InlineCost IC2 = GetInlineCost(*CS2); 219 ++NumCallerCallersAnalyzed; 220 if (!IC2) { 221 ApplyLastCallBonus = false; 222 continue; 223 } 224 if (IC2.isAlways()) 225 continue; 226 227 // See if inlining of the original callsite would erase the cost delta of 228 // this callsite. We subtract off the penalty for the call instruction, 229 // which we would be deleting. 230 if (IC2.getCostDelta() <= CandidateCost) { 231 InliningPreventsSomeOuterInline = true; 232 TotalSecondaryCost += IC2.getCost(); 233 NumCallerUsers++; 234 } 235 } 236 237 if (!InliningPreventsSomeOuterInline) 238 return false; 239 240 // If all outer calls to Caller would get inlined, the cost for the last 241 // one is set very low by getInlineCost, in anticipation that Caller will 242 // be removed entirely. We did not account for this above unless there 243 // is only one caller of Caller. 244 if (ApplyLastCallBonus) 245 TotalSecondaryCost -= InlineConstants::LastCallToStaticBonus; 246 247 // If InlineDeferralScale is negative, then ignore the cost of primary 248 // inlining -- IC.getCost() multiplied by the number of callers to Caller. 249 if (InlineDeferralScale < 0) 250 return TotalSecondaryCost < IC.getCost(); 251 252 int TotalCost = TotalSecondaryCost + IC.getCost() * NumCallerUsers; 253 int Allowance = IC.getCost() * InlineDeferralScale; 254 return TotalCost < Allowance; 255 } 256 257 namespace llvm { 258 static std::basic_ostream<char> &operator<<(std::basic_ostream<char> &R, 259 const ore::NV &Arg) { 260 return R << Arg.Val; 261 } 262 263 template <class RemarkT> 264 RemarkT &operator<<(RemarkT &&R, const InlineCost &IC) { 265 using namespace ore; 266 if (IC.isAlways()) { 267 R << "(cost=always)"; 268 } else if (IC.isNever()) { 269 R << "(cost=never)"; 270 } else { 271 R << "(cost=" << ore::NV("Cost", IC.getCost()) 272 << ", threshold=" << ore::NV("Threshold", IC.getThreshold()) << ")"; 273 } 274 if (const char *Reason = IC.getReason()) 275 R << ": " << ore::NV("Reason", Reason); 276 return R; 277 } 278 } // namespace llvm 279 280 std::string llvm::inlineCostStr(const InlineCost &IC) { 281 std::stringstream Remark; 282 Remark << IC; 283 return Remark.str(); 284 } 285 286 void llvm::setInlineRemark(CallBase &CB, StringRef Message) { 287 if (!InlineRemarkAttribute) 288 return; 289 290 Attribute Attr = Attribute::get(CB.getContext(), "inline-remark", Message); 291 CB.addAttribute(AttributeList::FunctionIndex, Attr); 292 } 293 294 /// Return the cost only if the inliner should attempt to inline at the given 295 /// CallSite. If we return the cost, we will emit an optimisation remark later 296 /// using that cost, so we won't do so from this function. Return None if 297 /// inlining should not be attempted. 298 Optional<InlineCost> 299 llvm::shouldInline(CallBase &CB, 300 function_ref<InlineCost(CallBase &CB)> GetInlineCost, 301 OptimizationRemarkEmitter &ORE, bool EnableDeferral) { 302 using namespace ore; 303 304 InlineCost IC = GetInlineCost(CB); 305 Instruction *Call = &CB; 306 Function *Callee = CB.getCalledFunction(); 307 Function *Caller = CB.getCaller(); 308 309 if (IC.isAlways()) { 310 LLVM_DEBUG(dbgs() << " Inlining " << inlineCostStr(IC) 311 << ", Call: " << CB << "\n"); 312 return IC; 313 } 314 315 if (!IC) { 316 LLVM_DEBUG(dbgs() << " NOT Inlining " << inlineCostStr(IC) 317 << ", Call: " << CB << "\n"); 318 if (IC.isNever()) { 319 ORE.emit([&]() { 320 return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", Call) 321 << NV("Callee", Callee) << " not inlined into " 322 << NV("Caller", Caller) << " because it should never be inlined " 323 << IC; 324 }); 325 } else { 326 ORE.emit([&]() { 327 return OptimizationRemarkMissed(DEBUG_TYPE, "TooCostly", Call) 328 << NV("Callee", Callee) << " not inlined into " 329 << NV("Caller", Caller) << " because too costly to inline " 330 << IC; 331 }); 332 } 333 setInlineRemark(CB, inlineCostStr(IC)); 334 return None; 335 } 336 337 int TotalSecondaryCost = 0; 338 if (EnableDeferral && 339 shouldBeDeferred(Caller, IC, TotalSecondaryCost, GetInlineCost)) { 340 LLVM_DEBUG(dbgs() << " NOT Inlining: " << CB 341 << " Cost = " << IC.getCost() 342 << ", outer Cost = " << TotalSecondaryCost << '\n'); 343 ORE.emit([&]() { 344 return OptimizationRemarkMissed(DEBUG_TYPE, "IncreaseCostInOtherContexts", 345 Call) 346 << "Not inlining. Cost of inlining " << NV("Callee", Callee) 347 << " increases the cost of inlining " << NV("Caller", Caller) 348 << " in other contexts"; 349 }); 350 setInlineRemark(CB, "deferred"); 351 // IC does not bool() to false, so get an InlineCost that will. 352 // This will not be inspected to make an error message. 353 return None; 354 } 355 356 LLVM_DEBUG(dbgs() << " Inlining " << inlineCostStr(IC) << ", Call: " << CB 357 << '\n'); 358 return IC; 359 } 360 361 std::string llvm::getCallSiteLocation(DebugLoc DLoc) { 362 std::ostringstream CallSiteLoc; 363 bool First = true; 364 for (DILocation *DIL = DLoc.get(); DIL; DIL = DIL->getInlinedAt()) { 365 if (!First) 366 CallSiteLoc << " @ "; 367 // Note that negative line offset is actually possible, but we use 368 // unsigned int to match line offset representation in remarks so 369 // it's directly consumable by relay advisor. 370 uint32_t Offset = 371 DIL->getLine() - DIL->getScope()->getSubprogram()->getLine(); 372 uint32_t Discriminator = DIL->getBaseDiscriminator(); 373 StringRef Name = DIL->getScope()->getSubprogram()->getLinkageName(); 374 if (Name.empty()) 375 Name = DIL->getScope()->getSubprogram()->getName(); 376 CallSiteLoc << Name.str() << ":" << llvm::utostr(Offset) << ":" 377 << llvm::utostr(DIL->getColumn()); 378 if (Discriminator) 379 CallSiteLoc << "." << llvm::utostr(Discriminator); 380 First = false; 381 } 382 383 return CallSiteLoc.str(); 384 } 385 386 void llvm::addLocationToRemarks(OptimizationRemark &Remark, DebugLoc DLoc) { 387 if (!DLoc.get()) { 388 return; 389 } 390 391 bool First = true; 392 Remark << " at callsite "; 393 for (DILocation *DIL = DLoc.get(); DIL; DIL = DIL->getInlinedAt()) { 394 if (!First) 395 Remark << " @ "; 396 unsigned int Offset = DIL->getLine(); 397 Offset -= DIL->getScope()->getSubprogram()->getLine(); 398 unsigned int Discriminator = DIL->getBaseDiscriminator(); 399 StringRef Name = DIL->getScope()->getSubprogram()->getLinkageName(); 400 if (Name.empty()) 401 Name = DIL->getScope()->getSubprogram()->getName(); 402 Remark << Name << ":" << ore::NV("Line", Offset) << ":" 403 << ore::NV("Column", DIL->getColumn()); 404 if (Discriminator) 405 Remark << "." << ore::NV("Disc", Discriminator); 406 First = false; 407 } 408 409 Remark << ";"; 410 } 411 412 void llvm::emitInlinedInto(OptimizationRemarkEmitter &ORE, DebugLoc DLoc, 413 const BasicBlock *Block, const Function &Callee, 414 const Function &Caller, const InlineCost &IC, 415 bool ForProfileContext, const char *PassName) { 416 ORE.emit([&]() { 417 bool AlwaysInline = IC.isAlways(); 418 StringRef RemarkName = AlwaysInline ? "AlwaysInline" : "Inlined"; 419 OptimizationRemark Remark(PassName ? PassName : DEBUG_TYPE, RemarkName, 420 DLoc, Block); 421 Remark << ore::NV("Callee", &Callee) << " inlined into "; 422 Remark << ore::NV("Caller", &Caller); 423 if (ForProfileContext) 424 Remark << " to match profiling context"; 425 Remark << " with " << IC; 426 addLocationToRemarks(Remark, DLoc); 427 return Remark; 428 }); 429 } 430 431 std::unique_ptr<InlineAdvice> InlineAdvisor::getMandatoryAdvice(CallBase &CB, 432 bool Advice) { 433 return std::make_unique<InlineAdvice>(this, CB, getCallerORE(CB), Advice); 434 } 435 436 InlineAdvisor::MandatoryInliningKind 437 InlineAdvisor::getMandatoryKind(CallBase &CB, FunctionAnalysisManager &FAM, 438 OptimizationRemarkEmitter &ORE) { 439 auto &Callee = *CB.getCalledFunction(); 440 441 auto GetTLI = [&](Function &F) -> const TargetLibraryInfo & { 442 return FAM.getResult<TargetLibraryAnalysis>(F); 443 }; 444 445 auto &TIR = FAM.getResult<TargetIRAnalysis>(Callee); 446 447 auto TrivialDecision = 448 llvm::getAttributeBasedInliningDecision(CB, &Callee, TIR, GetTLI); 449 450 if (TrivialDecision.hasValue()) { 451 if (TrivialDecision->isSuccess()) 452 return MandatoryInliningKind::Always; 453 else 454 return MandatoryInliningKind::Never; 455 } 456 return MandatoryInliningKind::NotMandatory; 457 } 458 459 std::unique_ptr<InlineAdvice> InlineAdvisor::getAdvice(CallBase &CB, 460 bool MandatoryOnly) { 461 if (!MandatoryOnly) 462 return getAdviceImpl(CB); 463 bool Advice = CB.getCaller() != CB.getCalledFunction() && 464 MandatoryInliningKind::Always == 465 getMandatoryKind(CB, FAM, getCallerORE(CB)); 466 return getMandatoryAdvice(CB, Advice); 467 } 468 469 OptimizationRemarkEmitter &InlineAdvisor::getCallerORE(CallBase &CB) { 470 return FAM.getResult<OptimizationRemarkEmitterAnalysis>(*CB.getCaller()); 471 } 472