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 362 of file SCCPSolver.cpp.
|
inline |
Definition at line 710 of file SCCPSolver.cpp.
|
inline |
Definition at line 742 of file SCCPSolver.cpp.
References F, and llvm::SmallPtrSetImpl< PtrType >::insert().
|
inline |
Definition at line 695 of file SCCPSolver.cpp.
References F, and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert().
|
inline |
Definition at line 734 of file SCCPSolver.cpp.
References F, and llvm::SmallPtrSetImpl< PtrType >::insert().
|
inline |
Definition at line 723 of file SCCPSolver.cpp.
References F, llvm::MapVector< KeyT, ValueT, MapType, VectorType >::insert(), and llvm::SmallPtrSetImpl< PtrType >::insert().
|
inline |
Definition at line 836 of file SCCPSolver.cpp.
Constant * SCCPInstVisitor::getConstant | ( | const ValueLatticeElement & | LV, |
Type * | Ty | ||
) | const |
Definition at line 948 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 964 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 789 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 807 of file SCCPSolver.cpp.
|
inline |
Definition at line 703 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 762 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 803 of file SCCPSolver.cpp.
|
inline |
Definition at line 799 of file SCCPSolver.cpp.
Definition at line 746 of file SCCPSolver.cpp.
References llvm::SmallPtrSetImpl< PtrType >::count(), and F.
|
inline |
Definition at line 756 of file SCCPSolver.cpp.
bool SCCPInstVisitor::isEdgeFeasible | ( | BasicBlock * | From, |
BasicBlock * | To | ||
) | const |
Definition at line 1171 of file SCCPSolver.cpp.
References llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::count(), and From.
bool SCCPInstVisitor::isStructLatticeConstant | ( | Function * | F, |
StructType * | STy | ||
) |
Definition at line 937 of file SCCPSolver.cpp.
References assert(), F, llvm::StructType::getNumElements(), and llvm::SCCPSolver::isConstant().
bool SCCPInstVisitor::markBlockExecutable | ( | BasicBlock * | BB | ) |
Definition at line 883 of file SCCPSolver.cpp.
References llvm::dbgs(), llvm::Value::getName(), and LLVM_DEBUG.
|
inline |
Definition at line 843 of file SCCPSolver.cpp.
References F.
|
inline |
Definition at line 811 of file SCCPSolver.cpp.
Definition at line 738 of file SCCPSolver.cpp.
References llvm::SmallPtrSetImpl< PtrType >::count(), and F.
|
inline |
Definition at line 774 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 778 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 1953 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 2021 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 990 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 1900 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 868 of file SCCPSolver.cpp.
References I, Invalidated, resolvedUndef(), and solve().
|
inline |
Definition at line 848 of file SCCPSolver.cpp.
References F, resolvedUndefsIn(), and solve().
|
inline |
Definition at line 858 of file SCCPSolver.cpp.
References F, resolvedUndefsIn(), and solve().
|
inline |
Definition at line 819 of file SCCPSolver.cpp.
References A.
|
inline |
Definition at line 715 of file SCCPSolver.cpp.
References llvm::GlobalVariable::getInitializer(), llvm::GlobalValue::getValueType(), llvm::Type::isSingleValueType(), and IV.
|
inline |
Definition at line 699 of file SCCPSolver.cpp.
References I.
|
friend |
Definition at line 638 of file SCCPSolver.cpp.