|
LLVM
3.7.0
|
This pass computes, caches, and vends lazy value constraint information. More...
#include <LazyValueInfo.h>
Public Types | |
| enum | Tristate { Unknown = -1, False = 0, True = 1 } |
| This is used to return true/false/dunno results. More... | |
Public Member Functions | |
| LazyValueInfo () | |
| ~LazyValueInfo () override | |
| Tristate | getPredicateOnEdge (unsigned Pred, Value *V, Constant *C, BasicBlock *FromBB, BasicBlock *ToBB, Instruction *CxtI=nullptr) |
| Determine whether the specified value comparison with a constant is known to be true or false on the specified CFG edge. More... | |
| Tristate | getPredicateAt (unsigned Pred, Value *V, Constant *C, Instruction *CxtI) |
| Determine whether the specified value comparison with a constant is known to be true or false at the specified instruction (from an assume intrinsic). More... | |
| Constant * | getConstant (Value *V, BasicBlock *BB, Instruction *CxtI=nullptr) |
| Determine whether the specified value is known to be a constant at the end of the specified block. More... | |
| Constant * | getConstantOnEdge (Value *V, BasicBlock *FromBB, BasicBlock *ToBB, Instruction *CxtI=nullptr) |
| Determine whether the specified value is known to be a constant on the specified edge. More... | |
| void | threadEdge (BasicBlock *PredBB, BasicBlock *OldSucc, BasicBlock *NewSucc) |
| Inform the analysis cache that we have threaded an edge from PredBB to OldSucc to be from PredBB to NewSucc instead. More... | |
| void | eraseBlock (BasicBlock *BB) |
| Inform the analysis cache that we have erased a block. More... | |
| void | getAnalysisUsage (AnalysisUsage &AU) const override |
| getAnalysisUsage - This function should be overriden by passes that need analysis information to do their job. More... | |
| 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... | |
| bool | runOnFunction (Function &F) override |
| runOnFunction - Virtual method overriden by subclasses to do the per-function processing of the pass. More... | |
Public Member Functions inherited from llvm::FunctionPass | |
| FunctionPass (char &pid) | |
| Pass * | createPrinterPass (raw_ostream &O, const std::string &Banner) const override |
| createPrinterPass - Get a function printer pass. More... | |
| void | assignPassManager (PMStack &PMS, PassManagerType T) override |
| Find appropriate Function Pass Manager or Call Graph 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) | |
| virtual | ~Pass () |
| PassKind | getPassKind () const |
| virtual const char * | 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 bool | doFinalization (Module &) |
| doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes have run. More... | |
| virtual void | print (raw_ostream &O, 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 * | getAdjustedAnalysisPointer (AnalysisID ID) |
| getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance. More... | |
| virtual ImmutablePass * | getAsImmutablePass () |
| virtual PMDataManager * | getAsPMDataManager () |
| virtual void | verifyAnalysis () const |
| verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information. More... | |
| 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::FunctionPass | |
| bool | skipOptnoneFunction (const Function &F) const |
| skipOptnoneFunction - This function has Attribute::OptimizeNone and most transformation passes should skip it. More... | |
This pass computes, caches, and vends lazy value constraint information.
Definition at line 30 of file LazyValueInfo.h.
This is used to return true/false/dunno results.
| Enumerator | |
|---|---|
| Unknown | |
| False | |
| True | |
Definition at line 45 of file LazyValueInfo.h.
|
inline |
Definition at line 39 of file LazyValueInfo.h.
References llvm::PassRegistry::getPassRegistry(), and llvm::initializeLazyValueInfoPass().
|
inlineoverride |
Definition at line 42 of file LazyValueInfo.h.
| void LazyValueInfo::eraseBlock | ( | BasicBlock * | BB | ) |
Inform the analysis cache that we have erased a block.
Definition at line 1309 of file LazyValueInfo.cpp.
References getCache(), llvm::Module::getDataLayout(), and llvm::BasicBlock::getModule().
|
overridevirtual |
getAnalysisUsage - This function should be overriden by passes that need analysis information to do their job.
If a pass specifies that it uses a particular analysis result to this function, it can then use the getAnalysis<AnalysisType>() function, below.
Reimplemented from llvm::Pass.
Definition at line 1130 of file LazyValueInfo.cpp.
References llvm::AnalysisUsage::addRequired(), and llvm::AnalysisUsage::setPreservesAll().
| Constant * LazyValueInfo::getConstant | ( | Value * | V, |
| BasicBlock * | BB, | ||
| Instruction * | CxtI = nullptr |
||
| ) |
Determine whether the specified value is known to be a constant at the end of the specified block.
Return null if not.
Definition at line 1144 of file LazyValueInfo.cpp.
References llvm::ConstantInt::get(), getCache(), llvm::Value::getContext(), llvm::Module::getDataLayout(), llvm::BasicBlock::getModule(), and llvm::ConstantRange::getSingleElement().
| Constant * LazyValueInfo::getConstantOnEdge | ( | Value * | V, |
| BasicBlock * | FromBB, | ||
| BasicBlock * | ToBB, | ||
| Instruction * | CxtI = nullptr |
||
| ) |
Determine whether the specified value is known to be a constant on the specified edge.
Return null if not.
Definition at line 1162 of file LazyValueInfo.cpp.
References llvm::ConstantInt::get(), getCache(), llvm::Value::getContext(), llvm::Module::getDataLayout(), llvm::BasicBlock::getModule(), and llvm::ConstantRange::getSingleElement().
| LazyValueInfo::Tristate LazyValueInfo::getPredicateAt | ( | unsigned | Pred, |
| Value * | V, | ||
| Constant * | C, | ||
| Instruction * | CxtI | ||
| ) |
Determine whether the specified value comparison with a constant is known to be true or false at the specified instruction (from an assume intrinsic).
Pred is a CmpInst predicate.
Definition at line 1261 of file LazyValueInfo.cpp.
References getCache(), llvm::Module::getDataLayout(), llvm::Instruction::getModule(), llvm::Instruction::getParent(), getParent(), getPredicateResult(), llvm::pred_begin(), llvm::pred_end(), llvm::MipsISD::Ret, and llvm::Unknown.
| LazyValueInfo::Tristate LazyValueInfo::getPredicateOnEdge | ( | unsigned | Pred, |
| Value * | V, | ||
| Constant * | C, | ||
| BasicBlock * | FromBB, | ||
| BasicBlock * | ToBB, | ||
| Instruction * | CxtI = nullptr |
||
| ) |
Determine whether the specified value comparison with a constant is known to be true or false on the specified CFG edge.
Pred is a CmpInst predicate.
Definition at line 1250 of file LazyValueInfo.cpp.
References getCache(), llvm::Module::getDataLayout(), llvm::BasicBlock::getModule(), and getPredicateResult().
|
overridevirtual |
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 1136 of file LazyValueInfo.cpp.
References getCache().
runOnFunction - Virtual method overriden by subclasses to do the per-function processing of the pass.
Implements llvm::FunctionPass.
Definition at line 1113 of file LazyValueInfo.cpp.
References getCache(), llvm::Module::getDataLayout(), llvm::DominatorTreeWrapperPass::getDomTree(), and llvm::GlobalValue::getParent().
| void LazyValueInfo::threadEdge | ( | BasicBlock * | PredBB, |
| BasicBlock * | OldSucc, | ||
| BasicBlock * | NewSucc | ||
| ) |
Inform the analysis cache that we have threaded an edge from PredBB to OldSucc to be from PredBB to NewSucc instead.
Definition at line 1301 of file LazyValueInfo.cpp.
References getCache(), llvm::Module::getDataLayout(), and llvm::BasicBlock::getModule().
|
static |
Definition at line 38 of file LazyValueInfo.h.
1.8.6