9#ifndef LLVM_ANALYSIS_SIMPLIFYQUERY_H
10#define LLVM_ANALYSIS_SIMPLIFYQUERY_H
17class DomConditionCache;
19class TargetLibraryInfo;
31 return I->getMetadata(KindID);
37 return Op->hasNoUnsignedWrap();
43 return Op->hasNoSignedWrap();
49 return cast<PossiblyExactOperator>(
Op)->isExact();
55 return Op->hasNoSignedZeros();
84 const Instruction *CXTI =
nullptr,
bool UseInstrInfo =
true,
91 const Instruction *CXTI =
nullptr,
bool UseInstrInfo =
true,
103 Copy.CanUseUndef =
false;
A cache of @llvm.assume calls within a function.
This class represents an Operation in the Expression.
A parsed version of the target data layout string in and methods for querying it.
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
Provides information about what library functions are available for the current target.
LLVM Value Representation.
This is an optimization pass for GlobalISel generic memory operations.
InstrInfoQuery provides an interface to query additional information for instructions like metadata o...
bool isExact(const BinaryOperator *Op) const
MDNode * getMetadata(const Instruction *I, unsigned KindID) const
bool hasNoSignedZeros(const InstT *Op) const
bool hasNoSignedWrap(const InstT *Op) const
bool hasNoUnsignedWrap(const InstT *Op) const
SimplifyQuery(const DataLayout &DL, const Instruction *CXTI=nullptr)
bool CanUseUndef
Controls whether simplifications are allowed to constrain the range of possible values for uses of un...
SimplifyQuery getWithInstruction(const Instruction *I) const
SimplifyQuery(const DataLayout &DL, const TargetLibraryInfo *TLI, const DominatorTree *DT=nullptr, AssumptionCache *AC=nullptr, const Instruction *CXTI=nullptr, bool UseInstrInfo=true, bool CanUseUndef=true, const DomConditionCache *DC=nullptr)
bool isUndefValue(Value *V) const
If CanUseUndef is true, returns whether V is undef.
const DomConditionCache * DC
SimplifyQuery(const DataLayout &DL, const DominatorTree *DT, AssumptionCache *AC=nullptr, const Instruction *CXTI=nullptr, bool UseInstrInfo=true, bool CanUseUndef=true)
const TargetLibraryInfo * TLI
SimplifyQuery getWithoutUndef() const
SimplifyQuery getWithoutDomCondCache() const