#pragma once #ifdef __GNUC__ #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-parameter" #endif //===- Parsing, selection, and construction of pass pipelines --*- C++ -*--===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// /// \file /// /// Interfaces for registering analysis passes, producing common pass manager /// configurations, and parsing of pass pipelines. /// //===----------------------------------------------------------------------===// #ifndef LLVM_PASSES_PASSBUILDER_H #define LLVM_PASSES_PASSBUILDER_H #include "llvm/ADT/Optional.h" #include "llvm/Analysis/CGSCCPassManager.h" #include "llvm/IR/PassManager.h" #include "llvm/Passes/OptimizationLevel.h" #include "llvm/Support/Error.h" #include "llvm/Support/PGOOptions.h" #include "llvm/Support/raw_ostream.h" #include "llvm/Transforms/IPO/Inliner.h" #include "llvm/Transforms/IPO/ModuleInliner.h" #include "llvm/Transforms/Instrumentation.h" #include "llvm/Transforms/Scalar/LoopPassManager.h" #include namespace llvm { class StringRef; class AAManager; class TargetMachine; class ModuleSummaryIndex; /// Tunable parameters for passes in the default pipelines. class PipelineTuningOptions { public: /// Constructor sets pipeline tuning defaults based on cl::opts. Each option /// can be set in the PassBuilder when using a LLVM as a library. PipelineTuningOptions(); /// Tuning option to set loop interleaving on/off, set based on opt level. bool LoopInterleaving; /// Tuning option to enable/disable loop vectorization, set based on opt /// level. bool LoopVectorization; /// Tuning option to enable/disable slp loop vectorization, set based on opt /// level. bool SLPVectorization; /// Tuning option to enable/disable loop unrolling. Its default value is true. bool LoopUnrolling; /// Tuning option to forget all SCEV loops in LoopUnroll. Its default value /// is that of the flag: `-forget-scev-loop-unroll`. bool ForgetAllSCEVInLoopUnroll; /// Tuning option to cap the number of calls to retrive clobbering accesses in /// MemorySSA, in LICM. unsigned LicmMssaOptCap; /// Tuning option to disable promotion to scalars in LICM with MemorySSA, if /// the number of access is too large. unsigned LicmMssaNoAccForPromotionCap; /// Tuning option to enable/disable call graph profile. Its default value is /// that of the flag: `-enable-npm-call-graph-profile`. bool CallGraphProfile; /// Tuning option to enable/disable function merging. Its default value is /// false. bool MergeFunctions; // Experimental option to eagerly invalidate more analyses. This has the // potential to decrease max memory usage in exchange for more compile time. // This may affect codegen due to either passes using analyses only when // cached, or invalidating and recalculating an analysis that was // stale/imprecise but still valid. Currently this invalidates all function // analyses after various module->function or cgscc->function adaptors in the // default pipelines. bool EagerlyInvalidateAnalyses; }; /// This class provides access to building LLVM's passes. /// /// Its members provide the baseline state available to passes during their /// construction. The \c PassRegistry.def file specifies how to construct all /// of the built-in passes, and those may reference these members during /// construction. class PassBuilder { TargetMachine *TM; PipelineTuningOptions PTO; Optional PGOOpt; PassInstrumentationCallbacks *PIC; public: /// A struct to capture parsed pass pipeline names. /// /// A pipeline is defined as a series of names, each of which may in itself /// recursively contain a nested pipeline. A name is either the name of a pass /// (e.g. "instcombine") or the name of a pipeline type (e.g. "cgscc"). If the /// name is the name of a pass, the InnerPipeline is empty, since passes /// cannot contain inner pipelines. See parsePassPipeline() for a more /// detailed description of the textual pipeline format. struct PipelineElement { StringRef Name; std::vector InnerPipeline; }; explicit PassBuilder(TargetMachine *TM = nullptr, PipelineTuningOptions PTO = PipelineTuningOptions(), Optional PGOOpt = None, PassInstrumentationCallbacks *PIC = nullptr); /// Cross register the analysis managers through their proxies. /// /// This is an interface that can be used to cross register each /// AnalysisManager with all the others analysis managers. void crossRegisterProxies(LoopAnalysisManager &LAM, FunctionAnalysisManager &FAM, CGSCCAnalysisManager &CGAM, ModuleAnalysisManager &MAM); /// Registers all available module analysis passes. /// /// This is an interface that can be used to populate a \c /// ModuleAnalysisManager with all registered module analyses. Callers can /// still manually register any additional analyses. Callers can also /// pre-register analyses and this will not override those. void registerModuleAnalyses(ModuleAnalysisManager &MAM); /// Registers all available CGSCC analysis passes. /// /// This is an interface that can be used to populate a \c CGSCCAnalysisManager /// with all registered CGSCC analyses. Callers can still manually register any /// additional analyses. Callers can also pre-register analyses and this will /// not override those. void registerCGSCCAnalyses(CGSCCAnalysisManager &CGAM); /// Registers all available function analysis passes. /// /// This is an interface that can be used to populate a \c /// FunctionAnalysisManager with all registered function analyses. Callers can /// still manually register any additional analyses. Callers can also /// pre-register analyses and this will not override those. void registerFunctionAnalyses(FunctionAnalysisManager &FAM); /// Registers all available loop analysis passes. /// /// This is an interface that can be used to populate a \c LoopAnalysisManager /// with all registered loop analyses. Callers can still manually register any /// additional analyses. void registerLoopAnalyses(LoopAnalysisManager &LAM); /// Construct the core LLVM function canonicalization and simplification /// pipeline. /// /// This is a long pipeline and uses most of the per-function optimization /// passes in LLVM to canonicalize and simplify the IR. It is suitable to run /// repeatedly over the IR and is not expected to destroy important /// information about the semantics of the IR. /// /// Note that \p Level cannot be `O0` here. The pipelines produced are /// only intended for use when attempting to optimize code. If frontends /// require some transformations for semantic reasons, they should explicitly /// build them. /// /// \p Phase indicates the current ThinLTO phase. FunctionPassManager buildFunctionSimplificationPipeline(OptimizationLevel Level, ThinOrFullLTOPhase Phase); /// Construct the core LLVM module canonicalization and simplification /// pipeline. /// /// This pipeline focuses on canonicalizing and simplifying the entire module /// of IR. Much like the function simplification pipeline above, it is /// suitable to run repeatedly over the IR and is not expected to destroy /// important information. It does, however, perform inlining and other /// heuristic based simplifications that are not strictly reversible. /// /// Note that \p Level cannot be `O0` here. The pipelines produced are /// only intended for use when attempting to optimize code. If frontends /// require some transformations for semantic reasons, they should explicitly /// build them. /// /// \p Phase indicates the current ThinLTO phase. ModulePassManager buildModuleSimplificationPipeline(OptimizationLevel Level, ThinOrFullLTOPhase Phase); /// Construct the module pipeline that performs inlining as well as /// the inlining-driven cleanups. ModuleInlinerWrapperPass buildInlinerPipeline(OptimizationLevel Level, ThinOrFullLTOPhase Phase); /// Construct the module pipeline that performs inlining with /// module inliner pass. ModulePassManager buildModuleInlinerPipeline(OptimizationLevel Level, ThinOrFullLTOPhase Phase); /// Construct the core LLVM module optimization pipeline. /// /// This pipeline focuses on optimizing the execution speed of the IR. It /// uses cost modeling and thresholds to balance code growth against runtime /// improvements. It includes vectorization and other information destroying /// transformations. It also cannot generally be run repeatedly on a module /// without potentially seriously regressing either runtime performance of /// the code or serious code size growth. /// /// Note that \p Level cannot be `O0` here. The pipelines produced are /// only intended for use when attempting to optimize code. If frontends /// require some transformations for semantic reasons, they should explicitly /// build them. ModulePassManager buildModuleOptimizationPipeline(OptimizationLevel Level, bool LTOPreLink = false); /// Build a per-module default optimization pipeline. /// /// This provides a good default optimization pipeline for per-module /// optimization and code generation without any link-time optimization. It /// typically correspond to frontend "-O[123]" options for optimization /// levels \c O1, \c O2 and \c O3 resp. /// /// Note that \p Level cannot be `O0` here. The pipelines produced are /// only intended for use when attempting to optimize code. If frontends /// require some transformations for semantic reasons, they should explicitly /// build them. ModulePassManager buildPerModuleDefaultPipeline(OptimizationLevel Level, bool LTOPreLink = false); /// Build a pre-link, ThinLTO-targeting default optimization pipeline to /// a pass manager. /// /// This adds the pre-link optimizations tuned to prepare a module for /// a ThinLTO run. It works to minimize the IR which needs to be analyzed /// without making irreversible decisions which could be made better during /// the LTO run. /// /// Note that \p Level cannot be `O0` here. The pipelines produced are /// only intended for use when attempting to optimize code. If frontends /// require some transformations for semantic reasons, they should explicitly /// build them. ModulePassManager buildThinLTOPreLinkDefaultPipeline(OptimizationLevel Level); /// Build an ThinLTO default optimization pipeline to a pass manager. /// /// This provides a good default optimization pipeline for link-time /// optimization and code generation. It is particularly tuned to fit well /// when IR coming into the LTO phase was first run through \c /// addPreLinkLTODefaultPipeline, and the two coordinate closely. /// /// Note that \p Level cannot be `O0` here. The pipelines produced are /// only intended for use when attempting to optimize code. If frontends /// require some transformations for semantic reasons, they should explicitly /// build them. ModulePassManager buildThinLTODefaultPipeline(OptimizationLevel Level, const ModuleSummaryIndex *ImportSummary); /// Build a pre-link, LTO-targeting default optimization pipeline to a pass /// manager. /// /// This adds the pre-link optimizations tuned to work well with a later LTO /// run. It works to minimize the IR which needs to be analyzed without /// making irreversible decisions which could be made better during the LTO /// run. /// /// Note that \p Level cannot be `O0` here. The pipelines produced are /// only intended for use when attempting to optimize code. If frontends /// require some transformations for semantic reasons, they should explicitly /// build them. ModulePassManager buildLTOPreLinkDefaultPipeline(OptimizationLevel Level); /// Build an LTO default optimization pipeline to a pass manager. /// /// This provides a good default optimization pipeline for link-time /// optimization and code generation. It is particularly tuned to fit well /// when IR coming into the LTO phase was first run through \c /// addPreLinkLTODefaultPipeline, and the two coordinate closely. /// /// Note that \p Level cannot be `O0` here. The pipelines produced are /// only intended for use when attempting to optimize code. If frontends /// require some transformations for semantic reasons, they should explicitly /// build them. ModulePassManager buildLTODefaultPipeline(OptimizationLevel Level, ModuleSummaryIndex *ExportSummary); /// Build an O0 pipeline with the minimal semantically required passes. /// /// This should only be used for non-LTO and LTO pre-link pipelines. ModulePassManager buildO0DefaultPipeline(OptimizationLevel Level, bool LTOPreLink = false); /// Build the default `AAManager` with the default alias analysis pipeline /// registered. /// /// This also adds target-specific alias analyses registered via /// TargetMachine::registerDefaultAliasAnalyses(). AAManager buildDefaultAAPipeline(); /// Parse a textual pass pipeline description into a \c /// ModulePassManager. /// /// The format of the textual pass pipeline description looks something like: /// /// module(function(instcombine,sroa),dce,cgscc(inliner,function(...)),...) /// /// Pass managers have ()s describing the nest structure of passes. All passes /// are comma separated. As a special shortcut, if the very first pass is not /// a module pass (as a module pass manager is), this will automatically form /// the shortest stack of pass managers that allow inserting that first pass. /// So, assuming function passes 'fpassN', CGSCC passes 'cgpassN', and loop /// passes 'lpassN', all of these are valid: /// /// fpass1,fpass2,fpass3 /// cgpass1,cgpass2,cgpass3 /// lpass1,lpass2,lpass3 /// /// And they are equivalent to the following (resp.): /// /// module(function(fpass1,fpass2,fpass3)) /// module(cgscc(cgpass1,cgpass2,cgpass3)) /// module(function(loop(lpass1,lpass2,lpass3))) /// /// This shortcut is especially useful for debugging and testing small pass /// combinations. /// /// The sequence of passes aren't necessarily the exact same kind of pass. /// You can mix different levels implicitly if adaptor passes are defined to /// make them work. For example, /// /// mpass1,fpass1,fpass2,mpass2,lpass1 /// /// This pipeline uses only one pass manager: the top-level module manager. /// fpass1,fpass2 and lpass1 are added into the the top-level module manager /// using only adaptor passes. No nested function/loop pass managers are /// added. The purpose is to allow easy pass testing when the user /// specifically want the pass to run under a adaptor directly. This is /// preferred when a pipeline is largely of one type, but one or just a few /// passes are of different types(See PassBuilder.cpp for examples). Error parsePassPipeline(ModulePassManager &MPM, StringRef PipelineText); /// {{@ Parse a textual pass pipeline description into a specific PassManager /// /// Automatic deduction of an appropriate pass manager stack is not supported. /// For example, to insert a loop pass 'lpass' into a FunctionPassManager, /// this is the valid pipeline text: /// /// function(lpass) Error parsePassPipeline(CGSCCPassManager &CGPM, StringRef PipelineText); Error parsePassPipeline(FunctionPassManager &FPM, StringRef PipelineText); Error parsePassPipeline(LoopPassManager &LPM, StringRef PipelineText); /// @}} /// Parse a textual alias analysis pipeline into the provided AA manager. /// /// The format of the textual AA pipeline is a comma separated list of AA /// pass names: /// /// basic-aa,globals-aa,... /// /// The AA manager is set up such that the provided alias analyses are tried /// in the order specified. See the \c AAManaager documentation for details /// about the logic used. This routine just provides the textual mapping /// between AA names and the analyses to register with the manager. /// /// Returns false if the text cannot be parsed cleanly. The specific state of /// the \p AA manager is unspecified if such an error is encountered and this /// returns false. Error parseAAPipeline(AAManager &AA, StringRef PipelineText); /// Returns true if the pass name is the name of an alias analysis pass. bool isAAPassName(StringRef PassName); /// Returns true if the pass name is the name of a (non-alias) analysis pass. bool isAnalysisPassName(StringRef PassName); /// Print pass names. void printPassNames(raw_ostream &OS); /// Register a callback for a default optimizer pipeline extension /// point /// /// This extension point allows adding passes that perform peephole /// optimizations similar to the instruction combiner. These passes will be /// inserted after each instance of the instruction combiner pass. void registerPeepholeEPCallback( const std::function &C) { PeepholeEPCallbacks.push_back(C); } /// Register a callback for a default optimizer pipeline extension /// point /// /// This extension point allows adding late loop canonicalization and /// simplification passes. This is the last point in the loop optimization /// pipeline before loop deletion. Each pass added /// here must be an instance of LoopPass. /// This is the place to add passes that can remove loops, such as target- /// specific loop idiom recognition. void registerLateLoopOptimizationsEPCallback( const std::function &C) { LateLoopOptimizationsEPCallbacks.push_back(C); } /// Register a callback for a default optimizer pipeline extension /// point /// /// This extension point allows adding loop passes to the end of the loop /// optimizer. void registerLoopOptimizerEndEPCallback( const std::function &C) { LoopOptimizerEndEPCallbacks.push_back(C); } /// Register a callback for a default optimizer pipeline extension /// point /// /// This extension point allows adding optimization passes after most of the /// main optimizations, but before the last cleanup-ish optimizations. void registerScalarOptimizerLateEPCallback( const std::function &C) { ScalarOptimizerLateEPCallbacks.push_back(C); } /// Register a callback for a default optimizer pipeline extension /// point /// /// This extension point allows adding CallGraphSCC passes at the end of the /// main CallGraphSCC passes and before any function simplification passes run /// by CGPassManager. void registerCGSCCOptimizerLateEPCallback( const std::function &C) { CGSCCOptimizerLateEPCallbacks.push_back(C); } /// Register a callback for a default optimizer pipeline extension /// point /// /// This extension point allows adding optimization passes before the /// vectorizer and other highly target specific optimization passes are /// executed. void registerVectorizerStartEPCallback( const std::function &C) { VectorizerStartEPCallbacks.push_back(C); } /// Register a callback for a default optimizer pipeline extension point. /// /// This extension point allows adding optimization once at the start of the /// pipeline. This does not apply to 'backend' compiles (LTO and ThinLTO /// link-time pipelines). void registerPipelineStartEPCallback( const std::function &C) { PipelineStartEPCallbacks.push_back(C); } /// Register a callback for a default optimizer pipeline extension point. /// /// This extension point allows adding optimization right after passes that do /// basic simplification of the input IR. void registerPipelineEarlySimplificationEPCallback( const std::function &C) { PipelineEarlySimplificationEPCallbacks.push_back(C); } /// Register a callback for a default optimizer pipeline extension point /// /// This extension point allows adding optimizations at the very end of the /// function optimization pipeline. void registerOptimizerLastEPCallback( const std::function &C) { OptimizerLastEPCallbacks.push_back(C); } /// Register a callback for parsing an AliasAnalysis Name to populate /// the given AAManager \p AA void registerParseAACallback( const std::function &C) { AAParsingCallbacks.push_back(C); } /// {{@ Register callbacks for analysis registration with this PassBuilder /// instance. /// Callees register their analyses with the given AnalysisManager objects. void registerAnalysisRegistrationCallback( const std::function &C) { CGSCCAnalysisRegistrationCallbacks.push_back(C); } void registerAnalysisRegistrationCallback( const std::function &C) { FunctionAnalysisRegistrationCallbacks.push_back(C); } void registerAnalysisRegistrationCallback( const std::function &C) { LoopAnalysisRegistrationCallbacks.push_back(C); } void registerAnalysisRegistrationCallback( const std::function &C) { ModuleAnalysisRegistrationCallbacks.push_back(C); } /// @}} /// {{@ Register pipeline parsing callbacks with this pass builder instance. /// Using these callbacks, callers can parse both a single pass name, as well /// as entire sub-pipelines, and populate the PassManager instance /// accordingly. void registerPipelineParsingCallback( const std::function)> &C) { CGSCCPipelineParsingCallbacks.push_back(C); } void registerPipelineParsingCallback( const std::function)> &C) { FunctionPipelineParsingCallbacks.push_back(C); } void registerPipelineParsingCallback( const std::function)> &C) { LoopPipelineParsingCallbacks.push_back(C); } void registerPipelineParsingCallback( const std::function)> &C) { ModulePipelineParsingCallbacks.push_back(C); } /// @}} /// Register a callback for a top-level pipeline entry. /// /// If the PassManager type is not given at the top level of the pipeline /// text, this Callback should be used to determine the appropriate stack of /// PassManagers and populate the passed ModulePassManager. void registerParseTopLevelPipelineCallback( const std::function)> &C); /// Add PGOInstrumenation passes for O0 only. void addPGOInstrPassesForO0(ModulePassManager &MPM, bool RunProfileGen, bool IsCS, std::string ProfileFile, std::string ProfileRemappingFile); /// Returns PIC. External libraries can use this to register pass /// instrumentation callbacks. PassInstrumentationCallbacks *getPassInstrumentationCallbacks() const { return PIC; } private: // O1 pass pipeline FunctionPassManager buildO1FunctionSimplificationPipeline(OptimizationLevel Level, ThinOrFullLTOPhase Phase); void addRequiredLTOPreLinkPasses(ModulePassManager &MPM); void addVectorPasses(OptimizationLevel Level, FunctionPassManager &FPM, bool IsFullLTO); static Optional> parsePipelineText(StringRef Text); Error parseModulePass(ModulePassManager &MPM, const PipelineElement &E); Error parseCGSCCPass(CGSCCPassManager &CGPM, const PipelineElement &E); Error parseFunctionPass(FunctionPassManager &FPM, const PipelineElement &E); Error parseLoopPass(LoopPassManager &LPM, const PipelineElement &E); bool parseAAPassName(AAManager &AA, StringRef Name); Error parseLoopPassPipeline(LoopPassManager &LPM, ArrayRef Pipeline); Error parseFunctionPassPipeline(FunctionPassManager &FPM, ArrayRef Pipeline); Error parseCGSCCPassPipeline(CGSCCPassManager &CGPM, ArrayRef Pipeline); Error parseModulePassPipeline(ModulePassManager &MPM, ArrayRef Pipeline); void addPGOInstrPasses(ModulePassManager &MPM, OptimizationLevel Level, bool RunProfileGen, bool IsCS, std::string ProfileFile, std::string ProfileRemappingFile); void invokePeepholeEPCallbacks(FunctionPassManager &, OptimizationLevel); // Extension Point callbacks SmallVector, 2> PeepholeEPCallbacks; SmallVector, 2> LateLoopOptimizationsEPCallbacks; SmallVector, 2> LoopOptimizerEndEPCallbacks; SmallVector, 2> ScalarOptimizerLateEPCallbacks; SmallVector, 2> CGSCCOptimizerLateEPCallbacks; SmallVector, 2> VectorizerStartEPCallbacks; SmallVector, 2> OptimizerLastEPCallbacks; // Module callbacks SmallVector, 2> PipelineStartEPCallbacks; SmallVector, 2> PipelineEarlySimplificationEPCallbacks; SmallVector, 2> ModuleAnalysisRegistrationCallbacks; SmallVector)>, 2> ModulePipelineParsingCallbacks; SmallVector< std::function)>, 2> TopLevelPipelineParsingCallbacks; // CGSCC callbacks SmallVector, 2> CGSCCAnalysisRegistrationCallbacks; SmallVector)>, 2> CGSCCPipelineParsingCallbacks; // Function callbacks SmallVector, 2> FunctionAnalysisRegistrationCallbacks; SmallVector)>, 2> FunctionPipelineParsingCallbacks; // Loop callbacks SmallVector, 2> LoopAnalysisRegistrationCallbacks; SmallVector)>, 2> LoopPipelineParsingCallbacks; // AA callbacks SmallVector, 2> AAParsingCallbacks; }; /// This utility template takes care of adding require<> and invalidate<> /// passes for an analysis to a given \c PassManager. It is intended to be used /// during parsing of a pass pipeline when parsing a single PipelineName. /// When registering a new function analysis FancyAnalysis with the pass /// pipeline name "fancy-analysis", a matching ParsePipelineCallback could look /// like this: /// /// static bool parseFunctionPipeline(StringRef Name, FunctionPassManager &FPM, /// ArrayRef P) { /// if (parseAnalysisUtilityPasses("fancy-analysis", Name, /// FPM)) /// return true; /// return false; /// } template bool parseAnalysisUtilityPasses( StringRef AnalysisName, StringRef PipelineName, PassManager &PM) { if (!PipelineName.endswith(">")) return false; // See if this is an invalidate<> pass name if (PipelineName.startswith("invalidate<")) { PipelineName = PipelineName.substr(11, PipelineName.size() - 12); if (PipelineName != AnalysisName) return false; PM.addPass(InvalidateAnalysisPass()); return true; } // See if this is a require<> pass name if (PipelineName.startswith("require<")) { PipelineName = PipelineName.substr(8, PipelineName.size() - 9); if (PipelineName != AnalysisName) return false; PM.addPass(RequireAnalysisPass()); return true; } return false; } } #endif #ifdef __GNUC__ #pragma GCC diagnostic pop #endif