An immutable pass that tracks lazily created AssumptionCache objects.
More...
#include "llvm/Analysis/AssumptionCache.h"
Public Member Functions | |
| AssumptionCache & | getAssumptionCache (Function &F) |
| Get the cached assumptions for a function. More... | |
| AssumptionCacheTracker () | |
| ~AssumptionCacheTracker () override | |
| void | releaseMemory () override |
| releaseMemory() - This member can be implemented by a pass if it wants to be able to release its memory when it is no longer needed. More... | |
| void | verifyAnalysis () const override |
| verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information. More... | |
| bool | doFinalization (Module &) override |
| doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes have run. More... | |
 Public Member Functions inherited from llvm::ImmutablePass | |
| ImmutablePass (char &pid) | |
| ~ImmutablePass () override | |
| virtual void | initializePass () |
| initializePass - This method may be overriden by immutable passes to allow them to perform various initialization actions they require. More... | |
| ImmutablePass * | getAsImmutablePass () override |
| bool | runOnModule (Module &) override |
| ImmutablePasses are never run. More... | |
| Public Member Functions inherited from llvm::ModulePass | |
| ModulePass (char &pid) | |
| ~ModulePass () override | |
| Pass * | createPrinterPass (raw_ostream &OS, const std::string &Banner) const override |
| createPrinterPass - Get a module printer pass. More... | |
| void | assignPassManager (PMStack &PMS, PassManagerType T) override |
| Find appropriate Module Pass Manager in the PM Stack and add self into that manager. More... | |
| PassManagerType | getPotentialPassManagerType () const override |
| Return what kind of Pass Manager can manage this pass. More... | |
| Public Member Functions inherited from llvm::Pass | |
| Pass (PassKind K, char &pid) | |
| Pass (const Pass &)=delete | |
| Pass & | operator= (const Pass &)=delete |
| virtual | ~Pass () |
| PassKind | getPassKind () const |
| virtual StringRef | getPassName () const |
| getPassName - Return a nice clean name for a pass. More... | |
| AnalysisID | getPassID () const |
| getPassID - Return the PassID number that corresponds to this pass. More... | |
| virtual bool | doInitialization (Module &) |
| doInitialization - Virtual method overridden by subclasses to do any necessary initialization before any pass is run. More... | |
| virtual void | print (raw_ostream &OS, const Module *M) const |
| print - Print out the internal state of the pass. More... | |
| void | dump () const |
| virtual void | preparePassManager (PMStack &) |
| Check if available pass managers are suitable for this pass or not. More... | |
| void | setResolver (AnalysisResolver *AR) |
| AnalysisResolver * | getResolver () const |
| virtual void | getAnalysisUsage (AnalysisUsage &) const |
| getAnalysisUsage - This function should be overriden by passes that need analysis information to do their job. More... | |
| virtual void * | getAdjustedAnalysisPointer (AnalysisID ID) |
| getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance. More... | |
| virtual PMDataManager * | getAsPMDataManager () |
| virtual void | dumpPassStructure (unsigned Offset=0) |
| template<typename AnalysisType > | |
| AnalysisType * | getAnalysisIfAvailable () const |
| getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information that might be around, for example to update it. More... | |
| bool | mustPreserveAnalysisID (char &AID) const |
| mustPreserveAnalysisID - This method serves the same function as getAnalysisIfAvailable, but works if you just have an AnalysisID. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysis () const |
| getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysis (Function &F) |
| getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysisID (AnalysisID PI) const |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysisID (AnalysisID PI, Function &F) |
Static Public Attributes | |
| static char | ID = 0 |
Additional Inherited Members | |
| Static Public Member Functions inherited from llvm::Pass | |
| static const PassInfo * | lookupPassInfo (const void *TI) |
| static const PassInfo * | lookupPassInfo (StringRef Arg) |
| static Pass * | createPass (AnalysisID ID) |
| Protected Member Functions inherited from llvm::ModulePass | |
| bool | skipModule (Module &M) const |
| Optional passes call this function to check whether the pass should be skipped. More... | |
Detailed Description
An immutable pass that tracks lazily created AssumptionCache objects.
This is essentially a workaround for the legacy pass manager's weaknesses which associates each assumption cache with Function and clears it if the function is deleted. The nature of the AssumptionCache is that it is not invalidated by any changes to the function body and so this is sufficient to be conservatively correct.
Definition at line 182 of file AssumptionCache.h.
Constructor & Destructor Documentation
◆ AssumptionCacheTracker()
| AssumptionCacheTracker::AssumptionCacheTracker | ( | ) |
Definition at line 266 of file AssumptionCache.cpp.
References llvm::PassRegistry::getPassRegistry(), ID, INITIALIZE_PASS, llvm::initializeAssumptionCacheTrackerPass(), and ~AssumptionCacheTracker().
◆ ~AssumptionCacheTracker()
|
overridedefault |
Referenced by AssumptionCacheTracker().
Member Function Documentation
◆ doFinalization()
doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes have run.
Reimplemented from llvm::Pass.
Definition at line 222 of file AssumptionCache.h.
◆ getAssumptionCache()
| AssumptionCache & AssumptionCacheTracker::getAssumptionCache | ( | Function & | F | ) |
Get the cached assumptions for a function.
If no assumptions are cached, this will scan the function. Otherwise, the existing cache will be returned.
Definition at line 227 of file AssumptionCache.cpp.
Referenced by llvm::getBestSimplifyQuery(), and llvm::LegacyInlinerBase::inlineCalls().
◆ releaseMemory()
|
inlineoverridevirtual |
releaseMemory() - This member can be implemented by a pass if it wants to be able to release its memory when it is no longer needed.
The default behavior of passes is to hold onto memory for the entire duration of their lifetime (which is the entire compile time). For pipelined passes, this is not a big deal because that memory gets recycled every time the pass is invoked on another program unit. For IP passes, it is more important to free memory when it is unused.
Optionally implement this function to release pass memory when it is no longer used.
Reimplemented from llvm::Pass.
Definition at line 215 of file AssumptionCache.h.
References llvm::DenseMap< KeyT, ValueT, KeyInfoT, BucketT >::shrink_and_clear().
◆ verifyAnalysis()
|
overridevirtual |
verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information.
Reimplemented from llvm::Pass.
Definition at line 244 of file AssumptionCache.cpp.
References B, llvm::SmallPtrSetImpl< PtrType >::count(), I, llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::PatternMatch::match(), llvm::report_fatal_error(), and VerifyAssumptionCache.
Member Data Documentation
◆ ID
|
static |
Definition at line 227 of file AssumptionCache.h.
Referenced by AssumptionCacheTracker().
The documentation for this class was generated from the following files:
- include/llvm/Analysis/AssumptionCache.h
- lib/Analysis/AssumptionCache.cpp
