InstCombineAddSub.cpp File Reference

#include "InstCombineInternal.h"
#include "llvm/ADT/APFloat.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/Analysis/ValueTracking.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/Operator.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/Support/AlignOf.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/KnownBits.h"
#include <cassert>
#include <utility>

Include dependency graph for InstCombineAddSub.cpp:

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "instcombine"

Functions
static Value *	checkForNegativeOperand (BinaryOperator &I, InstCombiner::BuilderTy &Builder)
static Instruction *	foldNoWrapAdd (BinaryOperator &Add, InstCombiner::BuilderTy &Builder)
	Wrapping flags may allow combining constants separated by an extend. More...
static bool	MatchMul (Value *E, Value *&Op, APInt &C)
static bool	MatchRem (Value *E, Value *&Op, APInt &C, bool &IsSigned)
static bool	MatchDiv (Value *E, Value *&Op, APInt &C, bool IsSigned)
static bool	MulWillOverflow (APInt &C0, APInt &C1, bool IsSigned)
static Instruction *	canonicalizeLowbitMask (BinaryOperator &I, InstCombiner::BuilderTy &Builder)
	Fold (1 << NBits) - 1 Into: ~(-(1 << NBits)) Because a 'not' is better for bit-tracking analysis and other transforms than an 'add'. More...
static Instruction *	foldToUnsignedSaturatedAdd (BinaryOperator &I)
static Instruction *	factorizeLerp (BinaryOperator &I, InstCombiner::BuilderTy &Builder)
	Eliminate an op from a linear interpolation (lerp) pattern. More...
static Instruction *	factorizeFAddFSub (BinaryOperator &I, InstCombiner::BuilderTy &Builder)
	Factor a common operand out of fadd/fsub of fmul/fdiv. More...
static Instruction *	foldFNegIntoConstant (Instruction &I)
	This eliminates floating-point negation in either 'fneg(X)' or 'fsub(-0.0, X)' form by combining into a constant operand. More...
static Instruction *	hoistFNegAboveFMulFDiv (Instruction &I, InstCombiner::BuilderTy &Builder)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "instcombine"

Definition at line 38 of file InstCombineAddSub.cpp.

Function Documentation

canonicalizeLowbitMask()

static Instruction* canonicalizeLowbitMask ( BinaryOperator &  I, InstCombiner::BuilderTy &  Builder  )

static

Fold (1 << NBits) - 1 Into: ~(-(1 << NBits)) Because a 'not' is better for bit-tracking analysis and other transforms than an 'add'.

The new shl is always nsw, and is nuw if old and was.

Definition at line 1060 of file InstCombineAddSub.cpp.

References llvm::BinaryOperator::CreateNot(), llvm::IRBuilder< T, Inserter >::CreateShl(), llvm::Constant::getAllOnesValue(), llvm::Value::getName(), llvm::Value::getType(), llvm::Instruction::hasNoUnsignedWrap(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Value(), and llvm::PatternMatch::match().

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

checkForNegativeOperand()

static Value* checkForNegativeOperand ( BinaryOperator &  I, InstCombiner::BuilderTy &  Builder  )

static

Definition at line 769 of file InstCombineAddSub.cpp.

References llvm::APInt::countTrailingZeros(), llvm::IRBuilder< T, Inserter >::CreateAnd(), llvm::IRBuilder< T, Inserter >::CreateOr(), llvm::IRBuilder< T, Inserter >::CreateSub(), llvm::User::getOperand(), llvm::Value::hasOneUse(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::match(), std::swap(), X, and Y.

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

factorizeFAddFSub()

static Instruction* factorizeFAddFSub ( BinaryOperator &  I, InstCombiner::BuilderTy &  Builder  )

static

Factor a common operand out of fadd/fsub of fmul/fdiv.

Definition at line 1328 of file InstCombineAddSub.cpp.

References assert(), C, llvm::IRBuilder< T, Inserter >::CreateFAddFMF(), llvm::BinaryOperator::CreateFDivFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::IRBuilder< T, Inserter >::CreateFSubFMF(), factorizeLerp(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Instruction::hasAllowReassoc(), llvm::Instruction::hasNoSignedZeros(), llvm::APFloat::isNormal(), llvm::PatternMatch::m_APFloat(), llvm::PatternMatch::m_c_FMul(), llvm::PatternMatch::m_FDiv(), llvm::PatternMatch::m_FMul(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), X, and Y.

Referenced by llvm::InstCombiner::visitFAdd(), and llvm::InstCombiner::visitFSub().

factorizeLerp()

static Instruction* factorizeLerp ( BinaryOperator &  I, InstCombiner::BuilderTy &  Builder  )

static

Eliminate an op from a linear interpolation (lerp) pattern.

Definition at line 1312 of file InstCombineAddSub.cpp.

References llvm::BinaryOperator::CreateFAddFMF(), llvm::IRBuilder< T, Inserter >::CreateFMulFMF(), llvm::IRBuilder< T, Inserter >::CreateFSubFMF(), llvm::PatternMatch::m_c_FAdd(), llvm::PatternMatch::m_c_FMul(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_FPOne(), llvm::PatternMatch::m_FSub(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), X, and Y.

Referenced by factorizeFAddFSub().

foldFNegIntoConstant()

static Instruction* foldFNegIntoConstant ( Instruction &  I )

static

This eliminates floating-point negation in either 'fneg(X)' or 'fsub(-0.0, X)' form by combining into a constant operand.

Definition at line 1878 of file InstCombineAddSub.cpp.

References C, llvm::BinaryOperator::CreateFDivFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::ConstantExpr::getFNeg(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_FDiv(), llvm::PatternMatch::m_FMul(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), and X.

Referenced by llvm::InstCombiner::visitFNeg(), and llvm::InstCombiner::visitFSub().

foldNoWrapAdd()

static Instruction* foldNoWrapAdd ( BinaryOperator &  Add, InstCombiner::BuilderTy &  Builder  )

static

Wrapping flags may allow combining constants separated by an extend.

Definition at line 826 of file InstCombineAddSub.cpp.

References llvm::MCID::Add, llvm::AddOne(), C, llvm::CastInst::Create(), llvm::SelectInst::Create(), CreateAdd(), llvm::IRBuilder< T, Inserter >::CreateNUWAdd(), llvm::IRBuilder< T, Inserter >::CreateSExt(), llvm::IRBuilder< T, Inserter >::CreateZExt(), llvm::ConstantInt::get(), llvm::ConstantExpr::getAdd(), llvm::APInt::getBitWidth(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::ConstantExpr::getSExt(), llvm::Value::getType(), llvm::ConstantExpr::getZExt(), llvm::Instruction::hasNoSignedWrap(), llvm::Instruction::hasNoUnsignedWrap(), llvm::Value::hasOneUse(), llvm::APInt::isMinSignedValue(), llvm::APInt::isNegative(), llvm::APInt::isOneValue(), llvm::APInt::isSignMask(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_NSWAdd(), llvm::PatternMatch::m_NUWAdd(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::match(), llvm::APInt::sext(), llvm::APInt::sge(), llvm::SubOne(), llvm::APInt::trunc(), X, and Y.

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

foldToUnsignedSaturatedAdd()

static Instruction* foldToUnsignedSaturatedAdd ( BinaryOperator &  I )

static

Definition at line 1078 of file InstCombineAddSub.cpp.

References llvm::MCID::Add, assert(), C, llvm::CallInst::Create(), llvm::ConstantInt::get(), llvm::Intrinsic::getDeclaration(), llvm::Instruction::getModule(), llvm::BinaryOperator::getOpcode(), llvm::Value::getType(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_Add(), llvm::PatternMatch::m_c_UMin(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_UMin(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), X, and Y.

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

hoistFNegAboveFMulFDiv()

static Instruction* hoistFNegAboveFMulFDiv ( Instruction &  I, InstCombiner::BuilderTy &  Builder  )

static

Definition at line 1899 of file InstCombineAddSub.cpp.

References llvm::BinaryOperator::CreateFDivFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::IRBuilder< T, Inserter >::CreateFNegFMF(), I, llvm::PatternMatch::m_FDiv(), llvm::PatternMatch::m_FMul(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), X, and Y.

Referenced by llvm::InstCombiner::visitFNeg(), and llvm::InstCombiner::visitFSub().

MatchDiv()

static bool MatchDiv ( Value *  E, Value *&  Op, APInt &  C, bool  IsSigned  )

static

Definition at line 991 of file InstCombineAddSub.cpp.

References llvm::APInt::getBitWidth(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_SDiv(), llvm::PatternMatch::m_UDiv(), llvm::PatternMatch::m_Value(), and llvm::PatternMatch::match().

Referenced by MulWillOverflow().

MatchMul()

static bool MatchMul ( Value *  E, Value *&  Op, APInt &  C  )

static

Definition at line 951 of file InstCombineAddSub.cpp.

References llvm::APInt::getBitWidth(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Mul(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Value(), and llvm::PatternMatch::match().

Referenced by MulWillOverflow().

MatchRem()

static bool MatchRem ( Value *  E, Value *&  Op, APInt &  C, bool &  IsSigned  )

static

Definition at line 969 of file InstCombineAddSub.cpp.

References llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_SRem(), llvm::PatternMatch::m_URem(), llvm::PatternMatch::m_Value(), and llvm::PatternMatch::match().

Referenced by MulWillOverflow().

MulWillOverflow()

static bool MulWillOverflow ( APInt &  C0, APInt &  C1, bool  IsSigned  )

static

Definition at line 1012 of file InstCombineAddSub.cpp.

References llvm::ConstantInt::get(), llvm::Type::getContext(), llvm::User::getOperand(), llvm::Value::getType(), MatchDiv(), MatchMul(), MatchRem(), llvm::APInt::smul_ov(), llvm::APInt::umul_ov(), and X.