LLVM 17.0.0git
Public Member Functions | Friends | List of all members
llvm::SCCPInstVisitor Class Reference

Helper class for SCCPSolver. More...

Inheritance diagram for llvm::SCCPInstVisitor:
Inheritance graph
[legend]

Public Member Functions

void addLoopInfo (Function &F, LoopInfo &LI)
 
void addPredicateInfo (Function &F, DominatorTree &DT, AssumptionCache &AC)
 
void visitCallInst (CallInst &I)
 
bool markBlockExecutable (BasicBlock *BB)
 
const PredicateBase * getPredicateInfoFor (Instruction *I)
 
const LoopInfo & getLoopInfo (Function &F)
 
 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)
 
bool isStructLatticeConstant (Function *F, StructType *STy)
 
Constant * getConstant (const ValueLatticeElement &LV) 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 328 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 680 of file SCCPSolver.cpp.

Member Function Documentation

◆ addArgumentTrackedFunction()

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

Definition at line 712 of file SCCPSolver.cpp.

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

◆ addLoopInfo()

void llvm::SCCPInstVisitor::addLoopInfo ( Function &  F,
LoopInfo &  LI 
)
inline

Definition at line 654 of file SCCPSolver.cpp.

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

◆ addPredicateInfo()

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

Definition at line 658 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 704 of file SCCPSolver.cpp.

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

◆ addTrackedFunction()

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

Definition at line 693 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 795 of file SCCPSolver.cpp.

◆ getConstant()

Constant * SCCPInstVisitor::getConstant ( const ValueLatticeElement &  LV) const

Definition at line 894 of file SCCPSolver.cpp.

References llvm::ConstantInt::get(), llvm::ValueLatticeElement::getConstant(), llvm::ValueLatticeElement::getConstantRange(), llvm::ValueLatticeElement::isConstant(), and llvm::ValueLatticeElement::isConstantRange().

Referenced by getConstantOrNull().

◆ getConstantOrNull()

Constant * SCCPInstVisitor::getConstantOrNull ( Value *  V) const

Definition at line 906 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 759 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().

◆ getLoopInfo()

const LoopInfo & llvm::SCCPInstVisitor::getLoopInfo ( Function &  F)
inline

Definition at line 673 of file SCCPSolver.cpp.

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

◆ getMRVFunctionsTracked()

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

Definition at line 777 of file SCCPSolver.cpp.

◆ getPredicateInfoFor()

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

Definition at line 666 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 732 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 773 of file SCCPSolver.cpp.

◆ getTrackedRetVals()

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

Definition at line 769 of file SCCPSolver.cpp.

◆ isArgumentTrackedFunction()

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

Definition at line 716 of file SCCPSolver.cpp.

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

◆ isBlockExecutable()

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

Definition at line 726 of file SCCPSolver.cpp.

◆ isEdgeFeasible()

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

Definition at line 1114 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 883 of file SCCPSolver.cpp.

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

◆ markBlockExecutable()

bool SCCPInstVisitor::markBlockExecutable ( BasicBlock *  BB)

Definition at line 842 of file SCCPSolver.cpp.

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

◆ markFunctionUnreachable()

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

Definition at line 802 of file SCCPSolver.cpp.

References F.

◆ markOverdefined()

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

Definition at line 781 of file SCCPSolver.cpp.

◆ mustPreserveReturn()

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

Definition at line 708 of file SCCPSolver.cpp.

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

◆ removeLatticeValueFor()

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

Definition at line 744 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 748 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 1857 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 1925 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 932 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 1804 of file SCCPSolver.cpp.

References llvm::dbgs(), llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::erase(), I, LLVM_DEBUG, and llvm::InstVisitor< SCCPInstVisitor >::visit().

Referenced by solveWhileResolvedUndefs(), and solveWhileResolvedUndefsIn().

◆ solveWhileResolvedUndefs()

void llvm::SCCPInstVisitor::solveWhileResolvedUndefs ( )
inline

Definition at line 827 of file SCCPSolver.cpp.

References llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::clear(), I, resolvedUndef(), and solve().

◆ solveWhileResolvedUndefsIn() [1/2]

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

Definition at line 807 of file SCCPSolver.cpp.

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

◆ solveWhileResolvedUndefsIn() [2/2]

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

Definition at line 817 of file SCCPSolver.cpp.

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

◆ trackValueOfGlobalVariable()

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

Definition at line 685 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 662 of file SCCPSolver.cpp.

References I.

Friends And Related Function Documentation

◆ InstVisitor< SCCPInstVisitor >

friend class InstVisitor< SCCPInstVisitor >
friend

Definition at line 598 of file SCCPSolver.cpp.

The documentation for this class was generated from the following file:
Generated on Fri Jun 2 2023 09:13:30 for LLVM by doxygen 1.9.6