123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699 |
- #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 <vector>
- 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<PGOOptions> 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<PipelineElement> InnerPipeline;
- };
- explicit PassBuilder(TargetMachine *TM = nullptr,
- PipelineTuningOptions PTO = PipelineTuningOptions(),
- Optional<PGOOptions> 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<void(FunctionPassManager &, OptimizationLevel)> &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<void(LoopPassManager &, OptimizationLevel)> &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<void(LoopPassManager &, OptimizationLevel)> &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<void(FunctionPassManager &, OptimizationLevel)> &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<void(CGSCCPassManager &, OptimizationLevel)> &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<void(FunctionPassManager &, OptimizationLevel)> &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<void(ModulePassManager &, OptimizationLevel)> &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<void(ModulePassManager &, OptimizationLevel)> &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<void(ModulePassManager &, OptimizationLevel)> &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<bool(StringRef Name, AAManager &AA)> &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<void(CGSCCAnalysisManager &)> &C) {
- CGSCCAnalysisRegistrationCallbacks.push_back(C);
- }
- void registerAnalysisRegistrationCallback(
- const std::function<void(FunctionAnalysisManager &)> &C) {
- FunctionAnalysisRegistrationCallbacks.push_back(C);
- }
- void registerAnalysisRegistrationCallback(
- const std::function<void(LoopAnalysisManager &)> &C) {
- LoopAnalysisRegistrationCallbacks.push_back(C);
- }
- void registerAnalysisRegistrationCallback(
- const std::function<void(ModuleAnalysisManager &)> &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<bool(StringRef Name, CGSCCPassManager &,
- ArrayRef<PipelineElement>)> &C) {
- CGSCCPipelineParsingCallbacks.push_back(C);
- }
- void registerPipelineParsingCallback(
- const std::function<bool(StringRef Name, FunctionPassManager &,
- ArrayRef<PipelineElement>)> &C) {
- FunctionPipelineParsingCallbacks.push_back(C);
- }
- void registerPipelineParsingCallback(
- const std::function<bool(StringRef Name, LoopPassManager &,
- ArrayRef<PipelineElement>)> &C) {
- LoopPipelineParsingCallbacks.push_back(C);
- }
- void registerPipelineParsingCallback(
- const std::function<bool(StringRef Name, ModulePassManager &,
- ArrayRef<PipelineElement>)> &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<bool(ModulePassManager &, ArrayRef<PipelineElement>)>
- &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<std::vector<PipelineElement>>
- 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<PipelineElement> Pipeline);
- Error parseFunctionPassPipeline(FunctionPassManager &FPM,
- ArrayRef<PipelineElement> Pipeline);
- Error parseCGSCCPassPipeline(CGSCCPassManager &CGPM,
- ArrayRef<PipelineElement> Pipeline);
- Error parseModulePassPipeline(ModulePassManager &MPM,
- ArrayRef<PipelineElement> 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<std::function<void(FunctionPassManager &, OptimizationLevel)>, 2>
- PeepholeEPCallbacks;
- SmallVector<std::function<void(LoopPassManager &, OptimizationLevel)>, 2>
- LateLoopOptimizationsEPCallbacks;
- SmallVector<std::function<void(LoopPassManager &, OptimizationLevel)>, 2>
- LoopOptimizerEndEPCallbacks;
- SmallVector<std::function<void(FunctionPassManager &, OptimizationLevel)>, 2>
- ScalarOptimizerLateEPCallbacks;
- SmallVector<std::function<void(CGSCCPassManager &, OptimizationLevel)>, 2>
- CGSCCOptimizerLateEPCallbacks;
- SmallVector<std::function<void(FunctionPassManager &, OptimizationLevel)>, 2>
- VectorizerStartEPCallbacks;
- SmallVector<std::function<void(ModulePassManager &, OptimizationLevel)>, 2>
- OptimizerLastEPCallbacks;
- // Module callbacks
- SmallVector<std::function<void(ModulePassManager &, OptimizationLevel)>, 2>
- PipelineStartEPCallbacks;
- SmallVector<std::function<void(ModulePassManager &, OptimizationLevel)>, 2>
- PipelineEarlySimplificationEPCallbacks;
- SmallVector<std::function<void(ModuleAnalysisManager &)>, 2>
- ModuleAnalysisRegistrationCallbacks;
- SmallVector<std::function<bool(StringRef, ModulePassManager &,
- ArrayRef<PipelineElement>)>,
- 2>
- ModulePipelineParsingCallbacks;
- SmallVector<
- std::function<bool(ModulePassManager &, ArrayRef<PipelineElement>)>, 2>
- TopLevelPipelineParsingCallbacks;
- // CGSCC callbacks
- SmallVector<std::function<void(CGSCCAnalysisManager &)>, 2>
- CGSCCAnalysisRegistrationCallbacks;
- SmallVector<std::function<bool(StringRef, CGSCCPassManager &,
- ArrayRef<PipelineElement>)>,
- 2>
- CGSCCPipelineParsingCallbacks;
- // Function callbacks
- SmallVector<std::function<void(FunctionAnalysisManager &)>, 2>
- FunctionAnalysisRegistrationCallbacks;
- SmallVector<std::function<bool(StringRef, FunctionPassManager &,
- ArrayRef<PipelineElement>)>,
- 2>
- FunctionPipelineParsingCallbacks;
- // Loop callbacks
- SmallVector<std::function<void(LoopAnalysisManager &)>, 2>
- LoopAnalysisRegistrationCallbacks;
- SmallVector<std::function<bool(StringRef, LoopPassManager &,
- ArrayRef<PipelineElement>)>,
- 2>
- LoopPipelineParsingCallbacks;
- // AA callbacks
- SmallVector<std::function<bool(StringRef Name, AAManager &AA)>, 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<PipelineElement> P) {
- /// if (parseAnalysisUtilityPasses<FancyAnalysis>("fancy-analysis", Name,
- /// FPM))
- /// return true;
- /// return false;
- /// }
- template <typename AnalysisT, typename IRUnitT, typename AnalysisManagerT,
- typename... ExtraArgTs>
- bool parseAnalysisUtilityPasses(
- StringRef AnalysisName, StringRef PipelineName,
- PassManager<IRUnitT, AnalysisManagerT, ExtraArgTs...> &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<AnalysisT>());
- 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<AnalysisT, IRUnitT, AnalysisManagerT,
- ExtraArgTs...>());
- return true;
- }
- return false;
- }
- }
- #endif
- #ifdef __GNUC__
- #pragma GCC diagnostic pop
- #endif
|