llvm::SCCPInstVisitor Class Reference

Helper class for SCCPSolver. More...

Inheritance diagram for llvm::SCCPInstVisitor:

Public Member Functions
void	addPredicateInfo (Function &F, DominatorTree &DT, AssumptionCache &AC)
void	visitCallInst (CallInst &I)
bool	markBlockExecutable (BasicBlock *BB)
const PredicateBase *	getPredicateInfoFor (Instruction *I)
	SCCPInstVisitor (const DataLayout &DL, std::function< const TargetLibraryInfo &(Function &)> GetTLI, LLVMContext &Ctx)
void	trackValueOfGlobalVariable (GlobalVariable *GV)
void	addTrackedFunction (Function *F)
void	addToMustPreserveReturnsInFunctions (Function *F)
bool	mustPreserveReturn (Function *F)
void	addArgumentTrackedFunction (Function *F)
bool	isArgumentTrackedFunction (Function *F)
void	solve ()
bool	resolvedUndef (Instruction &I)
bool	resolvedUndefsIn (Function &F)
	While solving the dataflow for a function, we don't compute a result for operations with an undef operand, to allow undef to be lowered to a constant later.
bool	isBlockExecutable (BasicBlock *BB) const
bool	isEdgeFeasible (BasicBlock *From, BasicBlock *To) const
std::vector< ValueLatticeElement >	getStructLatticeValueFor (Value *V) const
void	removeLatticeValueFor (Value *V)
void	resetLatticeValueFor (CallBase *Call)
	Invalidate the Lattice Value of Call and its users after specializing the call.
const ValueLatticeElement &	getLatticeValueFor (Value *V) const
const MapVector< Function *, ValueLatticeElement > &	getTrackedRetVals ()
const DenseMap< GlobalVariable *, ValueLatticeElement > &	getTrackedGlobals ()
const SmallPtrSet< Function *, 16 >	getMRVFunctionsTracked ()
void	markOverdefined (Value *V)
void	trackValueOfArgument (Argument *A)
bool	isStructLatticeConstant (Function *F, StructType *STy)
Constant *	getConstant (const ValueLatticeElement &LV, Type *Ty) const
Constant *	getConstantOrNull (Value *V) const
SmallPtrSetImpl< Function * > &	getArgumentTrackedFunctions ()
void	setLatticeValueForSpecializationArguments (Function *F, const SmallVectorImpl< ArgInfo > &Args)
void	markFunctionUnreachable (Function *F)
void	solveWhileResolvedUndefsIn (Module &M)
void	solveWhileResolvedUndefsIn (SmallVectorImpl< Function * > &WorkList)
void	solveWhileResolvedUndefs ()
Public Member Functions inherited from llvm::InstVisitor< SCCPInstVisitor >
void	visit (Iterator Start, Iterator End)
void	visit (Module &M)
void	visit (Function &F)
void	visit (BasicBlock &BB)
void	visit (Module *M)
void	visit (Function *F)
void	visit (BasicBlock *BB)
void	visit (Instruction *I)
void	visit (Instruction &I)
void	visitModule (Module &M)
void	visitFunction (Function &F)
void	visitBasicBlock (BasicBlock &BB)
void	visitICmpInst (ICmpInst &I)
void	visitFCmpInst (FCmpInst &I)
void	visitAllocaInst (AllocaInst &I)
void	visitLoadInst (LoadInst &I)
void	visitStoreInst (StoreInst &I)
void	visitAtomicCmpXchgInst (AtomicCmpXchgInst &I)
void	visitAtomicRMWInst (AtomicRMWInst &I)
void	visitFenceInst (FenceInst &I)
void	visitGetElementPtrInst (GetElementPtrInst &I)
void	visitPHINode (PHINode &I)
void	visitTruncInst (TruncInst &I)
void	visitZExtInst (ZExtInst &I)
void	visitSExtInst (SExtInst &I)
void	visitFPTruncInst (FPTruncInst &I)
void	visitFPExtInst (FPExtInst &I)
void	visitFPToUIInst (FPToUIInst &I)
void	visitFPToSIInst (FPToSIInst &I)
void	visitUIToFPInst (UIToFPInst &I)
void	visitSIToFPInst (SIToFPInst &I)
void	visitPtrToIntInst (PtrToIntInst &I)
void	visitIntToPtrInst (IntToPtrInst &I)
void	visitBitCastInst (BitCastInst &I)
void	visitAddrSpaceCastInst (AddrSpaceCastInst &I)
void	visitSelectInst (SelectInst &I)
void	visitVAArgInst (VAArgInst &I)
void	visitExtractElementInst (ExtractElementInst &I)
void	visitInsertElementInst (InsertElementInst &I)
void	visitShuffleVectorInst (ShuffleVectorInst &I)
void	visitExtractValueInst (ExtractValueInst &I)
void	visitInsertValueInst (InsertValueInst &I)
void	visitLandingPadInst (LandingPadInst &I)
void	visitFuncletPadInst (FuncletPadInst &I)
void	visitCleanupPadInst (CleanupPadInst &I)
void	visitCatchPadInst (CatchPadInst &I)
void	visitFreezeInst (FreezeInst &I)
void	visitDbgDeclareInst (DbgDeclareInst &I)
void	visitDbgValueInst (DbgValueInst &I)
void	visitDbgVariableIntrinsic (DbgVariableIntrinsic &I)
void	visitDbgLabelInst (DbgLabelInst &I)
void	visitDbgInfoIntrinsic (DbgInfoIntrinsic &I)
void	visitMemSetInst (MemSetInst &I)
void	visitMemSetInlineInst (MemSetInlineInst &I)
void	visitMemCpyInst (MemCpyInst &I)
void	visitMemCpyInlineInst (MemCpyInlineInst &I)
void	visitMemMoveInst (MemMoveInst &I)
void	visitMemTransferInst (MemTransferInst &I)
void	visitMemIntrinsic (MemIntrinsic &I)
void	visitVAStartInst (VAStartInst &I)
void	visitVAEndInst (VAEndInst &I)
void	visitVACopyInst (VACopyInst &I)
void	visitIntrinsicInst (IntrinsicInst &I)
void	visitCallInst (CallInst &I)
void	visitInvokeInst (InvokeInst &I)
void	visitCallBrInst (CallBrInst &I)
void	visitReturnInst (ReturnInst &I)
void	visitBranchInst (BranchInst &I)
void	visitSwitchInst (SwitchInst &I)
void	visitIndirectBrInst (IndirectBrInst &I)
void	visitResumeInst (ResumeInst &I)
void	visitUnreachableInst (UnreachableInst &I)
void	visitCleanupReturnInst (CleanupReturnInst &I)
void	visitCatchReturnInst (CatchReturnInst &I)
void	visitCatchSwitchInst (CatchSwitchInst &I)
void	visitTerminator (Instruction &I)
void	visitCastInst (CastInst &I)
void	visitUnaryOperator (UnaryOperator &I)
void	visitBinaryOperator (BinaryOperator &I)
void	visitCmpInst (CmpInst &I)
void	visitUnaryInstruction (UnaryInstruction &I)
void	visitCallBase (CallBase &I)
void	visitInstruction (Instruction &I)

Friends
class	InstVisitor< SCCPInstVisitor >

Detailed Description

Helper class for SCCPSolver.

This implements the instruction visitor and holds all the state.

Definition at line 358 of file SCCPSolver.cpp.

Constructor & Destructor Documentation

SCCPInstVisitor()

llvm::SCCPInstVisitor::SCCPInstVisitor ( const DataLayout &  DL, std::function< const TargetLibraryInfo &(Function &)>  GetTLI, LLVMContext &  Ctx  )

inline

Definition at line 706 of file SCCPSolver.cpp.

Member Function Documentation

addArgumentTrackedFunction()

void llvm::SCCPInstVisitor::addArgumentTrackedFunction ( Function *  F )

inline

Definition at line 738 of file SCCPSolver.cpp.

References F, and llvm::SmallPtrSetImpl< PtrType >::insert().

addPredicateInfo()

void llvm::SCCPInstVisitor::addPredicateInfo ( Function &  F, DominatorTree &  DT, AssumptionCache &  AC  )

inline

Definition at line 691 of file SCCPSolver.cpp.

References F, and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert().

addToMustPreserveReturnsInFunctions()

void llvm::SCCPInstVisitor::addToMustPreserveReturnsInFunctions ( Function *  F )

inline

Definition at line 730 of file SCCPSolver.cpp.

References F, and llvm::SmallPtrSetImpl< PtrType >::insert().

addTrackedFunction()

void llvm::SCCPInstVisitor::addTrackedFunction ( Function *  F )

inline

Definition at line 719 of file SCCPSolver.cpp.

References F, llvm::MapVector< KeyT, ValueT, MapType, VectorType >::insert(), and llvm::SmallPtrSetImpl< PtrType >::insert().

getArgumentTrackedFunctions()

SmallPtrSetImpl< Function * > & llvm::SCCPInstVisitor::getArgumentTrackedFunctions ( )

inline

Definition at line 832 of file SCCPSolver.cpp.

getConstant()

Constant * SCCPInstVisitor::getConstant	(	const ValueLatticeElement &	LV,
		Type *	Ty
	)		const

Definition at line 944 of file SCCPSolver.cpp.

References assert(), llvm::CallingConv::C, llvm::ValueLatticeElement::getConstant(), llvm::ValueLatticeElement::getConstantRange(), llvm::ConstantRange::getSingleElement(), llvm::ValueLatticeElement::isConstant(), and llvm::ValueLatticeElement::isConstantRange().

Referenced by getConstantOrNull().

getConstantOrNull()

Constant * SCCPInstVisitor::getConstantOrNull

(

Value *

V

)

const

Definition at line 960 of file SCCPSolver.cpp.

References llvm::any_of(), assert(), E, llvm::ConstantStruct::get(), llvm::UndefValue::get(), getConstant(), getLatticeValueFor(), getStructLatticeValueFor(), I, llvm::SCCPSolver::isConstant(), and llvm::SCCPSolver::isOverdefined().

getLatticeValueFor()

const ValueLatticeElement & llvm::SCCPInstVisitor::getLatticeValueFor ( Value *  V ) const

inline

Definition at line 785 of file SCCPSolver.cpp.

References assert(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and I.

Referenced by getConstantOrNull().

getMRVFunctionsTracked()

const SmallPtrSet< Function *, 16 > llvm::SCCPInstVisitor::getMRVFunctionsTracked ( )

inline

Definition at line 803 of file SCCPSolver.cpp.

getPredicateInfoFor()

const PredicateBase * llvm::SCCPInstVisitor::getPredicateInfoFor ( Instruction *  I )

inline

Definition at line 699 of file SCCPSolver.cpp.

References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and I.

getStructLatticeValueFor()

std::vector< ValueLatticeElement > llvm::SCCPInstVisitor::getStructLatticeValueFor ( Value *  V ) const

inline

Definition at line 758 of file SCCPSolver.cpp.

References assert(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and I.

Referenced by getConstantOrNull().

getTrackedGlobals()

const DenseMap< GlobalVariable *, ValueLatticeElement > & llvm::SCCPInstVisitor::getTrackedGlobals ( )

inline

Definition at line 799 of file SCCPSolver.cpp.

getTrackedRetVals()

const MapVector< Function *, ValueLatticeElement > & llvm::SCCPInstVisitor::getTrackedRetVals ( )

inline

Definition at line 795 of file SCCPSolver.cpp.

isArgumentTrackedFunction()

bool llvm::SCCPInstVisitor::isArgumentTrackedFunction ( Function *  F )

inline

Definition at line 742 of file SCCPSolver.cpp.

References llvm::SmallPtrSetImpl< PtrType >::count(), and F.

isBlockExecutable()

bool llvm::SCCPInstVisitor::isBlockExecutable ( BasicBlock *  BB ) const

inline

Definition at line 752 of file SCCPSolver.cpp.

isEdgeFeasible()

bool SCCPInstVisitor::isEdgeFeasible	(	BasicBlock *	From,
		BasicBlock *	To
	)		const

Definition at line 1167 of file SCCPSolver.cpp.

References llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::count(), and From.

isStructLatticeConstant()

bool SCCPInstVisitor::isStructLatticeConstant	(	Function *	F,
		StructType *	STy
	)

Definition at line 933 of file SCCPSolver.cpp.

References assert(), F, llvm::StructType::getNumElements(), and llvm::SCCPSolver::isConstant().

markBlockExecutable()

bool SCCPInstVisitor::markBlockExecutable

(

BasicBlock *

BB

)

Definition at line 879 of file SCCPSolver.cpp.

References llvm::dbgs(), llvm::Value::getName(), and LLVM_DEBUG.

markFunctionUnreachable()

void llvm::SCCPInstVisitor::markFunctionUnreachable ( Function *  F )

inline

Definition at line 839 of file SCCPSolver.cpp.

References F.

markOverdefined()

void llvm::SCCPInstVisitor::markOverdefined ( Value *  V )

inline

Definition at line 807 of file SCCPSolver.cpp.

mustPreserveReturn()

bool llvm::SCCPInstVisitor::mustPreserveReturn ( Function *  F )

inline

Definition at line 734 of file SCCPSolver.cpp.

References llvm::SmallPtrSetImpl< PtrType >::count(), and F.

removeLatticeValueFor()

void llvm::SCCPInstVisitor::removeLatticeValueFor ( Value *  V )

inline

Definition at line 770 of file SCCPSolver.cpp.

References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::erase().

resetLatticeValueFor()

void llvm::SCCPInstVisitor::resetLatticeValueFor ( CallBase *  Call )

inline

Invalidate the Lattice Value of Call and its users after specializing the call.

Then recompute it.

Definition at line 774 of file SCCPSolver.cpp.

References assert(), llvm::MapVector< KeyT, ValueT, MapType, VectorType >::count(), llvm::SmallPtrSetImpl< PtrType >::count(), and F.

resolvedUndef()

bool SCCPInstVisitor::resolvedUndef

(

Instruction &

I

)

Definition at line 1950 of file SCCPSolver.cpp.

References F, llvm::CallBase::getCalledFunction(), I, and llvm::ValueLatticeElement::isUnknown().

Referenced by resolvedUndefsIn(), and solveWhileResolvedUndefs().

resolvedUndefsIn()

bool SCCPInstVisitor::resolvedUndefsIn

(

Function &

F

)

While solving the dataflow for a function, we don't compute a result for operations with an undef operand, to allow undef to be lowered to a constant later.

For example, constant folding of "zext i8 undef to i16" would result in "i16 0", and if undef is later lowered to "i8 1", then the zext result would become "i16 1" and would result into an overdefined lattice value once merged with the previous result. Not computing the result of the zext (treating undef the same as unknown) allows us to handle a later undef->constant lowering more optimally.

However, if the operand remains undef when the solver returns, we do need to assign some result to the instruction (otherwise we would treat it as unreachable). For simplicity, we mark any instructions that are still unknown as overdefined.

Definition at line 2018 of file SCCPSolver.cpp.

References llvm::dbgs(), F, I, LLVM_DEBUG, and resolvedUndef().

Referenced by solveWhileResolvedUndefsIn().

setLatticeValueForSpecializationArguments()

void SCCPInstVisitor::setLatticeValueForSpecializationArguments	(	Function *	F,
		const SmallVectorImpl< ArgInfo > &	Args
	)

Definition at line 986 of file SCCPSolver.cpp.

References assert(), llvm::dbgs(), E, End, F, llvm::Value::getNameOrAsOperand(), llvm::Value::getType(), I, LLVM_DEBUG, and llvm::ValueLatticeElement::markConstant().

solve()

void SCCPInstVisitor::solve

(

)

Definition at line 1897 of file SCCPSolver.cpp.

References llvm::dbgs(), I, Invalidated, LLVM_DEBUG, and llvm::InstVisitor< SCCPInstVisitor >::visit().

Referenced by solveWhileResolvedUndefs(), and solveWhileResolvedUndefsIn().

solveWhileResolvedUndefs()

void llvm::SCCPInstVisitor::solveWhileResolvedUndefs ( )

inline

Definition at line 864 of file SCCPSolver.cpp.

References I, Invalidated, resolvedUndef(), and solve().

solveWhileResolvedUndefsIn() [1/2]

void llvm::SCCPInstVisitor::solveWhileResolvedUndefsIn ( Module &  M )

inline

Definition at line 844 of file SCCPSolver.cpp.

References F, resolvedUndefsIn(), and solve().

solveWhileResolvedUndefsIn() [2/2]

void llvm::SCCPInstVisitor::solveWhileResolvedUndefsIn ( SmallVectorImpl< Function * > &  WorkList )

inline

Definition at line 854 of file SCCPSolver.cpp.

References F, resolvedUndefsIn(), and solve().

trackValueOfArgument()

void llvm::SCCPInstVisitor::trackValueOfArgument ( Argument *  A )

inline

Definition at line 815 of file SCCPSolver.cpp.

References A, and Range.

trackValueOfGlobalVariable()

void llvm::SCCPInstVisitor::trackValueOfGlobalVariable ( GlobalVariable *  GV )

inline

Definition at line 711 of file SCCPSolver.cpp.

References llvm::GlobalVariable::getInitializer(), llvm::GlobalValue::getValueType(), llvm::Type::isSingleValueType(), and IV.

visitCallInst()

void llvm::SCCPInstVisitor::visitCallInst ( CallInst &  I )

inline

Definition at line 695 of file SCCPSolver.cpp.

References I.

Friends And Related Function Documentation

InstVisitor< SCCPInstVisitor >

friend class InstVisitor< SCCPInstVisitor >

friend

Definition at line 634 of file SCCPSolver.cpp.

---

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

• lib/Transforms/Utils/SCCPSolver.cpp