llvm::InstCombiner Class Reference

The core instruction combiner logic. More...

#include "llvm/Transforms/InstCombine/InstCombiner.h"

Inheritance diagram for llvm::InstCombiner:

Public Types
using	BuilderTy = IRBuilder< TargetFolder, IRBuilderCallbackInserter >
	An IRBuilder that automatically inserts new instructions into the worklist.

Public Member Functions
	InstCombiner (InstructionWorklist &Worklist, BuilderTy &Builder, bool MinimizeSize, AAResults *AA, AssumptionCache &AC, TargetLibraryInfo &TLI, TargetTransformInfo &TTI, DominatorTree &DT, OptimizationRemarkEmitter &ORE, BlockFrequencyInfo *BFI, BranchProbabilityInfo *BPI, ProfileSummaryInfo *PSI, const DataLayout &DL, ReversePostOrderTraversal< BasicBlock * > &RPOT)
virtual	~InstCombiner ()=default
Value *	getFreelyInvertedImpl (Value *V, bool WillInvertAllUses, BuilderTy *Builder, bool &DoesConsume, unsigned Depth)
	Return nonnull value if V is free to invert under the condition of WillInvertAllUses.
Value *	getFreelyInverted (Value *V, bool WillInvertAllUses, BuilderTy *Builder, bool &DoesConsume)
Value *	getFreelyInverted (Value *V, bool WillInvertAllUses, BuilderTy *Builder)
bool	isFreeToInvert (Value *V, bool WillInvertAllUses, bool &DoesConsume)
	Return true if the specified value is free to invert (apply ~ to).
bool	isFreeToInvert (Value *V, bool WillInvertAllUses)
bool	canFreelyInvertAllUsersOf (Instruction *V, Value *IgnoredUser)
	Given i1 V, can every user of V be freely adapted if V is changed to !V ? InstCombine's freelyInvertAllUsersOf() must be kept in sync with this fn.
void	addToWorklist (Instruction *I)
AssumptionCache &	getAssumptionCache () const
TargetLibraryInfo &	getTargetLibraryInfo () const
DominatorTree &	getDominatorTree () const
const DataLayout &	getDataLayout () const
const SimplifyQuery &	getSimplifyQuery () const
OptimizationRemarkEmitter &	getOptimizationRemarkEmitter () const
BlockFrequencyInfo *	getBlockFrequencyInfo () const
ProfileSummaryInfo *	getProfileSummaryInfo () const
std::optional< Instruction * >	targetInstCombineIntrinsic (IntrinsicInst &II)
std::optional< Value * >	targetSimplifyDemandedUseBitsIntrinsic (IntrinsicInst &II, APInt DemandedMask, KnownBits &Known, bool &KnownBitsComputed)
std::optional< Value * >	targetSimplifyDemandedVectorEltsIntrinsic (IntrinsicInst &II, APInt DemandedElts, APInt &UndefElts, APInt &UndefElts2, APInt &UndefElts3, std::function< void(Instruction *, unsigned, APInt, APInt &)> SimplifyAndSetOp)
void	computeBackEdges ()
bool	isBackEdge (const BasicBlock *From, const BasicBlock *To)
Instruction *	InsertNewInstBefore (Instruction *New, BasicBlock::iterator Old)
	Inserts an instruction New before instruction Old.
Instruction *	InsertNewInstWith (Instruction *New, BasicBlock::iterator Old)
	Same as InsertNewInstBefore, but also sets the debug loc.
Instruction *	replaceInstUsesWith (Instruction &I, Value *V)
	A combiner-aware RAUW-like routine.
Instruction *	replaceOperand (Instruction &I, unsigned OpNum, Value *V)
	Replace operand of instruction and add old operand to the worklist.
void	replaceUse (Use &U, Value *NewValue)
	Replace use and add the previously used value to the worklist.
virtual Instruction *	eraseInstFromFunction (Instruction &I)=0
	Combiner aware instruction erasure.
void	computeKnownBits (const Value *V, KnownBits &Known, unsigned Depth, const Instruction *CxtI) const
KnownBits	computeKnownBits (const Value *V, unsigned Depth, const Instruction *CxtI) const
bool	isKnownToBeAPowerOfTwo (const Value *V, bool OrZero=false, unsigned Depth=0, const Instruction *CxtI=nullptr)
bool	MaskedValueIsZero (const Value *V, const APInt &Mask, unsigned Depth=0, const Instruction *CxtI=nullptr) const
unsigned	ComputeNumSignBits (const Value *Op, unsigned Depth=0, const Instruction *CxtI=nullptr) const
unsigned	ComputeMaxSignificantBits (const Value *Op, unsigned Depth=0, const Instruction *CxtI=nullptr) const
OverflowResult	computeOverflowForUnsignedMul (const Value *LHS, const Value *RHS, const Instruction *CxtI, bool IsNSW=false) const
OverflowResult	computeOverflowForSignedMul (const Value *LHS, const Value *RHS, const Instruction *CxtI) const
OverflowResult	computeOverflowForUnsignedAdd (const WithCache< const Value * > &LHS, const WithCache< const Value * > &RHS, const Instruction *CxtI) const
OverflowResult	computeOverflowForSignedAdd (const WithCache< const Value * > &LHS, const WithCache< const Value * > &RHS, const Instruction *CxtI) const
OverflowResult	computeOverflowForUnsignedSub (const Value *LHS, const Value *RHS, const Instruction *CxtI) const
OverflowResult	computeOverflowForSignedSub (const Value *LHS, const Value *RHS, const Instruction *CxtI) const
virtual bool	SimplifyDemandedBits (Instruction *I, unsigned OpNo, const APInt &DemandedMask, KnownBits &Known, unsigned Depth, const SimplifyQuery &Q)=0
bool	SimplifyDemandedBits (Instruction *I, unsigned OpNo, const APInt &DemandedMask, KnownBits &Known)
virtual Value *	SimplifyDemandedVectorElts (Value *V, APInt DemandedElts, APInt &UndefElts, unsigned Depth=0, bool AllowMultipleUsers=false)=0
bool	isValidAddrSpaceCast (unsigned FromAS, unsigned ToAS) const

Static Public Member Functions
static Value *	peekThroughBitcast (Value *V, bool OneUseOnly=false)
	Return the source operand of a potentially bitcasted value while optionally checking if it has one use.
static unsigned	getComplexity (Value *V)
	Assign a complexity or rank value to LLVM Values.
static bool	isCanonicalPredicate (CmpPredicate Pred)
	Predicate canonicalization reduces the number of patterns that need to be matched by other transforms.
static Constant *	AddOne (Constant *C)
	Add one to a Constant.
static Constant *	SubOne (Constant *C)
	Subtract one from a Constant.
static std::optional< std::pair< CmpPredicate, Constant * > >	getFlippedStrictnessPredicateAndConstant (CmpPredicate Pred, Constant *C)
static bool	shouldAvoidAbsorbingNotIntoSelect (const SelectInst &SI)
static Constant *	getSafeVectorConstantForBinop (BinaryOperator::BinaryOps Opcode, Constant *In, bool IsRHSConstant)
	Some binary operators require special handling to avoid poison and undefined behavior.

Public Attributes
uint64_t	MaxArraySizeForCombine = 0
	Maximum size of array considered when transforming.
BuilderTy &	Builder

Protected Attributes
InstructionWorklist &	Worklist
	A worklist of the instructions that need to be simplified.
const bool	MinimizeSize
AAResults *	AA
AssumptionCache &	AC
TargetLibraryInfo &	TLI
DominatorTree &	DT
const DataLayout &	DL
SimplifyQuery	SQ
OptimizationRemarkEmitter &	ORE
BlockFrequencyInfo *	BFI
BranchProbabilityInfo *	BPI
ProfileSummaryInfo *	PSI
DomConditionCache	DC
ReversePostOrderTraversal< BasicBlock * > &	RPOT
bool	MadeIRChange = false
SmallDenseSet< std::pair< BasicBlock *, BasicBlock * >, 8 >	DeadEdges
	Edges that are known to never be taken.
SmallDenseMap< BasicBlock *, SmallVector< BasicBlock * >, 8 >	PredOrder
	Order of predecessors to canonicalize phi nodes towards.
SmallDenseSet< std::pair< const BasicBlock *, const BasicBlock * >, 8 >	BackEdges
	Backedges, used to avoid pushing instructions across backedges in cases where this may result in infinite combine loops.
bool	ComputedBackEdges = false

Detailed Description

The core instruction combiner logic.

This class provides both the logic to recursively visit instructions and combine them.

Definition at line 48 of file InstCombiner.h.

Member Typedef Documentation

BuilderTy

using llvm::InstCombiner::BuilderTy = IRBuilder<TargetFolder, IRBuilderCallbackInserter>

An IRBuilder that automatically inserts new instructions into the worklist.

Definition at line 60 of file InstCombiner.h.

Constructor & Destructor Documentation

InstCombiner()

llvm::InstCombiner::InstCombiner ( InstructionWorklist &  Worklist, BuilderTy &  Builder, bool  MinimizeSize, AAResults *  AA, AssumptionCache &  AC, TargetLibraryInfo &  TLI, TargetTransformInfo &  TTI, DominatorTree &  DT, OptimizationRemarkEmitter &  ORE, BlockFrequencyInfo *  BFI, BranchProbabilityInfo *  BPI, ProfileSummaryInfo *  PSI, const DataLayout &  DL, ReversePostOrderTraversal< BasicBlock * > &  RPOT  )

inline

Definition at line 101 of file InstCombiner.h.

~InstCombiner()

virtual llvm::InstCombiner::~InstCombiner ( )

virtualdefault

Member Function Documentation

AddOne()

static Constant * llvm::InstCombiner::AddOne ( Constant *  C )

inlinestatic

Add one to a Constant.

Definition at line 178 of file InstCombiner.h.

References C.

Referenced by llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::visitAdd(), and llvm::InstCombinerImpl::visitSub().

addToWorklist()

void llvm::InstCombiner::addToWorklist ( Instruction *  I )

inline

Definition at line 338 of file InstCombiner.h.

References I, and llvm::InstructionWorklist::push().

Referenced by llvm::InstCombinerImpl::addDeadEdge(), foldIsPowerOf2(), foldIsPowerOf2OrZero(), llvm::InstCombinerImpl::freelyInvertAllUsersOf(), getShiftedValue(), llvm::InstCombinerImpl::handleUnreachableFrom(), processUMulZExtIdiom(), replaceExtractElements(), rewriteGEPAsOffset(), llvm::X86TTIImpl::simplifyDemandedVectorEltsIntrinsic(), and llvm::InstCombinerImpl::visitBranchInst().

canFreelyInvertAllUsersOf()

bool llvm::InstCombiner::canFreelyInvertAllUsersOf ( Instruction *  V, Value *  IgnoredUser  )

inline

Given i1 V, can every user of V be freely adapted if V is changed to !V ? InstCombine's freelyInvertAllUsersOf() must be kept in sync with this fn.

NOTE: for Instructions only!

See also: isFreeToInvert()

Definition at line 250 of file InstCombiner.h.

References assert(), and I.

Referenced by canFreelyInvert(), llvm::InstCombinerImpl::canonicalizeICmpPredicate(), llvm::InstCombinerImpl::sinkNotIntoLogicalOp(), and llvm::InstCombinerImpl::sinkNotIntoOtherHandOfLogicalOp().

computeBackEdges()

void InstCombiner::computeBackEdges

(

)

Definition at line 5470 of file InstructionCombining.cpp.

References BackEdges, ComputedBackEdges, llvm::SmallPtrSetImpl< PtrType >::contains(), llvm::SmallPtrSetImpl< PtrType >::insert(), RPOT, and llvm::successors().

computeKnownBits() [1/2]

void llvm::InstCombiner::computeKnownBits ( const Value *  V, KnownBits &  Known, unsigned  Depth, const Instruction *  CxtI  ) const

inline

Definition at line 439 of file InstCombiner.h.

References llvm::computeKnownBits(), llvm::Depth, and llvm::SimplifyQuery::getWithInstruction().

Referenced by canReplaceGEPIdxWithZero(), llvm::InstCombinerImpl::convertOrOfShiftsToFunnelShift(), llvm::InstCombinerImpl::foldAddWithConstant(), foldCtpop(), foldCttzCtlz(), llvm::InstCombinerImpl::foldICmpAndConstConst(), foldICmpAndXX(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpTruncConstant(), llvm::InstCombinerImpl::foldICmpWithZero(), isKnownExactCastIntToFP(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), llvm::InstCombinerImpl::simplifyRangeCheck(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitLShr(), llvm::InstCombinerImpl::visitOr(), llvm::InstCombinerImpl::visitSDiv(), and llvm::InstCombinerImpl::visitSwitchInst().

computeKnownBits() [2/2]

KnownBits llvm::InstCombiner::computeKnownBits ( const Value *  V, unsigned  Depth, const Instruction *  CxtI  ) const

inline

Definition at line 444 of file InstCombiner.h.

References llvm::computeKnownBits(), llvm::Depth, and llvm::SimplifyQuery::getWithInstruction().

ComputeMaxSignificantBits()

unsigned llvm::InstCombiner::ComputeMaxSignificantBits ( const Value *  Op, unsigned  Depth = 0, const Instruction *  CxtI = nullptr  ) const

inline

Definition at line 466 of file InstCombiner.h.

References llvm::ComputeMaxSignificantBits(), llvm::Depth, and DL.

Referenced by processUGT_ADDCST_ADD(), and llvm::InstCombinerImpl::visitTrunc().

ComputeNumSignBits()

unsigned llvm::InstCombiner::ComputeNumSignBits ( const Value *  Op, unsigned  Depth = 0, const Instruction *  CxtI = nullptr  ) const

inline

Definition at line 461 of file InstCombiner.h.

References llvm::ComputeNumSignBits(), llvm::Depth, and DL.

Referenced by canEvaluateTruncated(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), llvm::InstCombinerImpl::visitAdd(), and llvm::InstCombinerImpl::visitSExt().

computeOverflowForSignedAdd()

OverflowResult llvm::InstCombiner::computeOverflowForSignedAdd ( const WithCache< const Value * > &  LHS, const WithCache< const Value * > &  RHS, const Instruction *  CxtI  ) const

inline

Definition at line 494 of file InstCombiner.h.

References llvm::computeOverflowForSignedAdd(), llvm::SimplifyQuery::getWithInstruction(), LHS, and RHS.

Referenced by llvm::InstCombinerImpl::computeOverflow().

computeOverflowForSignedMul()

OverflowResult llvm::InstCombiner::computeOverflowForSignedMul ( const Value *  LHS, const Value *  RHS, const Instruction *  CxtI  ) const

inline

Definition at line 479 of file InstCombiner.h.

References llvm::computeOverflowForSignedMul(), llvm::SimplifyQuery::getWithInstruction(), LHS, and RHS.

Referenced by llvm::InstCombinerImpl::computeOverflow().

computeOverflowForSignedSub()

OverflowResult llvm::InstCombiner::computeOverflowForSignedSub ( const Value *  LHS, const Value *  RHS, const Instruction *  CxtI  ) const

inline

Definition at line 508 of file InstCombiner.h.

References llvm::computeOverflowForSignedSub(), llvm::SimplifyQuery::getWithInstruction(), LHS, and RHS.

Referenced by llvm::InstCombinerImpl::computeOverflow().

computeOverflowForUnsignedAdd()

OverflowResult llvm::InstCombiner::computeOverflowForUnsignedAdd ( const WithCache< const Value * > &  LHS, const WithCache< const Value * > &  RHS, const Instruction *  CxtI  ) const

inline

Definition at line 486 of file InstCombiner.h.

References llvm::computeOverflowForUnsignedAdd(), llvm::SimplifyQuery::getWithInstruction(), LHS, and RHS.

Referenced by llvm::InstCombinerImpl::computeOverflow().

computeOverflowForUnsignedMul()

OverflowResult llvm::InstCombiner::computeOverflowForUnsignedMul ( const Value *  LHS, const Value *  RHS, const Instruction *  CxtI, bool  IsNSW = false  ) const

inline

Definition at line 471 of file InstCombiner.h.

References llvm::computeOverflowForUnsignedMul(), llvm::SimplifyQuery::getWithInstruction(), LHS, and RHS.

Referenced by llvm::InstCombinerImpl::computeOverflow().

computeOverflowForUnsignedSub()

OverflowResult llvm::InstCombiner::computeOverflowForUnsignedSub ( const Value *  LHS, const Value *  RHS, const Instruction *  CxtI  ) const

inline

Definition at line 501 of file InstCombiner.h.

References llvm::computeOverflowForUnsignedSub(), llvm::SimplifyQuery::getWithInstruction(), LHS, and RHS.

Referenced by llvm::InstCombinerImpl::computeOverflow().

eraseInstFromFunction()

virtual Instruction * llvm::InstCombiner::eraseInstFromFunction ( Instruction &  I )

pure virtual

Combiner aware instruction erasure.

When dealing with an instruction that has side effects or produces a void value, we can't rely on DCE to delete the instruction. Instead, visit methods should return the value returned by this function.

Implemented in llvm::InstCombinerImpl.

Referenced by instCombineDMB(), llvm::GCNTTIImpl::instCombineIntrinsic(), llvm::ARMTTIImpl::instCombineIntrinsic(), instCombineST1ScatterIndex(), instCombineSVENoActiveReplace(), instCombineSVENoActiveUnaryErase(), instCombineSVENoActiveZero(), instCombineSVEST1(), modifyIntrinsicCall(), and simplifyX86MaskedStore().

getAssumptionCache()

AssumptionCache & llvm::InstCombiner::getAssumptionCache ( ) const

inline

Definition at line 340 of file InstCombiner.h.

Referenced by llvm::ARMTTIImpl::instCombineIntrinsic(), llvm::PPCTTIImpl::instCombineIntrinsic(), and llvm::InstCombinerImpl::visitCallInst().

getBlockFrequencyInfo()

BlockFrequencyInfo * llvm::InstCombiner::getBlockFrequencyInfo ( ) const

inline

Definition at line 348 of file InstCombiner.h.

getComplexity()

static unsigned llvm::InstCombiner::getComplexity ( Value *  V )

inlinestatic

Assign a complexity or rank value to LLVM Values.

This is used to reduce the amount of pattern matching needed for compares and commutative instructions. For example, if we have: icmp ugt X, Constant or xor (add X, Constant), cast Z

We do not have to consider the commuted variants of these patterns because canonicalization based on complexity guarantees the above ordering.

This routine maps IR values to various complexity ranks: 0 -> undef 1 -> Constants 2 -> Cast and (f)neg/not instructions 3 -> Other instructions and arguments

Definition at line 143 of file InstCombiner.h.

References llvm::PatternMatch::m_FNeg().

Referenced by llvm::InstCombinerImpl::SimplifyAssociativeOrCommutative(), llvm::InstCombinerImpl::visitFCmpInst(), and llvm::InstCombinerImpl::visitICmpInst().

getDataLayout()

const DataLayout & llvm::InstCombiner::getDataLayout ( ) const

inline

Definition at line 343 of file InstCombiner.h.

References DL.

Referenced by canEvaluateTruncated(), canonicalizeGEPOfConstGEPI8(), canReplaceGEPIdxWithZero(), combineLoadToOperationType(), foldVecExtTruncToExtElt(), foldVecTruncToExtElt(), llvm::ARMTTIImpl::instCombineIntrinsic(), llvm::PPCTTIImpl::instCombineIntrinsic(), llvm::X86TTIImpl::instCombineIntrinsic(), likeBitCastFromVector(), llvm::Negator::Negate(), optimizeIntegerToVectorInsertions(), optimizeVectorResizeWithIntegerBitCasts(), simplifyAllocaArraySize(), simplifyAMDGCNMemoryIntrinsicDemanded(), simplifyAssocCastAssoc(), simplifyX86MaskedLoad(), simplifyX86MaskedStore(), unpackLoadToAggregate(), and unpackStoreToAggregate().

getDominatorTree()

DominatorTree & llvm::InstCombiner::getDominatorTree ( ) const

inline

Definition at line 342 of file InstCombiner.h.

Referenced by llvm::ARMTTIImpl::instCombineIntrinsic(), llvm::PPCTTIImpl::instCombineIntrinsic(), llvm::Negator::Negate(), and llvm::InstCombinerImpl::visitCallInst().

getFlippedStrictnessPredicateAndConstant()

std::optional< std::pair< CmpPredicate, Constant * > > InstCombiner::getFlippedStrictnessPredicateAndConstant ( CmpPredicate  Pred, Constant *  C  )

static

Definition at line 6910 of file InstCombineCompares.cpp.

References assert(), llvm::CallingConv::C, llvm::ConstantExpr::getAdd(), llvm::CmpInst::getFlippedStrictnessPredicate(), llvm::ICmpInst::getUnsignedPredicate(), llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::isIntPredicate(), llvm::ICmpInst::isRelational(), llvm::CmpInst::isSigned(), and llvm::Constant::replaceUndefsWith().

Referenced by canonicalizeCmpWithConstant(), llvm::InstCombinerImpl::foldICmpShlConstant(), and llvm::InstCombinerImpl::matchThreeWayIntCompare().

getFreelyInverted() [1/2]

Value * llvm::InstCombiner::getFreelyInverted ( Value *  V, bool  WillInvertAllUses, BuilderTy *  Builder  )

inline

Definition at line 222 of file InstCombiner.h.

getFreelyInverted() [2/2]

Value * llvm::InstCombiner::getFreelyInverted ( Value *  V, bool  WillInvertAllUses, BuilderTy *  Builder, bool &  DoesConsume  )

inline

Definition at line 215 of file InstCombiner.h.

Referenced by foldICmpAndXX(), llvm::InstCombinerImpl::foldICmpBitCast(), foldICmpOrXX(), foldICmpWithLowBitMaskedVal(), llvm::InstCombinerImpl::tryFoldInstWithCtpopWithNot(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitICmpInst(), and llvm::InstCombinerImpl::visitSub().

getFreelyInvertedImpl()

Value * InstCombiner::getFreelyInvertedImpl	(	Value *	V,
		bool	WillInvertAllUses,
		BuilderTy *	Builder,
		bool &	DoesConsume,
		unsigned	Depth
	)

Return nonnull value if V is free to invert under the condition of WillInvertAllUses.

If Builder is nonnull, it will return a simplified ~V. If Builder is null, it will return an arbitrary nonnull value (not dereferenceable). If the inversion will consume instructions, DoesConsume will be set to true. Otherwise it will be false.

Definition at line 2552 of file InstructionCombining.cpp.

References A, llvm::PHINode::addIncoming(), assert(), B, Builder, llvm::CallingConv::C, Cond, llvm::IRBuilderBase::CreateAdd(), llvm::IRBuilderBase::CreateAShr(), llvm::IRBuilderBase::CreateBinaryIntrinsic(), llvm::IRBuilderBase::CreateBinOp(), llvm::IRBuilderBase::CreateCmp(), llvm::IRBuilderBase::CreateLogicalOp(), llvm::IRBuilderBase::CreatePHI(), llvm::IRBuilderBase::CreateSelect(), llvm::IRBuilderBase::CreateSExt(), llvm::IRBuilderBase::CreateSub(), llvm::IRBuilderBase::CreateTrunc(), llvm::IRBuilderBase::CreateXor(), llvm::Depth, llvm::SmallVectorImpl< T >::emplace_back(), getFreelyInvertedImpl(), llvm::getInverseMinMaxIntrinsic(), llvm::ConstantExpr::getNot(), I, II, IsSelect(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::m_LogicalAnd(), llvm::PatternMatch::m_LogicalOr(), llvm::PatternMatch::m_MaxOrMin(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_SExtLike(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::match(), llvm::MaxAnalysisRecursionDepth, llvm::IRBuilderBase::SetInsertPoint(), and shouldAvoidAbsorbingNotIntoSelect().

Referenced by getFreelyInvertedImpl().

getOptimizationRemarkEmitter()

OptimizationRemarkEmitter & llvm::InstCombiner::getOptimizationRemarkEmitter ( ) const

inline

Definition at line 345 of file InstCombiner.h.

getProfileSummaryInfo()

ProfileSummaryInfo * llvm::InstCombiner::getProfileSummaryInfo ( ) const

inline

Definition at line 349 of file InstCombiner.h.

getSafeVectorConstantForBinop()

static Constant * llvm::InstCombiner::getSafeVectorConstantForBinop ( BinaryOperator::BinaryOps  Opcode, Constant *  In, bool  IsRHSConstant  )

inlinestatic

Some binary operators require special handling to avoid poison and undefined behavior.

If a constant vector has undef elements, replace those undefs with identity constants if possible because those are always safe to execute. If no identity constant exists, replace undef with some other safe constant.

Definition at line 286 of file InstCombiner.h.

References assert(), C, and llvm_unreachable.

Referenced by llvm::InstCombinerImpl::foldSelectShuffle(), foldSelectShuffleWith1Binop(), and llvm::InstCombinerImpl::foldVectorBinop().

getSimplifyQuery()

const SimplifyQuery & llvm::InstCombiner::getSimplifyQuery ( ) const

inline

Definition at line 344 of file InstCombiner.h.

Referenced by llvm::GCNTTIImpl::canSimplifyLegacyMulToMul(), foldCtpop(), foldCttzCtlz(), foldFCmpFSubIntoFCmp(), foldFPtoI(), foldICmpAndXX(), foldSelectBinOpIdentity(), llvm::InstCombinerImpl::foldSelectShuffle(), llvm::GCNTTIImpl::instCombineIntrinsic(), simplifyAndOrWithOpReplaced(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitFCmpInst(), llvm::InstCombinerImpl::visitFNeg(), llvm::InstCombinerImpl::visitFSub(), and llvm::InstCombinerImpl::visitPHINode().

getTargetLibraryInfo()

TargetLibraryInfo & llvm::InstCombiner::getTargetLibraryInfo ( ) const

inline

Definition at line 341 of file InstCombiner.h.

InsertNewInstBefore()

Instruction * llvm::InstCombiner::InsertNewInstBefore ( Instruction *  New, BasicBlock::iterator  Old  )

inline

Inserts an instruction New before instruction Old.

Also adds the new instruction to the worklist and returns New so that it is suitable for use as the return from the visitation patterns.

Definition at line 374 of file InstCombiner.h.

References llvm::InstructionWorklist::add(), and assert().

Referenced by llvm::InstCombinerImpl::foldIntegerTypedPHI(), foldOperationIntoSelectOperand(), llvm::InstCombinerImpl::foldOpIntoPhi(), llvm::InstCombinerImpl::foldPHIArgBinOpIntoPHI(), llvm::InstCombinerImpl::foldPHIArgExtractValueInstructionIntoPHI(), llvm::InstCombinerImpl::foldPHIArgGEPIntoPHI(), llvm::InstCombinerImpl::foldPHIArgInsertValueInstructionIntoPHI(), llvm::InstCombinerImpl::foldPHIArgLoadIntoPHI(), llvm::InstCombinerImpl::foldPHIArgOpIntoPHI(), llvm::InstCombinerImpl::foldPHIArgZextsIntoPHI(), foldSelectZeroOrMul(), llvm::InstCombinerImpl::mergeStoreIntoSuccessor(), and replaceGEPIdxWithZero().

InsertNewInstWith()

Instruction * llvm::InstCombiner::InsertNewInstWith ( Instruction *  New, BasicBlock::iterator  Old  )

inline

Same as InsertNewInstBefore, but also sets the debug loc.

Definition at line 383 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::EvaluateInDifferentType(), getShiftedValue(), replaceExtractElements(), llvm::InstCombinerImpl::SimplifyAssociativeOrCommutative(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), llvm::InstCombinerImpl::SimplifyDemandedVectorElts(), and llvm::InstCombinerImpl::simplifyShrShlDemandedBits().

isBackEdge()

bool llvm::InstCombiner::isBackEdge ( const BasicBlock *  From, const BasicBlock *  To  )

inline

Definition at line 364 of file InstCombiner.h.

References llvm::detail::DenseSetImpl< ValueT, MapTy, ValueInfoT >::contains(), and From.

Referenced by llvm::InstCombinerImpl::foldOpIntoPhi().

isCanonicalPredicate()

static bool llvm::InstCombiner::isCanonicalPredicate ( CmpPredicate  Pred )

inlinestatic

Predicate canonicalization reduces the number of patterns that need to be matched by other transforms.

For example, we may swap the operands of a conditional branch or select to create a compare with a canonical (inverted) predicate which is then more likely to be matched with other values.

Definition at line 160 of file InstCombiner.h.

Referenced by canonicalizeCmpWithConstant(), llvm::InstCombinerImpl::canonicalizeICmpPredicate(), and llvm::InstCombinerImpl::visitBranchInst().

isFreeToInvert() [1/2]

bool llvm::InstCombiner::isFreeToInvert ( Value *  V, bool  WillInvertAllUses  )

inline

Definition at line 240 of file InstCombiner.h.

isFreeToInvert() [2/2]

bool llvm::InstCombiner::isFreeToInvert ( Value *  V, bool  WillInvertAllUses, bool &  DoesConsume  )

inline

Return true if the specified value is free to invert (apply ~ to).

This happens in cases where the ~ can be eliminated. If WillInvertAllUses is true, work under the assumption that the caller intends to remove all uses of V and only keep uses of ~V.

See also: canFreelyInvertAllUsersOf()

Definition at line 234 of file InstCombiner.h.

Referenced by canFreelyInvert(), matchDeMorgansLaws(), llvm::InstCombinerImpl::tryFoldInstWithCtpopWithNot(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitICmpInst(), and llvm::InstCombinerImpl::visitSub().

isKnownToBeAPowerOfTwo()

bool llvm::InstCombiner::isKnownToBeAPowerOfTwo ( const Value *  V, bool  OrZero = false, unsigned  Depth = 0, const Instruction *  CxtI = nullptr  )

inline

Definition at line 449 of file InstCombiner.h.

References llvm::Depth, llvm::SimplifyQuery::getWithInstruction(), and llvm::isKnownToBeAPowerOfTwo().

Referenced by foldCtpop(), llvm::InstCombinerImpl::foldICmpEquality(), llvm::InstCombinerImpl::foldIRemByPowerOfTwoToBitTest(), simplifyValueKnownNonZero(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitICmpInst(), llvm::InstCombinerImpl::visitSDiv(), llvm::InstCombinerImpl::visitURem(), and llvm::InstCombinerImpl::visitXor().

isValidAddrSpaceCast()

bool InstCombiner::isValidAddrSpaceCast	(	unsigned	FromAS,
		unsigned	ToAS
	)		const

Definition at line 189 of file InstructionCombining.cpp.

References llvm::TargetTransformInfo::isValidAddrSpaceCast().

MaskedValueIsZero()

bool llvm::InstCombiner::MaskedValueIsZero ( const Value *  V, const APInt &  Mask, unsigned  Depth = 0, const Instruction *  CxtI = nullptr  ) const

inline

Definition at line 456 of file InstCombiner.h.

References llvm::Depth, llvm::SimplifyQuery::getWithInstruction(), and llvm::MaskedValueIsZero().

Referenced by canEvaluateShiftedShift(), canEvaluateTruncated(), canEvaluateZExtd(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitOr(), llvm::InstCombinerImpl::visitShl(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitTrunc(), llvm::InstCombinerImpl::visitXor(), and llvm::InstCombinerImpl::visitZExt().

peekThroughBitcast()

static Value * llvm::InstCombiner::peekThroughBitcast ( Value *  V, bool  OneUseOnly = false  )

inlinestatic

Return the source operand of a potentially bitcasted value while optionally checking if it has one use.

If there is no bitcast or the one use check is not met, return the input value itself.

Definition at line 119 of file InstCombiner.h.

Referenced by llvm::X86TTIImpl::instCombineIntrinsic().

replaceInstUsesWith()

Instruction * llvm::InstCombiner::replaceInstUsesWith ( Instruction &  I, Value *  V  )

inline

A combiner-aware RAUW-like routine.

This method is to be used when an instruction is found to be dead, replaceable with another preexisting expression. Here we add all uses of I to the worklist, replace all uses of I with the new value, then return I, so that the inst combiner will know that I was modified.

Definition at line 394 of file InstCombiner.h.

References llvm::dbgs(), I, LLVM_DEBUG, and llvm::InstructionWorklist::pushUsersToWorkList().

Referenced by llvm::InstCombinerImpl::commonCastTransforms(), llvm::InstCombinerImpl::commonIDivRemTransforms(), llvm::InstCombinerImpl::commonIDivTransforms(), convertNvvmIntrinsicToLlvm(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldAggregateConstructionIntoAggregateReuse(), llvm::InstCombinerImpl::foldAllocaCmp(), llvm::InstCombinerImpl::foldCmpLoadFromIndexedGlobal(), foldCtpop(), foldCttzCtlz(), llvm::InstCombinerImpl::foldDeadPhiWeb(), llvm::InstCombinerImpl::foldFCmpIntToFPConst(), foldFCmpWithFloorAndCeil(), llvm::InstCombinerImpl::foldFMulReassoc(), foldFPtoI(), llvm::InstCombinerImpl::foldFreezeIntoRecurrence(), llvm::InstCombinerImpl::foldGEPICmp(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpAndConstant(), llvm::InstCombinerImpl::foldICmpAndConstConst(), llvm::InstCombinerImpl::foldICmpAndShift(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpBitCast(), llvm::InstCombinerImpl::foldICmpCommutative(), llvm::InstCombinerImpl::foldICmpDivConstant(), llvm::InstCombinerImpl::foldICmpOrConstant(), llvm::InstCombinerImpl::foldICmpSelectConstant(), llvm::InstCombinerImpl::foldICmpShlConstConst(), llvm::InstCombinerImpl::foldICmpShrConstConst(), llvm::InstCombinerImpl::foldICmpUsingBoolRange(), llvm::InstCombinerImpl::foldICmpUsingKnownBits(), llvm::InstCombinerImpl::foldICmpWithConstant(), llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), llvm::InstCombinerImpl::foldICmpWithMinMax(), llvm::InstCombinerImpl::foldIntegerTypedPHI(), llvm::InstCombinerImpl::foldItoFPtoI(), llvm::InstCombinerImpl::foldMultiplicationOverflowCheck(), llvm::InstCombinerImpl::foldOpIntoPhi(), llvm::InstCombinerImpl::foldPowiReassoc(), llvm::InstCombinerImpl::foldSelectOpOp(), llvm::InstCombinerImpl::foldSelectShuffle(), foldSelectZeroOrMul(), llvm::InstCombinerImpl::FoldShiftByConstant(), llvm::InstCombinerImpl::foldVariableSignZeroExtensionOfVariableHighBitExtract(), llvm::InstCombinerImpl::freelyInvertAllUsersOf(), handleSpaceCheckIntrinsics(), llvm::InstCombinerImpl::handleUnreachableFrom(), instCombineConvertFromSVBool(), llvm::GCNTTIImpl::instCombineIntrinsic(), llvm::ARMTTIImpl::instCombineIntrinsic(), llvm::X86TTIImpl::instCombineIntrinsic(), instCombineLD1GatherIndex(), instCombineMaxMinNM(), instCombineRDFFR(), instCombineSVEAllOrNoActive(), instCombineSVECmpNE(), instCombineSVECntElts(), instCombineSVECondLast(), instCombineSVEDup(), instCombineSVEDupqLane(), instCombineSVEDupX(), instCombineSVEInsr(), instCombineSVELast(), instCombineSVELD1(), instCombineSVENoActiveReplace(), instCombineSVENoActiveZero(), instCombineSVEPTest(), instCombineSVESDIV(), instCombineSVESel(), instCombineSVESrshl(), instCombineSVETBL(), instCombineSVEUnpack(), instCombineSVEUzp1(), instCombineSVEVectorBinOp(), instCombineSVEVectorFuseMulAddSub(), instCombineSVEVectorMul(), instCombineSVEZip(), modifyIntrinsicCall(), processPhiNode(), processUGT_ADDCST_ADD(), processUMulZExtIdiom(), llvm::InstCombinerImpl::removeInstructionsBeforeUnreachable(), replaceExtractElements(), rewriteGEPAsOffset(), simplifyAllocaArraySize(), llvm::InstCombinerImpl::SimplifyDemandedInstructionBits(), simplifyIRemMulShl(), simplifyX86MaskedLoad(), llvm::InstCombinerImpl::sinkNotIntoLogicalOp(), llvm::InstCombinerImpl::sinkNotIntoOtherHandOfLogicalOp(), llvm::InstCombinerImpl::SliceUpIllegalIntegerPHI(), tryCombineFromSVBoolBinOp(), llvm::InstCombinerImpl::tryFoldInstWithCtpopWithNot(), unpackLoadToAggregate(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAllocaInst(), llvm::InstCombinerImpl::visitAllocSite(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitBitCast(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitExtractElementInst(), llvm::InstCombinerImpl::visitExtractValueInst(), llvm::InstCombinerImpl::visitFAdd(), llvm::InstCombinerImpl::visitFCmpInst(), llvm::InstCombinerImpl::visitFDiv(), llvm::InstCombinerImpl::visitFMul(), llvm::InstCombinerImpl::visitFNeg(), llvm::InstCombinerImpl::visitFPTrunc(), llvm::InstCombinerImpl::visitFree(), llvm::InstCombinerImpl::visitFreeze(), llvm::InstCombinerImpl::visitFRem(), llvm::InstCombinerImpl::visitFSub(), 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::visitPtrToInt(), llvm::InstCombinerImpl::visitSDiv(), llvm::InstCombinerImpl::visitSExt(), llvm::InstCombinerImpl::visitShl(), llvm::InstCombinerImpl::visitShuffleVectorInst(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitSub(), llvm::InstCombinerImpl::visitTrunc(), llvm::InstCombinerImpl::visitUDiv(), llvm::InstCombinerImpl::visitURem(), llvm::InstCombinerImpl::visitXor(), and llvm::InstCombinerImpl::visitZExt().

replaceOperand()

Instruction * llvm::InstCombiner::replaceOperand ( Instruction &  I, unsigned  OpNum, Value *  V  )

inline

Replace operand of instruction and add old operand to the worklist.

Definition at line 418 of file InstCombiner.h.

References llvm::InstructionWorklist::handleUseCountDecrement(), and I.

Referenced by llvm::InstCombinerImpl::commonIDivRemTransforms(), llvm::InstCombinerImpl::commonIDivTransforms(), llvm::InstCombinerImpl::commonShiftTransforms(), foldCtpop(), foldCttzCtlz(), foldFabsWithFcmpZero(), foldFCmpFSubIntoFCmp(), llvm::InstCombinerImpl::foldICmpXorConstant(), llvm::InstCombinerImpl::foldPHIArgIntToPtrToPHI(), foldSelectBinOpIdentity(), foldSelectZeroOrMul(), foldShuffleWithInsert(), foldSqrtWithFcmpZero(), llvm::GCNTTIImpl::instCombineIntrinsic(), llvm::ARMTTIImpl::instCombineIntrinsic(), llvm::X86TTIImpl::instCombineIntrinsic(), instCombineSVEAllOrNoActiveUnary(), simplifyAllocaArraySize(), simplifyAssocCastAssoc(), llvm::InstCombinerImpl::SimplifyAssociativeOrCommutative(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), llvm::InstCombinerImpl::SimplifyDemandedVectorElts(), llvm::InstCombinerImpl::simplifyDivRemOfSelectWithZeroOp(), simplifyValueKnownNonZero(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAllocaInst(), llvm::InstCombinerImpl::visitAtomicRMWInst(), llvm::InstCombinerImpl::visitBranchInst(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitExtractElementInst(), llvm::InstCombinerImpl::visitFCmpInst(), llvm::InstCombinerImpl::visitFDiv(), llvm::InstCombinerImpl::visitGetElementPtrInst(), llvm::InstCombinerImpl::visitICmpInst(), llvm::InstCombinerImpl::visitInsertElementInst(), llvm::InstCombinerImpl::visitLoadInst(), llvm::InstCombinerImpl::visitPHINode(), llvm::InstCombinerImpl::visitShuffleVectorInst(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitStoreInst(), and llvm::InstCombinerImpl::visitSwitchInst().

replaceUse()

void llvm::InstCombiner::replaceUse ( Use &  U, Value *  NewValue  )

inline

Replace use and add the previously used value to the worklist.

Definition at line 426 of file InstCombiner.h.

References llvm::InstructionWorklist::handleUseCountDecrement().

Referenced by llvm::InstCombinerImpl::addDeadEdge(), llvm::InstCombinerImpl::foldFreezeIntoRecurrence(), llvm::InstCombinerImpl::pushFreezeToPreventPoisonFromPropagating(), llvm::InstCombinerImpl::SimplifyDemandedBits(), llvm::InstCombinerImpl::SimplifyDemandedFPClass(), llvm::InstCombinerImpl::simplifyDivRemOfSelectWithZeroOp(), llvm::InstCombinerImpl::visitBranchInst(), and llvm::InstCombinerImpl::visitCallInst().

shouldAvoidAbsorbingNotIntoSelect()

static bool llvm::InstCombiner::shouldAvoidAbsorbingNotIntoSelect ( const SelectInst &  SI )

inlinestatic

Definition at line 193 of file InstCombiner.h.

References SI().

Referenced by getFreelyInvertedImpl().

SimplifyDemandedBits() [1/2]

bool llvm::InstCombiner::SimplifyDemandedBits ( Instruction *  I, unsigned  OpNo, const APInt &  DemandedMask, KnownBits &  Known  )

inline

Definition at line 518 of file InstCombiner.h.

References llvm::SimplifyQuery::getWithInstruction(), and I.

SimplifyDemandedBits() [2/2]

virtual bool llvm::InstCombiner::SimplifyDemandedBits ( Instruction *  I, unsigned  OpNo, const APInt &  DemandedMask, KnownBits &  Known, unsigned  Depth, const SimplifyQuery &  Q  )

pure virtual

Implemented in llvm::InstCombinerImpl, and llvm::InstCombinerImpl.

Referenced by llvm::ARMTTIImpl::instCombineIntrinsic(), llvm::X86TTIImpl::instCombineIntrinsic(), llvm::GCNTTIImpl::simplifyDemandedLaneMaskArg(), and simplifyX86VPERMMask().

SimplifyDemandedVectorElts()

virtual Value * llvm::InstCombiner::SimplifyDemandedVectorElts ( Value *  V, APInt  DemandedElts, APInt &  UndefElts, unsigned  Depth = 0, bool  AllowMultipleUsers = false  )

pure virtual

Implemented in llvm::InstCombinerImpl.

Referenced by llvm::X86TTIImpl::instCombineIntrinsic().

SubOne()

static Constant * llvm::InstCombiner::SubOne ( Constant *  C )

inlinestatic

Subtract one from a Constant.

Definition at line 183 of file InstCombiner.h.

References C.

Referenced by llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldICmpAndConstant(), llvm::InstCombinerImpl::visitAdd(), and llvm::InstCombinerImpl::visitSub().

targetInstCombineIntrinsic()

std::optional< Instruction * > InstCombiner::targetInstCombineIntrinsic

(

IntrinsicInst &

II

)

Definition at line 156 of file InstructionCombining.cpp.

References II, and llvm::TargetTransformInfo::instCombineIntrinsic().

Referenced by llvm::InstCombinerImpl::visitCallInst().

targetSimplifyDemandedUseBitsIntrinsic()

std::optional< Value * > InstCombiner::targetSimplifyDemandedUseBitsIntrinsic	(	IntrinsicInst &	II,
		APInt	DemandedMask,
		KnownBits &	Known,
		bool &	KnownBitsComputed
	)

Definition at line 164 of file InstructionCombining.cpp.

References II, and llvm::TargetTransformInfo::simplifyDemandedUseBitsIntrinsic().

Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseBits().

targetSimplifyDemandedVectorEltsIntrinsic()

std::optional< Value * > InstCombiner::targetSimplifyDemandedVectorEltsIntrinsic	(	IntrinsicInst &	II,
		APInt	DemandedElts,
		APInt &	UndefElts,
		APInt &	UndefElts2,
		APInt &	UndefElts3,
		std::function< void(Instruction *, unsigned, APInt, APInt &)>	SimplifyAndSetOp
	)

Definition at line 175 of file InstructionCombining.cpp.

References II, and llvm::TargetTransformInfo::simplifyDemandedVectorEltsIntrinsic().

Referenced by llvm::InstCombinerImpl::SimplifyDemandedVectorElts().

Member Data Documentation

AA

AAResults* llvm::InstCombiner::AA

protected

Definition at line 70 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::SimplifyAnyMemSet(), llvm::InstCombinerImpl::SimplifyAnyMemTransfer(), llvm::InstCombinerImpl::visitAllocaInst(), llvm::InstCombinerImpl::visitAllocSite(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitLoadInst(), and llvm::InstCombinerImpl::visitStoreInst().

AC

AssumptionCache& llvm::InstCombiner::AC

protected

Definition at line 73 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::commonShiftTransforms(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::SimplifyAddWithRemainder(), llvm::InstCombinerImpl::SimplifyAnyMemSet(), llvm::InstCombinerImpl::SimplifyAnyMemTransfer(), llvm::InstCombinerImpl::visitAllocaInst(), and llvm::InstCombinerImpl::visitCallInst().

BackEdges

SmallDenseSet<std::pair<const BasicBlock *, const BasicBlock *>, 8> llvm::InstCombiner::BackEdges

protected

Backedges, used to avoid pushing instructions across backedges in cases where this may result in infinite combine loops.

For irreducible loops this picks an arbitrary backedge.

Definition at line 97 of file InstCombiner.h.

Referenced by computeBackEdges().

BFI

BlockFrequencyInfo* llvm::InstCombiner::BFI

protected

Definition at line 79 of file InstCombiner.h.

BPI

BranchProbabilityInfo* llvm::InstCombiner::BPI

protected

Definition at line 80 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::freelyInvertAllUsersOf(), and llvm::InstCombinerImpl::visitBranchInst().

Builder

BuilderTy& llvm::InstCombiner::Builder

Definition at line 61 of file InstCombiner.h.

Referenced by canonicalizeBitCastExtElt(), llvm::InstCombinerImpl::canonicalizeCondSignextOfHighBitExtractToSignextHighBitExtract(), canonicalizeGEPOfConstGEPI8(), llvm::InstCombinerImpl::combineLoadToNewType(), combineStoreToNewValue(), llvm::InstCombinerImpl::commonCastTransforms(), llvm::InstCombinerImpl::commonIDivTransforms(), llvm::InstCombinerImpl::commonShiftTransforms(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldBinOpOfSelectAndCastOfSelectCondition(), llvm::InstCombinerImpl::foldBinOpShiftWithShift(), llvm::InstCombinerImpl::foldBinopWithPhiOperands(), llvm::InstCombinerImpl::foldCmpLoadFromIndexedGlobal(), foldCtpop(), foldCttzCtlz(), llvm::InstCombinerImpl::foldFMulReassoc(), llvm::InstCombinerImpl::foldFreezeIntoRecurrence(), llvm::InstCombinerImpl::foldGEPICmp(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpAndConstant(), llvm::InstCombinerImpl::foldICmpAndConstConst(), llvm::InstCombinerImpl::foldICmpAndShift(), foldICmpAndXX(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpBinOpEqualityWithConstant(), llvm::InstCombinerImpl::foldICmpBitCast(), llvm::InstCombinerImpl::foldICmpCommutative(), llvm::InstCombinerImpl::foldICmpDivConstant(), llvm::InstCombinerImpl::foldICmpEqIntrinsicWithConstant(), llvm::InstCombinerImpl::foldICmpEquality(), llvm::InstCombinerImpl::foldICmpIntrinsicWithConstant(), llvm::InstCombinerImpl::foldICmpOrConstant(), foldICmpOrXX(), llvm::InstCombinerImpl::foldICmpSelectConstant(), llvm::InstCombinerImpl::foldICmpShlConstant(), llvm::InstCombinerImpl::foldICmpShrConstant(), llvm::InstCombinerImpl::foldICmpSRemConstant(), llvm::InstCombinerImpl::foldICmpSubConstant(), llvm::InstCombinerImpl::foldICmpTruncConstant(), llvm::InstCombinerImpl::foldICmpTruncWithTruncOrExt(), llvm::InstCombinerImpl::foldICmpUsingBoolRange(), llvm::InstCombinerImpl::foldICmpWithConstant(), llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), foldICmpWithLowBitMaskedVal(), llvm::InstCombinerImpl::foldICmpWithTrunc(), llvm::InstCombinerImpl::foldICmpWithZextOrSext(), llvm::InstCombinerImpl::foldICmpXorShiftConst(), llvm::InstCombinerImpl::foldIRemByPowerOfTwoToBitTest(), foldLogicCastConstant(), llvm::InstCombinerImpl::foldMultiplicationOverflowCheck(), llvm::InstCombinerImpl::foldPowiReassoc(), llvm::InstCombinerImpl::foldSelectICmp(), llvm::InstCombinerImpl::foldSelectIntoOp(), llvm::InstCombinerImpl::foldSelectOpOp(), llvm::InstCombinerImpl::foldSelectShuffle(), llvm::InstCombinerImpl::FoldShiftByConstant(), llvm::InstCombinerImpl::foldSquareSumFP(), llvm::InstCombinerImpl::foldSquareSumInt(), llvm::InstCombinerImpl::foldUsingDistributiveLaws(), llvm::InstCombinerImpl::foldVariableSignZeroExtensionOfVariableHighBitExtract(), foldVecExtTruncToExtElt(), llvm::InstCombinerImpl::foldVectorBinop(), foldVecTruncToExtElt(), freelyInvert(), getFreelyInvertedImpl(), getShiftedValue(), llvm::InstCombinerImpl::insertRangeTest(), llvm::GCNTTIImpl::instCombineIntrinsic(), llvm::ARMTTIImpl::instCombineIntrinsic(), llvm::PPCTTIImpl::instCombineIntrinsic(), llvm::X86TTIImpl::instCombineIntrinsic(), instCombineLD1GatherIndex(), instCombineRDFFR(), instCombineST1ScatterIndex(), instCombineSVECmpNE(), instCombineSVECntElts(), instCombineSVECondLast(), instCombineSVEDupqLane(), instCombineSVEDupX(), instCombineSVELast(), instCombineSVELD1(), instCombineSVEPTest(), instCombineSVESDIV(), instCombineSVESel(), instCombineSVESrshl(), instCombineSVEST1(), instCombineSVETBL(), instCombineSVEUnpack(), instCombineSVEUzp1(), instCombineSVEVectorBinOp(), instCombineSVEVectorFuseMulAddSub(), matchDeMorgansLaws(), llvm::InstCombinerImpl::mergeStoreIntoSuccessor(), modifyIntrinsicCall(), narrowUDivURem(), llvm::Negator::Negate(), optimizeIntegerToVectorInsertions(), llvm::InstCombinerImpl::OptimizePointerDifference(), optimizeVectorResizeWithIntegerBitCasts(), processPhiNode(), processUGT_ADDCST_ADD(), processUMulZExtIdiom(), llvm::InstCombinerImpl::pushFreezeToPreventPoisonFromPropagating(), llvm::InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts(), llvm::InstCombinerImpl::run(), llvm::InstCombinerImpl::SimplifyAddWithRemainder(), simplifyAllocaArraySize(), simplifyAMDGCNMemoryIntrinsicDemanded(), simplifyAndOrWithOpReplaced(), llvm::InstCombinerImpl::SimplifyAnyMemSet(), llvm::InstCombinerImpl::SimplifyAnyMemTransfer(), llvm::InstCombinerImpl::simplifyBinOpSplats(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), llvm::X86TTIImpl::simplifyDemandedVectorEltsIntrinsic(), simplifyInvariantGroupIntrinsic(), llvm::InstCombinerImpl::simplifyRangeCheck(), llvm::InstCombinerImpl::SimplifySelectsFeedingBinaryOp(), simplifyUsingControlFlow(), simplifyValueKnownNonZero(), simplifyX86MaskedLoad(), simplifyX86MaskedStore(), llvm::InstCombinerImpl::sinkNotIntoLogicalOp(), llvm::InstCombinerImpl::sinkNotIntoOtherHandOfLogicalOp(), llvm::InstCombinerImpl::SliceUpIllegalIntegerPHI(), transformToIndexedCompare(), tryCombineFromSVBoolBinOp(), llvm::InstCombinerImpl::tryFactorizationFolds(), llvm::InstCombinerImpl::tryFoldInstWithCtpopWithNot(), unpackLoadToAggregate(), unpackStoreToAggregate(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitBitCast(), llvm::InstCombinerImpl::visitBranchInst(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitExtractElementInst(), llvm::InstCombinerImpl::visitExtractValueInst(), llvm::InstCombinerImpl::visitFAdd(), llvm::InstCombinerImpl::visitFCmpInst(), llvm::InstCombinerImpl::visitFDiv(), llvm::InstCombinerImpl::visitFMul(), llvm::InstCombinerImpl::visitFNeg(), llvm::InstCombinerImpl::visitFPTrunc(), llvm::InstCombinerImpl::visitFSub(), llvm::InstCombinerImpl::visitGEPOfGEP(), llvm::InstCombinerImpl::visitGetElementPtrInst(), llvm::InstCombinerImpl::visitICmpInst(), llvm::InstCombinerImpl::visitInsertElementInst(), llvm::InstCombinerImpl::visitIntToPtr(), llvm::InstCombinerImpl::visitLoadInst(), llvm::InstCombinerImpl::visitLShr(), llvm::InstCombinerImpl::visitMul(), llvm::InstCombinerImpl::visitOr(), llvm::InstCombinerImpl::visitPtrToInt(), llvm::InstCombinerImpl::visitSDiv(), llvm::InstCombinerImpl::visitSExt(), llvm::InstCombinerImpl::visitShl(), llvm::InstCombinerImpl::visitShuffleVectorInst(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitSub(), llvm::InstCombinerImpl::visitSwitchInst(), llvm::InstCombinerImpl::visitTrunc(), llvm::InstCombinerImpl::visitUDiv(), llvm::InstCombinerImpl::visitURem(), llvm::InstCombinerImpl::visitXor(), and llvm::InstCombinerImpl::visitZExt().

ComputedBackEdges

bool llvm::InstCombiner::ComputedBackEdges = false

protected

Definition at line 98 of file InstCombiner.h.

Referenced by computeBackEdges().

DC

DomConditionCache llvm::InstCombiner::DC

protected

Definition at line 82 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), and llvm::InstCombinerImpl::visitBranchInst().

DeadEdges

SmallDenseSet<std::pair<BasicBlock *, BasicBlock *>, 8> llvm::InstCombiner::DeadEdges

protected

Edges that are known to never be taken.

Definition at line 89 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::addDeadEdge(), llvm::InstCombinerImpl::handlePotentiallyDeadBlocks(), and llvm::InstCombinerImpl::prepareWorklist().

DL

const DataLayout& llvm::InstCombiner::DL

protected

Definition at line 76 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::commonCastTransforms(), llvm::InstCombinerImpl::EvaluateInDifferentType(), llvm::InstCombinerImpl::foldBinOpShiftWithShift(), llvm::InstCombinerImpl::foldBinopWithPhiOperands(), llvm::InstCombinerImpl::foldCmpLoadFromIndexedGlobal(), llvm::InstCombinerImpl::foldFMulReassoc(), llvm::InstCombinerImpl::foldGEPICmp(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpInstWithConstantNotInt(), llvm::InstCombinerImpl::foldICmpUsingKnownBits(), llvm::InstCombinerImpl::foldICmpWithCastOp(), llvm::InstCombinerImpl::foldICmpWithConstant(), llvm::InstCombinerImpl::foldIntegerTypedPHI(), llvm::InstCombinerImpl::foldOpIntoPhi(), llvm::InstCombinerImpl::foldSelectICmp(), llvm::InstCombinerImpl::foldSelectShuffle(), llvm::InstCombinerImpl::FoldShiftByConstant(), llvm::InstCombinerImpl::foldVectorBinop(), llvm::InstCombinerImpl::mergeStoreIntoSuccessor(), llvm::InstCombinerImpl::prepareWorklist(), llvm::InstCombinerImpl::SimplifyAnyMemSet(), llvm::InstCombinerImpl::SimplifyAnyMemTransfer(), llvm::InstCombinerImpl::SimplifyAssociativeOrCommutative(), llvm::InstCombinerImpl::SimplifyDemandedInstructionBits(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), llvm::InstCombinerImpl::tryFoldInstWithCtpopWithNot(), llvm::InstCombinerImpl::visitAllocaInst(), llvm::InstCombinerImpl::visitAllocSite(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitBitCast(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitFAdd(), llvm::InstCombinerImpl::visitFCmpInst(), llvm::InstCombinerImpl::visitFMul(), llvm::InstCombinerImpl::visitFNeg(), llvm::InstCombinerImpl::visitFree(), llvm::InstCombinerImpl::visitFSub(), llvm::InstCombinerImpl::visitGEPOfGEP(), llvm::InstCombinerImpl::visitGetElementPtrInst(), llvm::InstCombinerImpl::visitICmpInst(), llvm::InstCombinerImpl::visitInsertElementInst(), llvm::InstCombinerImpl::visitIntToPtr(), llvm::InstCombinerImpl::visitLoadInst(), llvm::InstCombinerImpl::visitMul(), llvm::InstCombinerImpl::visitPtrToInt(), llvm::InstCombinerImpl::visitSExt(), llvm::InstCombinerImpl::visitShuffleVectorInst(), llvm::InstCombinerImpl::visitSub(), and llvm::InstCombinerImpl::visitTrunc().

DT

DominatorTree& llvm::InstCombiner::DT

protected

Definition at line 75 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::commonCastTransforms(), llvm::InstCombinerImpl::convertOrOfShiftsToFunnelShift(), llvm::InstCombinerImpl::dominatesAllUses(), llvm::InstCombinerImpl::foldBinopWithPhiOperands(), llvm::InstCombinerImpl::foldFreezeIntoRecurrence(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), llvm::InstCombinerImpl::foldIntegerTypedPHI(), llvm::InstCombinerImpl::foldOpIntoPhi(), llvm::InstCombinerImpl::freezeOtherUses(), llvm::InstCombinerImpl::handlePotentiallyDeadBlocks(), llvm::InstCombinerImpl::prepareWorklist(), llvm::InstCombinerImpl::run(), llvm::InstCombinerImpl::SimplifyAddWithRemainder(), llvm::InstCombinerImpl::SimplifyAnyMemSet(), llvm::InstCombinerImpl::SimplifyAnyMemTransfer(), llvm::InstCombinerImpl::SimplifyDemandedVectorElts(), llvm::InstCombinerImpl::visitAllocaInst(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitBranchInst(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitOr(), and llvm::InstCombinerImpl::visitZExt().

MadeIRChange

bool llvm::InstCombiner::MadeIRChange = false

protected

Definition at line 86 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::addDeadEdge(), llvm::InstCombinerImpl::handleUnreachableFrom(), llvm::InstCombinerImpl::prepareWorklist(), and llvm::InstCombinerImpl::run().

MaxArraySizeForCombine

uint64_t llvm::InstCombiner::MaxArraySizeForCombine = 0

Maximum size of array considered when transforming.

Definition at line 56 of file InstCombiner.h.

Referenced by combineInstructionsOverFunction(), llvm::InstCombinerImpl::foldCmpLoadFromIndexedGlobal(), unpackLoadToAggregate(), and unpackStoreToAggregate().

MinimizeSize

const bool llvm::InstCombiner::MinimizeSize

protected

Definition at line 68 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::visitFree().

ORE

OptimizationRemarkEmitter& llvm::InstCombiner::ORE

protected

Definition at line 78 of file InstCombiner.h.

PredOrder

SmallDenseMap<BasicBlock *, SmallVector<BasicBlock *>, 8> llvm::InstCombiner::PredOrder

protected

Order of predecessors to canonicalize phi nodes towards.

Definition at line 92 of file InstCombiner.h.

PSI

ProfileSummaryInfo* llvm::InstCombiner::PSI

protected

Definition at line 81 of file InstCombiner.h.

RPOT

ReversePostOrderTraversal<BasicBlock *>& llvm::InstCombiner::RPOT

protected

Definition at line 84 of file InstCombiner.h.

Referenced by computeBackEdges(), and llvm::InstCombinerImpl::prepareWorklist().

SQ

SimplifyQuery llvm::InstCombiner::SQ

protected

Definition at line 77 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::commonShiftTransforms(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpBinOpEqualityWithConstant(), llvm::InstCombinerImpl::foldICmpCommutative(), llvm::InstCombinerImpl::foldICmpIntrinsicWithConstant(), llvm::InstCombinerImpl::foldICmpUsingKnownBits(), llvm::InstCombinerImpl::foldICmpWithMinMax(), llvm::InstCombinerImpl::foldICmpWithZero(), llvm::InstCombinerImpl::foldOpIntoPhi(), llvm::InstCombinerImpl::foldSelectICmp(), llvm::InstCombinerImpl::foldSignBitTest(), llvm::InstCombinerImpl::foldUsingDistributiveLaws(), llvm::InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts(), llvm::InstCombinerImpl::SimplifyAssociativeOrCommutative(), llvm::InstCombinerImpl::SimplifyDemandedInstructionBits(), llvm::InstCombinerImpl::SimplifySelectsFeedingBinaryOp(), llvm::InstCombinerImpl::tryFactorizationFolds(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitBitCast(), 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::visitSIToFP(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitSub(), llvm::InstCombinerImpl::visitTrunc(), llvm::InstCombinerImpl::visitUDiv(), llvm::InstCombinerImpl::visitUIToFP(), llvm::InstCombinerImpl::visitURem(), llvm::InstCombinerImpl::visitXor(), and llvm::InstCombinerImpl::visitZExt().

TLI

TargetLibraryInfo& llvm::InstCombiner::TLI

protected

Definition at line 74 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::foldCmpLoadFromIndexedGlobal(), llvm::InstCombinerImpl::prepareWorklist(), llvm::InstCombinerImpl::run(), llvm::InstCombinerImpl::tryToSinkInstruction(), llvm::InstCombinerImpl::visitAllocSite(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitFDiv(), and llvm::InstCombinerImpl::visitFree().

Worklist

InstructionWorklist& llvm::InstCombiner::Worklist

protected

A worklist of the instructions that need to be simplified.

Definition at line 65 of file InstCombiner.h.

Referenced by llvm::InstCombinerImpl::addDeadEdge(), llvm::InstCombinerImpl::foldFreezeIntoRecurrence(), llvm::InstCombinerImpl::handlePotentiallyDeadBlocks(), llvm::InstCombinerImpl::handlePotentiallyDeadSuccessors(), llvm::InstCombinerImpl::handleUnreachableFrom(), llvm::InstCombinerImpl::matchBSwapOrBitReverse(), llvm::InstCombinerImpl::prepareWorklist(), llvm::InstCombinerImpl::run(), llvm::InstCombinerImpl::SimplifyDemandedVectorElts(), llvm::InstCombinerImpl::simplifyDivRemOfSelectWithZeroOp(), llvm::InstCombinerImpl::tryToSinkInstruction(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAllocSite(), llvm::InstCombinerImpl::visitBranchInst(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitExtractElementInst(), and llvm::InstCombinerImpl::visitStoreInst().

---

The documentation for this class was generated from the following files:

• include/llvm/Transforms/InstCombine/InstCombiner.h
• lib/Transforms/InstCombine/InstCombineCompares.cpp
• lib/Transforms/InstCombine/InstructionCombining.cpp