LLVM: llvm::SimplifyQuery Struct Reference

LLVM 13.0.0git

#include "llvm/Analysis/InstructionSimplify.h"

Collaboration diagram for llvm::SimplifyQuery:

Collaboration graph

[legend]

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. More...

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. More...

Detailed Description

Definition at line 94 of file InstructionSimplify.h.

Constructor & Destructor Documentation

◆ SimplifyQuery() [1/2]

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

inline

Definition at line 111 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 114 of file InstructionSimplify.h.

Member Function Documentation

◆ getWithInstruction()

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

inline

Definition at line 121 of file InstructionSimplify.h.

References I.

Referenced by llvm::InstCombinerImpl::foldICmpBinOp(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), llvm::InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts(), llvm::SimplifyInstruction(), simplifyLoopInst(), llvm::InstCombinerImpl::SimplifySelectsFeedingBinaryOp(), ThreadCmpOverPHI(), llvm::InstCombinerImpl::visitICmpInst(), llvm::InstCombinerImpl::visitShl(), and llvm::InstCombinerImpl::visitShuffleVectorInst().

◆ getWithoutUndef()

SimplifyQuery llvm::SimplifyQuery::getWithoutUndef ( ) const

inline

Definition at line 126 of file InstructionSimplify.h.

Referenced by expandBinOp(), 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 134 of file InstructionSimplify.h.

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

Referenced by 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 98 of file InstructionSimplify.h.

Referenced by llvm::InstCombinerImpl::foldICmpBinOp(), foldUnsignedUnderflowCheck(), SimplifyAndInst(), SimplifyAShrInst(), 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 109 of file InstructionSimplify.h.

Referenced by isUndefValue().

◆ CxtI

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

◆ DL

◆ DT

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

◆ IIQ

const InstrInfoQuery llvm::SimplifyQuery::IIQ

Definition at line 104 of file InstructionSimplify.h.

Referenced by computePointerICmp(), simplifyAndOfICmps(), SimplifyAShrInst(), simplifyDivRem(), SimplifyICmpInst(), simplifyICmpWithBinOp(), simplifyICmpWithZero(), llvm::SimplifyInstruction(), SimplifyMulInst(), simplifyOrOfICmps(), simplifyRem(), and SimplifyShlInst().

◆ TLI

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

Definition at line 96 of file InstructionSimplify.h.

Referenced by computePointerICmp(), runImpl(), simplifyAndOrOfCmps(), SimplifyFAddInst(), SimplifyFCmpInst(), SimplifyFSubInst(), SimplifyICmpInst(), llvm::SimplifyInstruction(), simplifyUnaryIntrinsic(), simplifyWithOpReplaced(), and tryConstantFoldCall().

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

include/llvm/Analysis/InstructionSimplify.h