#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/CaptureTracking.h"
#include "llvm/Analysis/CmpInstAnalysis.h"
#include "llvm/Analysis/ConstantFolding.h"
#include "llvm/Analysis/LoopAnalysisManager.h"
#include "llvm/Analysis/MemoryBuiltins.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/Analysis/VectorUtils.h"
#include "llvm/IR/ConstantRange.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/GetElementPtrTypeIterator.h"
#include "llvm/IR/GlobalAlias.h"
#include "llvm/IR/Operator.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/IR/ValueHandle.h"
#include "llvm/Support/KnownBits.h"
#include <algorithm>
#include "llvm/IR/Instruction.def"

Include dependency graph for InstructionSimplify.cpp:

Namespaces
	llvm
	This class represents lattice values for constants.

Macros
#define	DEBUG_TYPE "instsimplify"

#define	HANDLE_CAST_INST(num, opc, clas) case Instruction::opc:

Enumerations
enum	{ RecursionLimit = 3 }

Functions
	STATISTIC (NumExpand, "Number of expansions")

	STATISTIC (NumReassoc, "Number of reassociations")

static Value *	SimplifyAndInst (Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an And, see if we can fold the result. More...

static Value *	SimplifyBinOp (unsigned Opcode, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a BinaryOperator, see if we can fold the result. More...

static Value *	SimplifyFPBinOp (unsigned Opcode, Value LHS, Value RHS, const FastMathFlags &FMF, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a BinaryOperator, see if we can fold the result. More...

static Value *	SimplifyCmpInst (unsigned Predicate, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a CmpInst, see if we can fold the result. More...

static Value *	SimplifyICmpInst (unsigned Predicate, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an ICmpInst, see if we can fold the result. More...

static Value *	SimplifyOrInst (Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an Or, see if we can fold the result. More...

static Value *	SimplifyXorInst (Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a Xor, see if we can fold the result. More...

static Value *	SimplifyCastInst (unsigned, Value , Type , const SimplifyQuery &, unsigned)

static Value *	SimplifyGEPInst (Type SrcTy, ArrayRef< Value > Ops, const SimplifyQuery &Q, unsigned)
	Given operands for an GetElementPtrInst, see if we can fold the result. More...

static Value *	foldSelectWithBinaryOp (Value Cond, Value TrueVal, Value *FalseVal)

static Constant *	getFalse (Type *Ty)
	For a boolean type or a vector of boolean type, return false or a vector with every element false. More...

static Constant *	getTrue (Type *Ty)
	For a boolean type or a vector of boolean type, return true or a vector with every element true. More...

static bool	isSameCompare (Value V, CmpInst::Predicate Pred, Value LHS, Value *RHS)
	isSameCompare - Is V equivalent to the comparison "LHS Pred RHS"? More...

static bool	valueDominatesPHI (Value V, PHINode P, const DominatorTree *DT)
	Does the given value dominate the specified phi node? More...

static Value *	ExpandBinOp (Instruction::BinaryOps Opcode, Value LHS, Value RHS, Instruction::BinaryOps OpcodeToExpand, const SimplifyQuery &Q, unsigned MaxRecurse)
	Simplify "A op (B op' C)" by distributing op over op', turning it into "(A op B) op' (A op C)". More...

static Value *	SimplifyAssociativeBinOp (Instruction::BinaryOps Opcode, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	Generic simplifications for associative binary operations. More...

static Value *	ThreadBinOpOverSelect (Instruction::BinaryOps Opcode, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	In the case of a binary operation with a select instruction as an operand, try to simplify the binop by seeing whether evaluating it on both branches of the select results in the same value. More...

static Value *	ThreadCmpOverSelect (CmpInst::Predicate Pred, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	In the case of a comparison with a select instruction, try to simplify the comparison by seeing whether both branches of the select result in the same value. More...

static Value *	ThreadBinOpOverPHI (Instruction::BinaryOps Opcode, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	In the case of a binary operation with an operand that is a PHI instruction, try to simplify the binop by seeing whether evaluating it on the incoming phi values yields the same result for every value. More...

static Value *	ThreadCmpOverPHI (CmpInst::Predicate Pred, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	In the case of a comparison with a PHI instruction, try to simplify the comparison by seeing whether comparing with all of the incoming phi values yields the same result every time. More...

static Constant *	foldOrCommuteConstant (Instruction::BinaryOps Opcode, Value &Op0, Value &Op1, const SimplifyQuery &Q)

static Value *	SimplifyAddInst (Value Op0, Value Op1, bool IsNSW, bool IsNUW, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an Add, see if we can fold the result. More...

static Constant *	stripAndComputeConstantOffsets (const DataLayout &DL, Value *&V, bool AllowNonInbounds=false)
	Compute the base pointer and cumulative constant offsets for V. More...

static Constant *	computePointerDifference (const DataLayout &DL, Value LHS, Value RHS)
	Compute the constant difference between two pointer values. More...

static Value *	SimplifySubInst (Value Op0, Value Op1, bool isNSW, bool isNUW, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a Sub, see if we can fold the result. More...

static Value *	SimplifyMulInst (Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a Mul, see if we can fold the result. More...

static Value *	simplifyDivRem (Value Op0, Value Op1, bool IsDiv)
	Check for common or similar folds of integer division or integer remainder. More...

static bool	isICmpTrue (ICmpInst::Predicate Pred, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given a predicate and two operands, return true if the comparison is true. More...

static bool	isDivZero (Value X, Value Y, const SimplifyQuery &Q, unsigned MaxRecurse, bool IsSigned)
	Return true if we can simplify X / Y to 0. More...

static Value *	simplifyDiv (Instruction::BinaryOps Opcode, Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	These are simplifications common to SDiv and UDiv. More...

static Value *	simplifyRem (Instruction::BinaryOps Opcode, Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	These are simplifications common to SRem and URem. More...

static Value *	SimplifySDivInst (Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an SDiv, see if we can fold the result. More...

static Value *	SimplifyUDivInst (Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a UDiv, see if we can fold the result. More...

static Value *	SimplifySRemInst (Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an SRem, see if we can fold the result. More...

static Value *	SimplifyURemInst (Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a URem, see if we can fold the result. More...

static bool	isUndefShift (Value *Amount)
	Returns true if a shift by `Amount` always yields undef. More...

static Value *	SimplifyShift (Instruction::BinaryOps Opcode, Value Op0, Value Op1, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an Shl, LShr or AShr, see if we can fold the result. More...

static Value *	SimplifyRightShift (Instruction::BinaryOps Opcode, Value Op0, Value Op1, bool isExact, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an Shl, LShr or AShr, see if we can fold the result. More...

static Value *	SimplifyShlInst (Value Op0, Value Op1, bool isNSW, bool isNUW, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an Shl, see if we can fold the result. More...

static Value *	SimplifyLShrInst (Value Op0, Value Op1, bool isExact, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an LShr, see if we can fold the result. More...

static Value *	SimplifyAShrInst (Value Op0, Value Op1, bool isExact, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an AShr, see if we can fold the result. More...

static Value *	simplifyUnsignedRangeCheck (ICmpInst ZeroICmp, ICmpInst UnsignedICmp, bool IsAnd)
	Commuted variants are assumed to be handled by calling this function again with the parameters swapped. More...

static Value *	simplifyAndOfICmpsWithSameOperands (ICmpInst Op0, ICmpInst Op1)
	Commuted variants are assumed to be handled by calling this function again with the parameters swapped. More...

static Value *	simplifyOrOfICmpsWithSameOperands (ICmpInst Op0, ICmpInst Op1)
	Commuted variants are assumed to be handled by calling this function again with the parameters swapped. More...

static Value *	simplifyAndOrOfICmpsWithConstants (ICmpInst Cmp0, ICmpInst Cmp1, bool IsAnd)
	Test if a pair of compares with a shared operand and 2 constants has an empty set intersection, full set union, or if one compare is a superset of the other. More...

static Value *	simplifyAndOrOfICmpsWithZero (ICmpInst Cmp0, ICmpInst Cmp1, bool IsAnd)

static Value *	simplifyAndOfICmpsWithAdd (ICmpInst Op0, ICmpInst Op1, const InstrInfoQuery &IIQ)

static Value *	simplifyAndOfICmps (ICmpInst Op0, ICmpInst Op1, const InstrInfoQuery &IIQ)

static Value *	simplifyOrOfICmpsWithAdd (ICmpInst Op0, ICmpInst Op1, const InstrInfoQuery &IIQ)

static Value *	simplifyOrOfICmps (ICmpInst Op0, ICmpInst Op1, const InstrInfoQuery &IIQ)

static Value *	simplifyAndOrOfFCmps (const TargetLibraryInfo TLI, FCmpInst LHS, FCmpInst *RHS, bool IsAnd)

static Value *	simplifyAndOrOfCmps (const SimplifyQuery &Q, Value Op0, Value Op1, bool IsAnd)

static Type *	GetCompareTy (Value *Op)

static Value *	ExtractEquivalentCondition (Value V, CmpInst::Predicate Pred, Value LHS, Value *RHS)
	Rummage around inside V looking for something equivalent to the comparison "LHS Pred RHS". More...

static Constant *	computePointerICmp (const DataLayout &DL, const TargetLibraryInfo TLI, const DominatorTree DT, CmpInst::Predicate Pred, AssumptionCache AC, const Instruction CxtI, const InstrInfoQuery &IIQ, Value LHS, Value RHS)

static Value *	simplifyICmpOfBools (CmpInst::Predicate Pred, Value LHS, Value RHS, const SimplifyQuery &Q)
	Fold an icmp when its operands have i1 scalar type. More...

static Value *	simplifyICmpWithZero (CmpInst::Predicate Pred, Value LHS, Value RHS, const SimplifyQuery &Q)
	Try hard to fold icmp with zero RHS because this is a common case. More...

static void	setLimitsForBinOp (BinaryOperator &BO, APInt &Lower, APInt &Upper, const InstrInfoQuery &IIQ)
	Many binary operators with a constant operand have an easy-to-compute range of outputs. More...

static void	setLimitsForIntrinsic (IntrinsicInst &II, APInt &Lower, APInt &Upper)
	Some intrinsics with a constant operand have an easy-to-compute range of outputs. More...

static Value *	simplifyICmpWithConstant (CmpInst::Predicate Pred, Value LHS, Value RHS, const InstrInfoQuery &IIQ)

static Value *	simplifyICmpWithBinOp (CmpInst::Predicate Pred, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	TODO: A large part of this logic is duplicated in InstCombine's foldICmpBinOp(). More...

static Value *	simplifyICmpWithAbsNabs (CmpInst::Predicate Pred, Value Op0, Value Op1)

static Value *	simplifyICmpWithMinMax (CmpInst::Predicate Pred, Value LHS, Value RHS, const SimplifyQuery &Q, unsigned MaxRecurse)
	Simplify integer comparisons where at least one operand of the compare matches an integer min/max idiom. More...

static Value *	SimplifyFCmpInst (unsigned Predicate, Value LHS, Value RHS, FastMathFlags FMF, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an FCmpInst, see if we can fold the result. More...

static const Value *	SimplifyWithOpReplaced (Value V, Value Op, Value *RepOp, const SimplifyQuery &Q, unsigned MaxRecurse)
	See if V simplifies when its operand Op is replaced with RepOp. More...

static Value *	simplifySelectBitTest (Value TrueVal, Value FalseVal, Value X, const APInt Y, bool TrueWhenUnset)
	Try to simplify a select instruction when its condition operand is an integer comparison where one operand of the compare is a constant. More...

static Value *	simplifySelectWithFakeICmpEq (Value CmpLHS, Value CmpRHS, ICmpInst::Predicate Pred, Value TrueVal, Value FalseVal)
	An alternative way to test if a bit is set or not uses sgt/slt instead of eq/ne. More...

static Value *	simplifySelectWithICmpCond (Value CondVal, Value TrueVal, Value *FalseVal, const SimplifyQuery &Q, unsigned MaxRecurse)
	Try to simplify a select instruction when its condition operand is an integer comparison. More...

static Value *	simplifySelectWithFCmp (Value Cond, Value T, Value *F)
	Try to simplify a select instruction when its condition operand is a floating-point comparison. More...

static Value *	SimplifySelectInst (Value Cond, Value TrueVal, Value *FalseVal, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for a SelectInst, see if we can fold the result. More...

static Value *	SimplifyInsertValueInst (Value Agg, Value Val, ArrayRef< unsigned > Idxs, const SimplifyQuery &Q, unsigned)
	Given operands for an InsertValueInst, see if we can fold the result. More...

static Value *	SimplifyExtractValueInst (Value *Agg, ArrayRef< unsigned > Idxs, const SimplifyQuery &, unsigned)
	Given operands for an ExtractValueInst, see if we can fold the result. More...

static Value *	SimplifyExtractElementInst (Value Vec, Value Idx, const SimplifyQuery &, unsigned)
	Given operands for an ExtractElementInst, see if we can fold the result. More...

static Value *	SimplifyPHINode (PHINode *PN, const SimplifyQuery &Q)
	See if we can fold the given phi. If not, returns null. More...

static Value *	foldIdentityShuffles (int DestElt, Value Op0, Value Op1, int MaskVal, Value *RootVec, unsigned MaxRecurse)
	For the given destination element of a shuffle, peek through shuffles to match a root vector source operand that contains that element in the same vector lane (ie, the same mask index), so we can eliminate the shuffle(s). More...

static Value *	SimplifyShuffleVectorInst (Value Op0, Value Op1, Constant Mask, Type RetTy, const SimplifyQuery &Q, unsigned MaxRecurse)

static Constant *	propagateNaN (Constant *In)

static Constant *	simplifyFPBinop (Value Op0, Value Op1)

static Value *	SimplifyFAddInst (Value Op0, Value Op1, FastMathFlags FMF, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an FAdd, see if we can fold the result. More...

static Value *	SimplifyFSubInst (Value Op0, Value Op1, FastMathFlags FMF, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given operands for an FSub, see if we can fold the result. More...

static Value *	SimplifyFMulInst (Value Op0, Value Op1, FastMathFlags FMF, const SimplifyQuery &Q, unsigned MaxRecurse)
	Given the operands for an FMul, see if we can fold the result. More...

static Value *	SimplifyFDivInst (Value Op0, Value Op1, FastMathFlags FMF, const SimplifyQuery &Q, unsigned)

static Value *	SimplifyFRemInst (Value Op0, Value Op1, FastMathFlags FMF, const SimplifyQuery &Q, unsigned)

static bool	IsIdempotent (Intrinsic::ID ID)

static Value *	SimplifyRelativeLoad (Constant Ptr, Constant Offset, const DataLayout &DL)

static bool	maskIsAllZeroOrUndef (Value *Mask)

static Value *	simplifyUnaryIntrinsic (Function F, Value Op0, const SimplifyQuery &Q)

static Value *	simplifyBinaryIntrinsic (Function F, Value Op0, Value *Op1, const SimplifyQuery &Q)

template<typename IterTy >
static Value *	simplifyIntrinsic (Function *F, IterTy ArgBegin, IterTy ArgEnd, const SimplifyQuery &Q)

template<typename IterTy >
static Value *	SimplifyCall (ImmutableCallSite CS, Value *V, IterTy ArgBegin, IterTy ArgEnd, const SimplifyQuery &Q, unsigned MaxRecurse)

static bool	replaceAndRecursivelySimplifyImpl (Instruction I, Value SimpleV, const TargetLibraryInfo TLI, const DominatorTree DT, AssumptionCache *AC)
	Implementation of recursive simplification through an instruction's uses. More...

const SimplifyQuery	llvm::getBestSimplifyQuery (Pass &, Function &)

const SimplifyQuery	llvm::getBestSimplifyQuery (LoopStandardAnalysisResults &, const DataLayout &)

template<class T , class... TArgs>
const SimplifyQuery	llvm::getBestSimplifyQuery (AnalysisManager< T, TArgs... > &, Function &)

template const SimplifyQuery	llvm::getBestSimplifyQuery (AnalysisManager< Function > &, Function &)

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "instsimplify"

Definition at line 45 of file InstructionSimplify.cpp.

◆ HANDLE_CAST_INST

#define HANDLE_CAST_INST	(	num,
		opc,
		clas
	)	case Instruction::opc:

Enumeration Type Documentation

◆ anonymous enum

anonymous enum

Enumerator
RecursionLimit

Definition at line 47 of file InstructionSimplify.cpp.

Function Documentation

◆ computePointerDifference()

static Constant* computePointerDifference	(	const DataLayout &	DL,
		Value *	LHS,
		Value *	RHS
	)

static

Compute the constant difference between two pointer values.

If the difference is not a constant, returns zero.

Definition at line 694 of file InstructionSimplify.cpp.

References llvm::ConstantExpr::getSub(), and stripAndComputeConstantOffsets().

Referenced by SimplifySubInst().

◆ computePointerICmp()

static Constant* computePointerICmp	(	const DataLayout &	DL,
		const TargetLibraryInfo *	TLI,
		const DominatorTree *	DT,
		CmpInst::Predicate	Pred,
		AssumptionCache *	AC,
		const Instruction *	CxtI,
		const InstrInfoQuery &	IIQ,
		Value *	LHS,
		Value *	RHS
	)

static

Definition at line 2152 of file InstructionSimplify.cpp.

References A, llvm::all_of(), llvm::dyn_cast(), llvm::ConstantInt::get(), llvm::ConstantExpr::getAdd(), GetCompareTy(), getFunction(), llvm::ConstantExpr::getICmp(), llvm::getObjectSize(), llvm::ICmpInst::getSignedPredicate(), llvm::Value::getType(), llvm::GetUnderlyingObjects(), llvm::ConstantInt::getValue(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::isAllocLikeFn(), llvm::CmpInst::isFalseWhenEqual(), llvm::isKnownNonZero(), llvm::APInt::isNegative(), llvm::isNoAliasCall(), llvm::Constant::isNullValue(), llvm::CmpInst::isTrueWhenEqual(), MI, llvm::ObjectSizeOpts::NullIsUnknownSize, llvm::NullPointerIsDefined(), llvm::PointerMayBeCaptured(), stripAndComputeConstantOffsets(), llvm::Value::stripPointerCasts(), llvm::APInt::ult(), and llvm::InstrInfoQuery::UseInstrInfo.

Referenced by SimplifyICmpInst().

◆ ExpandBinOp()

static Value* ExpandBinOp	(	Instruction::BinaryOps	Opcode,
		Value *	LHS,
		Value *	RHS,
		Instruction::BinaryOps	OpcodeToExpand,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Simplify "A op (B op' C)" by distributing op over op', turning it into "(A op B) op' (A op C)".

Here "op" is given by Opcode and "op'" is given by OpcodeToExpand, while "A" corresponds to LHS and "B op' C" to RHS. Also performs the transform "(A op' B) op C" -> "(A op C) op' (B op C)". Returns the simplified value, or null if no simplification was performed.

Definition at line 167 of file InstructionSimplify.cpp.

References A, B, C, llvm::User::getOperand(), llvm::Instruction::isCommutative(), llvm::RISCVFenceField::R, and llvm::SimplifyBinOp().

Referenced by SimplifyAndInst(), SimplifyMulInst(), and SimplifyOrInst().

◆ ExtractEquivalentCondition()

static Value* ExtractEquivalentCondition	(	Value *	V,
		CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS
	)

static

Rummage around inside V looking for something equivalent to the comparison "LHS Pred RHS".

Return such a value if found, otherwise return null. Helper function for analyzing max/min idioms.

Definition at line 2106 of file InstructionSimplify.cpp.

References llvm::dyn_cast(), llvm::SelectInst::getCondition(), llvm::User::getOperand(), llvm::CmpInst::getPredicate(), llvm::CmpInst::getSwappedPredicate(), and SI.

Referenced by simplifyICmpWithMinMax().

◆ foldIdentityShuffles()

static Value* foldIdentityShuffles	(	int	DestElt,
		Value *	Op0,
		Value *	Op1,
		int	MaskVal,
		Value *	RootVec,
		unsigned	MaxRecurse
	)

static

For the given destination element of a shuffle, peek through shuffles to match a root vector source operand that contains that element in the same vector lane (ie, the same mask index), so we can eliminate the shuffle(s).

Definition at line 4368 of file InstructionSimplify.cpp.

References llvm::Value::getType(), and llvm::Type::getVectorNumElements().

Referenced by SimplifyShuffleVectorInst().

◆ foldOrCommuteConstant()

static Constant* foldOrCommuteConstant	(	Instruction::BinaryOps	Opcode,
		Value *&	Op0,
		Value *&	Op1,
		const SimplifyQuery &	Q
	)

static

Definition at line 556 of file InstructionSimplify.cpp.

References llvm::ConstantFoldBinaryOpOperands(), llvm::SimplifyQuery::DL, llvm::Instruction::isCommutative(), and std::swap().

Referenced by SimplifyAddInst(), SimplifyAndInst(), simplifyDiv(), SimplifyFAddInst(), SimplifyFDivInst(), SimplifyFMulInst(), SimplifyFRemInst(), SimplifyFSubInst(), SimplifyMulInst(), SimplifyOrInst(), simplifyRem(), SimplifyShift(), SimplifySubInst(), and SimplifyXorInst().

◆ foldSelectWithBinaryOp()

static Value* foldSelectWithBinaryOp	(	Value *	Cond,
		Value *	TrueVal,
		Value *	FalseVal
	)

static

Definition at line 68 of file InstructionSimplify.cpp.

References llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_c_ICmp(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), X, and Y.

Referenced by SimplifySelectInst().

◆ GetCompareTy()

static Type* GetCompareTy ( Value * Op )

static

Definition at line 2099 of file InstructionSimplify.cpp.

References llvm::Value::getType(), and llvm::CmpInst::makeCmpResultType().

Referenced by computePointerICmp(), SimplifyFCmpInst(), SimplifyICmpInst(), simplifyICmpOfBools(), simplifyICmpWithAbsNabs(), simplifyICmpWithBinOp(), simplifyICmpWithConstant(), simplifyICmpWithMinMax(), and simplifyICmpWithZero().

◆ getFalse()

static Constant* getFalse ( Type * Ty )

static

For a boolean type or a vector of boolean type, return false or a vector with every element false.

Definition at line 112 of file InstructionSimplify.cpp.

References llvm::ConstantInt::getFalse().

Referenced by simplifyAndOfICmpsWithAdd(), simplifyAndOfICmpsWithSameOperands(), simplifyAndOrOfICmpsWithConstants(), SimplifyFCmpInst(), SimplifyICmpInst(), simplifyICmpOfBools(), simplifyICmpWithAbsNabs(), simplifyICmpWithBinOp(), simplifyICmpWithMinMax(), simplifyICmpWithZero(), simplifyUnsignedRangeCheck(), and ThreadCmpOverSelect().

◆ getTrue()

static Constant* getTrue ( Type * Ty )

static

For a boolean type or a vector of boolean type, return true or a vector with every element true.

Definition at line 118 of file InstructionSimplify.cpp.

References llvm::ConstantInt::getTrue().

Referenced by simplifyAndOrOfICmpsWithConstants(), SimplifyFCmpInst(), SimplifyICmpInst(), simplifyICmpOfBools(), simplifyICmpWithAbsNabs(), simplifyICmpWithBinOp(), simplifyICmpWithMinMax(), simplifyICmpWithZero(), simplifyOrOfICmpsWithAdd(), simplifyOrOfICmpsWithSameOperands(), simplifyUnsignedRangeCheck(), and ThreadCmpOverSelect().

◆ isDivZero()

static bool isDivZero	(	Value *	X,
		Value *	Y,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse,
		bool	IsSigned
	)

static

Return true if we can simplify X / Y to 0.

Remainder can adapt that answer to simplify X % Y to X.

Definition at line 974 of file InstructionSimplify.cpp.

References llvm::APInt::abs(), C, llvm::ConstantInt::get(), llvm::Value::getType(), llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_ULT, isICmpTrue(), llvm::APInt::isMinSignedValue(), llvm::PatternMatch::m_APInt(), and llvm::PatternMatch::match().

Referenced by simplifyDiv(), and simplifyRem().

◆ isICmpTrue()

static bool isICmpTrue	(	ICmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given a predicate and two operands, return true if the comparison is true.

This is a helper for div/rem simplification where we return some other value when we can prove a relationship between the operands.

Definition at line 965 of file InstructionSimplify.cpp.

References C, llvm::Constant::isAllOnesValue(), and llvm::SimplifyICmpInst().

Referenced by isDivZero().

◆ IsIdempotent()

static bool IsIdempotent ( Intrinsic::ID ID )

static

Definition at line 4815 of file InstructionSimplify.cpp.

References llvm::Intrinsic::canonicalize, llvm::Intrinsic::ceil, llvm::Intrinsic::fabs, llvm::Intrinsic::floor, llvm::Intrinsic::nearbyint, llvm::Intrinsic::rint, llvm::Intrinsic::round, and llvm::Intrinsic::trunc.

Referenced by simplifyUnaryIntrinsic().

◆ isSameCompare()

static bool isSameCompare	(	Value *	V,
		CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS
	)

static

isSameCompare - Is V equivalent to the comparison "LHS Pred RHS"?

Definition at line 123 of file InstructionSimplify.cpp.

References llvm::dyn_cast(), llvm::User::getOperand(), llvm::CmpInst::getPredicate(), and llvm::CmpInst::getSwappedPredicate().

Referenced by ThreadCmpOverSelect().

◆ isUndefShift()

static bool isUndefShift ( Value * Amount )

static

Returns true if a shift by Amount always yields undef.

Definition at line 1184 of file InstructionSimplify.cpp.

References C, llvm::dyn_cast(), E, llvm::Constant::getAggregateElement(), llvm::Value::getType(), llvm::Type::getVectorNumElements(), and I.

Referenced by SimplifyShift().

◆ maskIsAllZeroOrUndef()

static bool maskIsAllZeroOrUndef ( Value * Mask )

static

Definition at line 4888 of file InstructionSimplify.cpp.

References llvm::dyn_cast(), E, I, and llvm::BitmaskEnumDetail::Mask().

Referenced by simplifyIntrinsic().

◆ propagateNaN()

static Constant* propagateNaN ( Constant * In )

static

Definition at line 4498 of file InstructionSimplify.cpp.

References llvm::ConstantFP::getNaN(), llvm::Value::getType(), llvm::tgtok::In, and llvm::Constant::isNaN().

Referenced by simplifyFPBinop().

◆ replaceAndRecursivelySimplifyImpl()

static bool replaceAndRecursivelySimplifyImpl	(	Instruction *	I,
		Value *	SimpleV,
		const TargetLibraryInfo *	TLI,
		const DominatorTree *	DT,
		AssumptionCache *	AC
	)

static

Implementation of recursive simplification through an instruction's uses.

This is the common implementation of the recursive simplification routines. If we have a pre-simplified value in 'SimpleV', that is forcibly used to replace the instruction 'I'. Otherwise, we simply add 'I' to the list of instructions to process and attempt to simplify it using InstructionSimplify.

This routine returns 'true' only when it simplifies something. The passed in simplified value does not count toward this.

Definition at line 5371 of file InstructionSimplify.cpp.

References llvm::Instruction::eraseFromParent(), llvm::Module::getDataLayout(), llvm::Instruction::getModule(), llvm::Instruction::getParent(), llvm::SetVector< T, SmallVector< T, N >, SmallDenseSet< T, N > >::insert(), llvm::Instruction::isEHPad(), llvm::Instruction::isTerminator(), llvm::Instruction::mayHaveSideEffects(), llvm::Value::replaceAllUsesWith(), llvm::JumpTable::Simplified, llvm::SimplifyInstruction(), llvm::SetVector< T, SmallVector< T, N >, SmallDenseSet< T, N > >::size(), and llvm::Value::users().

Referenced by llvm::recursivelySimplifyInstruction(), and llvm::replaceAndRecursivelySimplify().

◆ setLimitsForBinOp()

static void setLimitsForBinOp	(	BinaryOperator &	BO,
		APInt &	Lower,
		APInt &	Upper,
		const InstrInfoQuery &	IIQ
	)

static

Many binary operators with a constant operand have an easy-to-compute range of outputs.

This can be used to fold a comparison to always true or always false.

Definition at line 2478 of file InstructionSimplify.cpp.

References llvm::APInt::abs(), llvm::MCID::Add, llvm::APInt::ashr(), assert(), C, llvm::APInt::countLeadingOnes(), llvm::APInt::countLeadingZeros(), llvm::APInt::countTrailingZeros(), llvm::APInt::getAllOnesValue(), llvm::APInt::getBitWidth(), llvm::APInt::getMaxValue(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), llvm::InstrInfoQuery::hasNoSignedWrap(), llvm::Instruction::hasNoSignedWrap(), llvm::InstrInfoQuery::hasNoUnsignedWrap(), llvm::APInt::isAllOnesValue(), llvm::InstrInfoQuery::isExact(), llvm::APInt::isMinSignedValue(), llvm::APInt::isNegative(), llvm::APInt::isNullValue(), llvm::APInt::lshr(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), llvm::APInt::sdiv(), llvm::APInt::sgt(), llvm::APInt::shl(), std::swap(), llvm::APInt::udiv(), and llvm::APInt::ult().

Referenced by simplifyICmpWithConstant().

◆ setLimitsForIntrinsic()

static void setLimitsForIntrinsic	(	IntrinsicInst &	II,
		APInt &	Lower,
		APInt &	Upper
	)

static

Some intrinsics with a constant operand have an easy-to-compute range of outputs.

This can be used to fold a comparison to always true or always false.

Definition at line 2636 of file InstructionSimplify.cpp.

References C, llvm::APInt::getBitWidth(), llvm::IntrinsicInst::getIntrinsicID(), llvm::APInt::getMaxValue(), llvm::User::getOperand(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), llvm::APInt::isNegative(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), llvm::Intrinsic::sadd_sat, llvm::Intrinsic::ssub_sat, llvm::Intrinsic::uadd_sat, and llvm::Intrinsic::usub_sat.

Referenced by simplifyICmpWithConstant().

◆ SimplifyAddInst()

static Value* SimplifyAddInst	(	Value *	Op0,
		Value *	Op1,
		bool	IsNSW,
		bool	IsNUW,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an Add, see if we can fold the result.

If not, this returns null.

i1 add -> xor.

Definition at line 572 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyAddInst().

◆ SimplifyAndInst()

static Value * SimplifyAndInst	(	Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an And, see if we can fold the result.

If not, this returns null.

Definition at line 1781 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyAndInst().

◆ simplifyAndOfICmps()

static Value* simplifyAndOfICmps	(	ICmpInst *	Op0,
		ICmpInst *	Op1,
		const InstrInfoQuery &	IIQ
	)

static

Definition at line 1606 of file InstructionSimplify.cpp.

References simplifyAndOfICmpsWithAdd(), simplifyAndOfICmpsWithSameOperands(), simplifyAndOrOfICmpsWithConstants(), simplifyAndOrOfICmpsWithZero(), simplifyUnsignedRangeCheck(), and X.

Referenced by simplifyAndOrOfCmps().

◆ simplifyAndOfICmpsWithAdd()

static Value* simplifyAndOfICmpsWithAdd	(	ICmpInst *	Op0,
		ICmpInst *	Op1,
		const InstrInfoQuery &	IIQ
	)

static

◆ simplifyAndOfICmpsWithSameOperands()

static Value* simplifyAndOfICmpsWithSameOperands	(	ICmpInst *	Op0,
		ICmpInst *	Op1
	)

static

Commuted variants are assumed to be handled by calling this function again with the parameters swapped.

Definition at line 1433 of file InstructionSimplify.cpp.

References A, B, getFalse(), llvm::CmpInst::getInversePredicate(), llvm::Value::getType(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::CmpInst::isFalseWhenEqual(), llvm::CmpInst::isImpliedTrueByMatchingCmp(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), and llvm::PatternMatch::match().

Referenced by simplifyAndOfICmps().

◆ simplifyAndOrOfCmps()

static Value* simplifyAndOrOfCmps	(	const SimplifyQuery &	Q,
		Value *	Op0,
		Value *	Op1,
		bool	IsAnd
	)

static

Definition at line 1743 of file InstructionSimplify.cpp.

References C, llvm::dyn_cast(), llvm::ConstantExpr::getCast(), llvm::Value::getType(), llvm::SimplifyQuery::IIQ, simplifyAndOfICmps(), simplifyAndOrOfFCmps(), simplifyOrOfICmps(), and llvm::SimplifyQuery::TLI.

Referenced by SimplifyAndInst(), and SimplifyOrInst().

◆ simplifyAndOrOfFCmps()

static Value* simplifyAndOrOfFCmps	(	const TargetLibraryInfo *	TLI,
		FCmpInst *	LHS,
		FCmpInst *	RHS,
		bool	IsAnd
	)

static

Definition at line 1705 of file InstructionSimplify.cpp.

References llvm::CmpInst::FCMP_ORD, llvm::CmpInst::FCMP_UNO, llvm::User::getOperand(), llvm::CmpInst::getPredicate(), llvm::Value::getType(), and llvm::isKnownNeverNaN().

Referenced by simplifyAndOrOfCmps().

◆ simplifyAndOrOfICmpsWithConstants()

static Value* simplifyAndOrOfICmpsWithConstants	(	ICmpInst *	Cmp0,
		ICmpInst *	Cmp1,
		bool	IsAnd
	)

static

Test if a pair of compares with a shared operand and 2 constants has an empty set intersection, full set union, or if one compare is a superset of the other.

Definition at line 1485 of file InstructionSimplify.cpp.

References getFalse(), llvm::User::getOperand(), llvm::CmpInst::getPredicate(), getTrue(), llvm::Value::getType(), llvm::PatternMatch::m_APInt(), llvm::ConstantRange::makeExactICmpRegion(), and llvm::PatternMatch::match().

Referenced by simplifyAndOfICmps(), and simplifyOrOfICmps().

◆ simplifyAndOrOfICmpsWithZero()

static Value* simplifyAndOrOfICmpsWithZero	(	ICmpInst *	Cmp0,
		ICmpInst *	Cmp1,
		bool	IsAnd
	)

static

Definition at line 1522 of file InstructionSimplify.cpp.

References llvm::User::getOperand(), llvm::CmpInst::getPredicate(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::PatternMatch::m_c_And(), llvm::PatternMatch::m_PtrToInt(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), X, and Y.

Referenced by simplifyAndOfICmps(), and simplifyOrOfICmps().

◆ SimplifyAShrInst()

static Value* SimplifyAShrInst	(	Value *	Op0,
		Value *	Op1,
		bool	isExact,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an AShr, see if we can fold the result.

If not, this returns null.

Definition at line 1359 of file InstructionSimplify.cpp.

References llvm::SimplifyQuery::AC, llvm::ComputeNumSignBits(), llvm::SimplifyQuery::CxtI, llvm::SimplifyQuery::DL, llvm::SimplifyQuery::DT, llvm::Constant::getAllOnesValue(), llvm::Type::getScalarSizeInBits(), llvm::Value::getType(), llvm::SimplifyQuery::IIQ, llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_NSWShl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), SimplifyRightShift(), llvm::InstrInfoQuery::UseInstrInfo, and X.

Referenced by llvm::SimplifyAShrInst().

◆ SimplifyAssociativeBinOp()

static Value* SimplifyAssociativeBinOp	(	Instruction::BinaryOps	Opcode,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Generic simplifications for associative binary operations.

Returns the simpler value, or null if none was found.

Definition at line 225 of file InstructionSimplify.cpp.

References A, assert(), B, C, llvm::dyn_cast(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Instruction::isAssociative(), llvm::Instruction::isCommutative(), llvm::SimplifyBinOp(), and llvm::RISCVFenceField::W.

Referenced by SimplifyAddInst(), SimplifyAndInst(), SimplifyMulInst(), SimplifyOrInst(), and SimplifyXorInst().

◆ simplifyBinaryIntrinsic()

static Value* simplifyBinaryIntrinsic	(	Function *	F,
		Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q
	)

static

Definition at line 4953 of file InstructionSimplify.cpp.

References C, llvm::SimplifyQuery::DL, llvm::ConstantFP::get(), llvm::UndefValue::get(), llvm::Constant::getAllOnesValue(), llvm::ConstantFP::getInfinity(), llvm::Function::getIntrinsicID(), llvm::Constant::getNullValue(), llvm::Function::getReturnType(), llvm::Value::getType(), llvm::APFloat::isInfinity(), llvm::APFloat::isNegative(), LLVM_FALLTHROUGH, llvm::Intrinsic::load_relative, llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APFloat(), llvm::PatternMatch::m_NaN(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), llvm::Intrinsic::maximum, llvm::Intrinsic::maxnum, llvm::Intrinsic::minimum, llvm::Intrinsic::minnum, llvm::Intrinsic::powi, llvm::Intrinsic::sadd_sat, llvm::Intrinsic::sadd_with_overflow, SimplifyRelativeLoad(), llvm::Intrinsic::smul_with_overflow, llvm::Intrinsic::ssub_sat, llvm::Intrinsic::ssub_with_overflow, llvm::Intrinsic::uadd_sat, llvm::Intrinsic::uadd_with_overflow, llvm::Intrinsic::umul_with_overflow, llvm::Intrinsic::usub_sat, and llvm::Intrinsic::usub_with_overflow.

Referenced by simplifyIntrinsic().

◆ SimplifyBinOp()

static Value * SimplifyBinOp	(	unsigned	Opcode,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a BinaryOperator, see if we can fold the result.

If not, this returns null.

Definition at line 4727 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyBinOp().

◆ SimplifyCall()

template<typename IterTy >

static Value* SimplifyCall	(	ImmutableCallSite	CS,
		Value *	V,
		IterTy	ArgBegin,
		IterTy	ArgEnd,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Definition at line 5141 of file InstructionSimplify.cpp.

References C, llvm::canConstantFoldCallTo(), llvm::ConstantFoldCall(), llvm::dyn_cast(), E, F(), llvm::UndefValue::get(), llvm::FunctionType::getReturnType(), llvm::Value::getType(), I, llvm::SmallVectorTemplateBase< T >::push_back(), llvm::SmallVectorImpl< T >::reserve(), llvm::MipsISD::Ret, simplifyIntrinsic(), and llvm::SimplifyQuery::TLI.

Referenced by llvm::SimplifyCall().

◆ SimplifyCastInst()

static Value * SimplifyCastInst	(	unsigned	CastOpc,
		Value *	Op,
		Type *	Ty,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Definition at line 4326 of file InstructionSimplify.cpp.

References C, llvm::ConstantFoldCastOperand(), llvm::SimplifyQuery::DL, llvm::DataLayout::getIntPtrType(), llvm::Value::getType(), llvm::CastInst::isEliminableCastPair(), and llvm::Type::isPtrOrPtrVectorTy().

Referenced by llvm::SimplifyCastInst().

◆ SimplifyCmpInst()

static Value * SimplifyCmpInst	(	unsigned	Predicate,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a CmpInst, see if we can fold the result.

Definition at line 4803 of file InstructionSimplify.cpp.

References llvm::CmpInst::isIntPredicate(), llvm::SimplifyFCmpInst(), and llvm::SimplifyICmpInst().

Referenced by llvm::SimplifyCmpInst().

◆ simplifyDiv()

static Value* simplifyDiv	(	Instruction::BinaryOps	Opcode,
		Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

These are simplifications common to SDiv and UDiv.

Definition at line 1025 of file InstructionSimplify.cpp.

Referenced by SimplifySDivInst(), and SimplifyUDivInst().

◆ simplifyDivRem()

static Value* simplifyDivRem	(	Value *	Op0,
		Value *	Op1,
		bool	IsDiv
	)

static

Check for common or similar folds of integer division or integer remainder.

This applies to all 4 opcodes (sdiv/udiv/srem/urem).

Definition at line 908 of file InstructionSimplify.cpp.

References llvm::dyn_cast(), llvm::ConstantInt::get(), llvm::UndefValue::get(), llvm::Constant::getAggregateElement(), llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::Type::getVectorNumElements(), llvm::Type::isIntOrIntVectorTy(), llvm::Constant::isNullValue(), llvm::Type::isVectorTy(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::match(), and X.

Referenced by simplifyDiv(), and simplifyRem().

◆ SimplifyExtractElementInst()

static Value* SimplifyExtractElementInst	(	Value *	Vec,
		Value *	Idx,
		const SimplifyQuery &	,
		unsigned
	)

static

Given operands for an ExtractElementInst, see if we can fold the result.

If not, this returns null.

Definition at line 4256 of file InstructionSimplify.cpp.

References llvm::ConstantFoldExtractElementInstruction(), llvm::findScalarElement(), llvm::UndefValue::get(), llvm::Value::getType(), llvm::Type::getVectorElementType(), and llvm::Type::getVectorNumElements().

Referenced by llvm::SimplifyExtractElementInst().

◆ SimplifyExtractValueInst()

static Value* SimplifyExtractValueInst	(	Value *	Agg,
		ArrayRef< unsigned >	Idxs,
		const SimplifyQuery &	,
		unsigned
	)

static

Given operands for an ExtractValueInst, see if we can fold the result.

If not, this returns null.

Definition at line 4226 of file InstructionSimplify.cpp.

References llvm::ConstantFoldExtractValueInstruction(), llvm::dyn_cast(), llvm::ArrayRef< T >::size(), and llvm::ArrayRef< T >::slice().

Referenced by llvm::SimplifyExtractValueInst().

◆ SimplifyFAddInst()

static Value* SimplifyFAddInst	(	Value *	Op0,
		Value *	Op1,
		FastMathFlags	FMF,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an FAdd, see if we can fold the result.

If not, this returns null.

Definition at line 4522 of file InstructionSimplify.cpp.

References llvm::FastMathFlags::allowReassoc(), C, llvm::CannotBeNegativeZero(), foldOrCommuteConstant(), llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::PatternMatch::m_AnyZeroFP(), llvm::PatternMatch::m_FSub(), llvm::PatternMatch::m_NegZeroFP(), llvm::PatternMatch::m_PosZeroFP(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::FastMathFlags::noNaNs(), llvm::FastMathFlags::noSignedZeros(), simplifyFPBinop(), llvm::SimplifyQuery::TLI, and X.

Referenced by llvm::SimplifyFAddInst().

◆ SimplifyFCmpInst()

static Value* SimplifyFCmpInst	(	unsigned	Predicate,
		Value *	LHS,
		Value *	RHS,
		FastMathFlags	FMF,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an FCmpInst, see if we can fold the result.

If not, this returns null.

Definition at line 3599 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyFCmpInst().

◆ SimplifyFDivInst()

static Value* SimplifyFDivInst	(	Value *	Op0,
		Value *	Op1,
		FastMathFlags	FMF,
		const SimplifyQuery &	Q,
		unsigned
	)

static

◆ SimplifyFMulInst()

static Value* SimplifyFMulInst	(	Value *	Op0,
		Value *	Op1,
		FastMathFlags	FMF,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given the operands for an FMul, see if we can fold the result.

Definition at line 4606 of file InstructionSimplify.cpp.

References llvm::FastMathFlags::allowReassoc(), C, foldOrCommuteConstant(), llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::PatternMatch::m_AnyZeroFP(), llvm::PatternMatch::m_FPOne(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::FastMathFlags::noNaNs(), llvm::FastMathFlags::noSignedZeros(), simplifyFPBinop(), and X.

Referenced by llvm::SimplifyFMulInst().

◆ SimplifyFPBinOp()

static Value * SimplifyFPBinOp	(	unsigned	Opcode,
		Value *	LHS,
		Value *	RHS,
		const FastMathFlags &	FMF,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a BinaryOperator, see if we can fold the result.

If not, this returns null. In contrast to SimplifyBinOp, try to use FastMathFlag when folding the result. In case we don't need FastMathFlags, simply fall to SimplifyBinOp.

Definition at line 4775 of file InstructionSimplify.cpp.

References llvm::SimplifyBinOp(), llvm::SimplifyFAddInst(), llvm::SimplifyFDivInst(), llvm::SimplifyFMulInst(), and llvm::SimplifyFSubInst().

Referenced by llvm::SimplifyFPBinOp().

◆ simplifyFPBinop()

static Constant* simplifyFPBinop	(	Value *	Op0,
		Value *	Op1
	)

static

Definition at line 4508 of file InstructionSimplify.cpp.

References llvm::ConstantFP::getNaN(), llvm::Value::getType(), llvm::PatternMatch::m_NaN(), llvm::PatternMatch::match(), and propagateNaN().

Referenced by SimplifyFAddInst(), SimplifyFDivInst(), SimplifyFMulInst(), SimplifyFRemInst(), and SimplifyFSubInst().

◆ SimplifyFRemInst()

static Value* SimplifyFRemInst	(	Value *	Op0,
		Value *	Op1,
		FastMathFlags	FMF,
		const SimplifyQuery &	Q,
		unsigned
	)

static

Definition at line 4695 of file InstructionSimplify.cpp.

References C, foldOrCommuteConstant(), llvm::ConstantFP::getNegativeZero(), llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::PatternMatch::m_NegZeroFP(), llvm::PatternMatch::m_PosZeroFP(), llvm::PatternMatch::match(), llvm::FastMathFlags::noNaNs(), and simplifyFPBinop().

Referenced by llvm::SimplifyFRemInst().

◆ SimplifyFSubInst()

static Value* SimplifyFSubInst	(	Value *	Op0,
		Value *	Op1,
		FastMathFlags	FMF,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an FSub, see if we can fold the result.

If not, this returns null.

Definition at line 4563 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyFSubInst().

◆ SimplifyGEPInst()

static Value * SimplifyGEPInst	(	Type *	SrcTy,
		ArrayRef< Value * >	Ops,
		const SimplifyQuery &	Q,
		unsigned
	)

static

Given operands for an GetElementPtrInst, see if we can fold the result.

If not, this returns null.

Definition at line 4049 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyGEPInst().

◆ SimplifyICmpInst()

static Value * SimplifyICmpInst	(	unsigned	Predicate,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an ICmpInst, see if we can fold the result.

If not, this returns null.

Definition at line 3309 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyICmpInst().

◆ simplifyICmpOfBools()

static Value* simplifyICmpOfBools	(	CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q
	)

static

Fold an icmp when its operands have i1 scalar type.

For signed comparison, the values for an i1 are 0 and -1 respectively. This maps into a truth table of: LHS | RHS | LHS >=s RHS | LHS implies RHS 0 | 0 | 1 (0 >= 0) | 1 0 | 1 | 1 (0 >= -1) | 1 1 | 0 | 0 (-1 >= 0) | 0 1 | 1 | 1 (-1 >= -1) | 1

Definition at line 2339 of file InstructionSimplify.cpp.

Referenced by SimplifyICmpInst().

◆ simplifyICmpWithAbsNabs()

static Value* simplifyICmpWithAbsNabs	(	CmpInst::Predicate	Pred,
		Value *	Op0,
		Value *	Op1
	)

static

◆ simplifyICmpWithBinOp()

static Value* simplifyICmpWithBinOp	(	CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

TODO: A large part of this logic is duplicated in InstCombine's foldICmpBinOp().

We should be able to share that and avoid the code duplication.

Definition at line 2753 of file InstructionSimplify.cpp.

Referenced by SimplifyICmpInst().

◆ simplifyICmpWithConstant()

static Value* simplifyICmpWithConstant	(	CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS,
		const InstrInfoQuery &	IIQ
	)

static

Definition at line 2697 of file InstructionSimplify.cpp.

References C, llvm::ConstantRange::contains(), llvm::APInt::getBitWidth(), GetCompareTy(), llvm::getConstantRangeFromMetadata(), llvm::ConstantInt::getFalse(), llvm::InstrInfoQuery::getMetadata(), llvm::ConstantInt::getTrue(), I, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::ConstantRange::intersectWith(), llvm::ConstantRange::inverse(), llvm::ConstantRange::isEmptySet(), llvm::ConstantRange::isFullSet(), llvm::LegalizeActions::Lower, llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_BitCast(), llvm::PatternMatch::m_UIToFP(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::ConstantRange::makeExactICmpRegion(), llvm::PatternMatch::match(), llvm::LLVMContext::MD_range, setLimitsForBinOp(), setLimitsForIntrinsic(), llvm::Upper, and X.

Referenced by SimplifyICmpInst().

◆ simplifyICmpWithMinMax()

static Value* simplifyICmpWithMinMax	(	CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Simplify integer comparisons where at least one operand of the compare matches an integer min/max idiom.

Definition at line 3105 of file InstructionSimplify.cpp.

Referenced by SimplifyICmpInst().

◆ simplifyICmpWithZero()

static Value* simplifyICmpWithZero	(	CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q
	)

static

Try hard to fold icmp with zero RHS because this is a common case.

Definition at line 2413 of file InstructionSimplify.cpp.

Referenced by SimplifyICmpInst().

◆ SimplifyInsertValueInst()

static Value* SimplifyInsertValueInst	(	Value *	Agg,
		Value *	Val,
		ArrayRef< unsigned >	Idxs,
		const SimplifyQuery &	Q,
		unsigned
	)

static

Given operands for an InsertValueInst, see if we can fold the result.

If not, this returns null.

Definition at line 4168 of file InstructionSimplify.cpp.

References llvm::ConstantFoldInsertValueInstruction(), llvm::Value::getType(), llvm::PatternMatch::m_Undef(), and llvm::PatternMatch::match().

Referenced by llvm::SimplifyInsertValueInst().

◆ simplifyIntrinsic()

template<typename IterTy >

static Value* simplifyIntrinsic	(	Function *	F,
		IterTy	ArgBegin,
		IterTy	ArgEnd,
		const SimplifyQuery &	Q
	)

static

Definition at line 5089 of file InstructionSimplify.cpp.

References llvm::Intrinsic::fshl, llvm::Intrinsic::fshr, llvm::UndefValue::get(), llvm::APInt::getBitWidth(), llvm::Function::getIntrinsicID(), llvm::Function::getReturnType(), llvm::APInt::isNullValue(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Undef(), llvm::Intrinsic::masked_load, maskIsAllZeroOrUndef(), llvm::PatternMatch::match(), simplifyBinaryIntrinsic(), simplifyUnaryIntrinsic(), and llvm::APInt::urem().

Referenced by SimplifyCall().

◆ SimplifyLShrInst()

static Value* SimplifyLShrInst	(	Value *	Op0,
		Value *	Op1,
		bool	isExact,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an LShr, see if we can fold the result.

If not, this returns null.

Definition at line 1321 of file InstructionSimplify.cpp.

References llvm::SimplifyQuery::AC, llvm::computeKnownBits(), llvm::KnownBits::countMinLeadingZeros(), llvm::SimplifyQuery::CxtI, llvm::SimplifyQuery::DL, llvm::SimplifyQuery::DT, llvm::Type::getScalarSizeInBits(), llvm::Value::getType(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_NUWShl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), SimplifyRightShift(), llvm::APInt::uge(), X, and Y.

Referenced by llvm::SimplifyLShrInst().

◆ SimplifyMulInst()

static Value* SimplifyMulInst	(	Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a Mul, see if we can fold the result.

If not, this returns null.

Definition at line 848 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyMulInst().

◆ SimplifyOrInst()

static Value * SimplifyOrInst	(	Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an Or, see if we can fold the result.

If not, this returns null.

Definition at line 1919 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifyOrInst().

◆ simplifyOrOfICmps()

static Value* simplifyOrOfICmps	(	ICmpInst *	Op0,
		ICmpInst *	Op1,
		const InstrInfoQuery &	IIQ
	)

static

Definition at line 1679 of file InstructionSimplify.cpp.

References simplifyAndOrOfICmpsWithConstants(), simplifyAndOrOfICmpsWithZero(), simplifyOrOfICmpsWithAdd(), simplifyOrOfICmpsWithSameOperands(), simplifyUnsignedRangeCheck(), and X.

Referenced by simplifyAndOrOfCmps().

◆ simplifyOrOfICmpsWithAdd()

static Value* simplifyOrOfICmpsWithAdd	(	ICmpInst *	Op0,
		ICmpInst *	Op1,
		const InstrInfoQuery &	IIQ
	)

static

◆ simplifyOrOfICmpsWithSameOperands()

static Value* simplifyOrOfICmpsWithSameOperands	(	ICmpInst *	Op0,
		ICmpInst *	Op1
	)

static

Commuted variants are assumed to be handled by calling this function again with the parameters swapped.

Definition at line 1458 of file InstructionSimplify.cpp.

References A, B, llvm::CmpInst::getInversePredicate(), getTrue(), llvm::Value::getType(), llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::isImpliedTrueByMatchingCmp(), llvm::CmpInst::isTrueWhenEqual(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), and llvm::PatternMatch::match().

Referenced by simplifyOrOfICmps().

◆ SimplifyPHINode()

static Value* SimplifyPHINode	(	PHINode *	PN,
		const SimplifyQuery &	Q
	)

static

See if we can fold the given phi. If not, returns null.

Definition at line 4294 of file InstructionSimplify.cpp.

References llvm::SimplifyQuery::DT, llvm::UndefValue::get(), llvm::Value::getType(), llvm::PHINode::incoming_values(), and valueDominatesPHI().

Referenced by llvm::SCEVExpander::replaceCongruentIVs(), and llvm::SimplifyInstruction().

◆ SimplifyRelativeLoad()

static Value* SimplifyRelativeLoad	(	Constant *	Ptr,
		Constant *	Offset,
		const DataLayout &	DL
	)

static

Definition at line 4832 of file InstructionSimplify.cpp.

References C, llvm::ConstantFoldLoadFromConstPtr(), llvm::dyn_cast(), llvm::ConstantInt::get(), llvm::ConstantExpr::getBitCast(), llvm::Value::getContext(), llvm::ConstantExpr::getGetElementPtr(), llvm::Type::getInt32Ty(), llvm::Type::getInt64Ty(), llvm::Type::getInt8PtrTy(), llvm::User::getOperand(), llvm::Type::getPointerTo(), llvm::ConstantInt::getSExtValue(), Int32Ty, and llvm::IsConstantOffsetFromGlobal().

Referenced by simplifyBinaryIntrinsic().

◆ simplifyRem()

static Value* simplifyRem	(	Instruction::BinaryOps	Opcode,
		Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

These are simplifications common to SRem and URem.

Definition at line 1083 of file InstructionSimplify.cpp.

References C, foldOrCommuteConstant(), llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::SimplifyQuery::IIQ, isDivZero(), llvm::PatternMatch::m_NSWShl(), llvm::PatternMatch::m_NUWShl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SRem(), llvm::PatternMatch::m_URem(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), simplifyDivRem(), ThreadBinOpOverPHI(), ThreadBinOpOverSelect(), and llvm::InstrInfoQuery::UseInstrInfo.

Referenced by SimplifySRemInst(), and SimplifyURemInst().

◆ SimplifyRightShift()

static Value* SimplifyRightShift	(	Instruction::BinaryOps	Opcode,
		Value *	Op0,
		Value *	Op1,
		bool	isExact,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an Shl, LShr or AShr, see if we can fold the result.

If not, this returns null.

Definition at line 1262 of file InstructionSimplify.cpp.

References llvm::SimplifyQuery::AC, llvm::computeKnownBits(), llvm::SimplifyQuery::CxtI, llvm::SimplifyQuery::DL, llvm::SimplifyQuery::DT, llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::match(), llvm::KnownBits::One, and SimplifyShift().

Referenced by SimplifyAShrInst(), and SimplifyLShrInst().

◆ SimplifySDivInst()

static Value* SimplifySDivInst	(	Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an SDiv, see if we can fold the result.

If not, this returns null.

Definition at line 1127 of file InstructionSimplify.cpp.

References llvm::Constant::getAllOnesValue(), llvm::Value::getType(), llvm::isKnownNegation(), and simplifyDiv().

Referenced by llvm::SimplifySDivInst().

◆ simplifySelectBitTest()

static Value* simplifySelectBitTest	(	Value *	TrueVal,
		Value *	FalseVal,
		Value *	X,
		const APInt *	Y,
		bool	TrueWhenUnset
	)

static

Try to simplify a select instruction when its condition operand is an integer comparison where one operand of the compare is a constant.

Definition at line 3842 of file InstructionSimplify.cpp.

References C, llvm::APInt::isPowerOf2(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_Specific(), and llvm::PatternMatch::match().

Referenced by simplifySelectWithFakeICmpEq(), and simplifySelectWithICmpCond().

◆ SimplifySelectInst()

static Value* SimplifySelectInst	(	Value *	Cond,
		Value *	TrueVal,
		Value *	FalseVal,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a SelectInst, see if we can fold the result.

If not, this returns null.

Definition at line 3995 of file InstructionSimplify.cpp.

References llvm::ConstantFoldSelectInstruction(), llvm::SimplifyQuery::CxtI, llvm::SimplifyQuery::DL, foldSelectWithBinaryOp(), llvm::isImpliedByDomCondition(), simplifySelectWithFCmp(), and simplifySelectWithICmpCond().

Referenced by llvm::SimplifySelectInst().

◆ simplifySelectWithFakeICmpEq()

static Value* simplifySelectWithFakeICmpEq	(	Value *	CmpLHS,
		Value *	CmpRHS,
		ICmpInst::Predicate	Pred,
		Value *	TrueVal,
		Value *	FalseVal
	)

static

An alternative way to test if a bit is set or not uses sgt/slt instead of eq/ne.

Definition at line 3877 of file InstructionSimplify.cpp.

References llvm::decomposeBitTestICmp(), llvm::CmpInst::ICMP_EQ, llvm::BitmaskEnumDetail::Mask(), simplifySelectBitTest(), and X.

Referenced by simplifySelectWithICmpCond().

◆ simplifySelectWithFCmp()

static Value* simplifySelectWithFCmp	(	Value *	Cond,
		Value *	T,
		Value *	F
	)

static

Try to simplify a select instruction when its condition operand is a floating-point comparison.

Definition at line 3967 of file InstructionSimplify.cpp.

References C, F(), llvm::CmpInst::FCMP_OEQ, llvm::CmpInst::FCMP_UNE, llvm::APFloat::isNonZero(), llvm::PatternMatch::m_APFloat(), llvm::PatternMatch::m_FCmp(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::match(), and T.

Referenced by SimplifySelectInst().

◆ simplifySelectWithICmpCond()

static Value* simplifySelectWithICmpCond	(	Value *	CondVal,
		Value *	TrueVal,
		Value *	FalseVal,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Try to simplify a select instruction when its condition operand is an integer comparison.

Definition at line 3891 of file InstructionSimplify.cpp.

References llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::ICmpInst::isEquality(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_CombineOr(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), simplifySelectBitTest(), simplifySelectWithFakeICmpEq(), SimplifyWithOpReplaced(), X, and Y.

Referenced by SimplifySelectInst().

◆ SimplifyShift()

static Value* SimplifyShift	(	Instruction::BinaryOps	Opcode,
		Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an Shl, LShr or AShr, see if we can fold the result.

If not, this returns null.

Definition at line 1212 of file InstructionSimplify.cpp.

References llvm::SimplifyQuery::AC, C, llvm::computeKnownBits(), llvm::KnownBits::countMinTrailingZeros(), llvm::SimplifyQuery::CxtI, llvm::SimplifyQuery::DL, llvm::SimplifyQuery::DT, foldOrCommuteConstant(), llvm::UndefValue::get(), llvm::KnownBits::getBitWidth(), llvm::APInt::getLimitedValue(), llvm::Constant::getNullValue(), llvm::Value::getType(), isUndefShift(), llvm::Log2_32_Ceil(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), llvm::KnownBits::One, ThreadBinOpOverPHI(), ThreadBinOpOverSelect(), and X.

Referenced by SimplifyRightShift(), and SimplifyShlInst().

◆ SimplifyShlInst()

static Value* SimplifyShlInst	(	Value *	Op0,
		Value *	Op1,
		bool	isNSW,
		bool	isNUW,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an Shl, see if we can fold the result.

If not, this returns null.

Definition at line 1289 of file InstructionSimplify.cpp.

References llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::SimplifyQuery::IIQ, llvm::PatternMatch::m_Exact(), llvm::PatternMatch::m_Negative(), llvm::PatternMatch::m_Shr(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), SimplifyShift(), llvm::InstrInfoQuery::UseInstrInfo, and X.

Referenced by llvm::SimplifyShlInst().

◆ SimplifyShuffleVectorInst()

static Value* SimplifyShuffleVectorInst	(	Value *	Op0,
		Value *	Op1,
		Constant *	Mask,
		Type *	RetTy,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Definition at line 4416 of file InstructionSimplify.cpp.

References assert(), llvm::ShuffleVectorInst::commuteShuffleMask(), llvm::ConstantFoldShuffleVectorInstruction(), llvm::dyn_cast(), llvm::SmallVectorTemplateCommon< T >::end(), llvm::find(), foldIdentityShuffles(), llvm::UndefValue::get(), llvm::ShuffleVectorInst::getShuffleMask(), llvm::Value::getType(), llvm::Type::getVectorNumElements(), llvm::SmallVectorBase::size(), and std::swap().

Referenced by llvm::SimplifyShuffleVectorInst().

◆ SimplifySRemInst()

static Value* SimplifySRemInst	(	Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for an SRem, see if we can fold the result.

If not, this returns null.

Definition at line 1153 of file InstructionSimplify.cpp.

References llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::Type::isIntOrIntVectorTy(), llvm::isKnownNegation(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), simplifyRem(), and X.

Referenced by llvm::SimplifySRemInst().

◆ SimplifySubInst()

static Value* SimplifySubInst	(	Value *	Op0,
		Value *	Op1,
		bool	isNSW,
		bool	isNUW,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a Sub, see if we can fold the result.

If not, this returns null.

Definition at line 713 of file InstructionSimplify.cpp.

Referenced by llvm::SimplifySubInst().

◆ SimplifyUDivInst()

static Value* SimplifyUDivInst	(	Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a UDiv, see if we can fold the result.

If not, this returns null.

Definition at line 1142 of file InstructionSimplify.cpp.

References simplifyDiv().

Referenced by llvm::SimplifyUDivInst().

◆ simplifyUnaryIntrinsic()

static Value* simplifyUnaryIntrinsic	(	Function *	F,
		Value *	Op0,
		const SimplifyQuery &	Q
	)

static

◆ simplifyUnsignedRangeCheck()

static Value* simplifyUnsignedRangeCheck	(	ICmpInst *	ZeroICmp,
		ICmpInst *	UnsignedICmp,
		bool	IsAnd
	)

static

Commuted variants are assumed to be handled by calling this function again with the parameters swapped.

Definition at line 1390 of file InstructionSimplify.cpp.

References getFalse(), llvm::CmpInst::getSwappedPredicate(), getTrue(), llvm::Value::getType(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_ULT, llvm::ICmpInst::isEquality(), llvm::CmpInst::isUnsigned(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), X, and Y.

Referenced by simplifyAndOfICmps(), and simplifyOrOfICmps().

◆ SimplifyURemInst()

static Value* SimplifyURemInst	(	Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a URem, see if we can fold the result.

If not, this returns null.

Definition at line 1174 of file InstructionSimplify.cpp.

References simplifyRem().

Referenced by llvm::SimplifyURemInst().

◆ SimplifyWithOpReplaced()

static const Value* SimplifyWithOpReplaced	(	Value *	V,
		Value *	Op,
		Value *	RepOp,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

See if V simplifies when its operand Op is replaced with RepOp.

Definition at line 3745 of file InstructionSimplify.cpp.

References B, C, llvm::ConstantFoldCompareInstOperands(), llvm::ConstantFoldInstOperands(), llvm::ConstantFoldLoadFromConstPtr(), llvm::SimplifyQuery::DL, llvm::dyn_cast(), GEP, llvm::User::getOperand(), llvm::InstrInfoQuery::hasNoSignedWrap(), llvm::InstrInfoQuery::hasNoUnsignedWrap(), I, llvm::SimplifyQuery::IIQ, llvm::InstrInfoQuery::isExact(), llvm::SmallVectorTemplateBase< T >::push_back(), llvm::SimplifyBinOp(), llvm::SimplifyCmpInst(), llvm::SimplifyGEPInst(), llvm::SmallVectorBase::size(), llvm::SimplifyQuery::TLI, and llvm::transform().

Referenced by simplifySelectWithICmpCond().

◆ SimplifyXorInst()

static Value * SimplifyXorInst	(	Value *	Op0,
		Value *	Op1,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

Given operands for a Xor, see if we can fold the result.

If not, this returns null.

Definition at line 2055 of file InstructionSimplify.cpp.

References C, foldOrCommuteConstant(), llvm::Constant::getAllOnesValue(), llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), and SimplifyAssociativeBinOp().

Referenced by llvm::SimplifyXorInst().

◆ STATISTIC() [1/2]

STATISTIC	(	NumExpand	,
		"Number of expansions"
	)

◆ STATISTIC() [2/2]

STATISTIC	(	NumReassoc	,
		"Number of reassociations"
	)

◆ stripAndComputeConstantOffsets()

static Constant* stripAndComputeConstantOffsets	(	const DataLayout &	DL,
		Value *&	V,
		bool	AllowNonInbounds = `false`
	)

static

Compute the base pointer and cumulative constant offsets for V.

This strips all constant offsets off of V, leaving it the base pointer, and accumulates the total constant offset applied in the returned constant. It returns 0 if V is not a pointer, and returns the constant '0' if there are no constant offsets applied.

This is very similar to GetPointerBaseWithConstantOffset except it doesn't follow non-inbounds geps. This allows it to remain usable for icmp ult/etc. folding.

Definition at line 651 of file InstructionSimplify.cpp.

References assert(), GEP, llvm::ConstantInt::get(), llvm::DataLayout::getIntPtrType(), llvm::APInt::getNullValue(), llvm::Operator::getOpcode(), llvm::ConstantVector::getSplat(), llvm::Value::getType(), llvm::Type::getVectorNumElements(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::Type::isPtrOrPtrVectorTy(), and llvm::Type::isVectorTy().

Referenced by computePointerDifference(), and computePointerICmp().

◆ ThreadBinOpOverPHI()

static Value* ThreadBinOpOverPHI	(	Instruction::BinaryOps	Opcode,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

In the case of a binary operation with an operand that is a PHI instruction, try to simplify the binop by seeing whether evaluating it on the incoming phi values yields the same result for every value.

If so returns the common value, otherwise returns null.

Definition at line 479 of file InstructionSimplify.cpp.

References assert(), llvm::SimplifyQuery::DT, llvm::PHINode::incoming_values(), llvm::SimplifyBinOp(), and valueDominatesPHI().

Referenced by SimplifyAndInst(), simplifyDiv(), SimplifyMulInst(), SimplifyOrInst(), simplifyRem(), and SimplifyShift().

◆ ThreadBinOpOverSelect()

static Value* ThreadBinOpOverSelect	(	Instruction::BinaryOps	Opcode,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

In the case of a binary operation with a select instruction as an operand, try to simplify the binop by seeing whether evaluating it on both branches of the select results in the same value.

Returns the common value if so, otherwise returns null.

Definition at line 325 of file InstructionSimplify.cpp.

References assert(), llvm::dyn_cast(), llvm::SelectInst::getFalseValue(), llvm::Instruction::getOpcode(), llvm::User::getOperand(), llvm::SelectInst::getTrueValue(), llvm::Instruction::isCommutative(), SI, llvm::JumpTable::Simplified, and llvm::SimplifyBinOp().

Referenced by SimplifyAndInst(), simplifyDiv(), SimplifyMulInst(), SimplifyOrInst(), simplifyRem(), and SimplifyShift().

◆ ThreadCmpOverPHI()

static Value* ThreadCmpOverPHI	(	CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

In the case of a comparison with a PHI instruction, try to simplify the comparison by seeing whether comparing with all of the incoming phi values yields the same result every time.

If so returns the common result, otherwise returns null.

Definition at line 522 of file InstructionSimplify.cpp.

References assert(), llvm::SimplifyQuery::DT, llvm::CmpInst::getSwappedPredicate(), llvm::PHINode::incoming_values(), llvm::SimplifyCmpInst(), std::swap(), and valueDominatesPHI().

Referenced by SimplifyFCmpInst(), and SimplifyICmpInst().

◆ ThreadCmpOverSelect()

static Value* ThreadCmpOverSelect	(	CmpInst::Predicate	Pred,
		Value *	LHS,
		Value *	RHS,
		const SimplifyQuery &	Q,
		unsigned	MaxRecurse
	)

static

In the case of a comparison with a select instruction, try to simplify the comparison by seeing whether both branches of the select result in the same value.

Returns the common value if so, otherwise returns null.

Definition at line 397 of file InstructionSimplify.cpp.

References assert(), llvm::Constant::getAllOnesValue(), llvm::SelectInst::getCondition(), getFalse(), llvm::SelectInst::getFalseValue(), llvm::CmpInst::getSwappedPredicate(), getTrue(), llvm::SelectInst::getTrueValue(), llvm::Value::getType(), isSameCompare(), llvm::Type::isVectorTy(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), SI, llvm::SimplifyAndInst(), llvm::SimplifyCmpInst(), llvm::SimplifyOrInst(), llvm::SimplifyXorInst(), and std::swap().

Referenced by SimplifyFCmpInst(), and SimplifyICmpInst().

◆ valueDominatesPHI()

static bool valueDominatesPHI	(	Value *	V,
		PHINode *	P,
		const DominatorTree *	DT
	)

static

Does the given value dominate the specified phi node?

Definition at line 137 of file InstructionSimplify.cpp.

References llvm::DominatorTree::dominates(), llvm::dyn_cast(), llvm::Function::getEntryBlock(), llvm::Instruction::getFunction(), llvm::Instruction::getParent(), and I.

Referenced by SimplifyPHINode(), ThreadBinOpOverPHI(), and ThreadCmpOverPHI().

Namespaces

Macros

Enumerations

Functions

Macro Definition Documentation

◆ DEBUG_TYPE

◆ HANDLE_CAST_INST

Enumeration Type Documentation

◆ anonymous enum

Function Documentation

◆ computePointerDifference()

◆ computePointerICmp()

◆ ExpandBinOp()

◆ ExtractEquivalentCondition()

◆ foldIdentityShuffles()

◆ foldOrCommuteConstant()

◆ foldSelectWithBinaryOp()

◆ GetCompareTy()

◆ getFalse()

◆ getTrue()

◆ isDivZero()

◆ isICmpTrue()

◆ IsIdempotent()

◆ isSameCompare()

◆ isUndefShift()

◆ maskIsAllZeroOrUndef()

◆ propagateNaN()

◆ replaceAndRecursivelySimplifyImpl()

◆ setLimitsForBinOp()

◆ setLimitsForIntrinsic()

◆ SimplifyAddInst()

◆ SimplifyAndInst()

◆ simplifyAndOfICmps()

◆ simplifyAndOfICmpsWithAdd()

◆ simplifyAndOfICmpsWithSameOperands()

◆ simplifyAndOrOfCmps()

◆ simplifyAndOrOfFCmps()

◆ simplifyAndOrOfICmpsWithConstants()

◆ simplifyAndOrOfICmpsWithZero()

◆ SimplifyAShrInst()

◆ SimplifyAssociativeBinOp()

◆ simplifyBinaryIntrinsic()

◆ SimplifyBinOp()

◆ SimplifyCall()

◆ SimplifyCastInst()

◆ SimplifyCmpInst()

◆ simplifyDiv()

◆ simplifyDivRem()

◆ SimplifyExtractElementInst()

◆ SimplifyExtractValueInst()

◆ SimplifyFAddInst()

◆ SimplifyFCmpInst()

◆ SimplifyFDivInst()

◆ SimplifyFMulInst()

◆ SimplifyFPBinOp()

◆ simplifyFPBinop()

◆ SimplifyFRemInst()

◆ SimplifyFSubInst()

◆ SimplifyGEPInst()

◆ SimplifyICmpInst()

◆ simplifyICmpOfBools()

◆ simplifyICmpWithAbsNabs()

◆ simplifyICmpWithBinOp()

◆ simplifyICmpWithConstant()

◆ simplifyICmpWithMinMax()

◆ simplifyICmpWithZero()

◆ SimplifyInsertValueInst()

◆ simplifyIntrinsic()

◆ SimplifyLShrInst()

◆ SimplifyMulInst()

◆ SimplifyOrInst()

◆ simplifyOrOfICmps()

◆ simplifyOrOfICmpsWithAdd()

◆ simplifyOrOfICmpsWithSameOperands()

◆ SimplifyPHINode()

◆ SimplifyRelativeLoad()

◆ simplifyRem()

◆ SimplifyRightShift()

◆ SimplifySDivInst()

◆ simplifySelectBitTest()