1 //===-- TargetPassConfig.cpp - Target independent code generation passes --===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file defines interfaces to access the target independent code 11 // generation passes provided by the LLVM backend. 12 // 13 //===---------------------------------------------------------------------===// 14 15 #include "llvm/CodeGen/TargetPassConfig.h" 16 17 #include "llvm/Analysis/BasicAliasAnalysis.h" 18 #include "llvm/Analysis/CFLAndersAliasAnalysis.h" 19 #include "llvm/Analysis/CFLSteensAliasAnalysis.h" 20 #include "llvm/Analysis/CallGraphSCCPass.h" 21 #include "llvm/Analysis/Passes.h" 22 #include "llvm/Analysis/ScopedNoAliasAA.h" 23 #include "llvm/Analysis/TypeBasedAliasAnalysis.h" 24 #include "llvm/CodeGen/MachineFunctionPass.h" 25 #include "llvm/CodeGen/RegAllocRegistry.h" 26 #include "llvm/CodeGen/RegisterUsageInfo.h" 27 #include "llvm/IR/IRPrintingPasses.h" 28 #include "llvm/IR/LegacyPassManager.h" 29 #include "llvm/IR/Verifier.h" 30 #include "llvm/MC/MCAsmInfo.h" 31 #include "llvm/Support/Debug.h" 32 #include "llvm/Support/ErrorHandling.h" 33 #include "llvm/Support/raw_ostream.h" 34 #include "llvm/Target/TargetMachine.h" 35 #include "llvm/Transforms/Instrumentation.h" 36 #include "llvm/Transforms/Scalar.h" 37 #include "llvm/Transforms/Utils/SymbolRewriter.h" 38 39 using namespace llvm; 40 41 static cl::opt<bool> DisablePostRASched("disable-post-ra", cl::Hidden, 42 cl::desc("Disable Post Regalloc Scheduler")); 43 static cl::opt<bool> DisableBranchFold("disable-branch-fold", cl::Hidden, 44 cl::desc("Disable branch folding")); 45 static cl::opt<bool> DisableTailDuplicate("disable-tail-duplicate", cl::Hidden, 46 cl::desc("Disable tail duplication")); 47 static cl::opt<bool> DisableEarlyTailDup("disable-early-taildup", cl::Hidden, 48 cl::desc("Disable pre-register allocation tail duplication")); 49 static cl::opt<bool> DisableBlockPlacement("disable-block-placement", 50 cl::Hidden, cl::desc("Disable probability-driven block placement")); 51 static cl::opt<bool> EnableBlockPlacementStats("enable-block-placement-stats", 52 cl::Hidden, cl::desc("Collect probability-driven block placement stats")); 53 static cl::opt<bool> DisableSSC("disable-ssc", cl::Hidden, 54 cl::desc("Disable Stack Slot Coloring")); 55 static cl::opt<bool> DisableMachineDCE("disable-machine-dce", cl::Hidden, 56 cl::desc("Disable Machine Dead Code Elimination")); 57 static cl::opt<bool> DisableEarlyIfConversion("disable-early-ifcvt", cl::Hidden, 58 cl::desc("Disable Early If-conversion")); 59 static cl::opt<bool> DisableMachineLICM("disable-machine-licm", cl::Hidden, 60 cl::desc("Disable Machine LICM")); 61 static cl::opt<bool> DisableMachineCSE("disable-machine-cse", cl::Hidden, 62 cl::desc("Disable Machine Common Subexpression Elimination")); 63 static cl::opt<cl::boolOrDefault> OptimizeRegAlloc( 64 "optimize-regalloc", cl::Hidden, 65 cl::desc("Enable optimized register allocation compilation path.")); 66 static cl::opt<bool> DisablePostRAMachineLICM("disable-postra-machine-licm", 67 cl::Hidden, 68 cl::desc("Disable Machine LICM")); 69 static cl::opt<bool> DisableMachineSink("disable-machine-sink", cl::Hidden, 70 cl::desc("Disable Machine Sinking")); 71 static cl::opt<bool> DisableLSR("disable-lsr", cl::Hidden, 72 cl::desc("Disable Loop Strength Reduction Pass")); 73 static cl::opt<bool> DisableConstantHoisting("disable-constant-hoisting", 74 cl::Hidden, cl::desc("Disable ConstantHoisting")); 75 static cl::opt<bool> DisableCGP("disable-cgp", cl::Hidden, 76 cl::desc("Disable Codegen Prepare")); 77 static cl::opt<bool> DisableCopyProp("disable-copyprop", cl::Hidden, 78 cl::desc("Disable Copy Propagation pass")); 79 static cl::opt<bool> DisablePartialLibcallInlining("disable-partial-libcall-inlining", 80 cl::Hidden, cl::desc("Disable Partial Libcall Inlining")); 81 static cl::opt<bool> EnableImplicitNullChecks( 82 "enable-implicit-null-checks", 83 cl::desc("Fold null checks into faulting memory operations"), 84 cl::init(false)); 85 static cl::opt<bool> PrintLSR("print-lsr-output", cl::Hidden, 86 cl::desc("Print LLVM IR produced by the loop-reduce pass")); 87 static cl::opt<bool> PrintISelInput("print-isel-input", cl::Hidden, 88 cl::desc("Print LLVM IR input to isel pass")); 89 static cl::opt<bool> PrintGCInfo("print-gc", cl::Hidden, 90 cl::desc("Dump garbage collector data")); 91 static cl::opt<bool> VerifyMachineCode("verify-machineinstrs", cl::Hidden, 92 cl::desc("Verify generated machine code"), 93 cl::init(false), 94 cl::ZeroOrMore); 95 static cl::opt<bool> EnableMachineOutliner("enable-machine-outliner", 96 cl::Hidden, 97 cl::desc("Enable machine outliner")); 98 99 static cl::opt<std::string> 100 PrintMachineInstrs("print-machineinstrs", cl::ValueOptional, 101 cl::desc("Print machine instrs"), 102 cl::value_desc("pass-name"), cl::init("option-unspecified")); 103 104 static cl::opt<int> EnableGlobalISelAbort( 105 "global-isel-abort", cl::Hidden, 106 cl::desc("Enable abort calls when \"global\" instruction selection " 107 "fails to lower/select an instruction: 0 disable the abort, " 108 "1 enable the abort, and " 109 "2 disable the abort but emit a diagnostic on failure"), 110 cl::init(1)); 111 112 // Temporary option to allow experimenting with MachineScheduler as a post-RA 113 // scheduler. Targets can "properly" enable this with 114 // substitutePass(&PostRASchedulerID, &PostMachineSchedulerID). 115 // Targets can return true in targetSchedulesPostRAScheduling() and 116 // insert a PostRA scheduling pass wherever it wants. 117 cl::opt<bool> MISchedPostRA("misched-postra", cl::Hidden, 118 cl::desc("Run MachineScheduler post regalloc (independent of preRA sched)")); 119 120 // Experimental option to run live interval analysis early. 121 static cl::opt<bool> EarlyLiveIntervals("early-live-intervals", cl::Hidden, 122 cl::desc("Run live interval analysis earlier in the pipeline")); 123 124 // Experimental option to use CFL-AA in codegen 125 enum class CFLAAType { None, Steensgaard, Andersen, Both }; 126 static cl::opt<CFLAAType> UseCFLAA( 127 "use-cfl-aa-in-codegen", cl::init(CFLAAType::None), cl::Hidden, 128 cl::desc("Enable the new, experimental CFL alias analysis in CodeGen"), 129 cl::values(clEnumValN(CFLAAType::None, "none", "Disable CFL-AA"), 130 clEnumValN(CFLAAType::Steensgaard, "steens", 131 "Enable unification-based CFL-AA"), 132 clEnumValN(CFLAAType::Andersen, "anders", 133 "Enable inclusion-based CFL-AA"), 134 clEnumValN(CFLAAType::Both, "both", 135 "Enable both variants of CFL-AA"))); 136 137 /// Allow standard passes to be disabled by command line options. This supports 138 /// simple binary flags that either suppress the pass or do nothing. 139 /// i.e. -disable-mypass=false has no effect. 140 /// These should be converted to boolOrDefault in order to use applyOverride. 141 static IdentifyingPassPtr applyDisable(IdentifyingPassPtr PassID, 142 bool Override) { 143 if (Override) 144 return IdentifyingPassPtr(); 145 return PassID; 146 } 147 148 /// Allow standard passes to be disabled by the command line, regardless of who 149 /// is adding the pass. 150 /// 151 /// StandardID is the pass identified in the standard pass pipeline and provided 152 /// to addPass(). It may be a target-specific ID in the case that the target 153 /// directly adds its own pass, but in that case we harmlessly fall through. 154 /// 155 /// TargetID is the pass that the target has configured to override StandardID. 156 /// 157 /// StandardID may be a pseudo ID. In that case TargetID is the name of the real 158 /// pass to run. This allows multiple options to control a single pass depending 159 /// on where in the pipeline that pass is added. 160 static IdentifyingPassPtr overridePass(AnalysisID StandardID, 161 IdentifyingPassPtr TargetID) { 162 if (StandardID == &PostRASchedulerID) 163 return applyDisable(TargetID, DisablePostRASched); 164 165 if (StandardID == &BranchFolderPassID) 166 return applyDisable(TargetID, DisableBranchFold); 167 168 if (StandardID == &TailDuplicateID) 169 return applyDisable(TargetID, DisableTailDuplicate); 170 171 if (StandardID == &TargetPassConfig::EarlyTailDuplicateID) 172 return applyDisable(TargetID, DisableEarlyTailDup); 173 174 if (StandardID == &MachineBlockPlacementID) 175 return applyDisable(TargetID, DisableBlockPlacement); 176 177 if (StandardID == &StackSlotColoringID) 178 return applyDisable(TargetID, DisableSSC); 179 180 if (StandardID == &DeadMachineInstructionElimID) 181 return applyDisable(TargetID, DisableMachineDCE); 182 183 if (StandardID == &EarlyIfConverterID) 184 return applyDisable(TargetID, DisableEarlyIfConversion); 185 186 if (StandardID == &MachineLICMID) 187 return applyDisable(TargetID, DisableMachineLICM); 188 189 if (StandardID == &MachineCSEID) 190 return applyDisable(TargetID, DisableMachineCSE); 191 192 if (StandardID == &TargetPassConfig::PostRAMachineLICMID) 193 return applyDisable(TargetID, DisablePostRAMachineLICM); 194 195 if (StandardID == &MachineSinkingID) 196 return applyDisable(TargetID, DisableMachineSink); 197 198 if (StandardID == &MachineCopyPropagationID) 199 return applyDisable(TargetID, DisableCopyProp); 200 201 return TargetID; 202 } 203 204 //===---------------------------------------------------------------------===// 205 /// TargetPassConfig 206 //===---------------------------------------------------------------------===// 207 208 INITIALIZE_PASS(TargetPassConfig, "targetpassconfig", 209 "Target Pass Configuration", false, false) 210 char TargetPassConfig::ID = 0; 211 212 // Pseudo Pass IDs. 213 char TargetPassConfig::EarlyTailDuplicateID = 0; 214 char TargetPassConfig::PostRAMachineLICMID = 0; 215 216 namespace { 217 struct InsertedPass { 218 AnalysisID TargetPassID; 219 IdentifyingPassPtr InsertedPassID; 220 bool VerifyAfter; 221 bool PrintAfter; 222 223 InsertedPass(AnalysisID TargetPassID, IdentifyingPassPtr InsertedPassID, 224 bool VerifyAfter, bool PrintAfter) 225 : TargetPassID(TargetPassID), InsertedPassID(InsertedPassID), 226 VerifyAfter(VerifyAfter), PrintAfter(PrintAfter) {} 227 228 Pass *getInsertedPass() const { 229 assert(InsertedPassID.isValid() && "Illegal Pass ID!"); 230 if (InsertedPassID.isInstance()) 231 return InsertedPassID.getInstance(); 232 Pass *NP = Pass::createPass(InsertedPassID.getID()); 233 assert(NP && "Pass ID not registered"); 234 return NP; 235 } 236 }; 237 } 238 239 namespace llvm { 240 class PassConfigImpl { 241 public: 242 // List of passes explicitly substituted by this target. Normally this is 243 // empty, but it is a convenient way to suppress or replace specific passes 244 // that are part of a standard pass pipeline without overridding the entire 245 // pipeline. This mechanism allows target options to inherit a standard pass's 246 // user interface. For example, a target may disable a standard pass by 247 // default by substituting a pass ID of zero, and the user may still enable 248 // that standard pass with an explicit command line option. 249 DenseMap<AnalysisID,IdentifyingPassPtr> TargetPasses; 250 251 /// Store the pairs of <AnalysisID, AnalysisID> of which the second pass 252 /// is inserted after each instance of the first one. 253 SmallVector<InsertedPass, 4> InsertedPasses; 254 }; 255 } // namespace llvm 256 257 // Out of line virtual method. 258 TargetPassConfig::~TargetPassConfig() { 259 delete Impl; 260 } 261 262 // Out of line constructor provides default values for pass options and 263 // registers all common codegen passes. 264 TargetPassConfig::TargetPassConfig(TargetMachine *tm, PassManagerBase &pm) 265 : ImmutablePass(ID), PM(&pm), Started(true), Stopped(false), 266 AddingMachinePasses(false), TM(tm), Impl(nullptr), Initialized(false), 267 DisableVerify(false), EnableTailMerge(true), 268 RequireCodeGenSCCOrder(false) { 269 270 Impl = new PassConfigImpl(); 271 272 // Register all target independent codegen passes to activate their PassIDs, 273 // including this pass itself. 274 initializeCodeGen(*PassRegistry::getPassRegistry()); 275 276 // Also register alias analysis passes required by codegen passes. 277 initializeBasicAAWrapperPassPass(*PassRegistry::getPassRegistry()); 278 initializeAAResultsWrapperPassPass(*PassRegistry::getPassRegistry()); 279 280 // Substitute Pseudo Pass IDs for real ones. 281 substitutePass(&EarlyTailDuplicateID, &TailDuplicateID); 282 substitutePass(&PostRAMachineLICMID, &MachineLICMID); 283 284 if (StringRef(PrintMachineInstrs.getValue()).equals("")) 285 TM->Options.PrintMachineCode = true; 286 287 if (TM->Options.EnableIPRA) 288 setRequiresCodeGenSCCOrder(); 289 } 290 291 CodeGenOpt::Level TargetPassConfig::getOptLevel() const { 292 return TM->getOptLevel(); 293 } 294 295 /// Insert InsertedPassID pass after TargetPassID. 296 void TargetPassConfig::insertPass(AnalysisID TargetPassID, 297 IdentifyingPassPtr InsertedPassID, 298 bool VerifyAfter, bool PrintAfter) { 299 assert(((!InsertedPassID.isInstance() && 300 TargetPassID != InsertedPassID.getID()) || 301 (InsertedPassID.isInstance() && 302 TargetPassID != InsertedPassID.getInstance()->getPassID())) && 303 "Insert a pass after itself!"); 304 Impl->InsertedPasses.emplace_back(TargetPassID, InsertedPassID, VerifyAfter, 305 PrintAfter); 306 } 307 308 /// createPassConfig - Create a pass configuration object to be used by 309 /// addPassToEmitX methods for generating a pipeline of CodeGen passes. 310 /// 311 /// Targets may override this to extend TargetPassConfig. 312 TargetPassConfig *LLVMTargetMachine::createPassConfig(PassManagerBase &PM) { 313 return new TargetPassConfig(this, PM); 314 } 315 316 TargetPassConfig::TargetPassConfig() 317 : ImmutablePass(ID), PM(nullptr) { 318 llvm_unreachable("TargetPassConfig should not be constructed on-the-fly"); 319 } 320 321 // Helper to verify the analysis is really immutable. 322 void TargetPassConfig::setOpt(bool &Opt, bool Val) { 323 assert(!Initialized && "PassConfig is immutable"); 324 Opt = Val; 325 } 326 327 void TargetPassConfig::substitutePass(AnalysisID StandardID, 328 IdentifyingPassPtr TargetID) { 329 Impl->TargetPasses[StandardID] = TargetID; 330 } 331 332 IdentifyingPassPtr TargetPassConfig::getPassSubstitution(AnalysisID ID) const { 333 DenseMap<AnalysisID, IdentifyingPassPtr>::const_iterator 334 I = Impl->TargetPasses.find(ID); 335 if (I == Impl->TargetPasses.end()) 336 return ID; 337 return I->second; 338 } 339 340 bool TargetPassConfig::isPassSubstitutedOrOverridden(AnalysisID ID) const { 341 IdentifyingPassPtr TargetID = getPassSubstitution(ID); 342 IdentifyingPassPtr FinalPtr = overridePass(ID, TargetID); 343 return !FinalPtr.isValid() || FinalPtr.isInstance() || 344 FinalPtr.getID() != ID; 345 } 346 347 /// Add a pass to the PassManager if that pass is supposed to be run. If the 348 /// Started/Stopped flags indicate either that the compilation should start at 349 /// a later pass or that it should stop after an earlier pass, then do not add 350 /// the pass. Finally, compare the current pass against the StartAfter 351 /// and StopAfter options and change the Started/Stopped flags accordingly. 352 void TargetPassConfig::addPass(Pass *P, bool verifyAfter, bool printAfter) { 353 assert(!Initialized && "PassConfig is immutable"); 354 355 // Cache the Pass ID here in case the pass manager finds this pass is 356 // redundant with ones already scheduled / available, and deletes it. 357 // Fundamentally, once we add the pass to the manager, we no longer own it 358 // and shouldn't reference it. 359 AnalysisID PassID = P->getPassID(); 360 361 if (StartBefore == PassID) 362 Started = true; 363 if (StopBefore == PassID) 364 Stopped = true; 365 if (Started && !Stopped) { 366 std::string Banner; 367 // Construct banner message before PM->add() as that may delete the pass. 368 if (AddingMachinePasses && (printAfter || verifyAfter)) 369 Banner = std::string("After ") + std::string(P->getPassName()); 370 PM->add(P); 371 if (AddingMachinePasses) { 372 if (printAfter) 373 addPrintPass(Banner); 374 if (verifyAfter) 375 addVerifyPass(Banner); 376 } 377 378 // Add the passes after the pass P if there is any. 379 for (auto IP : Impl->InsertedPasses) { 380 if (IP.TargetPassID == PassID) 381 addPass(IP.getInsertedPass(), IP.VerifyAfter, IP.PrintAfter); 382 } 383 } else { 384 delete P; 385 } 386 if (StopAfter == PassID) 387 Stopped = true; 388 if (StartAfter == PassID) 389 Started = true; 390 if (Stopped && !Started) 391 report_fatal_error("Cannot stop compilation after pass that is not run"); 392 } 393 394 /// Add a CodeGen pass at this point in the pipeline after checking for target 395 /// and command line overrides. 396 /// 397 /// addPass cannot return a pointer to the pass instance because is internal the 398 /// PassManager and the instance we create here may already be freed. 399 AnalysisID TargetPassConfig::addPass(AnalysisID PassID, bool verifyAfter, 400 bool printAfter) { 401 IdentifyingPassPtr TargetID = getPassSubstitution(PassID); 402 IdentifyingPassPtr FinalPtr = overridePass(PassID, TargetID); 403 if (!FinalPtr.isValid()) 404 return nullptr; 405 406 Pass *P; 407 if (FinalPtr.isInstance()) 408 P = FinalPtr.getInstance(); 409 else { 410 P = Pass::createPass(FinalPtr.getID()); 411 if (!P) 412 llvm_unreachable("Pass ID not registered"); 413 } 414 AnalysisID FinalID = P->getPassID(); 415 addPass(P, verifyAfter, printAfter); // Ends the lifetime of P. 416 417 return FinalID; 418 } 419 420 void TargetPassConfig::printAndVerify(const std::string &Banner) { 421 addPrintPass(Banner); 422 addVerifyPass(Banner); 423 } 424 425 void TargetPassConfig::addPrintPass(const std::string &Banner) { 426 if (TM->shouldPrintMachineCode()) 427 PM->add(createMachineFunctionPrinterPass(dbgs(), Banner)); 428 } 429 430 void TargetPassConfig::addVerifyPass(const std::string &Banner) { 431 if (VerifyMachineCode) 432 PM->add(createMachineVerifierPass(Banner)); 433 } 434 435 /// Add common target configurable passes that perform LLVM IR to IR transforms 436 /// following machine independent optimization. 437 void TargetPassConfig::addIRPasses() { 438 switch (UseCFLAA) { 439 case CFLAAType::Steensgaard: 440 addPass(createCFLSteensAAWrapperPass()); 441 break; 442 case CFLAAType::Andersen: 443 addPass(createCFLAndersAAWrapperPass()); 444 break; 445 case CFLAAType::Both: 446 addPass(createCFLAndersAAWrapperPass()); 447 addPass(createCFLSteensAAWrapperPass()); 448 break; 449 default: 450 break; 451 } 452 453 // Basic AliasAnalysis support. 454 // Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that 455 // BasicAliasAnalysis wins if they disagree. This is intended to help 456 // support "obvious" type-punning idioms. 457 addPass(createTypeBasedAAWrapperPass()); 458 addPass(createScopedNoAliasAAWrapperPass()); 459 addPass(createBasicAAWrapperPass()); 460 461 // Before running any passes, run the verifier to determine if the input 462 // coming from the front-end and/or optimizer is valid. 463 if (!DisableVerify) 464 addPass(createVerifierPass()); 465 466 // Run loop strength reduction before anything else. 467 if (getOptLevel() != CodeGenOpt::None && !DisableLSR) { 468 addPass(createLoopStrengthReducePass()); 469 if (PrintLSR) 470 addPass(createPrintFunctionPass(dbgs(), "\n\n*** Code after LSR ***\n")); 471 } 472 473 // Run GC lowering passes for builtin collectors 474 // TODO: add a pass insertion point here 475 addPass(createGCLoweringPass()); 476 addPass(createShadowStackGCLoweringPass()); 477 478 // Make sure that no unreachable blocks are instruction selected. 479 addPass(createUnreachableBlockEliminationPass()); 480 481 // Prepare expensive constants for SelectionDAG. 482 if (getOptLevel() != CodeGenOpt::None && !DisableConstantHoisting) 483 addPass(createConstantHoistingPass()); 484 485 if (getOptLevel() != CodeGenOpt::None && !DisablePartialLibcallInlining) 486 addPass(createPartiallyInlineLibCallsPass()); 487 488 // Insert calls to mcount-like functions. 489 addPass(createCountingFunctionInserterPass()); 490 491 // Add scalarization of target's unsupported masked memory intrinsics pass. 492 // the unsupported intrinsic will be replaced with a chain of basic blocks, 493 // that stores/loads element one-by-one if the appropriate mask bit is set. 494 addPass(createScalarizeMaskedMemIntrinPass()); 495 496 // Expand reduction intrinsics into shuffle sequences if the target wants to. 497 addPass(createExpandReductionsPass()); 498 } 499 500 /// Turn exception handling constructs into something the code generators can 501 /// handle. 502 void TargetPassConfig::addPassesToHandleExceptions() { 503 const MCAsmInfo *MCAI = TM->getMCAsmInfo(); 504 assert(MCAI && "No MCAsmInfo"); 505 switch (MCAI->getExceptionHandlingType()) { 506 case ExceptionHandling::SjLj: 507 // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both 508 // Dwarf EH prepare needs to be run after SjLj prepare. Otherwise, 509 // catch info can get misplaced when a selector ends up more than one block 510 // removed from the parent invoke(s). This could happen when a landing 511 // pad is shared by multiple invokes and is also a target of a normal 512 // edge from elsewhere. 513 addPass(createSjLjEHPreparePass()); 514 LLVM_FALLTHROUGH; 515 case ExceptionHandling::DwarfCFI: 516 case ExceptionHandling::ARM: 517 addPass(createDwarfEHPass(TM)); 518 break; 519 case ExceptionHandling::WinEH: 520 // We support using both GCC-style and MSVC-style exceptions on Windows, so 521 // add both preparation passes. Each pass will only actually run if it 522 // recognizes the personality function. 523 addPass(createWinEHPass(TM)); 524 addPass(createDwarfEHPass(TM)); 525 break; 526 case ExceptionHandling::None: 527 addPass(createLowerInvokePass()); 528 529 // The lower invoke pass may create unreachable code. Remove it. 530 addPass(createUnreachableBlockEliminationPass()); 531 break; 532 } 533 } 534 535 /// Add pass to prepare the LLVM IR for code generation. This should be done 536 /// before exception handling preparation passes. 537 void TargetPassConfig::addCodeGenPrepare() { 538 if (getOptLevel() != CodeGenOpt::None && !DisableCGP) 539 addPass(createCodeGenPreparePass(TM)); 540 addPass(createRewriteSymbolsPass()); 541 } 542 543 /// Add common passes that perform LLVM IR to IR transforms in preparation for 544 /// instruction selection. 545 void TargetPassConfig::addISelPrepare() { 546 addPreISel(); 547 548 // Force codegen to run according to the callgraph. 549 if (requiresCodeGenSCCOrder()) 550 addPass(new DummyCGSCCPass); 551 552 // Add both the safe stack and the stack protection passes: each of them will 553 // only protect functions that have corresponding attributes. 554 addPass(createSafeStackPass(TM)); 555 addPass(createStackProtectorPass(TM)); 556 557 if (PrintISelInput) 558 addPass(createPrintFunctionPass( 559 dbgs(), "\n\n*** Final LLVM Code input to ISel ***\n")); 560 561 // All passes which modify the LLVM IR are now complete; run the verifier 562 // to ensure that the IR is valid. 563 if (!DisableVerify) 564 addPass(createVerifierPass()); 565 } 566 567 /// -regalloc=... command line option. 568 static FunctionPass *useDefaultRegisterAllocator() { return nullptr; } 569 static cl::opt<RegisterRegAlloc::FunctionPassCtor, false, 570 RegisterPassParser<RegisterRegAlloc> > 571 RegAlloc("regalloc", 572 cl::init(&useDefaultRegisterAllocator), 573 cl::desc("Register allocator to use")); 574 575 /// Add the complete set of target-independent postISel code generator passes. 576 /// 577 /// This can be read as the standard order of major LLVM CodeGen stages. Stages 578 /// with nontrivial configuration or multiple passes are broken out below in 579 /// add%Stage routines. 580 /// 581 /// Any TargetPassConfig::addXX routine may be overriden by the Target. The 582 /// addPre/Post methods with empty header implementations allow injecting 583 /// target-specific fixups just before or after major stages. Additionally, 584 /// targets have the flexibility to change pass order within a stage by 585 /// overriding default implementation of add%Stage routines below. Each 586 /// technique has maintainability tradeoffs because alternate pass orders are 587 /// not well supported. addPre/Post works better if the target pass is easily 588 /// tied to a common pass. But if it has subtle dependencies on multiple passes, 589 /// the target should override the stage instead. 590 /// 591 /// TODO: We could use a single addPre/Post(ID) hook to allow pass injection 592 /// before/after any target-independent pass. But it's currently overkill. 593 void TargetPassConfig::addMachinePasses() { 594 AddingMachinePasses = true; 595 596 // Insert a machine instr printer pass after the specified pass. 597 if (!StringRef(PrintMachineInstrs.getValue()).equals("") && 598 !StringRef(PrintMachineInstrs.getValue()).equals("option-unspecified")) { 599 const PassRegistry *PR = PassRegistry::getPassRegistry(); 600 const PassInfo *TPI = PR->getPassInfo(PrintMachineInstrs.getValue()); 601 const PassInfo *IPI = PR->getPassInfo(StringRef("machineinstr-printer")); 602 assert (TPI && IPI && "Pass ID not registered!"); 603 const char *TID = (const char *)(TPI->getTypeInfo()); 604 const char *IID = (const char *)(IPI->getTypeInfo()); 605 insertPass(TID, IID); 606 } 607 608 // Print the instruction selected machine code... 609 printAndVerify("After Instruction Selection"); 610 611 if (TM->Options.EnableIPRA) 612 addPass(createRegUsageInfoPropPass()); 613 614 // Expand pseudo-instructions emitted by ISel. 615 addPass(&ExpandISelPseudosID); 616 617 // Add passes that optimize machine instructions in SSA form. 618 if (getOptLevel() != CodeGenOpt::None) { 619 addMachineSSAOptimization(); 620 } else { 621 // If the target requests it, assign local variables to stack slots relative 622 // to one another and simplify frame index references where possible. 623 addPass(&LocalStackSlotAllocationID, false); 624 } 625 626 if (getOptLevel() != CodeGenOpt::None) 627 addPass(&LiveRangeShrinkID); 628 629 // Run pre-ra passes. 630 addPreRegAlloc(); 631 632 // Run register allocation and passes that are tightly coupled with it, 633 // including phi elimination and scheduling. 634 if (getOptimizeRegAlloc()) 635 addOptimizedRegAlloc(createRegAllocPass(true)); 636 else { 637 if (RegAlloc != &useDefaultRegisterAllocator && 638 RegAlloc != &createFastRegisterAllocator) 639 report_fatal_error("Must use fast (default) register allocator for unoptimized regalloc."); 640 addFastRegAlloc(createRegAllocPass(false)); 641 } 642 643 // Run post-ra passes. 644 addPostRegAlloc(); 645 646 // Insert prolog/epilog code. Eliminate abstract frame index references... 647 if (getOptLevel() != CodeGenOpt::None) 648 addPass(&ShrinkWrapID); 649 650 // Prolog/Epilog inserter needs a TargetMachine to instantiate. But only 651 // do so if it hasn't been disabled, substituted, or overridden. 652 if (!isPassSubstitutedOrOverridden(&PrologEpilogCodeInserterID)) 653 addPass(createPrologEpilogInserterPass(TM)); 654 655 /// Add passes that optimize machine instructions after register allocation. 656 if (getOptLevel() != CodeGenOpt::None) 657 addMachineLateOptimization(); 658 659 // Expand pseudo instructions before second scheduling pass. 660 addPass(&ExpandPostRAPseudosID); 661 662 // Run pre-sched2 passes. 663 addPreSched2(); 664 665 if (EnableImplicitNullChecks) 666 addPass(&ImplicitNullChecksID); 667 668 // Second pass scheduler. 669 // Let Target optionally insert this pass by itself at some other 670 // point. 671 if (getOptLevel() != CodeGenOpt::None && 672 !TM->targetSchedulesPostRAScheduling()) { 673 if (MISchedPostRA) 674 addPass(&PostMachineSchedulerID); 675 else 676 addPass(&PostRASchedulerID); 677 } 678 679 // GC 680 if (addGCPasses()) { 681 if (PrintGCInfo) 682 addPass(createGCInfoPrinter(dbgs()), false, false); 683 } 684 685 // Basic block placement. 686 if (getOptLevel() != CodeGenOpt::None) 687 addBlockPlacement(); 688 689 addPreEmitPass(); 690 691 if (TM->Options.EnableIPRA) 692 // Collect register usage information and produce a register mask of 693 // clobbered registers, to be used to optimize call sites. 694 addPass(createRegUsageInfoCollector()); 695 696 addPass(&FuncletLayoutID, false); 697 698 addPass(&StackMapLivenessID, false); 699 addPass(&LiveDebugValuesID, false); 700 701 // Insert before XRay Instrumentation. 702 addPass(&FEntryInserterID, false); 703 704 addPass(&XRayInstrumentationID, false); 705 addPass(&PatchableFunctionID, false); 706 707 if (EnableMachineOutliner) 708 PM->add(createMachineOutlinerPass()); 709 710 AddingMachinePasses = false; 711 } 712 713 /// Add passes that optimize machine instructions in SSA form. 714 void TargetPassConfig::addMachineSSAOptimization() { 715 // Pre-ra tail duplication. 716 addPass(&EarlyTailDuplicateID); 717 718 // Optimize PHIs before DCE: removing dead PHI cycles may make more 719 // instructions dead. 720 addPass(&OptimizePHIsID, false); 721 722 // This pass merges large allocas. StackSlotColoring is a different pass 723 // which merges spill slots. 724 addPass(&StackColoringID, false); 725 726 // If the target requests it, assign local variables to stack slots relative 727 // to one another and simplify frame index references where possible. 728 addPass(&LocalStackSlotAllocationID, false); 729 730 // With optimization, dead code should already be eliminated. However 731 // there is one known exception: lowered code for arguments that are only 732 // used by tail calls, where the tail calls reuse the incoming stack 733 // arguments directly (see t11 in test/CodeGen/X86/sibcall.ll). 734 addPass(&DeadMachineInstructionElimID); 735 736 // Allow targets to insert passes that improve instruction level parallelism, 737 // like if-conversion. Such passes will typically need dominator trees and 738 // loop info, just like LICM and CSE below. 739 addILPOpts(); 740 741 addPass(&MachineLICMID, false); 742 addPass(&MachineCSEID, false); 743 744 // Coalesce basic blocks with the same branch condition 745 addPass(&BranchCoalescingID); 746 747 addPass(&MachineSinkingID); 748 749 addPass(&PeepholeOptimizerID); 750 // Clean-up the dead code that may have been generated by peephole 751 // rewriting. 752 addPass(&DeadMachineInstructionElimID); 753 } 754 755 //===---------------------------------------------------------------------===// 756 /// Register Allocation Pass Configuration 757 //===---------------------------------------------------------------------===// 758 759 bool TargetPassConfig::getOptimizeRegAlloc() const { 760 switch (OptimizeRegAlloc) { 761 case cl::BOU_UNSET: return getOptLevel() != CodeGenOpt::None; 762 case cl::BOU_TRUE: return true; 763 case cl::BOU_FALSE: return false; 764 } 765 llvm_unreachable("Invalid optimize-regalloc state"); 766 } 767 768 /// RegisterRegAlloc's global Registry tracks allocator registration. 769 MachinePassRegistry RegisterRegAlloc::Registry; 770 771 /// A dummy default pass factory indicates whether the register allocator is 772 /// overridden on the command line. 773 static llvm::once_flag InitializeDefaultRegisterAllocatorFlag; 774 775 static RegisterRegAlloc 776 defaultRegAlloc("default", 777 "pick register allocator based on -O option", 778 useDefaultRegisterAllocator); 779 780 static void initializeDefaultRegisterAllocatorOnce() { 781 RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault(); 782 783 if (!Ctor) { 784 Ctor = RegAlloc; 785 RegisterRegAlloc::setDefault(RegAlloc); 786 } 787 } 788 789 /// Instantiate the default register allocator pass for this target for either 790 /// the optimized or unoptimized allocation path. This will be added to the pass 791 /// manager by addFastRegAlloc in the unoptimized case or addOptimizedRegAlloc 792 /// in the optimized case. 793 /// 794 /// A target that uses the standard regalloc pass order for fast or optimized 795 /// allocation may still override this for per-target regalloc 796 /// selection. But -regalloc=... always takes precedence. 797 FunctionPass *TargetPassConfig::createTargetRegisterAllocator(bool Optimized) { 798 if (Optimized) 799 return createGreedyRegisterAllocator(); 800 else 801 return createFastRegisterAllocator(); 802 } 803 804 /// Find and instantiate the register allocation pass requested by this target 805 /// at the current optimization level. Different register allocators are 806 /// defined as separate passes because they may require different analysis. 807 /// 808 /// This helper ensures that the regalloc= option is always available, 809 /// even for targets that override the default allocator. 810 /// 811 /// FIXME: When MachinePassRegistry register pass IDs instead of function ptrs, 812 /// this can be folded into addPass. 813 FunctionPass *TargetPassConfig::createRegAllocPass(bool Optimized) { 814 // Initialize the global default. 815 llvm::call_once(InitializeDefaultRegisterAllocatorFlag, 816 initializeDefaultRegisterAllocatorOnce); 817 818 RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault(); 819 if (Ctor != useDefaultRegisterAllocator) 820 return Ctor(); 821 822 // With no -regalloc= override, ask the target for a regalloc pass. 823 return createTargetRegisterAllocator(Optimized); 824 } 825 826 /// Return true if the default global register allocator is in use and 827 /// has not be overriden on the command line with '-regalloc=...' 828 bool TargetPassConfig::usingDefaultRegAlloc() const { 829 return RegAlloc.getNumOccurrences() == 0; 830 } 831 832 /// Add the minimum set of target-independent passes that are required for 833 /// register allocation. No coalescing or scheduling. 834 void TargetPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) { 835 addPass(&PHIEliminationID, false); 836 addPass(&TwoAddressInstructionPassID, false); 837 838 if (RegAllocPass) 839 addPass(RegAllocPass); 840 } 841 842 /// Add standard target-independent passes that are tightly coupled with 843 /// optimized register allocation, including coalescing, machine instruction 844 /// scheduling, and register allocation itself. 845 void TargetPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) { 846 addPass(&DetectDeadLanesID, false); 847 848 addPass(&ProcessImplicitDefsID, false); 849 850 // LiveVariables currently requires pure SSA form. 851 // 852 // FIXME: Once TwoAddressInstruction pass no longer uses kill flags, 853 // LiveVariables can be removed completely, and LiveIntervals can be directly 854 // computed. (We still either need to regenerate kill flags after regalloc, or 855 // preferably fix the scavenger to not depend on them). 856 addPass(&LiveVariablesID, false); 857 858 // Edge splitting is smarter with machine loop info. 859 addPass(&MachineLoopInfoID, false); 860 addPass(&PHIEliminationID, false); 861 862 // Eventually, we want to run LiveIntervals before PHI elimination. 863 if (EarlyLiveIntervals) 864 addPass(&LiveIntervalsID, false); 865 866 addPass(&TwoAddressInstructionPassID, false); 867 addPass(&RegisterCoalescerID); 868 869 // The machine scheduler may accidentally create disconnected components 870 // when moving subregister definitions around, avoid this by splitting them to 871 // separate vregs before. Splitting can also improve reg. allocation quality. 872 addPass(&RenameIndependentSubregsID); 873 874 // PreRA instruction scheduling. 875 addPass(&MachineSchedulerID); 876 877 if (RegAllocPass) { 878 // Add the selected register allocation pass. 879 addPass(RegAllocPass); 880 881 // Allow targets to change the register assignments before rewriting. 882 addPreRewrite(); 883 884 // Finally rewrite virtual registers. 885 addPass(&VirtRegRewriterID); 886 887 // Perform stack slot coloring and post-ra machine LICM. 888 // 889 // FIXME: Re-enable coloring with register when it's capable of adding 890 // kill markers. 891 addPass(&StackSlotColoringID); 892 893 // Run post-ra machine LICM to hoist reloads / remats. 894 // 895 // FIXME: can this move into MachineLateOptimization? 896 addPass(&PostRAMachineLICMID); 897 } 898 } 899 900 //===---------------------------------------------------------------------===// 901 /// Post RegAlloc Pass Configuration 902 //===---------------------------------------------------------------------===// 903 904 /// Add passes that optimize machine instructions after register allocation. 905 void TargetPassConfig::addMachineLateOptimization() { 906 // Branch folding must be run after regalloc and prolog/epilog insertion. 907 addPass(&BranchFolderPassID); 908 909 // Tail duplication. 910 // Note that duplicating tail just increases code size and degrades 911 // performance for targets that require Structured Control Flow. 912 // In addition it can also make CFG irreducible. Thus we disable it. 913 if (!TM->requiresStructuredCFG()) 914 addPass(&TailDuplicateID); 915 916 // Copy propagation. 917 addPass(&MachineCopyPropagationID); 918 } 919 920 /// Add standard GC passes. 921 bool TargetPassConfig::addGCPasses() { 922 addPass(&GCMachineCodeAnalysisID, false); 923 return true; 924 } 925 926 /// Add standard basic block placement passes. 927 void TargetPassConfig::addBlockPlacement() { 928 if (addPass(&MachineBlockPlacementID)) { 929 // Run a separate pass to collect block placement statistics. 930 if (EnableBlockPlacementStats) 931 addPass(&MachineBlockPlacementStatsID); 932 } 933 } 934 935 //===---------------------------------------------------------------------===// 936 /// GlobalISel Configuration 937 //===---------------------------------------------------------------------===// 938 939 bool TargetPassConfig::isGlobalISelEnabled() const { 940 return false; 941 } 942 943 bool TargetPassConfig::isGlobalISelAbortEnabled() const { 944 return EnableGlobalISelAbort == 1; 945 } 946 947 bool TargetPassConfig::reportDiagnosticWhenGlobalISelFallback() const { 948 return EnableGlobalISelAbort == 2; 949 } 950