LLVM 19.0.0git
|
Helper class for SCCPSolver. More...
Friends | |
class | InstVisitor< SCCPInstVisitor > |
Helper class for SCCPSolver.
This implements the instruction visitor and holds all the state.
Definition at line 364 of file SCCPSolver.cpp.
|
inline |
Definition at line 712 of file SCCPSolver.cpp.
|
inline |
Definition at line 744 of file SCCPSolver.cpp.
References F, and llvm::SmallPtrSetImpl< PtrType >::insert().
|
inline |
Definition at line 697 of file SCCPSolver.cpp.
References F, and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert().
|
inline |
Definition at line 736 of file SCCPSolver.cpp.
References F, and llvm::SmallPtrSetImpl< PtrType >::insert().
|
inline |
Definition at line 725 of file SCCPSolver.cpp.
References F, llvm::MapVector< KeyT, ValueT, MapType, VectorType >::insert(), and llvm::SmallPtrSetImpl< PtrType >::insert().
|
inline |
Definition at line 838 of file SCCPSolver.cpp.
Constant * SCCPInstVisitor::getConstant | ( | const ValueLatticeElement & | LV, |
Type * | Ty | ||
) | const |
Definition at line 950 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().
Definition at line 966 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().
|
inline |
Definition at line 791 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().
|
inline |
Definition at line 809 of file SCCPSolver.cpp.
|
inline |
Definition at line 705 of file SCCPSolver.cpp.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and I.
|
inline |
Definition at line 764 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().
|
inline |
Definition at line 805 of file SCCPSolver.cpp.
|
inline |
Definition at line 801 of file SCCPSolver.cpp.
Definition at line 748 of file SCCPSolver.cpp.
References llvm::SmallPtrSetImpl< PtrType >::count(), and F.
|
inline |
Definition at line 758 of file SCCPSolver.cpp.
bool SCCPInstVisitor::isEdgeFeasible | ( | BasicBlock * | From, |
BasicBlock * | To | ||
) | const |
Definition at line 1173 of file SCCPSolver.cpp.
References llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::count(), and From.
bool SCCPInstVisitor::isStructLatticeConstant | ( | Function * | F, |
StructType * | STy | ||
) |
Definition at line 939 of file SCCPSolver.cpp.
References assert(), F, llvm::StructType::getNumElements(), and llvm::SCCPSolver::isConstant().
bool SCCPInstVisitor::markBlockExecutable | ( | BasicBlock * | BB | ) |
Definition at line 885 of file SCCPSolver.cpp.
References llvm::dbgs(), llvm::Value::getName(), and LLVM_DEBUG.
|
inline |
Definition at line 845 of file SCCPSolver.cpp.
References F.
|
inline |
Definition at line 813 of file SCCPSolver.cpp.
Definition at line 740 of file SCCPSolver.cpp.
References llvm::SmallPtrSetImpl< PtrType >::count(), and F.
|
inline |
Definition at line 776 of file SCCPSolver.cpp.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::erase().
|
inline |
Invalidate the Lattice Value of Call
and its users after specializing the call.
Then recompute it.
Definition at line 780 of file SCCPSolver.cpp.
References assert(), llvm::MapVector< KeyT, ValueT, MapType, VectorType >::count(), llvm::SmallPtrSetImpl< PtrType >::count(), and F.
bool SCCPInstVisitor::resolvedUndef | ( | Instruction & | I | ) |
Definition at line 1955 of file SCCPSolver.cpp.
References F, llvm::CallBase::getCalledFunction(), I, and llvm::ValueLatticeElement::isUnknown().
Referenced by resolvedUndefsIn(), and solveWhileResolvedUndefs().
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 2023 of file SCCPSolver.cpp.
References llvm::dbgs(), F, I, LLVM_DEBUG, and resolvedUndef().
Referenced by solveWhileResolvedUndefsIn().
void SCCPInstVisitor::setLatticeValueForSpecializationArguments | ( | Function * | F, |
const SmallVectorImpl< ArgInfo > & | Args | ||
) |
Definition at line 992 of file SCCPSolver.cpp.
References assert(), llvm::dbgs(), E, End, F, llvm::Value::getNameOrAsOperand(), llvm::Value::getType(), I, LLVM_DEBUG, and llvm::ValueLatticeElement::markConstant().
void SCCPInstVisitor::solve | ( | ) |
Definition at line 1902 of file SCCPSolver.cpp.
References llvm::dbgs(), I, Invalidated, LLVM_DEBUG, and llvm::InstVisitor< SCCPInstVisitor >::visit().
Referenced by solveWhileResolvedUndefs(), and solveWhileResolvedUndefsIn().
|
inline |
Definition at line 870 of file SCCPSolver.cpp.
References I, Invalidated, resolvedUndef(), and solve().
|
inline |
Definition at line 850 of file SCCPSolver.cpp.
References F, resolvedUndefsIn(), and solve().
|
inline |
Definition at line 860 of file SCCPSolver.cpp.
References F, resolvedUndefsIn(), and solve().
|
inline |
Definition at line 821 of file SCCPSolver.cpp.
References A.
|
inline |
Definition at line 717 of file SCCPSolver.cpp.
References llvm::GlobalVariable::getInitializer(), llvm::GlobalValue::getValueType(), llvm::Type::isSingleValueType(), and IV.
|
inline |
Definition at line 701 of file SCCPSolver.cpp.
References I.
|
friend |
Definition at line 640 of file SCCPSolver.cpp.