LLVM 22.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 460 of file SCCPSolver.cpp.
|
inline |
Definition at line 804 of file SCCPSolver.cpp.
|
inline |
Definition at line 835 of file SCCPSolver.cpp.
References F, and llvm::SmallPtrSetImpl< PtrType >::insert().
|
inline |
Definition at line 768 of file SCCPSolver.cpp.
References F, and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert().
|
inline |
Definition at line 827 of file SCCPSolver.cpp.
References F, and llvm::SmallPtrSetImpl< PtrType >::insert().
|
inline |
Definition at line 817 of file SCCPSolver.cpp.
References F, llvm::SmallPtrSetImpl< PtrType >::insert(), and llvm::MapVector< KeyT, ValueT, MapType, VectorType >::try_emplace().
|
inline |
Definition at line 917 of file SCCPSolver.cpp.
References A, llvm::ValueLatticeElement::getNot(), llvm::Constant::getNullValue(), llvm::ValueLatticeElement::getOverdefined(), llvm::ValueLatticeElement::getRange(), and Range.
Referenced by trackValueOfArgument().
|
inline |
Definition at line 843 of file SCCPSolver.cpp.
Constant * SCCPInstVisitor::getConstant | ( | const ValueLatticeElement & | LV, |
Type * | Ty | ||
) | const |
Definition at line 1079 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 1095 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 886 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 905 of file SCCPSolver.cpp.
|
inline |
Definition at line 797 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 859 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 901 of file SCCPSolver.cpp.
|
inline |
Definition at line 896 of file SCCPSolver.cpp.
Definition at line 839 of file SCCPSolver.cpp.
References llvm::SmallPtrSetImpl< PtrType >::count(), and F.
|
inline |
Definition at line 853 of file SCCPSolver.cpp.
bool SCCPInstVisitor::isEdgeFeasible | ( | BasicBlock * | From, |
BasicBlock * | To | ||
) | const |
Definition at line 1302 of file SCCPSolver.cpp.
References llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::count(), and From.
bool SCCPInstVisitor::isStructLatticeConstant | ( | Function * | F, |
StructType * | STy | ||
) |
Definition at line 1068 of file SCCPSolver.cpp.
References assert(), F, llvm::StructType::getNumElements(), and llvm::SCCPSolver::isConstant().
bool SCCPInstVisitor::markBlockExecutable | ( | BasicBlock * | BB | ) |
Definition at line 983 of file SCCPSolver.cpp.
References llvm::dbgs(), llvm::Value::getName(), and LLVM_DEBUG.
|
inline |
Definition at line 943 of file SCCPSolver.cpp.
References F.
|
inline |
Definition at line 909 of file SCCPSolver.cpp.
Definition at line 831 of file SCCPSolver.cpp.
References llvm::SmallPtrSetImpl< PtrType >::count(), and F.
|
inline |
Definition at line 871 of file SCCPSolver.cpp.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::erase().
|
inline |
Definition at line 773 of file SCCPSolver.cpp.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), F, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and llvm::make_early_inc_range().
|
inline |
Invalidate the Lattice Value of Call
and its users after specializing the call.
Then recompute it.
Definition at line 875 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 2097 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 2165 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 1121 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 2069 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().
|
inline |
Definition at line 968 of file SCCPSolver.cpp.
References llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::clear(), I, resolvedUndef(), and solve().
|
inline |
Definition at line 948 of file SCCPSolver.cpp.
References F, resolvedUndefsIn(), and solve().
|
inline |
Definition at line 958 of file SCCPSolver.cpp.
References F, resolvedUndefsIn(), and solve().
|
inline |
Definition at line 928 of file SCCPSolver.cpp.
References A, and getArgAttributeVL().
|
inline |
Definition at line 809 of file SCCPSolver.cpp.
References llvm::GlobalVariable::getInitializer(), llvm::GlobalValue::getValueType(), llvm::Type::isSingleValueType(), and IV.
|
inline |
Definition at line 793 of file SCCPSolver.cpp.
References I.
|
friend |
Definition at line 710 of file SCCPSolver.cpp.