#include "llvm/Analysis/LazyValueInfo.h"#include "llvm/ADT/DenseSet.h"#include "llvm/ADT/Optional.h"#include "llvm/ADT/STLExtras.h"#include "llvm/Analysis/AssumptionCache.h"#include "llvm/Analysis/ConstantFolding.h"#include "llvm/Analysis/InstructionSimplify.h"#include "llvm/Analysis/TargetLibraryInfo.h"#include "llvm/Analysis/ValueLattice.h"#include "llvm/Analysis/ValueTracking.h"#include "llvm/IR/AssemblyAnnotationWriter.h"#include "llvm/IR/CFG.h"#include "llvm/IR/ConstantRange.h"#include "llvm/IR/Constants.h"#include "llvm/IR/DataLayout.h"#include "llvm/IR/Dominators.h"#include "llvm/IR/Instructions.h"#include "llvm/IR/IntrinsicInst.h"#include "llvm/IR/Intrinsics.h"#include "llvm/IR/LLVMContext.h"#include "llvm/IR/PatternMatch.h"#include "llvm/IR/ValueHandle.h"#include "llvm/InitializePasses.h"#include "llvm/Support/Debug.h"#include "llvm/Support/FormattedStream.h"#include "llvm/Support/KnownBits.h"#include "llvm/Support/raw_ostream.h"#include <map>
Go to the source code of this file.
Namespaces | |
| llvm | |
Macros | |
| #define | DEBUG_TYPE "lazy-value-info" |
Variables | |
| static const unsigned | MaxProcessedPerValue = 500 |
| lazy value | info |
| lazy value Lazy Value Information | Analysis |
| lazy value Lazy Value Information | false |
| print lazy value Lazy Value Info Printer | Pass |
Macro Definition Documentation
◆ DEBUG_TYPE
| #define DEBUG_TYPE "lazy-value-info" |
Definition at line 45 of file LazyValueInfo.cpp.
Function Documentation
◆ AddNonNullPointer()
|
static |
Definition at line 631 of file LazyValueInfo.cpp.
References llvm::Type::getPointerAddressSpace(), llvm::Value::getType(), and llvm::getUnderlyingObject().
Referenced by AddNonNullPointersByInstruction().
◆ AddNonNullPointersByInstruction()
|
static |
Definition at line 637 of file LazyValueInfo.cpp.
References AddNonNullPointer(), I, llvm::ConstantInt::isZero(), MI, and S.
◆ constantFoldUser()
|
static |
Definition at line 1235 of file LazyValueInfo.cpp.
References assert(), DL, llvm::CastInst::getDestTy(), llvm::Constant::getIntegerValue(), llvm::BinaryOperator::getOpcode(), llvm::CastInst::getOpcode(), llvm::User::getOperand(), llvm::ValueLatticeElement::getOverdefined(), llvm::ValueLatticeElement::getRange(), isOperationFoldable(), llvm::SimplifyBinOp(), and llvm::SimplifyCastInst().
Referenced by getEdgeValueLocal().
◆ getEdgeValueLocal()
|
static |
Compute the value of Val on the edge BBFrom -> BBTo.
Returns false if Val is not constrained on the edge. Result is unspecified if return value is false.
Definition at line 1269 of file LazyValueInfo.cpp.
References llvm::ValueLatticeElement::asConstantInteger(), assert(), llvm::BitWidth, constantFoldUser(), llvm::ConstantRange::difference(), DL, llvm::ConstantInt::get(), llvm::ValueLatticeElement::get(), llvm::ValueLatticeElement::getConstantRange(), llvm::Value::getContext(), llvm::Module::getDataLayout(), llvm::Type::getInt1Ty(), llvm::Type::getIntegerBitWidth(), llvm::BasicBlock::getModule(), llvm::ValueLatticeElement::getRange(), llvm::BasicBlock::getTerminator(), llvm::Value::getType(), getValueFromCondition(), i, isOperationFoldable(), llvm::ValueLatticeElement::isOverdefined(), move, llvm::None, SI, llvm::ConstantRange::unionWith(), and usesOperand().
◆ getFromRangeMetadata()
|
static |
Definition at line 554 of file LazyValueInfo.cpp.
References llvm::MCID::Call, llvm::getConstantRangeFromMetadata(), llvm::Instruction::getMetadata(), llvm::Instruction::getOpcode(), llvm::ValueLatticeElement::getOverdefined(), llvm::ValueLatticeElement::getRange(), llvm::Value::getType(), and llvm::SPII::Load.
◆ getImpl()
|
static |
This lazily constructs the LazyValueInfoImpl.
Definition at line 1488 of file LazyValueInfo.cpp.
References assert(), DL, llvm::Intrinsic::getName(), and M.
Referenced by llvm::AttributeList::addParamAttribute(), llvm::LazyValueInfo::eraseBlock(), llvm::AttributeList::get(), llvm::ConstantArray::get(), llvm::ConstantVector::get(), llvm::MDTuple::get(), llvm::LazyValueInfo::getConstant(), llvm::LazyValueInfo::getConstantOnEdge(), llvm::LazyValueInfo::getConstantRange(), llvm::LazyValueInfo::getConstantRangeOnEdge(), llvm::MDTuple::getDistinct(), llvm::MDTuple::getIfExists(), llvm::LazyValueInfo::getPredicateAt(), llvm::LazyValueInfo::getPredicateOnEdge(), llvm::MDTuple::getTemporary(), llvm::LazyValueInfo::printLVI(), llvm::LazyValueInfo::releaseMemory(), llvm::AttributeList::removeAttribute(), llvm::AttributeList::removeAttributes(), llvm::LazyValueInfoWrapperPass::runOnFunction(), and llvm::LazyValueInfo::threadEdge().
◆ getPredicateResult()
|
static |
Definition at line 1641 of file LazyValueInfo.cpp.
References llvm::ConstantFoldCompareInstOperands(), llvm::ConstantRange::contains(), DL, llvm::LazyValueInfo::False, llvm::ValueLatticeElement::getConstant(), llvm::ValueLatticeElement::getConstantRange(), llvm::ValueLatticeElement::getNotConstant(), llvm::ConstantInt::getValue(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::ConstantRange::inverse(), llvm::ValueLatticeElement::isConstant(), llvm::ValueLatticeElement::isConstantRange(), llvm::ValueLatticeElement::isNotConstant(), llvm::Constant::isNullValue(), llvm::ConstantRange::isSingleElement(), llvm::ConstantRange::makeExactICmpRegion(), llvm::LazyValueInfo::True, and llvm::LazyValueInfo::Unknown.
Referenced by llvm::LazyValueInfo::getPredicateAt(), and llvm::LazyValueInfo::getPredicateOnEdge().
◆ getValueFromCondition() [1/2]
|
static |
Definition at line 1195 of file LazyValueInfo.cpp.
References Cond, llvm::ValueLatticeElement::getOverdefined(), getValueFromConditionImpl(), and llvm::DenseMapBase< SmallDenseMap< KeyT, ValueT, 4, DenseMapInfo< KeyT >, llvm::detail::DenseMapPair< KeyT, ValueT > >, KeyT, ValueT, DenseMapInfo< KeyT >, llvm::detail::DenseMapPair< KeyT, ValueT > >::try_emplace().
◆ getValueFromCondition() [2/2]
|
static |
Definition at line 1211 of file LazyValueInfo.cpp.
References assert(), and Cond.
Referenced by getEdgeValueLocal(), and getValueFromConditionImpl().
◆ getValueFromConditionImpl()
|
static |
Definition at line 1159 of file LazyValueInfo.cpp.
References Cond, llvm::ExtractValueInst::getAggregateOperand(), llvm::ExtractValueInst::getNumIndices(), llvm::ValueLatticeElement::getOverdefined(), getValueFromCondition(), getValueFromICmpCondition(), getValueFromOverflowCondition(), llvm::ExtractValueInst::idx_begin(), intersect(), llvm::ValueLatticeElement::isOverdefined(), llvm::PatternMatch::m_LogicalAnd(), llvm::PatternMatch::m_LogicalOr(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), and llvm::ValueLatticeElement::mergeIn().
Referenced by getValueFromCondition().
◆ getValueFromICmpCondition()
|
static |
Definition at line 1076 of file LazyValueInfo.cpp.
References llvm::BitWidth, llvm::ConstantRange::fromKnownBits(), llvm::ValueLatticeElement::get(), llvm::Type::getIntegerBitWidth(), llvm::CmpInst::getInversePredicate(), llvm::ConstantRange::getNonEmpty(), llvm::ValueLatticeElement::getNot(), llvm::APInt::getNullValue(), llvm::APInt::getOneBitSet(), llvm::User::getOperand(), llvm::ValueLatticeElement::getOverdefined(), llvm::CmpInst::getPredicate(), llvm::ValueLatticeElement::getRange(), llvm::Type::getScalarSizeInBits(), llvm::CmpInst::getSwappedPredicate(), llvm::Value::getType(), getValueFromSimpleICmpCondition(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::ICmpInst::isEquality(), llvm::Type::isIntegerTy(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Specific(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), matchICmpOperand(), Offset, llvm::KnownBits::One, and llvm::KnownBits::Zero.
Referenced by getValueFromConditionImpl().
◆ getValueFromOverflowCondition()
|
static |
Definition at line 1134 of file LazyValueInfo.cpp.
References llvm::BinaryOpIntrinsic::getBinaryOp(), llvm::BinaryOpIntrinsic::getLHS(), llvm::BinaryOpIntrinsic::getNoWrapKind(), llvm::ValueLatticeElement::getOverdefined(), llvm::ValueLatticeElement::getRange(), llvm::BinaryOpIntrinsic::getRHS(), llvm::ConstantRange::inverse(), llvm::PatternMatch::m_APInt(), llvm::ConstantRange::makeExactNoWrapRegion(), and llvm::PatternMatch::match().
Referenced by getValueFromConditionImpl().
◆ getValueFromSimpleICmpCondition()
|
static |
Get value range for a "(Val + Offset) Pred RHS" condition.
Definition at line 1061 of file LazyValueInfo.cpp.
References llvm::getConstantRangeFromMetadata(), llvm::Type::getIntegerBitWidth(), llvm::ValueLatticeElement::getRange(), llvm::Value::getType(), I, llvm::ConstantRange::makeAllowedICmpRegion(), Offset, and llvm::ConstantRange::subtract().
Referenced by getValueFromICmpCondition().
◆ hasSingleValue()
|
static |
Returns true if this lattice value represents at most one possible value.
This is as precise as any lattice value can get while still representing reachable code.
Definition at line 71 of file LazyValueInfo.cpp.
References llvm::ValueLatticeElement::getConstantRange(), llvm::ValueLatticeElement::isConstant(), llvm::ValueLatticeElement::isConstantRange(), and llvm::ConstantRange::isSingleElement().
Referenced by intersect().
◆ INITIALIZE_PASS_BEGIN() [1/2]
| INITIALIZE_PASS_BEGIN | ( | LazyValueInfoPrinter | , |
| "print-lazy-value-info" | , | ||
| "Lazy Value Info Printer Pass" | , | ||
| false | , | ||
| false | |||
| ) |
◆ INITIALIZE_PASS_BEGIN() [2/2]
| INITIALIZE_PASS_BEGIN | ( | LazyValueInfoWrapperPass | , |
| "lazy-value-info" | , | ||
| "Lazy Value Information Analysis" | , | ||
| false | , | ||
| true | |||
| ) |
◆ intersect()
|
static |
Combine two sets of facts about the same value into a single set of facts.
Note that this method is not suitable for merging facts along different paths in a CFG; that's what the mergeIn function is for. This is for merging facts gathered about the same value at the same location through two independent means. Notes:
- This method does not promise to return the most precise possible lattice value implied by A and B. It is allowed to return any lattice element which is at least as strong as either A or B (unless our facts conflict, see below).
- Due to unreachable code, the intersection of two lattice values could be contradictory. If this happens, we return some valid lattice value so as not confuse the rest of LVI. Ideally, we'd always return Undefined, but we do not make this guarantee. TODO: This would be a useful enhancement.
Definition at line 96 of file LazyValueInfo.cpp.
References B, llvm::ValueLatticeElement::getRange(), hasSingleValue(), and move.
Referenced by getValueFromConditionImpl().
◆ isKnownNonConstant()
|
static |
Returns true if we can statically tell that this value will never be a "useful" constant.
In practice, this means we've got something like an alloca or a malloc call for which a comparison against a constant can only be guarding dead code. Note that we are potentially giving up some precision in dead code (a constant result) in favour of avoiding a expensive search for a easily answered common query.
Definition at line 1556 of file LazyValueInfo.cpp.
References llvm::Value::stripPointerCasts().
Referenced by llvm::LazyValueInfo::getConstant().
◆ isOperationFoldable()
|
static |
Definition at line 1227 of file LazyValueInfo.cpp.
Referenced by constantFoldUser(), and getEdgeValueLocal().
◆ matchICmpOperand()
|
static |
Definition at line 1027 of file LazyValueInfo.cpp.
References llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_And(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), and Offset.
Referenced by getValueFromICmpCondition().
◆ usesOperand()
Definition at line 1219 of file LazyValueInfo.cpp.
References llvm::is_contained(), and llvm::User::operands().
Referenced by getEdgeValueLocal().
Variable Documentation
◆ Analysis
| lazy value Lazy Value Information Analysis |
Definition at line 60 of file LazyValueInfo.cpp.
◆ false
◆ info
| print lazy value info |
Definition at line 59 of file LazyValueInfo.cpp.
Referenced by ARM64EmitRuntimeFunction(), ARM64EmitUnwindInfo(), checkPackedEpilog(), EmitRuntimeFunction(), llvm::Win64EH::UnwindEmitter::EmitUnwindInfo(), llvm::Win64EH::ARM64UnwindEmitter::EmitUnwindInfo(), EmitUnwindInfo(), findLiveReferences(), FindMatchingEpilog(), llvm::CCState::getInRegsParamInfo(), llvm::TargetLowering::getMultipleConstraintMatchWeight(), llvm::SparcTargetLowering::getSingleConstraintMatchWeight(), llvm::AVRTargetLowering::getSingleConstraintMatchWeight(), llvm::SystemZTargetLowering::getSingleConstraintMatchWeight(), llvm::ARMTargetLowering::getSingleConstraintMatchWeight(), llvm::PPCTargetLowering::getSingleConstraintMatchWeight(), llvm::X86TargetLowering::getSingleConstraintMatchWeight(), llvm::TargetLowering::getSingleConstraintMatchWeight(), insertParsePoints(), recomputeLiveInValues(), llvm::MachO::swapStruct(), and tryPackedUnwind().
◆ MaxProcessedPerValue
|
static |
Definition at line 49 of file LazyValueInfo.cpp.
◆ Pass
Definition at line 1947 of file LazyValueInfo.cpp.
Referenced by llvm::PreservedCFGCheckerInstrumentation::registerCallbacks(), llvm::slpvectorizer::BoUpSLP::VLOperands::reorder(), llvm::PassManager< LazyCallGraph::SCC, CGSCCAnalysisManager, LazyCallGraph &, CGSCCUpdateResult & >::run(), and llvm::PassManager< Loop, LoopAnalysisManager, LoopStandardAnalysisResults &, LPMUpdater & >::runSinglePass().
