LLVM 19.0.0git
|
#include "llvm/Analysis/SimplifyQuery.h"
Public Member Functions | |
SimplifyQuery (const DataLayout &DL, const Instruction *CXTI=nullptr) | |
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) | |
SimplifyQuery (const DataLayout &DL, const DominatorTree *DT, AssumptionCache *AC=nullptr, const Instruction *CXTI=nullptr, bool UseInstrInfo=true, bool CanUseUndef=true) | |
SimplifyQuery | getWithInstruction (const Instruction *I) const |
SimplifyQuery | getWithoutUndef () const |
bool | isUndefValue (Value *V) const |
If CanUseUndef is true, returns whether V is undef. | |
Public Attributes | |
const DataLayout & | DL |
const TargetLibraryInfo * | TLI = nullptr |
const DominatorTree * | DT = nullptr |
AssumptionCache * | AC = nullptr |
const Instruction * | CxtI = nullptr |
const DomConditionCache * | DC = nullptr |
const InstrInfoQuery | IIQ |
bool | CanUseUndef = true |
Controls whether simplifications are allowed to constrain the range of possible values for uses of undef. | |
Definition at line 60 of file SimplifyQuery.h.
|
inline |
Definition at line 78 of file SimplifyQuery.h.
|
inline |
Definition at line 81 of file SimplifyQuery.h.
|
inline |
Definition at line 89 of file SimplifyQuery.h.
|
inline |
Definition at line 96 of file SimplifyQuery.h.
References I.
Referenced by llvm::GCNTTIImpl::canSimplifyLegacyMulToMul(), llvm::InstCombiner::computeKnownBits(), computeKnownFPClass(), llvm::InstCombiner::computeOverflowForSignedAdd(), llvm::InstCombiner::computeOverflowForSignedMul(), llvm::InstCombiner::computeOverflowForSignedSub(), llvm::InstCombiner::computeOverflowForUnsignedAdd(), llvm::InstCombiner::computeOverflowForUnsignedMul(), llvm::InstCombiner::computeOverflowForUnsignedSub(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpCommutative(), llvm::InstCombinerImpl::foldICmpIntrinsicWithConstant(), llvm::InstCombinerImpl::foldICmpWithMinMax(), llvm::InstCombinerImpl::foldICmpWithZero(), foldSelectBinOpIdentity(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), llvm::InstCombinerImpl::foldSignBitTest(), llvm::InstCombinerImpl::foldUsingDistributiveLaws(), llvm::InstCombiner::MaskedValueIsZero(), llvm::InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts(), simplifyAndOrWithOpReplaced(), llvm::InstCombinerImpl::SimplifyAssociativeOrCommutative(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), simplifyInstructionWithOperands(), simplifyInstructionWithPHI(), simplifyLoopInst(), llvm::InstCombinerImpl::SimplifyMultipleUseDemandedBits(), llvm::InstCombinerImpl::SimplifySelectsFeedingBinaryOp(), threadBinOpOverPHI(), threadCmpOverPHI(), tryFactorization(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitExtractElementInst(), llvm::InstCombinerImpl::visitExtractValueInst(), llvm::InstCombinerImpl::visitFAdd(), llvm::InstCombinerImpl::visitFCmpInst(), llvm::InstCombinerImpl::visitFDiv(), llvm::InstCombinerImpl::visitFMul(), llvm::InstCombinerImpl::visitFreeze(), llvm::InstCombinerImpl::visitFRem(), llvm::InstCombinerImpl::visitGEPOfGEP(), llvm::InstCombinerImpl::visitGetElementPtrInst(), llvm::InstCombinerImpl::visitICmpInst(), llvm::InstCombinerImpl::visitInsertElementInst(), llvm::InstCombinerImpl::visitInsertValueInst(), llvm::InstCombinerImpl::visitLoadInst(), llvm::InstCombinerImpl::visitLShr(), llvm::InstCombinerImpl::visitMul(), llvm::InstCombinerImpl::visitOr(), llvm::InstCombinerImpl::visitPHINode(), llvm::InstCombinerImpl::visitSDiv(), llvm::InstCombinerImpl::visitSExt(), llvm::InstCombinerImpl::visitShl(), llvm::InstCombinerImpl::visitShuffleVectorInst(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitSub(), llvm::InstCombinerImpl::visitUDiv(), llvm::InstCombinerImpl::visitURem(), llvm::InstCombinerImpl::visitXor(), and llvm::InstCombinerImpl::visitZExt().
|
inline |
Definition at line 101 of file SimplifyQuery.h.
Referenced by expandBinOp(), llvm::InstCombinerImpl::foldUsingDistributiveLaws(), and llvm::simplifyBinaryIntrinsic().
If CanUseUndef is true, returns whether V
is undef.
Otherwise always return false.
Definition at line 109 of file SimplifyQuery.h.
References CanUseUndef, llvm::PatternMatch::m_Undef(), and llvm::PatternMatch::match().
Referenced by llvm::GCNTTIImpl::instCombineIntrinsic(), isPoisonShift(), simplifyAddInst(), simplifyAndInst(), llvm::simplifyBinaryIntrinsic(), simplifyDivRem(), simplifyExtractElementInst(), simplifyFCmpInst(), simplifyFPOp(), simplifyGEPInst(), simplifyICmpInst(), llvm::simplifyInsertElementInst(), simplifyInsertValueInst(), simplifyIntrinsic(), simplifyLdexp(), simplifyMulInst(), simplifyOrInst(), simplifyPHINode(), simplifyRightShift(), simplifySelectInst(), simplifyShlInst(), simplifyShuffleVectorInst(), simplifySubInst(), simplifyXorInst(), and threadBinOpOverSelect().
AssumptionCache* llvm::SimplifyQuery::AC = nullptr |
Definition at line 64 of file SimplifyQuery.h.
Referenced by llvm::computeKnownBitsFromContext(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownFPClass(), computeKnownFPClassFromContext(), llvm::computeOverflowForSignedSub(), llvm::computeOverflowForUnsignedSub(), llvm::InstCombinerImpl::foldAddWithConstant(), foldCtpopPow2Test(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpWithZero(), foldICmpXorXX(), foldUnsignedUnderflowCheck(), haveNoCommonBitsSetSpecialCases(), isKnownNonZeroFromAssume(), isKnownNonZeroFromOperator(), isMaskOrZero(), setShiftFlags(), simplifyAndCommutative(), simplifyAndInst(), simplifyAShrInst(), simplifyFreezeInst(), simplifyICmpInst(), simplifyICmpWithBinOpOnLHS(), simplifyICmpWithDominatingAssume(), simplifyICmpWithZero(), simplifyUnaryIntrinsic(), and simplifyUnsignedRangeCheck().
Controls whether simplifications are allowed to constrain the range of possible values for uses of undef.
If it is false, simplifications are not allowed to assume a particular value for a use of undef for example.
Definition at line 76 of file SimplifyQuery.h.
Referenced by isUndefValue().
const Instruction* llvm::SimplifyQuery::CxtI = nullptr |
Definition at line 65 of file SimplifyQuery.h.
Referenced by llvm::computeKnownBitsFromContext(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownFPClass(), computeKnownFPClassFromContext(), ComputeNumSignBitsImpl(), llvm::computeOverflowForSignedSub(), llvm::computeOverflowForUnsignedSub(), computePointerICmp(), llvm::InstCombinerImpl::foldAddWithConstant(), foldCtpopPow2Test(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpWithZero(), foldICmpXorXX(), foldOrCommuteConstant(), foldUnsignedUnderflowCheck(), haveNoCommonBitsSetSpecialCases(), isKnownNonZero(), isKnownNonZeroFromAssume(), isKnownNonZeroFromOperator(), isKnownToBeAPowerOfTwo(), isMaskOrZero(), isNonEqualPHIs(), isPowerOfTwoRecurrence(), setShiftFlags(), simplifyAndCommutative(), simplifyAndInst(), simplifyAShrInst(), simplifyByDomEq(), simplifyFCmpInst(), simplifyFreezeInst(), simplifyICmpInst(), simplifyICmpWithBinOpOnLHS(), simplifyICmpWithDominatingAssume(), simplifyICmpWithZero(), simplifyInstructionWithOperands(), simplifySelectInst(), simplifySelectWithFCmp(), simplifyUnaryIntrinsic(), and simplifyUnsignedRangeCheck().
const DomConditionCache* llvm::SimplifyQuery::DC = nullptr |
Definition at line 66 of file SimplifyQuery.h.
Referenced by llvm::computeKnownBitsFromContext(), computeKnownFPClassFromContext(), and llvm::InstCombinerImpl::foldICmpUsingKnownBits().
const DataLayout& llvm::SimplifyQuery::DL |
Definition at line 61 of file SimplifyQuery.h.
Referenced by computeKnownBits(), llvm::computeKnownBits(), computeKnownBitsFromCmp(), computeKnownBitsFromOperator(), ComputeNumSignBitsImpl(), llvm::computeOverflowForUnsignedSub(), computePointerICmp(), dropRedundantMaskingOfLeftShiftInput(), foldConstant(), foldCtpopPow2Test(), llvm::InstCombinerImpl::foldICmpBinOp(), foldICmpXorXX(), foldOrCommuteConstant(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), foldUnsignedUnderflowCheck(), isGEPKnownNonNull(), isKnownNonEqual(), isKnownNonZeroFromOperator(), isMaskOrZero(), isNonEqualPointersWithRecursiveGEP(), llvm::InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts(), setShiftFlags(), simplifyAndCommutative(), simplifyAndInst(), simplifyAndOrOfCmps(), simplifyAShrInst(), llvm::simplifyBinaryIntrinsic(), simplifyByDomEq(), simplifyCastInst(), simplifyFCmpInst(), simplifyGEPInst(), simplifyICmpInst(), simplifyICmpOfBools(), simplifyICmpWithBinOp(), simplifyICmpWithBinOpOnLHS(), simplifyICmpWithDominatingAssume(), simplifyICmpWithZero(), simplifyInstructionWithOperands(), llvm::simplifyLoadInst(), simplifyOrInst(), simplifySelectInst(), simplifySubInst(), simplifyUnaryIntrinsic(), simplifyUnsignedRangeCheck(), and simplifyWithOpReplaced().
const DominatorTree* llvm::SimplifyQuery::DT = nullptr |
Definition at line 63 of file SimplifyQuery.h.
Referenced by llvm::computeKnownBitsFromContext(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownFPClass(), computeKnownFPClassFromContext(), llvm::computeOverflowForSignedSub(), llvm::computeOverflowForUnsignedSub(), computePointerICmp(), llvm::InstCombinerImpl::foldAddWithConstant(), foldCtpopPow2Test(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpWithZero(), foldICmpXorXX(), foldUnsignedUnderflowCheck(), haveNoCommonBitsSetSpecialCases(), isKnownNonZero(), isKnownNonZeroFromAssume(), isKnownNonZeroFromOperator(), isMaskOrZero(), runImpl(), setShiftFlags(), simplifyAndCommutative(), simplifyAndInst(), simplifyAShrInst(), simplifyFreezeInst(), simplifyICmpInst(), simplifyICmpWithBinOpOnLHS(), simplifyICmpWithDominatingAssume(), simplifyICmpWithZero(), simplifyPHINode(), simplifyUnaryIntrinsic(), simplifyUnsignedRangeCheck(), threadBinOpOverPHI(), and threadCmpOverPHI().
const InstrInfoQuery llvm::SimplifyQuery::IIQ |
Definition at line 71 of file SimplifyQuery.h.
Referenced by llvm::computeConstantRangeIncludingKnownBits(), computeKnownBitsFromOperator(), computeKnownFPClass(), isKnownNonZero(), isKnownNonZeroFromOperator(), isKnownToBeAPowerOfTwo(), isPowerOfTwoRecurrence(), simplifyAndInst(), simplifyAndOfICmps(), simplifyAShrInst(), simplifyDivRem(), simplifyICmpInst(), simplifyICmpWithBinOp(), simplifyICmpWithZero(), simplifyInstructionWithOperands(), simplifyLShrInst(), simplifyMulInst(), simplifyOrOfICmps(), simplifyRem(), and simplifyShlInst().
const TargetLibraryInfo* llvm::SimplifyQuery::TLI = nullptr |
Definition at line 62 of file SimplifyQuery.h.
Referenced by computePointerICmp(), runImpl(), simplifyFCmpInst(), simplifyICmpInst(), simplifyInstructionWithOperands(), simplifyWithOpReplaced(), and tryConstantFoldCall().