LLVM 24.0.0git
Public Member Functions | Public Attributes | List of all members
llvm::SimplifyQuery Struct Reference

#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 getWithFunction (const Function *F) const
const Function * getFunction () const
SimplifyQuery getWithoutUndef () const
SimplifyQuery allowEphemerals (bool AllowEphemerals) const
LLVM_ABI bool isUndefValue (Value *V) const
 If CanUseUndef is true, returns whether V is undef.
SimplifyQuery getWithoutDomCondCache () const
SimplifyQuery getWithCondContext (const CondContext &CC) const
SimplifyQuery getWithoutCondContext () const

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 CondContext * CC = nullptr
const InstrInfoQuery IIQ
bool CanUseUndef = true
 Controls whether simplifications are allowed to constrain the range of possible values for uses of undef.
bool AllowEphemerals = false

Detailed Description

Definition at line 71 of file SimplifyQuery.h.

Constructor & Destructor Documentation

◆ SimplifyQuery() [1/3]

llvm::SimplifyQuery::SimplifyQuery ( const DataLayout & DL,
const Instruction * CXTI = nullptr )
inline

Definition at line 95 of file SimplifyQuery.h.

References CxtI, and DL.

Referenced by allowEphemerals(), getWithCondContext(), getWithFunction(), getWithInstruction(), getWithoutCondContext(), getWithoutDomCondCache(), and getWithoutUndef().

◆ SimplifyQuery() [2/3]

llvm::SimplifyQuery::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 )
inline

Definition at line 98 of file SimplifyQuery.h.

References AC, CanUseUndef, CxtI, DC, DL, DT, IIQ, and TLI.

◆ SimplifyQuery() [3/3]

llvm::SimplifyQuery::SimplifyQuery ( const DataLayout & DL,
const DominatorTree * DT,
AssumptionCache * AC = nullptr,
const Instruction * CXTI = nullptr,
bool UseInstrInfo = true,
bool CanUseUndef = true )
inline

Definition at line 106 of file SimplifyQuery.h.

References AC, CanUseUndef, CxtI, DL, DT, and IIQ.

Member Function Documentation

◆ allowEphemerals()

SimplifyQuery llvm::SimplifyQuery::allowEphemerals ( bool AllowEphemerals) const
inline

Definition at line 135 of file SimplifyQuery.h.

References AllowEphemerals, and SimplifyQuery().

◆ getFunction()

const Function * llvm::SimplifyQuery::getFunction ( ) const
inline

Definition at line 123 of file SimplifyQuery.h.

References CxtI.

Referenced by simplifyAddrSpaceCastInst(), simplifyBinaryIntrinsic(), simplifyFCmpInst(), simplifyInstructionWithOperands(), and llvm::simplifyIntrinsic().

◆ getWithCondContext()

SimplifyQuery llvm::SimplifyQuery::getWithCondContext ( const CondContext & CC) const
inline

Definition at line 151 of file SimplifyQuery.h.

References CC, and SimplifyQuery().

◆ getWithFunction()

SimplifyQuery llvm::SimplifyQuery::getWithFunction ( const Function * F) const
inline

Definition at line 118 of file SimplifyQuery.h.

References F, and SimplifyQuery().

Referenced by simplifyIntrinsic().

◆ getWithInstruction()

SimplifyQuery llvm::SimplifyQuery::getWithInstruction ( const Instruction * I) const
inline

Definition at line 113 of file SimplifyQuery.h.

References I, and SimplifyQuery().

Referenced by llvm::GCNTTIImpl::canSimplifyLegacyMulToMul(), llvm::computeConstantRange(), computeKnownBitsFromOperator(), computeKnownFPClass(), foldCtpop(), foldCttzCtlz(), foldFCmpFSubIntoFCmp(), foldFPtoI(), foldICmpAndXX(), foldSelectBinOpIdentity(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), llvm::RISCVTTIImpl::instCombineIntrinsic(), simplifyAndOrWithOpReplaced(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), simplifyInstructionWithOperands(), simplifyInstructionWithPHI(), simplifyLoopInst(), simplifyX86FPMaxMin(), threadBinOpOverPHI(), threadCmpOverPHI(), and tryFactorization().

◆ getWithoutCondContext()

SimplifyQuery llvm::SimplifyQuery::getWithoutCondContext ( ) const
inline

Definition at line 157 of file SimplifyQuery.h.

References SimplifyQuery().

Referenced by computeKnownBitsForRecurrenceOperands(), computeKnownBitsFromOperator(), computeKnownFPClass(), ComputeNumSignBitsImpl(), isKnownNonZeroFromOperator(), llvm::isKnownToBeAPowerOfTwo(), and isNonEqualPHIs().

◆ getWithoutDomCondCache()

SimplifyQuery llvm::SimplifyQuery::getWithoutDomCondCache ( ) const
inline

Definition at line 145 of file SimplifyQuery.h.

References SimplifyQuery().

◆ getWithoutUndef()

SimplifyQuery llvm::SimplifyQuery::getWithoutUndef ( ) const
inline

Definition at line 130 of file SimplifyQuery.h.

References SimplifyQuery().

Referenced by expandBinOp(), simplifyAndOrWithICmpEq(), simplifyBinaryIntrinsic(), simplifySelectWithEquivalence(), and llvm::simplifyWithOpReplaced().

◆ isUndefValue()

bool llvm::SimplifyQuery::isUndefValue ( Value * V) const

If CanUseUndef is true, returns whether V is undef.

Otherwise always return false.

Definition at line 8009 of file InstructionSimplify.cpp.

References CanUseUndef, llvm::PatternMatch::m_Undef(), and llvm::PatternMatch::match().

Referenced by llvm::GCNTTIImpl::instCombineIntrinsic(), isPoisonShift(), simplifyAddInst(), simplifyAndInst(), simplifyBinaryIntrinsic(), simplifyDivRem(), simplifyExtractElementInst(), simplifyFCmpInst(), simplifyFPOp(), simplifyGEPInst(), simplifyICmpInst(), llvm::simplifyInsertElementInst(), simplifyInsertValueInst(), llvm::simplifyIntrinsic(), simplifyLdexp(), simplifyMulInst(), simplifyOrInst(), simplifyPHINode(), simplifyRightShift(), simplifySelectInst(), simplifyShlInst(), simplifyShuffleVectorInst(), simplifySubInst(), simplifyXorInst(), and threadBinOpOverSelect().

Member Data Documentation

◆ AC

AssumptionCache* llvm::SimplifyQuery::AC = nullptr

Definition at line 79 of file SimplifyQuery.h.

Referenced by llvm::adjustKnownBitsForSelectArm(), llvm::adjustKnownFPClassForSelectArm(), canoncalizeSelectICmpMinMax(), canScalarizeAccess(), llvm::computeConstantRange(), llvm::computeKnownBitsFromContext(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownFPClass(), computeKnownFPClassFromContext(), llvm::computeOverflowForSignedSub(), llvm::computeOverflowForUnsignedSub(), foldCtpopPow2Test(), haveNoCommonBitsSetSpecialCases(), isDereferenceableAndAlignedPointer(), isDereferenceableAndAlignedPointerViaAssumption(), isKnownNonEqualFromContext(), isKnownNonPositive(), isKnownNonZeroFromAssume(), isKnownNonZeroFromOperator(), llvm::isKnownToBeAPowerOfTwo(), isMaskOrZero(), setShiftFlags(), simplifyAndCommutative(), simplifyAndInst(), simplifyAShrInst(), simplifyFreezeInst(), simplifyICmpWithDominatingAssume(), simplifyPHINode(), SimplifyQuery(), SimplifyQuery(), and simplifyUnaryIntrinsic().

◆ AllowEphemerals

bool llvm::SimplifyQuery::AllowEphemerals = false

Definition at line 93 of file SimplifyQuery.h.

Referenced by allowEphemerals(), and llvm::isValidAssumeForContext().

◆ CanUseUndef

bool llvm::SimplifyQuery::CanUseUndef = true

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 92 of file SimplifyQuery.h.

Referenced by isUndefValue(), SimplifyQuery(), SimplifyQuery(), and simplifyWithOpsReplaced().

◆ CC

const CondContext* llvm::SimplifyQuery::CC = nullptr

Definition at line 82 of file SimplifyQuery.h.

Referenced by llvm::computeKnownBitsFromContext(), computeKnownFPClassFromContext(), and getWithCondContext().

◆ CxtI

const Instruction* llvm::SimplifyQuery::CxtI = nullptr

Definition at line 80 of file SimplifyQuery.h.

Referenced by llvm::adjustKnownBitsForSelectArm(), llvm::adjustKnownFPClassForSelectArm(), canoncalizeSelectICmpMinMax(), canScalarizeAccess(), llvm::computeConstantRange(), computeKnownBitsAddSub(), computeKnownBitsForRecurrenceOperands(), llvm::computeKnownBitsFromContext(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownExponentRangeFromContext(), computeKnownFPClass(), computeKnownFPClassFromContext(), ComputeNumSignBitsImpl(), llvm::computeOverflowForSignedSub(), llvm::computeOverflowForUnsignedSub(), foldCtpopPow2Test(), foldOrCommuteConstant(), getFunction(), getKnownSign(), getKnownSignOrZero(), haveNoCommonBitsSetSpecialCases(), isDereferenceableAndAlignedPointer(), isDereferenceableAndAlignedPointerViaAssumption(), isKnownNonEqualFromContext(), isKnownNonPositive(), isKnownNonZero(), isKnownNonZeroFromAssume(), isKnownNonZeroFromOperator(), llvm::isKnownToBeAPowerOfTwo(), isMaskOrZero(), isNonEqualPHIs(), isNonEqualURem(), isPowerOfTwoRecurrence(), llvm::isSafeToLoadUnconditionally(), llvm::isValidAssumeForContext(), setShiftFlags(), simplifyAndCommutative(), simplifyAndInst(), simplifyAShrInst(), simplifyByDomEq(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), simplifyFCmpInst(), simplifyFreezeInst(), simplifyICmpInst(), simplifyICmpWithDominatingAssume(), simplifyInstructionWithOperands(), simplifyPHINode(), SimplifyQuery(), SimplifyQuery(), SimplifyQuery(), simplifySelectInst(), and simplifyUnaryIntrinsic().

◆ DC

const DomConditionCache* llvm::SimplifyQuery::DC = nullptr

Definition at line 81 of file SimplifyQuery.h.

Referenced by llvm::computeKnownBitsFromContext(), computeKnownExponentRangeFromContext(), computeKnownFPClassFromContext(), isKnownNonEqualFromContext(), llvm::isKnownToBeAPowerOfTwo(), and SimplifyQuery().

◆ DL

const DataLayout& llvm::SimplifyQuery::DL

Definition at line 76 of file SimplifyQuery.h.

Referenced by computeKnownBits(), llvm::computeKnownBits(), llvm::computeKnownBits(), computeKnownBitsAddSub(), computeKnownBitsForHorizontalOperation(), computeKnownBitsFromCmp(), computeKnownBitsFromOperator(), ComputeNumSignBitsImpl(), llvm::computeOverflowForUnsignedSub(), computePointerICmp(), dropRedundantMaskingOfLeftShiftInput(), foldConstant(), foldCtpopPow2Test(), foldOrCommuteConstant(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), getKnownSign(), getKnownSignOrZero(), isDereferenceableAndAlignedPointer(), llvm::isDereferenceableAndAlignedPointer(), isDereferenceableAndAlignedPointerViaAssumption(), isGEPKnownNonNull(), isKnownNonEqual(), isKnownNonEqualFromContext(), isKnownNonPositive(), isKnownNonZeroFromOperator(), isMaskOrZero(), isNonEqualPointersWithRecursiveGEP(), isNonEqualURem(), llvm::isSafeToLoadUnconditionally(), llvm::isSafeToLoadUnconditionally(), setShiftFlags(), simplifyAndCommutative(), simplifyAndInst(), simplifyAndOrOfCmps(), simplifyAShrInst(), simplifyBinaryIntrinsic(), simplifyByDomEq(), simplifyCastInst(), simplifyFCmpInst(), simplifyGEPInst(), simplifyICmpInst(), simplifyICmpOfBools(), simplifyICmpWithDominatingAssume(), simplifyInstructionWithOperands(), llvm::simplifyIntrinsic(), llvm::simplifyLoadInst(), simplifyOrInst(), SimplifyQuery(), SimplifyQuery(), SimplifyQuery(), simplifySelectInst(), simplifySelectWithICmpCond(), simplifySubInst(), simplifyUnaryIntrinsic(), and simplifyWithOpsReplaced().

◆ DT

const DominatorTree* llvm::SimplifyQuery::DT = nullptr

Definition at line 78 of file SimplifyQuery.h.

Referenced by llvm::adjustKnownBitsForSelectArm(), llvm::adjustKnownFPClassForSelectArm(), canoncalizeSelectICmpMinMax(), canScalarizeAccess(), llvm::computeKnownBitsFromContext(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownExponentRangeFromContext(), computeKnownFPClass(), computeKnownFPClassFromContext(), llvm::computeOverflowForSignedSub(), llvm::computeOverflowForUnsignedSub(), foldCtpopPow2Test(), haveNoCommonBitsSetSpecialCases(), isDereferenceableAndAlignedPointer(), isDereferenceableAndAlignedPointerViaAssumption(), isKnownNonEqualFromContext(), isKnownNonPositive(), isKnownNonZero(), isKnownNonZeroFromOperator(), llvm::isKnownToBeAPowerOfTwo(), isMaskOrZero(), llvm::isValidAssumeForContext(), runImpl(), setShiftFlags(), simplifyAndCommutative(), simplifyAndInst(), simplifyAShrInst(), simplifyFreezeInst(), simplifyPHINode(), SimplifyQuery(), SimplifyQuery(), simplifyUnaryIntrinsic(), threadBinOpOverPHI(), and threadCmpOverPHI().

◆ IIQ

const InstrInfoQuery llvm::SimplifyQuery::IIQ

Definition at line 87 of file SimplifyQuery.h.

Referenced by llvm::computeConstantRange(), computeKnownBitsFromOperator(), computeKnownFPClass(), isKnownNonZeroFromOperator(), llvm::isKnownToBeAPowerOfTwo(), isPowerOfTwoRecurrence(), simplifyAndInst(), simplifyAndOfICmps(), simplifyAShrInst(), simplifyDivRem(), simplifyICmpInst(), simplifyICmpWithBinOp(), simplifyICmpWithConstant(), simplifyInstructionWithOperands(), simplifyLShrInst(), simplifyMulInst(), simplifyOrOfICmps(), SimplifyQuery(), SimplifyQuery(), simplifyRem(), and simplifyShlInst().

◆ TLI

const TargetLibraryInfo* llvm::SimplifyQuery::TLI = nullptr

Definition at line 77 of file SimplifyQuery.h.

Referenced by computePointerICmp(), isDereferenceableAndAlignedPointer(), runImpl(), simplifyFCmpInst(), simplifyICmpInst(), simplifyInstructionWithOperands(), SimplifyQuery(), simplifyWithOpsReplaced(), and tryConstantFoldCall().

The documentation for this struct was generated from the following files:
Generated on for LLVM by doxygen 1.14.0