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

	LazyValueInfo (AssumptionCache AC_, const DataLayout DL_, TargetLibraryInfo TLI_, DominatorTree DT_)

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

ConstantRange	getConstantRange (Value V, BasicBlock BB, Instruction *CxtI=nullptr)
	Return the ConstantRange constraint that is known to hold for the specified value 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...

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	printLVI (Function &F, DominatorTree &DTree, raw_ostream &OS)
	Print the Analysis. More...

void	disableDT ()
	Disables use of the DominatorTree within LVI. More...

void	enableDT ()
	Enables use of the DominatorTree within LVI. 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

Detailed Description

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

Definition at line 31 of file LazyValueInfo.h.

Member Enumeration Documentation

◆ Tristate

enum llvm::LazyValueInfo::Tristate

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

Enumerator
Unknown
False
True

Definition at line 62 of file LazyValueInfo.h.

Constructor & Destructor Documentation

◆ ~LazyValueInfo()

LazyValueInfo::~LazyValueInfo ( )

Definition at line 1595 of file LazyValueInfo.cpp.

◆ LazyValueInfo() [1/3]

llvm::LazyValueInfo::LazyValueInfo ( )

inline

Definition at line 42 of file LazyValueInfo.h.

◆ LazyValueInfo() [2/3]

llvm::LazyValueInfo::LazyValueInfo	(	AssumptionCache *	AC_,
		const DataLayout *	DL_,
		TargetLibraryInfo *	TLI_,
		DominatorTree *	DT_
	)

inline

Definition at line 43 of file LazyValueInfo.h.

◆ LazyValueInfo() [3/3]

llvm::LazyValueInfo::LazyValueInfo ( LazyValueInfo && Arg )

inline

Definition at line 46 of file LazyValueInfo.h.

References Arg.

Member Function Documentation

◆ disableDT()

void LazyValueInfo::disableDT ( )

Disables use of the DominatorTree within LVI.

Definition at line 1920 of file LazyValueInfo.cpp.

References getImpl().

Referenced by llvm::createLowerSwitchPass().

◆ enableDT()

void LazyValueInfo::enableDT ( )

Enables use of the DominatorTree within LVI.

Does nothing if the class instance was initialized without a DT pointer.

Definition at line 1925 of file LazyValueInfo.cpp.

References llvm::AnalysisUsage::addRequired(), Arg, llvm::dbgs(), F(), getImpl(), llvm::Value::getName(), llvm::Instruction::getParent(), llvm::BasicBlock::getParent(), llvm::PassRegistry::getPassRegistry(), INITIALIZE_PASS_BEGIN(), INITIALIZE_PASS_DEPENDENCY, llvm::initializeLazyValueInfoPrinterPass(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::ValueLatticeElement::isUndefined(), llvm::Value::printAsOperand(), runOnFunction(), llvm::AnalysisUsage::setPreservesAll(), llvm::successors(), and llvm::Value::users().

◆ eraseBlock()

void LazyValueInfo::eraseBlock ( BasicBlock * BB )

Inform the analysis cache that we have erased a block.

Definition at line 1906 of file LazyValueInfo.cpp.

References llvm::Module::getDataLayout(), getImpl(), and llvm::BasicBlock::getModule().

Referenced by llvm::createLowerSwitchPass(), and llvm::removeUnreachableBlocks().

◆ getConstant()

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 1642 of file LazyValueInfo.cpp.

References llvm::ConstantInt::get(), llvm::ValueLatticeElement::getConstant(), llvm::ValueLatticeElement::getConstantRange(), llvm::Value::getContext(), llvm::Module::getDataLayout(), getImpl(), llvm::BasicBlock::getModule(), llvm::ConstantRange::getSingleElement(), llvm::ValueLatticeElement::isConstant(), llvm::ValueLatticeElement::isConstantRange(), and isKnownNonConstant().

Referenced by getConstantAt(), processCallSite(), processMemAccess(), and processSelect().

◆ getConstantOnEdge()

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 1682 of file LazyValueInfo.cpp.

References llvm::ConstantInt::get(), llvm::ValueLatticeElement::getConstant(), llvm::ValueLatticeElement::getConstantRange(), llvm::Value::getContext(), llvm::Module::getDataLayout(), getImpl(), llvm::BasicBlock::getModule(), llvm::ConstantRange::getSingleElement(), llvm::ValueLatticeElement::isConstant(), and llvm::ValueLatticeElement::isConstantRange().

Referenced by processPHI(), and simplifyCommonValuePhi().

◆ getConstantRange()

ConstantRange LazyValueInfo::getConstantRange	(	Value *	V,
		BasicBlock *	BB,
		Instruction *	CxtI = `nullptr`
	)

Return the ConstantRange constraint that is known to hold for the specified value at the end of the specified block.

This may only be called on integer-typed Values.

Definition at line 1662 of file LazyValueInfo.cpp.

References assert(), llvm::ValueLatticeElement::getConstant(), llvm::ValueLatticeElement::getConstantRange(), llvm::Module::getDataLayout(), getImpl(), llvm::Type::getIntegerBitWidth(), llvm::BasicBlock::getModule(), llvm::Value::getType(), llvm::ValueLatticeElement::isConstant(), llvm::ValueLatticeElement::isConstantRange(), llvm::Type::isIntegerTy(), and llvm::ValueLatticeElement::isUndefined().

Referenced by processBinOp(), processUDivOrURem(), and willNotOverflow().

◆ getConstantRangeOnEdge()

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 1699 of file LazyValueInfo.cpp.

References assert(), llvm::ValueLatticeElement::getConstant(), llvm::ValueLatticeElement::getConstantRange(), llvm::Module::getDataLayout(), getImpl(), llvm::Type::getIntegerBitWidth(), llvm::BasicBlock::getModule(), llvm::Value::getType(), llvm::ValueLatticeElement::isConstant(), llvm::ValueLatticeElement::isConstantRange(), and llvm::ValueLatticeElement::isUndefined().

◆ getPredicateAt()

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 1798 of file LazyValueInfo.cpp.

References False, llvm::Module::getDataLayout(), getImpl(), llvm::Instruction::getModule(), llvm::Instruction::getParent(), getParent(), getPredicateResult(), llvm::Value::getType(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::isKnownNonZero(), llvm::Constant::isNullValue(), llvm::Type::isPointerTy(), llvm::pred_begin(), llvm::pred_end(), llvm::MipsISD::Ret, llvm::Value::stripPointerCastsSameRepresentation(), and True.

Referenced by getConstantAt(), hasPositiveOperands(), processAShr(), processCallSite(), and processCmp().

◆ getPredicateOnEdge()

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 1787 of file LazyValueInfo.cpp.

References llvm::Module::getDataLayout(), getImpl(), llvm::BasicBlock::getModule(), and getPredicateResult().

Referenced by processPHI().

◆ invalidate()

bool LazyValueInfo::invalidate	(	Function &	F,
		const PreservedAnalyses &	PA,
		FunctionAnalysisManager::Invalidator &	Inv
	)

Handle invalidation events in the new pass manager.

Definition at line 1605 of file LazyValueInfo.cpp.

References F(), and llvm::PreservedAnalyses::getChecker().

◆ operator=()

LazyValueInfo& llvm::LazyValueInfo::operator= ( LazyValueInfo && Arg )

inline

Definition at line 50 of file LazyValueInfo.h.

References Arg, and releaseMemory().

◆ printLVI()

void LazyValueInfo::printLVI	(	Function &	F,
		DominatorTree &	DTree,
		raw_ostream &	OS
	)

Print the Analysis.

We pass in the DTree that is required for identifying which basic blocks we can solve/print for, in the LVIPrinter. The DT is optional in LVI, so we need to pass it here as an argument.

Definition at line 1914 of file LazyValueInfo.cpp.

References getImpl().

◆ releaseMemory()

void LazyValueInfo::releaseMemory ( )

Definition at line 1597 of file LazyValueInfo.cpp.

References getImpl().

Referenced by operator=(), and llvm::LazyValueInfoWrapperPass::~LazyValueInfoWrapperPass().

◆ threadEdge()

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 1898 of file LazyValueInfo.cpp.

References llvm::Module::getDataLayout(), getImpl(), and llvm::BasicBlock::getModule().

Friends And Related Function Documentation

◆ LazyValueInfoWrapperPass

friend class LazyValueInfoWrapperPass

friend

Definition at line 32 of file LazyValueInfo.h.

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

include/llvm/Analysis/LazyValueInfo.h
lib/Analysis/LazyValueInfo.cpp

Public Types

Public Member Functions

Friends

Detailed Description

Member Enumeration Documentation

◆ Tristate

Constructor & Destructor Documentation

◆ ~LazyValueInfo()

◆ LazyValueInfo() [1/3]

◆ LazyValueInfo() [2/3]

◆ LazyValueInfo() [3/3]

Member Function Documentation

◆ disableDT()

◆ enableDT()

◆ eraseBlock()

◆ getConstant()

◆ getConstantOnEdge()

◆ getConstantRange()

◆ getConstantRangeOnEdge()

◆ getPredicateAt()

◆ getPredicateOnEdge()

◆ invalidate()

◆ operator=()

◆ printLVI()

◆ releaseMemory()

◆ threadEdge()

Friends And Related Function Documentation

◆ LazyValueInfoWrapperPass