LLVM
15.0.0git
|
This pass computes, caches, and vends lazy value constraint information. More...
#include "llvm/Analysis/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 ()=default | |
LazyValueInfo (AssumptionCache *AC_, const DataLayout *DL_, TargetLibraryInfo *TLI_) | |
LazyValueInfo (LazyValueInfo &&Arg) | |
LazyValueInfo & | operator= (LazyValueInfo &&Arg) |
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, bool UseBlockValue) |
Determine whether the specified value comparison with a constant is known to be true or false at the specified instruction. More... | |
Tristate | getPredicateAt (unsigned Pred, Value *LHS, Value *RHS, Instruction *CxtI, bool UseBlockValue) |
Determine whether the specified value comparison is known to be true or false at the specified instruction. More... | |
Constant * | getConstant (Value *V, Instruction *CxtI) |
Determine whether the specified value is known to be a constant at the specified instruction. More... | |
ConstantRange | getConstantRange (Value *V, Instruction *CxtI, bool UndefAllowed=true) |
Return the ConstantRange constraint that is known to hold for the specified value at the specified instruction. 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... | |
ConstantRange | getConstantRangeOnEdge (Value *V, BasicBlock *FromBB, BasicBlock *ToBB, Instruction *CxtI=nullptr) |
Return the ConstantRage constraint that is known to hold for the specified value 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 | clear (const Module *M) |
Complete flush all previously computed values. More... | |
void | printLVI (Function &F, DominatorTree &DTree, raw_ostream &OS) |
Print the \LazyValueInfo Analysis. More... | |
void | releaseMemory () |
bool | invalidate (Function &F, const PreservedAnalyses &PA, FunctionAnalysisManager::Invalidator &Inv) |
Handle invalidation events in the new pass manager. More... | |
Friends | |
class | LazyValueInfoWrapperPass |
This pass computes, caches, and vends lazy value constraint information.
Definition at line 31 of file LazyValueInfo.h.
This is used to return true/false/dunno results.
Enumerator | |
---|---|
Unknown | |
False | |
True |
Definition at line 60 of file LazyValueInfo.h.
LazyValueInfo::~LazyValueInfo | ( | ) |
Definition at line 1546 of file LazyValueInfo.cpp.
References releaseMemory().
|
default |
|
inline |
Definition at line 42 of file LazyValueInfo.h.
|
inline |
Definition at line 45 of file LazyValueInfo.h.
References Arg.
Complete flush all previously computed values.
Definition at line 1882 of file LazyValueInfo.cpp.
void LazyValueInfo::eraseBlock | ( | BasicBlock * | BB | ) |
Inform the analysis cache that we have erased a block.
Definition at line 1876 of file LazyValueInfo.cpp.
Constant * LazyValueInfo::getConstant | ( | Value * | V, |
Instruction * | CxtI | ||
) |
Determine whether the specified value is known to be a constant at the specified instruction.
Return null if not.
Definition at line 1591 of file LazyValueInfo.cpp.
References BB, llvm::ConstantInt::get(), llvm::Value::getContext(), getImpl(), llvm::Instruction::getParent(), llvm::ConstantRange::getSingleElement(), and isKnownNonConstant().
Referenced by getConstantAt(), processCallSite(), processMemAccess(), and processSelect().
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 1630 of file LazyValueInfo.cpp.
References llvm::ConstantInt::get(), llvm::Value::getContext(), getImpl(), llvm::BasicBlock::getModule(), llvm::ConstantRange::getSingleElement(), and M.
Referenced by getValueOnEdge(), and simplifyCommonValuePhi().
ConstantRange LazyValueInfo::getConstantRange | ( | Value * | V, |
Instruction * | CxtI, | ||
bool | UndefAllowed = true |
||
) |
Return the ConstantRange constraint that is known to hold for the specified value at the specified instruction.
This may only be called on integer-typed Values.
Definition at line 1610 of file LazyValueInfo.cpp.
References assert(), BB, getImpl(), llvm::Type::getIntegerBitWidth(), llvm::Instruction::getParent(), llvm::Value::getType(), and llvm::Type::isIntegerTy().
Referenced by narrowSDivOrSRem(), processAnd(), processAShr(), processBinOp(), processICmp(), processUDivOrURem(), and willNotOverflow().
ConstantRange LazyValueInfo::getConstantRangeOnEdge | ( | Value * | V, |
BasicBlock * | FromBB, | ||
BasicBlock * | ToBB, | ||
Instruction * | CxtI = nullptr |
||
) |
Return the ConstantRage constraint that is known to hold for the specified value on the specified edge.
This may be only be called on integer-typed Values.
Definition at line 1647 of file LazyValueInfo.cpp.
References assert(), getImpl(), llvm::Type::getIntegerBitWidth(), llvm::BasicBlock::getModule(), llvm::Value::getType(), and M.
LazyValueInfo::Tristate LazyValueInfo::getPredicateAt | ( | unsigned | Pred, |
Value * | LHS, | ||
Value * | RHS, | ||
Instruction * | CxtI, | ||
bool | UseBlockValue | ||
) |
Determine whether the specified value comparison is known to be true or false at the specified instruction.
While this takes two Value's, it still requires that one of them is a constant. Pred
is a CmpInst predicate. If UseBlockValue
is true, the block value is also taken into account.
Definition at line 1850 of file LazyValueInfo.cpp.
References getPredicateAt(), llvm::CmpInst::getSwappedPredicate(), LHS, P, RHS, and Unknown.
LazyValueInfo::Tristate LazyValueInfo::getPredicateAt | ( | unsigned | Pred, |
Value * | V, | ||
Constant * | C, | ||
Instruction * | CxtI, | ||
bool | UseBlockValue | ||
) |
Determine whether the specified value comparison with a constant is known to be true or false at the specified instruction.
Pred
is a CmpInst predicate. If UseBlockValue
is true, the block value is also taken into account.
Definition at line 1746 of file LazyValueInfo.cpp.
References BB, DL, llvm::numbers::e, False, getImpl(), llvm::Instruction::getModule(), llvm::Instruction::getParent(), getPredicateOnEdge(), getPredicateResult(), llvm::Value::getType(), i, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::isKnownNonZero(), llvm::Type::isPointerTy(), M, llvm::pred_begin(), llvm::pred_end(), llvm::MipsISD::Ret, llvm::Value::stripPointerCastsSameRepresentation(), True, and Unknown.
Referenced by constantFoldCmp(), getConstantAt(), getPredicateAt(), isNonNegative(), isNonPositive(), processAbsIntrinsic(), processCallSite(), processMinMaxIntrinsic(), and processSwitch().
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 1735 of file LazyValueInfo.cpp.
References getImpl(), llvm::BasicBlock::getModule(), getPredicateResult(), and M.
Referenced by getPredicateAt(), and getValueOnEdge().
bool LazyValueInfo::invalidate | ( | Function & | F, |
const PreservedAnalyses & | PA, | ||
FunctionAnalysisManager::Invalidator & | Inv | ||
) |
Handle invalidation events in the new pass manager.
Definition at line 1556 of file LazyValueInfo.cpp.
References llvm::PreservedAnalyses::getChecker().
|
inline |
Definition at line 49 of file LazyValueInfo.h.
References Arg, DL, and releaseMemory().
void LazyValueInfo::printLVI | ( | Function & | F, |
DominatorTree & | DTree, | ||
raw_ostream & | OS | ||
) |
Print the \LazyValueInfo Analysis.
We pass in the DTree that is required for identifying which basic blocks we can solve/print for, in the LVIPrinter.
Definition at line 1888 of file LazyValueInfo.cpp.
void LazyValueInfo::releaseMemory | ( | ) |
Definition at line 1548 of file LazyValueInfo.cpp.
References getImpl().
Referenced by operator=(), llvm::LazyValueInfoWrapperPass::releaseMemory(), and ~LazyValueInfo().
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 1868 of file LazyValueInfo.cpp.
References getImpl(), and llvm::BasicBlock::getModule().
|
friend |
Definition at line 32 of file LazyValueInfo.h.