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 492 /// Turn exception handling constructs into something the code generators can 493 /// handle. 494 void TargetPassConfig::addPassesToHandleExceptions() { 495 const MCAsmInfo *MCAI = TM->getMCAsmInfo(); 496 assert(MCAI && "No MCAsmInfo"); 497 switch (MCAI->getExceptionHandlingType()) { 498 case ExceptionHandling::SjLj: 499 // SjLj piggy-backs on dwarf for this bit. The cleanups done apply to both 500 // Dwarf EH prepare needs to be run after SjLj prepare. Otherwise, 501 // catch info can get misplaced when a selector ends up more than one block 502 // removed from the parent invoke(s). This could happen when a landing 503 // pad is shared by multiple invokes and is also a target of a normal 504 // edge from elsewhere. 505 addPass(createSjLjEHPreparePass()); 506 LLVM_FALLTHROUGH; 507 case ExceptionHandling::DwarfCFI: 508 case ExceptionHandling::ARM: 509 addPass(createDwarfEHPass(TM)); 510 break; 511 case ExceptionHandling::WinEH: 512 // We support using both GCC-style and MSVC-style exceptions on Windows, so 513 // add both preparation passes. Each pass will only actually run if it 514 // recognizes the personality function. 515 addPass(createWinEHPass(TM)); 516 addPass(createDwarfEHPass(TM)); 517 break; 518 case ExceptionHandling::None: 519 addPass(createLowerInvokePass()); 520 521 // The lower invoke pass may create unreachable code. Remove it. 522 addPass(createUnreachableBlockEliminationPass()); 523 break; 524 } 525 } 526 527 /// Add pass to prepare the LLVM IR for code generation. This should be done 528 /// before exception handling preparation passes. 529 void TargetPassConfig::addCodeGenPrepare() { 530 if (getOptLevel() != CodeGenOpt::None && !DisableCGP) 531 addPass(createCodeGenPreparePass(TM)); 532 addPass(createRewriteSymbolsPass()); 533 } 534 535 /// Add common passes that perform LLVM IR to IR transforms in preparation for 536 /// instruction selection. 537 void TargetPassConfig::addISelPrepare() { 538 addPreISel(); 539 540 // Force codegen to run according to the callgraph. 541 if (requiresCodeGenSCCOrder()) 542 addPass(new DummyCGSCCPass); 543 544 // Add both the safe stack and the stack protection passes: each of them will 545 // only protect functions that have corresponding attributes. 546 addPass(createSafeStackPass(TM)); 547 addPass(createStackProtectorPass(TM)); 548 549 if (PrintISelInput) 550 addPass(createPrintFunctionPass( 551 dbgs(), "\n\n*** Final LLVM Code input to ISel ***\n")); 552 553 // All passes which modify the LLVM IR are now complete; run the verifier 554 // to ensure that the IR is valid. 555 if (!DisableVerify) 556 addPass(createVerifierPass()); 557 } 558 559 /// Add the complete set of target-independent postISel code generator passes. 560 /// 561 /// This can be read as the standard order of major LLVM CodeGen stages. Stages 562 /// with nontrivial configuration or multiple passes are broken out below in 563 /// add%Stage routines. 564 /// 565 /// Any TargetPassConfig::addXX routine may be overriden by the Target. The 566 /// addPre/Post methods with empty header implementations allow injecting 567 /// target-specific fixups just before or after major stages. Additionally, 568 /// targets have the flexibility to change pass order within a stage by 569 /// overriding default implementation of add%Stage routines below. Each 570 /// technique has maintainability tradeoffs because alternate pass orders are 571 /// not well supported. addPre/Post works better if the target pass is easily 572 /// tied to a common pass. But if it has subtle dependencies on multiple passes, 573 /// the target should override the stage instead. 574 /// 575 /// TODO: We could use a single addPre/Post(ID) hook to allow pass injection 576 /// before/after any target-independent pass. But it's currently overkill. 577 void TargetPassConfig::addMachinePasses() { 578 AddingMachinePasses = true; 579 580 // Insert a machine instr printer pass after the specified pass. 581 if (!StringRef(PrintMachineInstrs.getValue()).equals("") && 582 !StringRef(PrintMachineInstrs.getValue()).equals("option-unspecified")) { 583 const PassRegistry *PR = PassRegistry::getPassRegistry(); 584 const PassInfo *TPI = PR->getPassInfo(PrintMachineInstrs.getValue()); 585 const PassInfo *IPI = PR->getPassInfo(StringRef("machineinstr-printer")); 586 assert (TPI && IPI && "Pass ID not registered!"); 587 const char *TID = (const char *)(TPI->getTypeInfo()); 588 const char *IID = (const char *)(IPI->getTypeInfo()); 589 insertPass(TID, IID); 590 } 591 592 // Print the instruction selected machine code... 593 printAndVerify("After Instruction Selection"); 594 595 if (TM->Options.EnableIPRA) 596 addPass(createRegUsageInfoPropPass()); 597 598 // Expand pseudo-instructions emitted by ISel. 599 addPass(&ExpandISelPseudosID); 600 601 // Add passes that optimize machine instructions in SSA form. 602 if (getOptLevel() != CodeGenOpt::None) { 603 addMachineSSAOptimization(); 604 } else { 605 // If the target requests it, assign local variables to stack slots relative 606 // to one another and simplify frame index references where possible. 607 addPass(&LocalStackSlotAllocationID, false); 608 } 609 610 // Run pre-ra passes. 611 addPreRegAlloc(); 612 613 // Run register allocation and passes that are tightly coupled with it, 614 // including phi elimination and scheduling. 615 if (getOptimizeRegAlloc()) 616 addOptimizedRegAlloc(createRegAllocPass(true)); 617 else 618 addFastRegAlloc(createRegAllocPass(false)); 619 620 // Run post-ra passes. 621 addPostRegAlloc(); 622 623 // Insert prolog/epilog code. Eliminate abstract frame index references... 624 if (getOptLevel() != CodeGenOpt::None) 625 addPass(&ShrinkWrapID); 626 627 // Prolog/Epilog inserter needs a TargetMachine to instantiate. But only 628 // do so if it hasn't been disabled, substituted, or overridden. 629 if (!isPassSubstitutedOrOverridden(&PrologEpilogCodeInserterID)) 630 addPass(createPrologEpilogInserterPass(TM)); 631 632 /// Add passes that optimize machine instructions after register allocation. 633 if (getOptLevel() != CodeGenOpt::None) 634 addMachineLateOptimization(); 635 636 // Expand pseudo instructions before second scheduling pass. 637 addPass(&ExpandPostRAPseudosID); 638 639 // Run pre-sched2 passes. 640 addPreSched2(); 641 642 if (EnableImplicitNullChecks) 643 addPass(&ImplicitNullChecksID); 644 645 // Second pass scheduler. 646 // Let Target optionally insert this pass by itself at some other 647 // point. 648 if (getOptLevel() != CodeGenOpt::None && 649 !TM->targetSchedulesPostRAScheduling()) { 650 if (MISchedPostRA) 651 addPass(&PostMachineSchedulerID); 652 else 653 addPass(&PostRASchedulerID); 654 } 655 656 // GC 657 if (addGCPasses()) { 658 if (PrintGCInfo) 659 addPass(createGCInfoPrinter(dbgs()), false, false); 660 } 661 662 // Basic block placement. 663 if (getOptLevel() != CodeGenOpt::None) 664 addBlockPlacement(); 665 666 addPreEmitPass(); 667 668 if (TM->Options.EnableIPRA) 669 // Collect register usage information and produce a register mask of 670 // clobbered registers, to be used to optimize call sites. 671 addPass(createRegUsageInfoCollector()); 672 673 addPass(&FuncletLayoutID, false); 674 675 addPass(&StackMapLivenessID, false); 676 addPass(&LiveDebugValuesID, false); 677 678 // Insert before XRay Instrumentation. 679 addPass(&FEntryInserterID, false); 680 681 addPass(&XRayInstrumentationID, false); 682 addPass(&PatchableFunctionID, false); 683 684 if (EnableMachineOutliner) 685 PM->add(createMachineOutlinerPass()); 686 687 AddingMachinePasses = false; 688 } 689 690 /// Add passes that optimize machine instructions in SSA form. 691 void TargetPassConfig::addMachineSSAOptimization() { 692 // Pre-ra tail duplication. 693 addPass(&EarlyTailDuplicateID); 694 695 // Optimize PHIs before DCE: removing dead PHI cycles may make more 696 // instructions dead. 697 addPass(&OptimizePHIsID, false); 698 699 // This pass merges large allocas. StackSlotColoring is a different pass 700 // which merges spill slots. 701 addPass(&StackColoringID, false); 702 703 // If the target requests it, assign local variables to stack slots relative 704 // to one another and simplify frame index references where possible. 705 addPass(&LocalStackSlotAllocationID, false); 706 707 // With optimization, dead code should already be eliminated. However 708 // there is one known exception: lowered code for arguments that are only 709 // used by tail calls, where the tail calls reuse the incoming stack 710 // arguments directly (see t11 in test/CodeGen/X86/sibcall.ll). 711 addPass(&DeadMachineInstructionElimID); 712 713 // Allow targets to insert passes that improve instruction level parallelism, 714 // like if-conversion. Such passes will typically need dominator trees and 715 // loop info, just like LICM and CSE below. 716 addILPOpts(); 717 718 addPass(&MachineLICMID, false); 719 addPass(&MachineCSEID, false); 720 721 // Coalesce basic blocks with the same branch condition 722 addPass(&BranchCoalescingID); 723 724 addPass(&MachineSinkingID); 725 726 addPass(&PeepholeOptimizerID); 727 // Clean-up the dead code that may have been generated by peephole 728 // rewriting. 729 addPass(&DeadMachineInstructionElimID); 730 } 731 732 //===---------------------------------------------------------------------===// 733 /// Register Allocation Pass Configuration 734 //===---------------------------------------------------------------------===// 735 736 bool TargetPassConfig::getOptimizeRegAlloc() const { 737 switch (OptimizeRegAlloc) { 738 case cl::BOU_UNSET: return getOptLevel() != CodeGenOpt::None; 739 case cl::BOU_TRUE: return true; 740 case cl::BOU_FALSE: return false; 741 } 742 llvm_unreachable("Invalid optimize-regalloc state"); 743 } 744 745 /// RegisterRegAlloc's global Registry tracks allocator registration. 746 MachinePassRegistry RegisterRegAlloc::Registry; 747 748 /// A dummy default pass factory indicates whether the register allocator is 749 /// overridden on the command line. 750 static llvm::once_flag InitializeDefaultRegisterAllocatorFlag; 751 static FunctionPass *useDefaultRegisterAllocator() { return nullptr; } 752 static RegisterRegAlloc 753 defaultRegAlloc("default", 754 "pick register allocator based on -O option", 755 useDefaultRegisterAllocator); 756 757 /// -regalloc=... command line option. 758 static cl::opt<RegisterRegAlloc::FunctionPassCtor, false, 759 RegisterPassParser<RegisterRegAlloc> > 760 RegAlloc("regalloc", 761 cl::init(&useDefaultRegisterAllocator), 762 cl::desc("Register allocator to use")); 763 764 static void initializeDefaultRegisterAllocatorOnce() { 765 RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault(); 766 767 if (!Ctor) { 768 Ctor = RegAlloc; 769 RegisterRegAlloc::setDefault(RegAlloc); 770 } 771 } 772 773 774 /// Instantiate the default register allocator pass for this target for either 775 /// the optimized or unoptimized allocation path. This will be added to the pass 776 /// manager by addFastRegAlloc in the unoptimized case or addOptimizedRegAlloc 777 /// in the optimized case. 778 /// 779 /// A target that uses the standard regalloc pass order for fast or optimized 780 /// allocation may still override this for per-target regalloc 781 /// selection. But -regalloc=... always takes precedence. 782 FunctionPass *TargetPassConfig::createTargetRegisterAllocator(bool Optimized) { 783 if (Optimized) 784 return createGreedyRegisterAllocator(); 785 else 786 return createFastRegisterAllocator(); 787 } 788 789 /// Find and instantiate the register allocation pass requested by this target 790 /// at the current optimization level. Different register allocators are 791 /// defined as separate passes because they may require different analysis. 792 /// 793 /// This helper ensures that the regalloc= option is always available, 794 /// even for targets that override the default allocator. 795 /// 796 /// FIXME: When MachinePassRegistry register pass IDs instead of function ptrs, 797 /// this can be folded into addPass. 798 FunctionPass *TargetPassConfig::createRegAllocPass(bool Optimized) { 799 // Initialize the global default. 800 llvm::call_once(InitializeDefaultRegisterAllocatorFlag, 801 initializeDefaultRegisterAllocatorOnce); 802 803 RegisterRegAlloc::FunctionPassCtor Ctor = RegisterRegAlloc::getDefault(); 804 if (Ctor != useDefaultRegisterAllocator) 805 return Ctor(); 806 807 // With no -regalloc= override, ask the target for a regalloc pass. 808 return createTargetRegisterAllocator(Optimized); 809 } 810 811 /// Return true if the default global register allocator is in use and 812 /// has not be overriden on the command line with '-regalloc=...' 813 bool TargetPassConfig::usingDefaultRegAlloc() const { 814 return RegAlloc.getNumOccurrences() == 0; 815 } 816 817 /// Add the minimum set of target-independent passes that are required for 818 /// register allocation. No coalescing or scheduling. 819 void TargetPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) { 820 addPass(&PHIEliminationID, false); 821 addPass(&TwoAddressInstructionPassID, false); 822 823 if (RegAllocPass) 824 addPass(RegAllocPass); 825 } 826 827 /// Add standard target-independent passes that are tightly coupled with 828 /// optimized register allocation, including coalescing, machine instruction 829 /// scheduling, and register allocation itself. 830 void TargetPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) { 831 addPass(&DetectDeadLanesID, false); 832 833 addPass(&ProcessImplicitDefsID, false); 834 835 // LiveVariables currently requires pure SSA form. 836 // 837 // FIXME: Once TwoAddressInstruction pass no longer uses kill flags, 838 // LiveVariables can be removed completely, and LiveIntervals can be directly 839 // computed. (We still either need to regenerate kill flags after regalloc, or 840 // preferably fix the scavenger to not depend on them). 841 addPass(&LiveVariablesID, false); 842 843 // Edge splitting is smarter with machine loop info. 844 addPass(&MachineLoopInfoID, false); 845 addPass(&PHIEliminationID, false); 846 847 // Eventually, we want to run LiveIntervals before PHI elimination. 848 if (EarlyLiveIntervals) 849 addPass(&LiveIntervalsID, false); 850 851 addPass(&TwoAddressInstructionPassID, false); 852 addPass(&RegisterCoalescerID); 853 854 // The machine scheduler may accidentally create disconnected components 855 // when moving subregister definitions around, avoid this by splitting them to 856 // separate vregs before. Splitting can also improve reg. allocation quality. 857 addPass(&RenameIndependentSubregsID); 858 859 // PreRA instruction scheduling. 860 addPass(&MachineSchedulerID); 861 862 if (RegAllocPass) { 863 // Add the selected register allocation pass. 864 addPass(RegAllocPass); 865 866 // Allow targets to change the register assignments before rewriting. 867 addPreRewrite(); 868 869 // Finally rewrite virtual registers. 870 addPass(&VirtRegRewriterID); 871 872 // Perform stack slot coloring and post-ra machine LICM. 873 // 874 // FIXME: Re-enable coloring with register when it's capable of adding 875 // kill markers. 876 addPass(&StackSlotColoringID); 877 878 // Run post-ra machine LICM to hoist reloads / remats. 879 // 880 // FIXME: can this move into MachineLateOptimization? 881 addPass(&PostRAMachineLICMID); 882 } 883 } 884 885 //===---------------------------------------------------------------------===// 886 /// Post RegAlloc Pass Configuration 887 //===---------------------------------------------------------------------===// 888 889 /// Add passes that optimize machine instructions after register allocation. 890 void TargetPassConfig::addMachineLateOptimization() { 891 // Branch folding must be run after regalloc and prolog/epilog insertion. 892 addPass(&BranchFolderPassID); 893 894 // Tail duplication. 895 // Note that duplicating tail just increases code size and degrades 896 // performance for targets that require Structured Control Flow. 897 // In addition it can also make CFG irreducible. Thus we disable it. 898 if (!TM->requiresStructuredCFG()) 899 addPass(&TailDuplicateID); 900 901 // Copy propagation. 902 addPass(&MachineCopyPropagationID); 903 } 904 905 /// Add standard GC passes. 906 bool TargetPassConfig::addGCPasses() { 907 addPass(&GCMachineCodeAnalysisID, false); 908 return true; 909 } 910 911 /// Add standard basic block placement passes. 912 void TargetPassConfig::addBlockPlacement() { 913 if (addPass(&MachineBlockPlacementID)) { 914 // Run a separate pass to collect block placement statistics. 915 if (EnableBlockPlacementStats) 916 addPass(&MachineBlockPlacementStatsID); 917 } 918 } 919 920 //===---------------------------------------------------------------------===// 921 /// GlobalISel Configuration 922 //===---------------------------------------------------------------------===// 923 924 bool TargetPassConfig::isGlobalISelEnabled() const { 925 return false; 926 } 927 928 bool TargetPassConfig::isGlobalISelAbortEnabled() const { 929 return EnableGlobalISelAbort == 1; 930 } 931 932 bool TargetPassConfig::reportDiagnosticWhenGlobalISelFallback() const { 933 return EnableGlobalISelAbort == 2; 934 } 935