mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-16 11:30:51 +00:00
9fc5a53118
passes too many time. I think this is actually the issue that someone raised with me at the developer's meeting and in an email, but that we never really got to the bottom of. Having all the testing utilities made it much easier to dig down and uncover the core issue. When a pass manager is running many passes over a single function, we need it to invalidate the analyses between each run so that they can be re-computed as needed. We also need to track the intersection of preserved higher-level analyses across all the passes that we run (for example, if there is one module analysis which all the function analyses preserve, we want to track that and propagate it). Unfortunately, this interacted poorly with any enclosing pass adaptor between two IR units. It would see the intersection of preserved analyses, and need to invalidate any other analyses, but some of the un-preserved analyses might have already been invalidated *and recomputed*! We would fail to propagate the fact that the analysis had already been invalidated. The solution to this struck me as really strange at first, but the more I thought about it, the more natural it seemed. After a nice discussion with Duncan about it on IRC, it seemed even nicer. The idea is that invalidating an analysis *causes* it to be preserved! Preserving the lack of result is trivial. If it is recomputed, great. Until something *else* invalidates it again, we're good. The consequence of this is that the invalidate methods on the analysis manager which operate over many passes now consume their PreservedAnalyses object, update it to "preserve" every analysis pass to which it delivers an invalidation (regardless of whether the pass chooses to be removed, or handles the invalidation itself by updating itself). Then we return this augmented set from the invalidate routine, letting the pass manager take the result and use the intersection of *that* across each pass run to compute the final preserved set. This accounts for all the places where the early invalidation of an analysis has already "preserved" it for a future run. I've beefed up the testing and adjusted the assertions to show that we no longer repeatedly invalidate or compute the analyses across nested pass managers. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@225333 91177308-0d34-0410-b5e6-96231b3b80d8
604 lines
23 KiB
C++
604 lines
23 KiB
C++
//===- CGSCCPassManager.h - Call graph pass management ----------*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
/// \file
|
|
///
|
|
/// This header provides classes for managing passes over SCCs of the call
|
|
/// graph. These passes form an important component of LLVM's interprocedural
|
|
/// optimizations. Because they operate on the SCCs of the call graph, and they
|
|
/// wtraverse the graph in post order, they can effectively do pair-wise
|
|
/// interprocedural optimizations for all call edges in the program. At each
|
|
/// call site edge, the callee has already been optimized as much as is
|
|
/// possible. This in turn allows very accurate analysis of it for IPO.
|
|
///
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_ANALYSIS_CGSCCPASSMANAGER_H
|
|
#define LLVM_ANALYSIS_CGSCCPASSMANAGER_H
|
|
|
|
#include "llvm/IR/PassManager.h"
|
|
#include "llvm/Analysis/LazyCallGraph.h"
|
|
|
|
namespace llvm {
|
|
|
|
class CGSCCAnalysisManager;
|
|
|
|
class CGSCCPassManager {
|
|
public:
|
|
// We have to explicitly define all the special member functions because MSVC
|
|
// refuses to generate them.
|
|
CGSCCPassManager() {}
|
|
CGSCCPassManager(CGSCCPassManager &&Arg) : Passes(std::move(Arg.Passes)) {}
|
|
CGSCCPassManager &operator=(CGSCCPassManager &&RHS) {
|
|
Passes = std::move(RHS.Passes);
|
|
return *this;
|
|
}
|
|
|
|
/// \brief Run all of the CGSCC passes in this pass manager over a SCC.
|
|
PreservedAnalyses run(LazyCallGraph::SCC &C,
|
|
CGSCCAnalysisManager *AM = nullptr);
|
|
|
|
template <typename CGSCCPassT> void addPass(CGSCCPassT Pass) {
|
|
Passes.emplace_back(new CGSCCPassModel<CGSCCPassT>(std::move(Pass)));
|
|
}
|
|
|
|
static StringRef name() { return "CGSCCPassManager"; }
|
|
|
|
private:
|
|
// Pull in the concept type and model template specialized for SCCs.
|
|
typedef detail::PassConcept<LazyCallGraph::SCC &, CGSCCAnalysisManager>
|
|
CGSCCPassConcept;
|
|
template <typename PassT>
|
|
struct CGSCCPassModel
|
|
: detail::PassModel<LazyCallGraph::SCC &, CGSCCAnalysisManager, PassT> {
|
|
CGSCCPassModel(PassT Pass)
|
|
: detail::PassModel<LazyCallGraph::SCC &, CGSCCAnalysisManager, PassT>(
|
|
std::move(Pass)) {}
|
|
};
|
|
|
|
CGSCCPassManager(const CGSCCPassManager &) LLVM_DELETED_FUNCTION;
|
|
CGSCCPassManager &operator=(const CGSCCPassManager &) LLVM_DELETED_FUNCTION;
|
|
|
|
std::vector<std::unique_ptr<CGSCCPassConcept>> Passes;
|
|
};
|
|
|
|
/// \brief A function analysis manager to coordinate and cache analyses run over
|
|
/// a module.
|
|
class CGSCCAnalysisManager : public detail::AnalysisManagerBase<
|
|
CGSCCAnalysisManager, LazyCallGraph::SCC &> {
|
|
friend class detail::AnalysisManagerBase<CGSCCAnalysisManager,
|
|
LazyCallGraph::SCC &>;
|
|
typedef detail::AnalysisManagerBase<CGSCCAnalysisManager,
|
|
LazyCallGraph::SCC &> BaseT;
|
|
typedef BaseT::ResultConceptT ResultConceptT;
|
|
typedef BaseT::PassConceptT PassConceptT;
|
|
|
|
public:
|
|
// Most public APIs are inherited from the CRTP base class.
|
|
|
|
// We have to explicitly define all the special member functions because MSVC
|
|
// refuses to generate them.
|
|
CGSCCAnalysisManager() {}
|
|
CGSCCAnalysisManager(CGSCCAnalysisManager &&Arg)
|
|
: BaseT(std::move(static_cast<BaseT &>(Arg))),
|
|
CGSCCAnalysisResults(std::move(Arg.CGSCCAnalysisResults)) {}
|
|
CGSCCAnalysisManager &operator=(CGSCCAnalysisManager &&RHS) {
|
|
BaseT::operator=(std::move(static_cast<BaseT &>(RHS)));
|
|
CGSCCAnalysisResults = std::move(RHS.CGSCCAnalysisResults);
|
|
return *this;
|
|
}
|
|
|
|
/// \brief Returns true if the analysis manager has an empty results cache.
|
|
bool empty() const;
|
|
|
|
/// \brief Clear the function analysis result cache.
|
|
///
|
|
/// This routine allows cleaning up when the set of functions itself has
|
|
/// potentially changed, and thus we can't even look up a a result and
|
|
/// invalidate it directly. Notably, this does *not* call invalidate
|
|
/// functions as there is nothing to be done for them.
|
|
void clear();
|
|
|
|
private:
|
|
CGSCCAnalysisManager(const CGSCCAnalysisManager &) LLVM_DELETED_FUNCTION;
|
|
CGSCCAnalysisManager &
|
|
operator=(const CGSCCAnalysisManager &) LLVM_DELETED_FUNCTION;
|
|
|
|
/// \brief Get a function pass result, running the pass if necessary.
|
|
ResultConceptT &getResultImpl(void *PassID, LazyCallGraph::SCC &C);
|
|
|
|
/// \brief Get a cached function pass result or return null.
|
|
ResultConceptT *getCachedResultImpl(void *PassID,
|
|
LazyCallGraph::SCC &C) const;
|
|
|
|
/// \brief Invalidate a function pass result.
|
|
void invalidateImpl(void *PassID, LazyCallGraph::SCC &C);
|
|
|
|
/// \brief Invalidate the results for a function..
|
|
PreservedAnalyses invalidateImpl(LazyCallGraph::SCC &C, PreservedAnalyses PA);
|
|
|
|
/// \brief List of function analysis pass IDs and associated concept pointers.
|
|
///
|
|
/// Requires iterators to be valid across appending new entries and arbitrary
|
|
/// erases. Provides both the pass ID and concept pointer such that it is
|
|
/// half of a bijection and provides storage for the actual result concept.
|
|
typedef std::list<
|
|
std::pair<void *, std::unique_ptr<detail::AnalysisResultConcept<
|
|
LazyCallGraph::SCC &>>>> CGSCCAnalysisResultListT;
|
|
|
|
/// \brief Map type from function pointer to our custom list type.
|
|
typedef DenseMap<LazyCallGraph::SCC *, CGSCCAnalysisResultListT>
|
|
CGSCCAnalysisResultListMapT;
|
|
|
|
/// \brief Map from function to a list of function analysis results.
|
|
///
|
|
/// Provides linear time removal of all analysis results for a function and
|
|
/// the ultimate storage for a particular cached analysis result.
|
|
CGSCCAnalysisResultListMapT CGSCCAnalysisResultLists;
|
|
|
|
/// \brief Map type from a pair of analysis ID and function pointer to an
|
|
/// iterator into a particular result list.
|
|
typedef DenseMap<std::pair<void *, LazyCallGraph::SCC *>,
|
|
CGSCCAnalysisResultListT::iterator> CGSCCAnalysisResultMapT;
|
|
|
|
/// \brief Map from an analysis ID and function to a particular cached
|
|
/// analysis result.
|
|
CGSCCAnalysisResultMapT CGSCCAnalysisResults;
|
|
};
|
|
|
|
/// \brief A module analysis which acts as a proxy for a CGSCC analysis
|
|
/// manager.
|
|
///
|
|
/// This primarily proxies invalidation information from the module analysis
|
|
/// manager and module pass manager to a CGSCC analysis manager. You should
|
|
/// never use a CGSCC analysis manager from within (transitively) a module
|
|
/// pass manager unless your parent module pass has received a proxy result
|
|
/// object for it.
|
|
class CGSCCAnalysisManagerModuleProxy {
|
|
public:
|
|
class Result {
|
|
public:
|
|
explicit Result(CGSCCAnalysisManager &CGAM) : CGAM(&CGAM) {}
|
|
// We have to explicitly define all the special member functions because
|
|
// MSVC refuses to generate them.
|
|
Result(const Result &Arg) : CGAM(Arg.CGAM) {}
|
|
Result(Result &&Arg) : CGAM(std::move(Arg.CGAM)) {}
|
|
Result &operator=(Result RHS) {
|
|
std::swap(CGAM, RHS.CGAM);
|
|
return *this;
|
|
}
|
|
~Result();
|
|
|
|
/// \brief Accessor for the \c CGSCCAnalysisManager.
|
|
CGSCCAnalysisManager &getManager() { return *CGAM; }
|
|
|
|
/// \brief Handler for invalidation of the module.
|
|
///
|
|
/// If this analysis itself is preserved, then we assume that the call
|
|
/// graph of the module hasn't changed and thus we don't need to invalidate
|
|
/// *all* cached data associated with a \c SCC* in the \c
|
|
/// CGSCCAnalysisManager.
|
|
///
|
|
/// Regardless of whether this analysis is marked as preserved, all of the
|
|
/// analyses in the \c CGSCCAnalysisManager are potentially invalidated
|
|
/// based on the set of preserved analyses.
|
|
bool invalidate(Module &M, const PreservedAnalyses &PA);
|
|
|
|
private:
|
|
CGSCCAnalysisManager *CGAM;
|
|
};
|
|
|
|
static void *ID() { return (void *)&PassID; }
|
|
|
|
static StringRef name() { return "CGSCCAnalysisManagerModuleProxy"; }
|
|
|
|
explicit CGSCCAnalysisManagerModuleProxy(CGSCCAnalysisManager &CGAM)
|
|
: CGAM(&CGAM) {}
|
|
// We have to explicitly define all the special member functions because MSVC
|
|
// refuses to generate them.
|
|
CGSCCAnalysisManagerModuleProxy(
|
|
const CGSCCAnalysisManagerModuleProxy &Arg)
|
|
: CGAM(Arg.CGAM) {}
|
|
CGSCCAnalysisManagerModuleProxy(CGSCCAnalysisManagerModuleProxy &&Arg)
|
|
: CGAM(std::move(Arg.CGAM)) {}
|
|
CGSCCAnalysisManagerModuleProxy &
|
|
operator=(CGSCCAnalysisManagerModuleProxy RHS) {
|
|
std::swap(CGAM, RHS.CGAM);
|
|
return *this;
|
|
}
|
|
|
|
/// \brief Run the analysis pass and create our proxy result object.
|
|
///
|
|
/// This doesn't do any interesting work, it is primarily used to insert our
|
|
/// proxy result object into the module analysis cache so that we can proxy
|
|
/// invalidation to the CGSCC analysis manager.
|
|
///
|
|
/// In debug builds, it will also assert that the analysis manager is empty
|
|
/// as no queries should arrive at the CGSCC analysis manager prior to
|
|
/// this analysis being requested.
|
|
Result run(Module &M);
|
|
|
|
private:
|
|
static char PassID;
|
|
|
|
CGSCCAnalysisManager *CGAM;
|
|
};
|
|
|
|
/// \brief A CGSCC analysis which acts as a proxy for a module analysis
|
|
/// manager.
|
|
///
|
|
/// This primarily provides an accessor to a parent module analysis manager to
|
|
/// CGSCC passes. Only the const interface of the module analysis manager is
|
|
/// provided to indicate that once inside of a CGSCC analysis pass you
|
|
/// cannot request a module analysis to actually run. Instead, the user must
|
|
/// rely on the \c getCachedResult API.
|
|
///
|
|
/// This proxy *doesn't* manage the invalidation in any way. That is handled by
|
|
/// the recursive return path of each layer of the pass manager and the
|
|
/// returned PreservedAnalysis set.
|
|
class ModuleAnalysisManagerCGSCCProxy {
|
|
public:
|
|
/// \brief Result proxy object for \c ModuleAnalysisManagerCGSCCProxy.
|
|
class Result {
|
|
public:
|
|
explicit Result(const ModuleAnalysisManager &MAM) : MAM(&MAM) {}
|
|
// We have to explicitly define all the special member functions because
|
|
// MSVC refuses to generate them.
|
|
Result(const Result &Arg) : MAM(Arg.MAM) {}
|
|
Result(Result &&Arg) : MAM(std::move(Arg.MAM)) {}
|
|
Result &operator=(Result RHS) {
|
|
std::swap(MAM, RHS.MAM);
|
|
return *this;
|
|
}
|
|
|
|
const ModuleAnalysisManager &getManager() const { return *MAM; }
|
|
|
|
/// \brief Handle invalidation by ignoring it, this pass is immutable.
|
|
bool invalidate(LazyCallGraph::SCC &) { return false; }
|
|
|
|
private:
|
|
const ModuleAnalysisManager *MAM;
|
|
};
|
|
|
|
static void *ID() { return (void *)&PassID; }
|
|
|
|
static StringRef name() { return "ModuleAnalysisManagerCGSCCProxy"; }
|
|
|
|
ModuleAnalysisManagerCGSCCProxy(const ModuleAnalysisManager &MAM)
|
|
: MAM(&MAM) {}
|
|
// We have to explicitly define all the special member functions because MSVC
|
|
// refuses to generate them.
|
|
ModuleAnalysisManagerCGSCCProxy(
|
|
const ModuleAnalysisManagerCGSCCProxy &Arg)
|
|
: MAM(Arg.MAM) {}
|
|
ModuleAnalysisManagerCGSCCProxy(ModuleAnalysisManagerCGSCCProxy &&Arg)
|
|
: MAM(std::move(Arg.MAM)) {}
|
|
ModuleAnalysisManagerCGSCCProxy &
|
|
operator=(ModuleAnalysisManagerCGSCCProxy RHS) {
|
|
std::swap(MAM, RHS.MAM);
|
|
return *this;
|
|
}
|
|
|
|
/// \brief Run the analysis pass and create our proxy result object.
|
|
/// Nothing to see here, it just forwards the \c MAM reference into the
|
|
/// result.
|
|
Result run(LazyCallGraph::SCC &) { return Result(*MAM); }
|
|
|
|
private:
|
|
static char PassID;
|
|
|
|
const ModuleAnalysisManager *MAM;
|
|
};
|
|
|
|
/// \brief The core module pass which does a post-order walk of the SCCs and
|
|
/// runs a CGSCC pass over each one.
|
|
///
|
|
/// Designed to allow composition of a CGSCCPass(Manager) and
|
|
/// a ModulePassManager. Note that this pass must be run with a module analysis
|
|
/// manager as it uses the LazyCallGraph analysis. It will also run the
|
|
/// \c CGSCCAnalysisManagerModuleProxy analysis prior to running the CGSCC
|
|
/// pass over the module to enable a \c FunctionAnalysisManager to be used
|
|
/// within this run safely.
|
|
template <typename CGSCCPassT> class ModuleToPostOrderCGSCCPassAdaptor {
|
|
public:
|
|
explicit ModuleToPostOrderCGSCCPassAdaptor(CGSCCPassT Pass)
|
|
: Pass(std::move(Pass)) {}
|
|
// We have to explicitly define all the special member functions because MSVC
|
|
// refuses to generate them.
|
|
ModuleToPostOrderCGSCCPassAdaptor(
|
|
const ModuleToPostOrderCGSCCPassAdaptor &Arg)
|
|
: Pass(Arg.Pass) {}
|
|
ModuleToPostOrderCGSCCPassAdaptor(ModuleToPostOrderCGSCCPassAdaptor &&Arg)
|
|
: Pass(std::move(Arg.Pass)) {}
|
|
friend void swap(ModuleToPostOrderCGSCCPassAdaptor &LHS,
|
|
ModuleToPostOrderCGSCCPassAdaptor &RHS) {
|
|
using std::swap;
|
|
swap(LHS.Pass, RHS.Pass);
|
|
}
|
|
ModuleToPostOrderCGSCCPassAdaptor &
|
|
operator=(ModuleToPostOrderCGSCCPassAdaptor RHS) {
|
|
swap(*this, RHS);
|
|
return *this;
|
|
}
|
|
|
|
/// \brief Runs the CGSCC pass across every SCC in the module.
|
|
PreservedAnalyses run(Module &M, ModuleAnalysisManager *AM) {
|
|
assert(AM && "We need analyses to compute the call graph!");
|
|
|
|
// Setup the CGSCC analysis manager from its proxy.
|
|
CGSCCAnalysisManager &CGAM =
|
|
AM->getResult<CGSCCAnalysisManagerModuleProxy>(M).getManager();
|
|
|
|
// Get the call graph for this module.
|
|
LazyCallGraph &CG = AM->getResult<LazyCallGraphAnalysis>(M);
|
|
|
|
PreservedAnalyses PA = PreservedAnalyses::all();
|
|
for (LazyCallGraph::SCC &C : CG.postorder_sccs()) {
|
|
PreservedAnalyses PassPA = Pass.run(C, &CGAM);
|
|
|
|
// We know that the CGSCC pass couldn't have invalidated any other
|
|
// SCC's analyses (that's the contract of a CGSCC pass), so
|
|
// directly handle the CGSCC analysis manager's invalidation here. We
|
|
// also update the preserved set of analyses to reflect that invalidated
|
|
// analyses are now safe to preserve.
|
|
// FIXME: This isn't quite correct. We need to handle the case where the
|
|
// pass updated the CG, particularly some child of the current SCC, and
|
|
// invalidate its analyses.
|
|
PassPA = CGAM.invalidate(C, std::move(PassPA));
|
|
|
|
// Then intersect the preserved set so that invalidation of module
|
|
// analyses will eventually occur when the module pass completes.
|
|
PA.intersect(std::move(PassPA));
|
|
}
|
|
|
|
// By definition we preserve the proxy. This precludes *any* invalidation
|
|
// of CGSCC analyses by the proxy, but that's OK because we've taken
|
|
// care to invalidate analyses in the CGSCC analysis manager
|
|
// incrementally above.
|
|
PA.preserve<CGSCCAnalysisManagerModuleProxy>();
|
|
return PA;
|
|
}
|
|
|
|
static StringRef name() { return "ModuleToPostOrderCGSCCPassAdaptor"; }
|
|
|
|
private:
|
|
CGSCCPassT Pass;
|
|
};
|
|
|
|
/// \brief A function to deduce a function pass type and wrap it in the
|
|
/// templated adaptor.
|
|
template <typename CGSCCPassT>
|
|
ModuleToPostOrderCGSCCPassAdaptor<CGSCCPassT>
|
|
createModuleToPostOrderCGSCCPassAdaptor(CGSCCPassT Pass) {
|
|
return std::move(
|
|
ModuleToPostOrderCGSCCPassAdaptor<CGSCCPassT>(std::move(Pass)));
|
|
}
|
|
|
|
/// \brief A CGSCC analysis which acts as a proxy for a function analysis
|
|
/// manager.
|
|
///
|
|
/// This primarily proxies invalidation information from the CGSCC analysis
|
|
/// manager and CGSCC pass manager to a function analysis manager. You should
|
|
/// never use a function analysis manager from within (transitively) a CGSCC
|
|
/// pass manager unless your parent CGSCC pass has received a proxy result
|
|
/// object for it.
|
|
class FunctionAnalysisManagerCGSCCProxy {
|
|
public:
|
|
class Result {
|
|
public:
|
|
explicit Result(FunctionAnalysisManager &FAM) : FAM(&FAM) {}
|
|
// We have to explicitly define all the special member functions because
|
|
// MSVC refuses to generate them.
|
|
Result(const Result &Arg) : FAM(Arg.FAM) {}
|
|
Result(Result &&Arg) : FAM(std::move(Arg.FAM)) {}
|
|
Result &operator=(Result RHS) {
|
|
std::swap(FAM, RHS.FAM);
|
|
return *this;
|
|
}
|
|
~Result();
|
|
|
|
/// \brief Accessor for the \c FunctionAnalysisManager.
|
|
FunctionAnalysisManager &getManager() { return *FAM; }
|
|
|
|
/// \brief Handler for invalidation of the SCC.
|
|
///
|
|
/// If this analysis itself is preserved, then we assume that the set of \c
|
|
/// Function objects in the \c SCC hasn't changed and thus we don't need
|
|
/// to invalidate *all* cached data associated with a \c Function* in the \c
|
|
/// FunctionAnalysisManager.
|
|
///
|
|
/// Regardless of whether this analysis is marked as preserved, all of the
|
|
/// analyses in the \c FunctionAnalysisManager are potentially invalidated
|
|
/// based on the set of preserved analyses.
|
|
bool invalidate(LazyCallGraph::SCC &C, const PreservedAnalyses &PA);
|
|
|
|
private:
|
|
FunctionAnalysisManager *FAM;
|
|
};
|
|
|
|
static void *ID() { return (void *)&PassID; }
|
|
|
|
static StringRef name() { return "FunctionAnalysisManagerCGSCCProxy"; }
|
|
|
|
explicit FunctionAnalysisManagerCGSCCProxy(FunctionAnalysisManager &FAM)
|
|
: FAM(&FAM) {}
|
|
// We have to explicitly define all the special member functions because MSVC
|
|
// refuses to generate them.
|
|
FunctionAnalysisManagerCGSCCProxy(
|
|
const FunctionAnalysisManagerCGSCCProxy &Arg)
|
|
: FAM(Arg.FAM) {}
|
|
FunctionAnalysisManagerCGSCCProxy(FunctionAnalysisManagerCGSCCProxy &&Arg)
|
|
: FAM(std::move(Arg.FAM)) {}
|
|
FunctionAnalysisManagerCGSCCProxy &
|
|
operator=(FunctionAnalysisManagerCGSCCProxy RHS) {
|
|
std::swap(FAM, RHS.FAM);
|
|
return *this;
|
|
}
|
|
|
|
/// \brief Run the analysis pass and create our proxy result object.
|
|
///
|
|
/// This doesn't do any interesting work, it is primarily used to insert our
|
|
/// proxy result object into the module analysis cache so that we can proxy
|
|
/// invalidation to the function analysis manager.
|
|
///
|
|
/// In debug builds, it will also assert that the analysis manager is empty
|
|
/// as no queries should arrive at the function analysis manager prior to
|
|
/// this analysis being requested.
|
|
Result run(LazyCallGraph::SCC &C);
|
|
|
|
private:
|
|
static char PassID;
|
|
|
|
FunctionAnalysisManager *FAM;
|
|
};
|
|
|
|
/// \brief A function analysis which acts as a proxy for a CGSCC analysis
|
|
/// manager.
|
|
///
|
|
/// This primarily provides an accessor to a parent CGSCC analysis manager to
|
|
/// function passes. Only the const interface of the CGSCC analysis manager is
|
|
/// provided to indicate that once inside of a function analysis pass you
|
|
/// cannot request a CGSCC analysis to actually run. Instead, the user must
|
|
/// rely on the \c getCachedResult API.
|
|
///
|
|
/// This proxy *doesn't* manage the invalidation in any way. That is handled by
|
|
/// the recursive return path of each layer of the pass manager and the
|
|
/// returned PreservedAnalysis set.
|
|
class CGSCCAnalysisManagerFunctionProxy {
|
|
public:
|
|
/// \brief Result proxy object for \c ModuleAnalysisManagerFunctionProxy.
|
|
class Result {
|
|
public:
|
|
explicit Result(const CGSCCAnalysisManager &CGAM) : CGAM(&CGAM) {}
|
|
// We have to explicitly define all the special member functions because
|
|
// MSVC refuses to generate them.
|
|
Result(const Result &Arg) : CGAM(Arg.CGAM) {}
|
|
Result(Result &&Arg) : CGAM(std::move(Arg.CGAM)) {}
|
|
Result &operator=(Result RHS) {
|
|
std::swap(CGAM, RHS.CGAM);
|
|
return *this;
|
|
}
|
|
|
|
const CGSCCAnalysisManager &getManager() const { return *CGAM; }
|
|
|
|
/// \brief Handle invalidation by ignoring it, this pass is immutable.
|
|
bool invalidate(Function &) { return false; }
|
|
|
|
private:
|
|
const CGSCCAnalysisManager *CGAM;
|
|
};
|
|
|
|
static void *ID() { return (void *)&PassID; }
|
|
|
|
static StringRef name() { return "CGSCCAnalysisManagerFunctionProxy"; }
|
|
|
|
CGSCCAnalysisManagerFunctionProxy(const CGSCCAnalysisManager &CGAM)
|
|
: CGAM(&CGAM) {}
|
|
// We have to explicitly define all the special member functions because MSVC
|
|
// refuses to generate them.
|
|
CGSCCAnalysisManagerFunctionProxy(
|
|
const CGSCCAnalysisManagerFunctionProxy &Arg)
|
|
: CGAM(Arg.CGAM) {}
|
|
CGSCCAnalysisManagerFunctionProxy(CGSCCAnalysisManagerFunctionProxy &&Arg)
|
|
: CGAM(std::move(Arg.CGAM)) {}
|
|
CGSCCAnalysisManagerFunctionProxy &
|
|
operator=(CGSCCAnalysisManagerFunctionProxy RHS) {
|
|
std::swap(CGAM, RHS.CGAM);
|
|
return *this;
|
|
}
|
|
|
|
/// \brief Run the analysis pass and create our proxy result object.
|
|
/// Nothing to see here, it just forwards the \c CGAM reference into the
|
|
/// result.
|
|
Result run(Function &) { return Result(*CGAM); }
|
|
|
|
private:
|
|
static char PassID;
|
|
|
|
const CGSCCAnalysisManager *CGAM;
|
|
};
|
|
|
|
/// \brief Adaptor that maps from a SCC to its functions.
|
|
///
|
|
/// Designed to allow composition of a FunctionPass(Manager) and
|
|
/// a CGSCCPassManager. Note that if this pass is constructed with a pointer
|
|
/// to a \c CGSCCAnalysisManager it will run the
|
|
/// \c FunctionAnalysisManagerCGSCCProxy analysis prior to running the function
|
|
/// pass over the SCC to enable a \c FunctionAnalysisManager to be used
|
|
/// within this run safely.
|
|
template <typename FunctionPassT> class CGSCCToFunctionPassAdaptor {
|
|
public:
|
|
explicit CGSCCToFunctionPassAdaptor(FunctionPassT Pass)
|
|
: Pass(std::move(Pass)) {}
|
|
// We have to explicitly define all the special member functions because MSVC
|
|
// refuses to generate them.
|
|
CGSCCToFunctionPassAdaptor(const CGSCCToFunctionPassAdaptor &Arg)
|
|
: Pass(Arg.Pass) {}
|
|
CGSCCToFunctionPassAdaptor(CGSCCToFunctionPassAdaptor &&Arg)
|
|
: Pass(std::move(Arg.Pass)) {}
|
|
friend void swap(CGSCCToFunctionPassAdaptor &LHS, CGSCCToFunctionPassAdaptor &RHS) {
|
|
using std::swap;
|
|
swap(LHS.Pass, RHS.Pass);
|
|
}
|
|
CGSCCToFunctionPassAdaptor &operator=(CGSCCToFunctionPassAdaptor RHS) {
|
|
swap(*this, RHS);
|
|
return *this;
|
|
}
|
|
|
|
/// \brief Runs the function pass across every function in the module.
|
|
PreservedAnalyses run(LazyCallGraph::SCC &C, CGSCCAnalysisManager *AM) {
|
|
FunctionAnalysisManager *FAM = nullptr;
|
|
if (AM)
|
|
// Setup the function analysis manager from its proxy.
|
|
FAM = &AM->getResult<FunctionAnalysisManagerCGSCCProxy>(C).getManager();
|
|
|
|
PreservedAnalyses PA = PreservedAnalyses::all();
|
|
for (LazyCallGraph::Node *N : C) {
|
|
PreservedAnalyses PassPA = Pass.run(N->getFunction(), FAM);
|
|
|
|
// We know that the function pass couldn't have invalidated any other
|
|
// function's analyses (that's the contract of a function pass), so
|
|
// directly handle the function analysis manager's invalidation here.
|
|
// Also, update the preserved analyses to reflect that once invalidated
|
|
// these can again be preserved.
|
|
if (FAM)
|
|
PassPA = FAM->invalidate(N->getFunction(), std::move(PassPA));
|
|
|
|
// Then intersect the preserved set so that invalidation of module
|
|
// analyses will eventually occur when the module pass completes.
|
|
PA.intersect(std::move(PassPA));
|
|
}
|
|
|
|
// By definition we preserve the proxy. This precludes *any* invalidation
|
|
// of function analyses by the proxy, but that's OK because we've taken
|
|
// care to invalidate analyses in the function analysis manager
|
|
// incrementally above.
|
|
// FIXME: We need to update the call graph here to account for any deleted
|
|
// edges!
|
|
PA.preserve<FunctionAnalysisManagerCGSCCProxy>();
|
|
return PA;
|
|
}
|
|
|
|
static StringRef name() { return "CGSCCToFunctionPassAdaptor"; }
|
|
|
|
private:
|
|
FunctionPassT Pass;
|
|
};
|
|
|
|
/// \brief A function to deduce a function pass type and wrap it in the
|
|
/// templated adaptor.
|
|
template <typename FunctionPassT>
|
|
CGSCCToFunctionPassAdaptor<FunctionPassT>
|
|
createCGSCCToFunctionPassAdaptor(FunctionPassT Pass) {
|
|
return std::move(CGSCCToFunctionPassAdaptor<FunctionPassT>(std::move(Pass)));
|
|
}
|
|
|
|
}
|
|
|
|
#endif
|