LLVM  3.7.0
Public Types | Public Member Functions | Static Public Attributes | List of all members
llvm::LazyValueInfo Class Reference

This pass computes, caches, and vends lazy value constraint information. More...

#include <LazyValueInfo.h>

Inheritance diagram for llvm::LazyValueInfo:
[legend]
Collaboration diagram for llvm::LazyValueInfo:
[legend]

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...
 
ConstantgetConstant (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...
 
ConstantgetConstantOnEdge (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)
 
PasscreatePrinterPass (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)
 
AnalysisResolvergetResolver () const
 
virtual void * getAdjustedAnalysisPointer (AnalysisID ID)
 getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance. More...
 
virtual ImmutablePassgetAsImmutablePass ()
 
virtual PMDataManagergetAsPMDataManager ()
 
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 PassInfolookupPassInfo (const void *TI)
 
static const PassInfolookupPassInfo (StringRef Arg)
 
static PasscreatePass (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...
 

Detailed Description

This pass computes, caches, and vends lazy value constraint information.

Definition at line 30 of file LazyValueInfo.h.

Member Enumeration Documentation

This is used to return true/false/dunno results.

Enumerator
Unknown 
False 
True 

Definition at line 45 of file LazyValueInfo.h.

Constructor & Destructor Documentation

llvm::LazyValueInfo::LazyValueInfo ( )
inline
llvm::LazyValueInfo::~LazyValueInfo ( )
inlineoverride

Definition at line 42 of file LazyValueInfo.h.

Member Function Documentation

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().

void LazyValueInfo::getAnalysisUsage ( AnalysisUsage ) const
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().

void LazyValueInfo::releaseMemory ( )
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().

bool LazyValueInfo::runOnFunction ( Function F)
overridevirtual

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().

Member Data Documentation

char LazyValueInfo::ID = 0
static

Definition at line 38 of file LazyValueInfo.h.


The documentation for this class was generated from the following files: