#include "InstCombineInternal.h"
#include "llvm/ADT/APFloat.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Constant.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/InstrTypes.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Intrinsics.h"
#include "llvm/IR/Operator.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/KnownBits.h"
#include "llvm/Transforms/InstCombine/InstCombineWorklist.h"
#include "llvm/Transforms/Utils/BuildLibCalls.h"
#include <cassert>
#include <cstddef>
#include <cstdint>
#include <utility>

Include dependency graph for InstCombineMulDivRem.cpp:

Macros
#define	DEBUG_TYPE "instcombine"

Functions
static Value *	simplifyValueKnownNonZero (Value *V, InstCombiner &IC, Instruction &CxtI)
	The specific integer value is used in a context where it is known to be non-zero. More...

static Constant *	getLogBase2 (Type Ty, Constant C)
	A helper routine of InstCombiner::visitMul(). More...

static bool	multiplyOverflows (const APInt &C1, const APInt &C2, APInt &Product, bool IsSigned)
	True if the multiply can not be expressed in an int this size. More...

static bool	isMultiple (const APInt &C1, const APInt &C2, APInt &Quotient, bool IsSigned)
	True if C2 is a multiple of C1. Quotient contains C2/C1. More...

static Instruction *	foldUDivPow2Cst (Value Op0, Value Op1, const BinaryOperator &I, InstCombiner &IC)

static Instruction *	foldUDivNegCst (Value Op0, Value Op1, const BinaryOperator &I, InstCombiner &IC)

static Instruction *	foldUDivShl (Value Op0, Value Op1, const BinaryOperator &I, InstCombiner &IC)

static size_t	visitUDivOperand (Value Op0, Value Op1, const BinaryOperator &I, SmallVectorImpl< UDivFoldAction > &Actions, unsigned Depth=0)

static Instruction *	narrowUDivURem (BinaryOperator &I, InstCombiner::BuilderTy &Builder)
	If we have zero-extended operands of an unsigned div or rem, we may be able to narrow the operation (sink the zext below the math). More...

static Instruction *	foldFDivConstantDivisor (BinaryOperator &I)
	Remove negation and try to convert division into multiplication. More...

static Instruction *	foldFDivConstantDividend (BinaryOperator &I)
	Remove negation and try to reassociate constant math. More...

Variables
static const unsigned	MaxDepth = 6

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "instcombine"

Definition at line 45 of file InstCombineMulDivRem.cpp.

Function Documentation

◆ foldFDivConstantDividend()

static Instruction* foldFDivConstantDividend ( BinaryOperator & I )

static

Remove negation and try to reassociate constant math.

Definition at line 1162 of file InstCombineMulDivRem.cpp.

References C, llvm::BinaryOperator::CreateFDivFMF(), llvm::ConstantExpr::getFDiv(), llvm::ConstantExpr::getFMul(), llvm::ConstantExpr::getFNeg(), llvm::User::getOperand(), llvm::Instruction::hasAllowReassoc(), llvm::Instruction::hasAllowReciprocal(), llvm::Constant::isNormalFP(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_FDiv(), llvm::PatternMatch::m_FMul(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), and X.

Referenced by llvm::InstCombiner::visitFDiv().

◆ foldFDivConstantDivisor()

static Instruction* foldFDivConstantDivisor ( BinaryOperator & I )

static

Remove negation and try to convert division into multiplication.

Definition at line 1133 of file InstCombineMulDivRem.cpp.

References C, llvm::BinaryOperator::CreateFDivFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::ConstantFP::get(), llvm::ConstantExpr::getFDiv(), llvm::ConstantExpr::getFNeg(), llvm::User::getOperand(), llvm::Value::getType(), llvm::Instruction::hasAllowReciprocal(), llvm::Constant::hasExactInverseFP(), I, llvm::Constant::isNormalFP(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), and X.

Referenced by llvm::InstCombiner::visitFDiv().

◆ foldUDivNegCst()

static Instruction* foldUDivNegCst	(	Value *	Op0,
		Value *	Op1,
		const BinaryOperator &	I,
		InstCombiner &	IC
	)

static

Definition at line 871 of file InstCombineMulDivRem.cpp.

References llvm::InstCombiner::Builder, llvm::SelectInst::Create(), llvm::IRBuilder< T, Inserter >::CreateICmpULT(), llvm::ConstantInt::get(), llvm::Constant::getNullValue(), and llvm::Value::getType().

Referenced by visitUDivOperand().

◆ foldUDivPow2Cst()

static Instruction* foldUDivPow2Cst	(	Value *	Op0,
		Value *	Op1,
		const BinaryOperator &	I,
		InstCombiner &	IC
	)

static

Definition at line 859 of file InstCombineMulDivRem.cpp.

References getLogBase2(), llvm::Value::getType(), llvm::Instruction::isExact(), llvm_unreachable, and llvm::Instruction::setIsExact().

Referenced by visitUDivOperand().

◆ foldUDivShl()

static Instruction* foldUDivShl	(	Value *	Op0,
		Value *	Op1,
		const BinaryOperator &	I,
		InstCombiner &	IC
	)

static

Definition at line 880 of file InstCombineMulDivRem.cpp.

References llvm::InstCombiner::Builder, llvm::IRBuilder< T, Inserter >::CreateAdd(), llvm::IRBuilder< T, Inserter >::CreateZExt(), getLogBase2(), llvm::Value::getType(), llvm::Instruction::isExact(), llvm_unreachable, llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::match(), N, and llvm::Instruction::setIsExact().

Referenced by visitUDivOperand().

◆ getLogBase2()

static Constant* getLogBase2	(	Type *	Ty,
		Constant *	C
	)

static

A helper routine of InstCombiner::visitMul().

If C is a scalar/vector of known powers of 2, then this function returns a new scalar/vector obtained from logBase2 of C. Return a null pointer otherwise.

Definition at line 103 of file InstCombineMulDivRem.cpp.

References llvm::computeKnownBits(), llvm::ComputeNumSignBits(), E, llvm::ConstantInt::get(), llvm::ConstantVector::get(), llvm::UndefValue::get(), llvm::Constant::getAggregateElement(), llvm::Type::getScalarSizeInBits(), llvm::Type::getScalarType(), llvm::Value::getType(), llvm::Type::getVectorNumElements(), I, llvm::KnownBits::isNonNegative(), llvm::APInt::isPowerOf2(), llvm::Type::isVectorTy(), llvm::APInt::logBase2(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), and llvm::SmallVectorTemplateBase< T, isPodLike< T >::value >::push_back().