llvm::SimplifyQuery Struct Reference

#include "llvm/Analysis/InstructionSimplify.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)
SimplifyQuery	getWithInstruction (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 InstrInfoQuery	IIQ
bool	CanUseUndef = true
	Controls whether simplifications are allowed to constrain the range of possible values for uses of undef.

Detailed Description

Definition at line 88 of file InstructionSimplify.h.

Constructor & Destructor Documentation

SimplifyQuery() [1/2]

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

inline

Definition at line 105 of file InstructionSimplify.h.

SimplifyQuery() [2/2]

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  )

inline

Definition at line 108 of file InstructionSimplify.h.

Member Function Documentation

getWithInstruction()

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

inline

Definition at line 115 of file InstructionSimplify.h.

References I.

Referenced by llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpWithZero(), llvm::InstCombinerImpl::foldOpIntoPhi(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), llvm::InstCombinerImpl::foldSignBitTest(), llvm::InstCombinerImpl::foldUsingDistributiveLaws(), llvm::InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts(), llvm::InstCombinerImpl::SimplifyAssociativeOrCommutative(), simplifyInstructionWithOperands(), 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::visitShl(), llvm::InstCombinerImpl::visitShuffleVectorInst(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitSub(), llvm::InstCombinerImpl::visitUDiv(), llvm::InstCombinerImpl::visitURem(), and llvm::InstCombinerImpl::visitXor().

getWithoutUndef()

SimplifyQuery llvm::SimplifyQuery::getWithoutUndef ( ) const

inline

Definition at line 120 of file InstructionSimplify.h.

Referenced by expandBinOp(), llvm::InstCombinerImpl::foldUsingDistributiveLaws(), and simplifyBinaryIntrinsic().

isUndefValue()

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

inline

If CanUseUndef is true, returns whether V is undef.

Otherwise always return false.

Definition at line 128 of file InstructionSimplify.h.

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(), simplifyIntrinsic(), simplifyMulInst(), simplifyOrInst(), simplifyPHINode(), simplifyRightShift(), simplifySelectInst(), simplifyShlInst(), simplifyShuffleVectorInst(), simplifySubInst(), simplifyXorInst(), and threadBinOpOverSelect().

Member Data Documentation

AC

AssumptionCache* llvm::SimplifyQuery::AC = nullptr

Definition at line 92 of file InstructionSimplify.h.

Referenced by llvm::computeKnownBitsFromAssume(), computeKnownBitsFromCmp(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownFPClass(), computeKnownFPClassFromAssumes(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpWithZero(), foldICmpXorXX(), foldUnsignedUnderflowCheck(), isDivZero(), isKnownNonZero(), isKnownNonZeroFromAssume(), simplifyAndInst(), simplifyAndOrOfFCmps(), simplifyAShrInst(), simplifyDiv(), simplifyDivRem(), simplifyFCmpInst(), simplifyFMAFMul(), simplifyFreezeInst(), simplifyICmpInst(), simplifyICmpWithBinOpOnLHS(), simplifyICmpWithDominatingAssume(), simplifyICmpWithZero(), simplifyLShrInst(), simplifyOrInst(), simplifyRightShift(), simplifySelectInst(), simplifyShift(), simplifySubInst(), simplifyUnaryIntrinsic(), and simplifyUnsignedRangeCheck().

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 103 of file InstructionSimplify.h.

Referenced by isUndefValue().

CxtI

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

Definition at line 93 of file InstructionSimplify.h.

Referenced by llvm::computeKnownBitsFromAssume(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownFPClassFromAssumes(), ComputeNumSignBitsImpl(), computePointerICmp(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpWithZero(), foldICmpXorXX(), foldOrCommuteConstant(), foldUnsignedUnderflowCheck(), isDivZero(), isKnownNonZero(), isKnownNonZeroFromAssume(), isNonEqualPHIs(), isPowerOfTwoRecurrence(), simplifyAndInst(), simplifyAndOrOfFCmps(), simplifyAShrInst(), simplifyBinaryIntrinsic(), simplifyByDomEq(), simplifyDiv(), simplifyDivRem(), simplifyFCmpInst(), simplifyFMAFMul(), simplifyFreezeInst(), simplifyICmpInst(), simplifyICmpWithBinOpOnLHS(), simplifyICmpWithDominatingAssume(), simplifyICmpWithZero(), simplifyInstructionWithOperands(), simplifyLShrInst(), simplifyOrInst(), simplifyRightShift(), simplifySelectInst(), simplifySelectWithFCmp(), simplifyShift(), simplifySubInst(), simplifyUnaryIntrinsic(), and simplifyUnsignedRangeCheck().

DL

const DataLayout& llvm::SimplifyQuery::DL

Definition at line 89 of file InstructionSimplify.h.

Referenced by computeKnownBits(), computeKnownBitsFromOperator(), ComputeNumSignBitsImpl(), computePointerICmp(), foldConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), foldICmpXorXX(), foldOrCommuteConstant(), foldUnsignedUnderflowCheck(), isDivZero(), isGEPKnownNonNull(), isKnownNonZero(), simplifyAndInst(), simplifyAndOrOfFCmps(), simplifyAShrInst(), simplifyBinaryIntrinsic(), simplifyByDomEq(), simplifyCastInst(), simplifyDiv(), simplifyDivRem(), simplifyFCmpInst(), simplifyFMAFMul(), simplifyGEPInst(), simplifyICmpInst(), simplifyICmpOfBools(), simplifyICmpWithBinOp(), simplifyICmpWithBinOpOnLHS(), simplifyICmpWithDominatingAssume(), simplifyICmpWithZero(), simplifyInstructionWithOperands(), llvm::simplifyLoadInst(), simplifyLShrInst(), simplifyOrInst(), simplifyRightShift(), simplifySelectInst(), simplifyShift(), simplifySubInst(), simplifyUnaryIntrinsic(), simplifyUnsignedRangeCheck(), and simplifyWithOpReplaced().

DT

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

Definition at line 91 of file InstructionSimplify.h.

Referenced by llvm::computeKnownBitsFromAssume(), computeKnownBitsFromOperator(), computeKnownBitsMul(), computeKnownFPClassFromAssumes(), computePointerICmp(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpWithZero(), foldICmpXorXX(), foldUnsignedUnderflowCheck(), isDivZero(), isKnownNonZero(), isKnownNonZeroFromAssume(), runImpl(), simplifyAndInst(), simplifyAndOrOfFCmps(), simplifyAShrInst(), simplifyDiv(), simplifyDivRem(), simplifyFCmpInst(), simplifyFMAFMul(), simplifyFreezeInst(), simplifyICmpInst(), simplifyICmpWithBinOpOnLHS(), simplifyICmpWithDominatingAssume(), simplifyICmpWithZero(), simplifyLShrInst(), simplifyOrInst(), simplifyPHINode(), simplifyRightShift(), simplifySelectInst(), simplifyShift(), simplifySubInst(), simplifyUnaryIntrinsic(), simplifyUnsignedRangeCheck(), threadBinOpOverPHI(), and threadCmpOverPHI().

IIQ

const InstrInfoQuery llvm::SimplifyQuery::IIQ

Definition at line 98 of file InstructionSimplify.h.

Referenced by computeKnownBitsFromOperator(), computePointerICmp(), isKnownNonZero(), isKnownToBeAPowerOfTwo(), isPowerOfTwoRecurrence(), simplifyAndOfICmps(), simplifyAShrInst(), simplifyDivRem(), simplifyICmpInst(), simplifyICmpWithBinOp(), simplifyICmpWithZero(), simplifyInstructionWithOperands(), simplifyMulInst(), simplifyOrOfICmps(), simplifyRem(), and simplifyShlInst().

TLI

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

Definition at line 90 of file InstructionSimplify.h.

Referenced by computePointerICmp(), runImpl(), simplifyAndOrOfFCmps(), simplifyFAddInst(), simplifyFCmpInst(), simplifyFMAFMul(), simplifyFSubInst(), simplifyICmpInst(), simplifyInstructionWithOperands(), simplifyUnaryIntrinsic(), simplifyWithOpReplaced(), tryConstantFoldCall(), and llvm::InstCombinerImpl::visitFSub().

---

The documentation for this struct was generated from the following file:

• include/llvm/Analysis/InstructionSimplify.h