#include "Transforms/InstCombine/InstCombineInternal.h"
Additional Inherited Members | |
 Public Types inherited from llvm::InstCombiner | |
| using | BuilderTy = IRBuilder< TargetFolder, IRBuilderCallbackInserter > |
| An IRBuilder that automatically inserts new instructions into the worklist. More... | |
| Static Public Member Functions inherited from llvm::InstCombiner | |
| 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. More... | |
| static unsigned | getComplexity (Value *V) |
| Assign a complexity or rank value to LLVM Values. More... | |
| static bool | isCanonicalPredicate (CmpInst::Predicate Pred) |
| Predicate canonicalization reduces the number of patterns that need to be matched by other transforms. More... | |
| static bool | isSignBitCheck (ICmpInst::Predicate Pred, const APInt &RHS, bool &TrueIfSigned) |
| Given an exploded icmp instruction, return true if the comparison only checks the sign bit. More... | |
| static Constant * | AddOne (Constant *C) |
| Add one to a Constant. More... | |
| static Constant * | SubOne (Constant *C) |
| Subtract one from a Constant. More... | |
| static llvm::Optional< std::pair< CmpInst::Predicate, Constant * > > | getFlippedStrictnessPredicateAndConstant (CmpInst::Predicate Pred, Constant *C) |
| static bool | shouldAvoidAbsorbingNotIntoSelect (const SelectInst &SI) |
| static bool | isFreeToInvert (Value *V, bool WillInvertAllUses) |
| Return true if the specified value is free to invert (apply ~ to). More... | |
| static bool | canFreelyInvertAllUsersOf (Value *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. More... | |
| static Constant * | getSafeVectorConstantForBinop (BinaryOperator::BinaryOps Opcode, Constant *In, bool IsRHSConstant) |
| Some binary operators require special handling to avoid poison and undefined behavior. More... | |
| Public Attributes inherited from llvm::InstCombiner | |
| uint64_t | MaxArraySizeForCombine = 0 |
| Maximum size of array considered when transforming. More... | |
| BuilderTy & | Builder |
| Protected Attributes inherited from llvm::InstCombiner | |
| InstructionWorklist & | Worklist |
| A worklist of the instructions that need to be simplified. More... | |
| const bool | MinimizeSize |
| AAResults * | AA |
| AssumptionCache & | AC |
| TargetLibraryInfo & | TLI |
| DominatorTree & | DT |
| const DataLayout & | DL |
| const SimplifyQuery | SQ |
| OptimizationRemarkEmitter & | ORE |
| BlockFrequencyInfo * | BFI |
| ProfileSummaryInfo * | PSI |
| LoopInfo * | LI |
| bool | MadeIRChange = false |
Detailed Description
Definition at line 61 of file InstCombineInternal.h.
Constructor & Destructor Documentation
◆ InstCombinerImpl()
|
inline |
Definition at line 65 of file InstCombineInternal.h.
◆ ~InstCombinerImpl()
|
inlinevirtual |
Definition at line 74 of file InstCombineInternal.h.
Member Function Documentation
◆ canonicalizeCondSignextOfHighBitExtractToSignextHighBitExtract()
| Instruction * InstCombinerImpl::canonicalizeCondSignextOfHighBitExtractToSignextHighBitExtract | ( | BinaryOperator & | I | ) |
Definition at line 1150 of file InstCombineAddSub.cpp.
References llvm::MCID::Add, assert(), Builder, llvm::CastInst::CreateTruncOrBitCast(), llvm::Value::getName(), I, llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_CombineAnd(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_SExtOrSelf(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt_ICMP(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_TruncOrSelf(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::m_ZExtOrSelf(), llvm::PatternMatch::match(), llvm::MCID::Select, std::swap(), and X.
◆ canonicalizeICmpPredicate()
If we have a comparison with a non-canonical predicate, if we can update all the users, invert the predicate and adjust all the users.
Definition at line 5572 of file InstCombineCompares.cpp.
References llvm::InstCombiner::canFreelyInvertAllUsersOf(), llvm::CmpInst::getInversePredicate(), I, and llvm::InstCombiner::isCanonicalPredicate().
◆ combineLoadToNewType()
| LoadInst * InstCombinerImpl::combineLoadToNewType | ( | LoadInst & | LI, |
| Type * | NewTy, | ||
| const Twine & | Suffix = "" |
||
| ) |
Helper to combine a load to a new type.
This just does the work of combining a load to a new type. It handles metadata, etc., and returns the new instruction. The NewTy should be the loaded value type. This will convert it to a pointer, cast the operand to that pointer type, load it, etc.
Note that this will create all of the instructions with whatever insert point the InstCombinerImpl currently is using.
Definition at line 470 of file InstCombineLoadStoreAlloca.cpp.
References assert(), Builder, llvm::copyMetadataForLoad(), llvm::LoadInst::getAlign(), llvm::Value::getName(), llvm::LoadInst::getOrdering(), llvm::LoadInst::getPointerAddressSpace(), llvm::LoadInst::getPointerOperand(), llvm::Type::getPointerTo(), llvm::LoadInst::getSyncScopeID(), llvm::Value::getType(), llvm::Instruction::isAtomic(), isSupportedAtomicType(), llvm::LoadInst::isVolatile(), llvm::PatternMatch::m_BitCast(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), and llvm::LoadInst::setAtomic().
Referenced by combineLoadToOperationType(), removeBitcastsFromLoadStoreOnMinMax(), and unpackLoadToAggregate().
◆ commonCastTransforms()
| Instruction * InstCombinerImpl::commonCastTransforms | ( | CastInst & | CI | ) |
Implement the transforms common to all CastInst visitors.
Definition at line 278 of file InstCombineCasts.cpp.
References Builder, llvm::CastInst::Create(), llvm::CastInst::getOpcode(), llvm::User::getOperand(), llvm::Type::getPrimitiveSizeInBits(), llvm::CastInst::getSrcTy(), llvm::Value::getType(), llvm::Type::isIntegerTy(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Shuffle(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), llvm::replaceAllDbgUsesWith(), and X.
◆ commonIDivTransforms()
| Instruction * InstCombinerImpl::commonIDivTransforms | ( | BinaryOperator & | I | ) |
This function implements the transforms common to both integer division instructions (udiv and sdiv).
It is called by the visitors to those integer division instructions. Common integer divide transforms
Definition at line 744 of file InstCombineMulDivRem.cpp.
References assert(), Builder, C1, llvm::BinaryOperator::Create(), llvm::SelectInst::Create(), llvm::ConstantInt::get(), llvm::APInt::getOneBitSet(), I, llvm::Type::isIntOrIntVectorTy(), isMultiple(), llvm::APInt::isZero(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_Mul(), llvm::PatternMatch::m_NSWMul(), llvm::PatternMatch::m_NSWShl(), llvm::PatternMatch::m_NUWMul(), llvm::PatternMatch::m_NUWShl(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_SDiv(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SRem(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_UDiv(), llvm::PatternMatch::m_URem(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::Mul, multiplyOverflows(), simplifyValueKnownNonZero(), X, and Y.
◆ commonIRemTransforms()
| Instruction * InstCombinerImpl::commonIRemTransforms | ( | BinaryOperator & | I | ) |
This function implements the transforms common to both integer remainder instructions (urem and srem).
It is called by the visitors to those integer remainder instructions. Common integer remainder transforms
Definition at line 1453 of file InstCombineMulDivRem.cpp.
References I, llvm::APInt::isMinSignedValue(), llvm::APInt::isMinValue(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), SI, and simplifyValueKnownNonZero().
◆ commonPointerCastTransforms()
| Instruction * InstCombinerImpl::commonPointerCastTransforms | ( | CastInst & | CI | ) |
Implement the transforms for cast of pointer (bitcast/ptrtoint)
Definition at line 2038 of file InstCombineCasts.cpp.
References GEP, and llvm::User::getOperand().
◆ commonShiftTransforms()
| Instruction * InstCombinerImpl::commonShiftTransforms | ( | BinaryOperator & | I | ) |
Definition at line 372 of file InstCombineShifts.cpp.
References assert(), Builder, llvm::BinaryOperator::Create(), DL, foldShiftOfShiftedLogic(), llvm::ConstantInt::get(), llvm::ConstantExpr::getSub(), llvm::Value::getType(), I, llvm::isKnownNonNegative(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Power2(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_SRem(), llvm::PatternMatch::m_Value(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), SI, and Y.
◆ computeKnownBits() [1/2]
|
inline |
Definition at line 464 of file InstCombineInternal.h.
References llvm::computeKnownBits(), llvm::Depth, and DL.
Referenced by canReplaceGEPIdxWithZero(), foldCtpop(), foldCttzCtlz(), and matchFunnelShift().
◆ computeKnownBits() [2/2]
|
inline |
Definition at line 469 of file InstCombineInternal.h.
References llvm::computeKnownBits(), llvm::Depth, and DL.
◆ ComputeNumSignBits()
|
inline |
Definition at line 485 of file InstCombineInternal.h.
References llvm::ComputeNumSignBits(), llvm::Depth, and DL.
Referenced by canEvaluateTruncated(), and processUGT_ADDCST_ADD().
◆ computeOverflow()
| OverflowResult InstCombinerImpl::computeOverflow | ( | Instruction::BinaryOps | BinaryOp, |
| bool | IsSigned, | ||
| Value * | LHS, | ||
| Value * | RHS, | ||
| Instruction * | CxtI | ||
| ) | const |
Definition at line 4751 of file InstCombineCompares.cpp.
References llvm::MCID::Add, llvm::computeOverflowForSignedAdd(), llvm::computeOverflowForSignedMul(), llvm::computeOverflowForSignedSub(), llvm::computeOverflowForUnsignedAdd(), llvm::computeOverflowForUnsignedMul(), llvm::computeOverflowForUnsignedSub(), and llvm_unreachable.
◆ computeOverflowForSignedAdd()
|
inline |
Definition at line 508 of file InstCombineInternal.h.
References llvm::computeOverflowForSignedAdd(), and DL.
◆ computeOverflowForSignedMul()
|
inline |
Definition at line 496 of file InstCombineInternal.h.
References llvm::computeOverflowForSignedMul(), and DL.
◆ computeOverflowForSignedSub()
|
inline |
Definition at line 520 of file InstCombineInternal.h.
References llvm::computeOverflowForSignedSub(), and DL.
◆ computeOverflowForUnsignedAdd()
|
inline |
Definition at line 502 of file InstCombineInternal.h.
References llvm::computeOverflowForUnsignedAdd(), and DL.
◆ computeOverflowForUnsignedMul()
|
inline |
Definition at line 490 of file InstCombineInternal.h.
References llvm::computeOverflowForUnsignedMul(), and DL.
◆ computeOverflowForUnsignedSub()
|
inline |
Definition at line 514 of file InstCombineInternal.h.
References llvm::computeOverflowForUnsignedSub(), and DL.
◆ CreateNonTerminatorUnreachable()
|
inline |
Create and insert the idiom we use to indicate a block is unreachable without having to rewrite the CFG from within InstCombine.
Definition at line 434 of file InstCombineInternal.h.
References llvm::UndefValue::get(), llvm::Value::getContext(), llvm::Type::getInt1PtrTy(), and llvm::ConstantInt::getTrue().
◆ Descale()
Returns a value X such that Val = X * Scale, or null if none.
Return a value X such that Val = X * Scale, or null if none.
If the multiplication is known not to overflow then NoSignedWrap is set.
If the multiplication is known not to overflow, then NoSignedWrap is set.
Definition at line 1316 of file InstructionCombining.cpp.
References assert(), llvm::APInt::exactLogBase2(), llvm::ConstantInt::get(), llvm::APInt::getBitWidth(), llvm::Instruction::getOpcode(), llvm::Value::getType(), llvm::Instruction::hasNoSignedWrap(), hasOneUse(), llvm::Value::hasOneUse(), llvm::APInt::isMinValue(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), llvm::APInt::sdivrem(), llvm::APInt::sext(), llvm::APInt::trunc(), and llvm::Instruction::user_back().
◆ dominatesAllUses()
| bool InstCombinerImpl::dominatesAllUses | ( | const Instruction * | DI, |
| const Instruction * | UI, | ||
| const BasicBlock * | DB | ||
| ) | const |
True when DB dominates all uses of DI except UI.
Check that one use is in the same block as the definition and all other uses are in blocks dominated by a given block.
UI must be in the same block as DI. The routine checks that the DI parent and DB are different.
- Parameters
-
DI Definition UI Use DB Block that must dominate all uses of DIoutside the parent block
- Returns
- true when
UIis the only use ofDIin the parent block and all other uses ofDIare in blocks dominated byDB.
Definition at line 5120 of file InstCombineCompares.cpp.
References assert(), llvm::Instruction::getParent(), llvm::BasicBlock::getParent(), and llvm::Value::users().
◆ eraseInstFromFunction()
|
inlineoverridevirtual |
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.
Implements llvm::InstCombiner.
Definition at line 447 of file InstCombineInternal.h.
References assert(), llvm::dbgs(), I, LLVM_DEBUG, and llvm::salvageDebugInfo().
Referenced by combineLoadToOperationType(), processUGT_ADDCST_ADD(), removeBitcastsFromLoadStoreOnMinMax(), removeTriviallyEmptyRange(), and visitAtomicRMWInst().
◆ EvaluateInDifferentType()
Given an expression that CanEvaluateTruncated or CanEvaluateSExtd returns true for, actually insert the code to evaluate the expression.
Definition at line 180 of file InstCombineCasts.cpp.
References llvm::MCID::Add, llvm::PHINode::addIncoming(), llvm::ConstantFoldConstant(), llvm::BinaryOperator::Create(), llvm::SelectInst::Create(), llvm::PHINode::Create(), llvm::CastInst::CreateIntegerCast(), DL, llvm::numbers::e, llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::ConstantExpr::getIntegerCast(), llvm::PHINode::getNumIncomingValues(), i, I, llvm_unreachable, llvm::MCID::Select, and llvm::Value::takeName().
◆ foldAddWithConstant()
| Instruction * InstCombinerImpl::foldAddWithConstant | ( | BinaryOperator & | Add | ) |
Definition at line 864 of file InstCombineAddSub.cpp.
References llvm::InstCombiner::AddOne(), llvm::BitWidth, Builder, llvm::computeKnownBits(), llvm::CastInst::Create(), llvm::SelectInst::Create(), CreateAdd(), DL, llvm::ConstantInt::get(), llvm::ConstantExpr::getAdd(), llvm::APInt::getHighBitsSet(), llvm::Type::getScalarSizeInBits(), llvm::Value::hasOneUse(), llvm::haveNoCommonBitsSet(), llvm::APInt::isMask(), llvm::APInt::isMinSignedValue(), llvm::APInt::isNegative(), llvm::APInt::isPowerOf2(), llvm::APInt::isShiftedMask(), llvm::APInt::isSignMask(), llvm::APInt::logBase2(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::m_Not(), 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::MaskedValueIsZero(), llvm::PatternMatch::match(), llvm::APInt::sext(), llvm::InstCombiner::SubOne(), X, Y, and llvm::KnownBits::Zero.
◆ foldAggregateConstructionIntoAggregateReuse()
| Instruction * InstCombinerImpl::foldAggregateConstructionIntoAggregateReuse | ( | InsertValueInst & | OrigIVI | ) |
Look for chain of insertvalue's that fully define an aggregate, and trace back the values inserted, see if they are all were extractvalue'd from the same source aggregate from the exact same element indexes.
If they were, just reuse the source aggregate. This potentially deals with PHI indirections.
When analyzing the value that was inserted into an aggregate, we did not manage to find defining extractvalue instruction to analyze.
When analyzing the value that was inserted into an aggregate, we did manage to find defining extractvalue instruction[s], and everything matched perfectly - aggregate type, element insertion/extraction index.
When analyzing the value that was inserted into an aggregate, we did manage to find defining extractvalue instruction, but there was a mismatch: either the source type from which the extraction was didn't match the aggregate type into which the insertion was, or the extraction/insertion channels mismatched, or different elements had different source aggregates.
Definition at line 803 of file InstCombineVectorOps.cpp.
References llvm::all_of(), llvm::Type::ArrayTyID, assert(), BB, Builder, llvm::Depth, llvm::Value::DoPHITranslation(), llvm::SmallVectorImpl< T >::emplace_back(), llvm::enumerate(), llvm::ArrayRef< T >::front(), llvm::Type::getArrayNumElements(), llvm::BasicBlock::getFirstNonPHI(), llvm::Value::getName(), llvm::Type::getStructNumElements(), llvm::Value::getType(), llvm::Type::getTypeID(), llvm::Optional< T >::getValueOr(), I, llvm::DenseMapBase< SmallDenseMap< KeyT, ValueT, 4, DenseMapInfo< KeyT >, llvm::detail::DenseMapPair< KeyT, ValueT > >, KeyT, ValueT, DenseMapInfo< KeyT >, llvm::detail::DenseMapPair< KeyT, ValueT > >::insert(), llvm_unreachable, llvm::None, llvm::LegacyLegalizeActions::NotFound, llvm::pred_empty(), llvm::predecessors(), llvm::ArrayRef< T >::size(), and llvm::Type::StructTyID.
◆ foldAllocaCmp()
| Instruction * InstCombinerImpl::foldAllocaCmp | ( | ICmpInst & | ICI, |
| const AllocaInst * | Alloca, | ||
| const Value * | Other | ||
| ) |
Definition at line 1010 of file InstCombineCompares.cpp.
References assert(), llvm::ConstantInt::get(), llvm::CmpInst::getPredicate(), llvm::ICmpInst::isEquality(), llvm::CmpInst::isTrueWhenEqual(), llvm::CmpInst::makeCmpResultType(), memcpy(), Other, llvm::SmallVectorImpl< T >::pop_back_val(), SI, and llvm::Value::uses().
◆ foldBinOpIntoSelectOrPhi()
| Instruction * InstCombinerImpl::foldBinOpIntoSelectOrPhi | ( | BinaryOperator & | I | ) |
This is a convenience wrapper function for the above two functions.
Definition at line 1269 of file InstructionCombining.cpp.
References I.
◆ foldCmpLoadFromIndexedGlobal()
| Instruction * InstCombinerImpl::foldCmpLoadFromIndexedGlobal | ( | GetElementPtrInst * | GEP, |
| GlobalVariable * | GV, | ||
| CmpInst & | ICI, | ||
| ConstantInt * | AndCst = nullptr |
||
| ) |
This is called when we see this pattern: cmp pred (load (gep GV, ...)), cmpcst where GV is a global variable with a constant initializer.
Try to simplify this into some simple computation that does not need the load. For example we can optimize "icmp eq (load (gep "foo", 0, i)), 0" into "icmp eq i, 3".
If AndCst is non-null, then the loaded value is masked with that constant before doing the comparison. This handles cases like "A[i]&4 == 0".
TrueRangeEnd/FalseRangeEnd - In conjunction with First*Element, these define a state machine that triggers for ranges of values that the index is true or false for. This triggers on things like "abbbbc"[i] == 'b'. This is -2 when undefined, -3 when overdefined, and otherwise the last index in the range (inclusive). We use -2 for undefined here because we use relative comparisons and don't want 0-1 to match -1.
Definition at line 108 of file InstCombineCompares.cpp.
References assert(), Builder, C1, llvm::ConstantFoldCompareInstOperands(), llvm::countTrailingZeros(), DL, llvm::numbers::e, GEP, llvm::ConstantInt::get(), llvm::ConstantExpr::getAnd(), llvm::ConstantExpr::getExtractValue(), llvm::TypeSize::getFixedSize(), llvm::GlobalVariable::getInitializer(), llvm::Type::getIntegerBitWidth(), llvm::User::getOperand(), llvm::CmpInst::getPredicate(), llvm::Type::getPrimitiveSizeInBits(), llvm::Value::getType(), llvm::ConstantInt::getZExtValue(), i, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, and llvm::BitmaskEnumDetail::Mask().
◆ foldFCmpIntToFPConst()
| Instruction * InstCombinerImpl::foldFCmpIntToFPConst | ( | FCmpInst & | I, |
| Instruction * | LHSI, | ||
| Constant * | RHSC | ||
| ) |
Fold fcmp ([us]itofp x, cst) if possible.
Definition at line 6052 of file InstCombineCompares.cpp.
References assert(), Builder, llvm::APFloat::convertToInteger(), llvm::object::Equal, llvm::CmpInst::FCMP_OEQ, llvm::CmpInst::FCMP_OGE, llvm::CmpInst::FCMP_OGT, llvm::CmpInst::FCMP_OLE, llvm::CmpInst::FCMP_OLT, llvm::CmpInst::FCMP_ONE, llvm::CmpInst::FCMP_ORD, llvm::CmpInst::FCMP_UEQ, llvm::CmpInst::FCMP_UGE, llvm::CmpInst::FCMP_UGT, llvm::CmpInst::FCMP_ULE, llvm::CmpInst::FCMP_ULT, llvm::CmpInst::FCMP_UNE, llvm::CmpInst::FCMP_UNO, llvm::IntegerType::getBitWidth(), llvm::Type::getFPMantissaWidth(), llvm::ConstantExpr::getFPToSI(), llvm::ConstantExpr::getFPToUI(), llvm::APFloat::getLargest(), llvm::APInt::getMaxValue(), llvm::APInt::getMinValue(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::APFloat::getSemantics(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), llvm::ConstantExpr::getSIToFP(), llvm::Value::getType(), llvm::ConstantExpr::getUIToFP(), I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::APFloatBase::IEK_Inf, llvm::detail::ilogb(), llvm::APFloat::isNaN(), llvm::APFloat::isNegative(), llvm::APFloat::isZero(), llvm_unreachable, P, llvm::APFloatBase::rmNearestTiesToEven, llvm::APFloat::roundToIntegral(), llvm::SMax, llvm::SMin, llvm::UMax, and llvm::UMin.
◆ foldGEPICmp()
| Instruction * InstCombinerImpl::foldGEPICmp | ( | GEPOperator * | GEPLHS, |
| Value * | RHS, | ||
| ICmpInst::Predicate | Cond, | ||
| Instruction & | I | ||
| ) |
Fold comparisons between a GEP instruction and something else.
At this point we know that the GEP is on the LHS of the comparison.
Definition at line 830 of file InstCombineCompares.cpp.
References llvm::sampleprof::Base, Builder, Cond, DL, llvm::numbers::e, llvm::EmitGEPOffset(), evaluateGEPOffsetExpression(), llvm::ConstantInt::get(), llvm::TypeSize::getFixedSize(), llvm::Constant::getNullValue(), llvm::User::getNumOperands(), llvm::User::getOperand(), llvm::Type::getPointerAddressSpace(), llvm::ConstantExpr::getPointerBitCastOrAddrSpaceCast(), llvm::GEPOperator::getPointerOperand(), llvm::Type::getPrimitiveSizeInBits(), llvm::ICmpInst::getSignedPredicate(), llvm::CmpInst::getSwappedPredicate(), llvm::Value::getType(), llvm::GEPOperator::hasAllConstantIndices(), llvm::GEPOperator::hasAllZeroIndices(), llvm::Value::hasOneUse(), i, I, llvm::ICmpInst::isEquality(), llvm::GEPOperator::isInBounds(), llvm::CmpInst::isSigned(), llvm::CmpInst::isTrueWhenEqual(), llvm::Type::isVectorTy(), llvm::CmpInst::makeCmpResultType(), llvm::NullPointerIsDefined(), Offset, llvm::Value::stripPointerCasts(), and transformToIndexedCompare().
◆ foldICmpAddConstant()
| Instruction * InstCombinerImpl::foldICmpAddConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | Add, | ||
| const APInt & | C | ||
| ) |
Fold icmp (add X, Y), C.
Definition at line 2667 of file InstCombineCompares.cpp.
References Builder, llvm::ConstantInt::get(), llvm::ConstantExpr::getNeg(), llvm::Type::getScalarSizeInBits(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::PatternMatch::m_APInt(), llvm::ConstantRange::makeExactICmpRegion(), llvm::PatternMatch::match(), llvm::SMax, llvm::SMin, llvm::ConstantRange::subtract(), llvm::Upper, X, and Y.
◆ foldICmpAddOpConst()
| Instruction * InstCombinerImpl::foldICmpAddOpConst | ( | Value * | X, |
| const APInt & | C, | ||
| ICmpInst::Predicate | Pred | ||
| ) |
Fold "icmp pred (X+C), X".
Definition at line 1088 of file InstCombineCompares.cpp.
References assert(), llvm::ConstantInt::get(), llvm::APInt::getMaxValue(), llvm::APInt::getSignedMaxValue(), llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::SMax, and X.
◆ foldICmpAndConstant()
| Instruction * InstCombinerImpl::foldICmpAndConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | And, | ||
| const APInt & | C | ||
| ) |
Fold icmp (and X, Y), C.
Definition at line 1852 of file InstCombineCompares.cpp.
References llvm::And, Builder, DL, llvm::APInt::exactLogBase2(), GEP, llvm::IntegerType::get(), llvm::VectorType::get(), llvm::Constant::getNullValue(), I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), X, and Y.
◆ foldICmpAndConstConst()
| Instruction * InstCombinerImpl::foldICmpAndConstConst | ( | ICmpInst & | Cmp, |
| BinaryOperator * | And, | ||
| const APInt & | C1 | ||
| ) |
Fold icmp (and X, C2), C1.
Definition at line 1744 of file InstCombineCompares.cpp.
References llvm::And, B, Builder, C1, llvm::ConstantInt::get(), llvm::Value::getName(), llvm::ConstantExpr::getNeg(), llvm::Constant::getNullValue(), llvm::ConstantExpr::getNUWShl(), llvm::ConstantExpr::getOr(), llvm::Type::getScalarSizeInBits(), llvm::Value::hasOneUse(), I, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_ULT, llvm::APInt::isNegative(), llvm::APInt::isSignMask(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::Or, llvm::RISCVFenceField::W, X, and llvm::APInt::zext().
◆ foldICmpAndShift()
| Instruction * InstCombinerImpl::foldICmpAndShift | ( | ICmpInst & | Cmp, |
| BinaryOperator * | And, | ||
| const APInt & | C1, | ||
| const APInt & | C2 | ||
| ) |
Fold icmp (and (sh X, Y), C2), C1.
Definition at line 1658 of file InstCombineCompares.cpp.
References llvm::And, llvm::APInt::ashr(), assert(), Builder, C1, llvm::ConstantInt::get(), llvm::ConstantInt::getFalse(), llvm::ConstantInt::getTrue(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::APInt::isNegative(), llvm::APInt::lshr(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), Shift, and llvm::APInt::shl().
◆ foldICmpBinOp()
| Instruction * InstCombinerImpl::foldICmpBinOp | ( | ICmpInst & | I, |
| const SimplifyQuery & | SQ | ||
| ) |
Try to fold icmp (binop), X or icmp X, (binop).
TODO: A large part of this logic is duplicated in InstSimplify's simplifyICmpWithBinOp(). We should be able to share that and avoid the code duplication.
Definition at line 3941 of file InstCombineCompares.cpp.
References llvm::APInt::abs(), llvm::SimplifyQuery::AC, llvm::MCID::Add, assert(), B, Builder, C1, llvm::SimplifyQuery::CxtI, D, llvm::SimplifyQuery::DL, llvm::SimplifyQuery::DT, foldICmpWithLowBitMaskedVal(), foldICmpWithTruncSignExtendedVal(), foldICmpXNegX(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::ConstantInt::getFalse(), llvm::CmpInst::getFlippedStrictnessPredicate(), llvm::APInt::getLowBitsSet(), llvm::ConstantExpr::getNeg(), llvm::Constant::getNullValue(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::CmpInst::getSwappedPredicate(), llvm::ConstantInt::getTrue(), llvm::Value::getType(), llvm::ConstantInt::getValue(), llvm::SimplifyQuery::getWithInstruction(), llvm::Instruction::hasNoSignedWrap(), llvm::Instruction::hasNoUnsignedWrap(), llvm::Value::hasOneUse(), I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::ICmpInst::isEquality(), llvm::Instruction::isExact(), llvm::isKnownNonZero(), llvm::APInt::isNegative(), llvm::CmpInst::isSigned(), llvm::CmpInst::isUnsigned(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_Add(), llvm::PatternMatch::m_c_And(), llvm::PatternMatch::m_Mul(), llvm::PatternMatch::m_Neg(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_Value(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), llvm::APInt::uge(), llvm::APInt::ule(), X, and Y.
◆ foldICmpBinOpEqualityWithConstant()
| Instruction * InstCombinerImpl::foldICmpBinOpEqualityWithConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | BO, | ||
| const APInt & | C | ||
| ) |
Fold an icmp equality instruction with binary operator LHS and constant RHS: icmp eq/ne BO, C.
Definition at line 3095 of file InstCombineCompares.cpp.
References llvm::MCID::Add, llvm::And, Builder, llvm::Value::getName(), llvm::ConstantExpr::getNot(), llvm::Constant::getNullValue(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::ConstantExpr::getSub(), llvm::Value::getType(), llvm::ConstantExpr::getXor(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::Constant::isAllOnesValue(), llvm::APInt::isPowerOf2(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), llvm::APInt::sgt(), and llvm::Value::takeName().
◆ foldICmpBitCast()
| Instruction * InstCombinerImpl::foldICmpBitCast | ( | ICmpInst & | Cmp | ) |
Definition at line 2859 of file InstCombineCompares.cpp.
References llvm::LegacyLegalizeActions::Bitcast, Builder, llvm::ConstantInt::get(), llvm::VectorType::get(), llvm::Constant::getAllOnesValue(), llvm::Constant::getNullValue(), llvm::Type::getScalarSizeInBits(), llvm::Value::getType(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::is_splat(), llvm::Type::isPPC_FP128Ty(), llvm::InstCombiner::isSignBitCheck(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_FPExt(), llvm::PatternMatch::m_FPTrunc(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_Shuffle(), llvm::PatternMatch::m_SIToFP(), llvm::PatternMatch::m_UIToFP(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::m_ZExtOrSExt(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), and X.
◆ foldICmpDivConstant()
| Instruction * InstCombinerImpl::foldICmpDivConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | Div, | ||
| const APInt & | C | ||
| ) |
Fold icmp ({su}div X, Y), C.
Definition at line 2419 of file InstCombineCompares.cpp.
References addWithOverflow(), Builder, llvm::ConstantInt::get(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::CmpInst::getSwappedPredicate(), llvm::Value::getType(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::APInt::isAllOnes(), llvm::Instruction::isExact(), llvm::APInt::isOne(), llvm::APInt::isZero(), llvm_unreachable, llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), llvm::APInt::negate(), llvm::APInt::sdiv(), subWithOverflow(), llvm::APInt::udiv(), and X.
◆ foldICmpEqIntrinsicWithConstant()
| Instruction * InstCombinerImpl::foldICmpEqIntrinsicWithConstant | ( | ICmpInst & | ICI, |
| IntrinsicInst * | II, | ||
| const APInt & | C | ||
| ) |
Fold an equality icmp with LLVM intrinsic and constant operand.
Definition at line 3187 of file InstCombineCompares.cpp.
References llvm::abs(), llvm::BitWidth, Builder, llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::CallBase::getArgOperand(), llvm::APInt::getHighBitsSet(), llvm::IntrinsicInst::getIntrinsicID(), llvm::APInt::getLowBitsSet(), llvm::Constant::getNullValue(), llvm::APInt::getOneBitSet(), llvm::Value::getType(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), and llvm::Or.
◆ foldICmpEquality()
| Instruction * InstCombinerImpl::foldICmpEquality | ( | ICmpInst & | Cmp | ) |
Definition at line 4410 of file InstCombineCompares.cpp.
References llvm::And, B, Builder, C1, D, foldICmpIntrinsicWithIntrinsic(), llvm::ConstantInt::get(), llvm::ConstantInt::getBitWidth(), llvm::ConstantInt::getLimitedValue(), llvm::APInt::getLowBitsSet(), llvm::ConstantExpr::getNot(), llvm::Constant::getNullValue(), llvm::APInt::getOneBitSet(), llvm::Type::getPrimitiveSizeInBits(), llvm::ConstantInt::getType(), llvm::Value::getType(), llvm::ConstantInt::getValue(), llvm::Value::hasOneUse(), I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::APInt::isPowerOf2(), llvm::APInt::logBase2(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_c_And(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_Neg(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::m_ZeroInt(), llvm::PatternMatch::m_ZExt(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), NC, X, llvm::Xor, Y, and llvm::APInt::zext().
◆ foldICmpInstWithConstant()
| Instruction * InstCombinerImpl::foldICmpInstWithConstant | ( | ICmpInst & | Cmp | ) |
Try to fold integer comparisons with a constant operand: icmp Pred X, C where X is some kind of instruction.
Definition at line 3010 of file InstCombineCompares.cpp.
References llvm::MCID::Add, I, LLVM_FALLTHROUGH, llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), and SI.
◆ foldICmpInstWithConstantNotInt()
| Instruction * InstCombinerImpl::foldICmpInstWithConstantNotInt | ( | ICmpInst & | Cmp | ) |
Handle icmp with constant (but not simple integer constant) RHS.
Definition at line 3394 of file InstCombineCompares.cpp.
References Builder, llvm::SelectInst::Create(), DL, GEP, llvm::ConstantExpr::getICmp(), llvm::Constant::getNullValue(), llvm::Instruction::getOpcode(), llvm::User::getOperand(), llvm::Instruction::getParent(), llvm::Value::getType(), llvm::Value::hasOneUse(), I, llvm::Constant::isNullValue(), llvm::ConstantInt::isZero(), llvm::SPII::Load, llvm::MCID::Select, and llvm::SimplifyICmpInst().
◆ foldICmpIntrinsicWithConstant()
| Instruction * InstCombinerImpl::foldICmpIntrinsicWithConstant | ( | ICmpInst & | ICI, |
| IntrinsicInst * | II, | ||
| const APInt & | C | ||
| ) |
Fold an icmp with LLVM intrinsic and constant operand: icmp Pred II, C.
Definition at line 3324 of file InstCombineCompares.cpp.
References llvm::BitWidth, Builder, llvm::CmpInst::Create(), llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::CallBase::getArgOperand(), llvm::IntrinsicInst::getIntrinsicID(), llvm::APInt::getLowBitsSet(), llvm::Constant::getNullValue(), llvm::APInt::getOneBitSet(), llvm::Value::getType(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::BitmaskEnumDetail::Mask(), and X.
◆ foldICmpMulConstant()
| Instruction * InstCombinerImpl::foldICmpMulConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | Mul, | ||
| const APInt & | C | ||
| ) |
Fold icmp (mul X, Y), C.
Definition at line 1996 of file InstCombineCompares.cpp.
References llvm::ConstantInt::get(), llvm::Constant::getNullValue(), llvm::CmpInst::getSwappedPredicate(), llvm::APInt::isNegative(), isSignTest(), llvm::APInt::isZero(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), and llvm::Mul.
◆ foldICmpOrConstant()
| Instruction * InstCombinerImpl::foldICmpOrConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | Or, | ||
| const APInt & | C | ||
| ) |
Fold icmp (or X, Y), C.
Definition at line 1919 of file InstCombineCompares.cpp.
References llvm::And, Builder, llvm::BinaryOperator::Create(), llvm::ConstantInt::get(), llvm::Constant::getNullValue(), llvm::Value::getType(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_PtrToInt(), llvm::PatternMatch::m_Signum(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::match(), llvm::Or, P, and X.
◆ foldICmpSelectConstant()
| Instruction * InstCombinerImpl::foldICmpSelectConstant | ( | ICmpInst & | Cmp, |
| SelectInst * | Select, | ||
| ConstantInt * | C | ||
| ) |
Definition at line 2808 of file InstCombineCompares.cpp.
References assert(), Builder, Cond, llvm::ConstantExpr::getCompare(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::Constant::isAllOnesValue(), and llvm::MCID::Select.
◆ foldICmpShlConstant()
| Instruction * InstCombinerImpl::foldICmpShlConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | Shl, | ||
| const APInt & | C | ||
| ) |
Fold icmp (shl X, Y), C.
Definition at line 2094 of file InstCombineCompares.cpp.
References llvm::And, llvm::APInt::ashr(), assert(), Builder, DL, foldICmpShlOne(), llvm::IntegerType::get(), llvm::ConstantInt::get(), llvm::VectorType::get(), llvm::APInt::getLimitedValue(), llvm::APInt::getLowBitsSet(), llvm::Value::getName(), llvm::Constant::getNullValue(), llvm::APInt::getOneBitSet(), llvm::User::getOperand(), llvm::Value::getType(), llvm::APInt::getZExtValue(), llvm::Instruction::hasNoSignedWrap(), llvm::Instruction::hasNoUnsignedWrap(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, isSignTest(), lshr, llvm::APInt::lshr(), llvm::PatternMatch::m_APInt(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), llvm::APInt::uge(), and X.
◆ foldICmpShlConstConst()
| Instruction * InstCombinerImpl::foldICmpShlConstConst | ( | ICmpInst & | I, |
| Value * | ShAmt, | ||
| const APInt & | C1, | ||
| const APInt & | C2 | ||
| ) |
Handle "(icmp eq/ne (shl AP2, A), AP1)" -> (icmp eq/ne A, TrailingZeros(AP1) - TrailingZeros(AP2)).
Definition at line 1197 of file InstCombineCompares.cpp.
References assert(), llvm::APInt::countTrailingZeros(), llvm::ConstantInt::get(), llvm::APInt::getBitWidth(), llvm::CmpInst::getInversePredicate(), llvm::Constant::getNullValue(), I, llvm::APInt::isZero(), Shift, and llvm::APInt::shl().
◆ foldICmpShrConstant()
| Instruction * InstCombinerImpl::foldICmpShrConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | Shr, | ||
| const APInt & | C | ||
| ) |
Fold icmp ({al}shr X, Y), C.
Definition at line 2234 of file InstCombineCompares.cpp.
References llvm::And, llvm::APInt::ashr(), assert(), Builder, llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::APInt::getBitWidth(), llvm::APInt::getHighBitsSet(), llvm::APInt::getLimitedValue(), llvm::Value::getName(), llvm::Constant::getNullValue(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Value::getType(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::Instruction::isExact(), llvm::APInt::lshr(), llvm::PatternMatch::m_APInt(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), llvm::APInt::shl(), shl, and X.
◆ foldICmpShrConstConst()
| Instruction * InstCombinerImpl::foldICmpShrConstConst | ( | ICmpInst & | I, |
| Value * | ShAmt, | ||
| const APInt & | C1, | ||
| const APInt & | C2 | ||
| ) |
Handle "(icmp eq/ne (ashr/lshr AP2, A), AP1)" -> (icmp eq/ne A, Log2(AP2/AP1)) -> (icmp eq/ne A, Log2(AP2) - Log2(AP1)).
Definition at line 1138 of file InstCombineCompares.cpp.
References llvm::APInt::ashr(), assert(), llvm::APInt::countLeadingOnes(), llvm::APInt::countLeadingZeros(), llvm::ConstantInt::get(), llvm::CmpInst::getInversePredicate(), llvm::Constant::getNullValue(), I, llvm::APInt::isAllOnes(), llvm::APInt::isNegative(), llvm::APInt::isPowerOf2(), llvm::APInt::isZero(), llvm::APInt::logBase2(), llvm::APInt::lshr(), llvm::APInt::sgt(), and Shift.
◆ foldICmpSRemConstant()
| Instruction * InstCombinerImpl::foldICmpSRemConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | UDiv, | ||
| const APInt & | C | ||
| ) |
Definition at line 2351 of file InstCombineCompares.cpp.
References llvm::And, Builder, llvm::ConstantInt::get(), llvm::Constant::getNullValue(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::APInt::getSignMask(), llvm::Value::getType(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::PatternMatch::m_Power2(), and llvm::PatternMatch::match().
◆ foldICmpSubConstant()
| Instruction * InstCombinerImpl::foldICmpSubConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | Sub, | ||
| const APInt & | C | ||
| ) |
Fold icmp (sub X, Y), C.
Definition at line 2588 of file InstCombineCompares.cpp.
References Builder, llvm::ConstantInt::get(), llvm::User::getOperand(), llvm::ConstantExpr::getSub(), llvm::Value::getType(), llvm::Instruction::hasNoSignedWrap(), llvm::Instruction::hasNoUnsignedWrap(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::match(), subWithOverflow(), X, and Y.
◆ foldICmpTruncConstant()
| Instruction * InstCombinerImpl::foldICmpTruncConstant | ( | ICmpInst & | Cmp, |
| TruncInst * | Trunc, | ||
| const APInt & | C | ||
| ) |
Fold icmp (trunc X, Y), C.
Definition at line 1542 of file InstCombineCompares.cpp.
References llvm::computeKnownBits(), llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::APInt::getHighBitsSet(), llvm::Constant::getNullValue(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::Value::getType(), llvm::APInt::getZExtValue(), llvm::Value::hasOneUse(), llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Shr(), llvm::PatternMatch::m_Signum(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::KnownBits::One, X, llvm::KnownBits::Zero, and llvm::APInt::zext().
◆ foldICmpUDivConstant()
| Instruction * InstCombinerImpl::foldICmpUDivConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | UDiv, | ||
| const APInt & | C | ||
| ) |
Fold icmp (udiv X, Y), C.
Definition at line 2390 of file InstCombineCompares.cpp.
References assert(), llvm::ConstantInt::get(), llvm::User::getOperand(), llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), llvm::APInt::udiv(), and Y.
◆ foldICmpUsingKnownBits()
| Instruction * InstCombinerImpl::foldICmpUsingKnownBits | ( | ICmpInst & | Cmp | ) |
Try to fold the comparison based on range information we can get by checking whether bits are known to be zero or one in the inputs.
Definition at line 5223 of file InstCombineCompares.cpp.
References assert(), B, llvm::BitWidth, llvm::APInt::ceilLogBase2(), llvm::KnownBits::countMinTrailingZeros(), llvm::APInt::countTrailingZeros(), DL, llvm::SelectPatternResult::Flavor, llvm::ConstantInt::get(), llvm::APInt::getActiveBits(), llvm::APInt::getAllOnes(), llvm::ConstantInt::getBool(), getDemandedBitsLHSMask(), llvm::ConstantInt::getFalse(), llvm::Constant::getIntegerValue(), llvm::CmpInst::getInversePredicate(), llvm::KnownBits::getMaxValue(), llvm::KnownBits::getMinValue(), llvm::Constant::getNullValue(), llvm::Type::getScalarSizeInBits(), llvm::Type::getScalarType(), llvm::KnownBits::getSignedMaxValue(), llvm::KnownBits::getSignedMinValue(), llvm::ConstantInt::getTrue(), llvm::Value::getType(), I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::Type::isIntOrIntVectorTy(), llvm::SelectPatternResult::isMinOrMax(), llvm::APInt::isNegative(), llvm::APInt::isOne(), llvm::APInt::isPowerOf2(), llvm::KnownBits::isZero(), llvm_unreachable, llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_MaxOrMin(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_Power2(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::matchSelectPattern(), llvm::KnownBits::One, llvm::APInt::sle(), llvm::APInt::slt(), llvm::APInt::ule(), llvm::APInt::ult(), X, and llvm::KnownBits::Zero.
◆ foldICmpWithCastOp()
| Instruction * InstCombinerImpl::foldICmpWithCastOp | ( | ICmpInst & | ICI | ) |
Handle icmp (cast x), (cast or constant).
Definition at line 4685 of file InstCombineCompares.cpp.
References Builder, DL, foldICmpWithZextOrSext(), llvm::Type::getIntegerBitWidth(), llvm::ConstantExpr::getIntToPtr(), llvm::User::getOperand(), llvm::Type::getPointerAddressSpace(), llvm::CmpInst::getPredicate(), and llvm::Value::getType().
◆ foldICmpWithConstant()
| Instruction * InstCombinerImpl::foldICmpWithConstant | ( | ICmpInst & | Cmp | ) |
Fold icmp Pred X, C.
TODO: This code structure does not make sense. The saturating add fold should be moved to some other helper and extended as noted below (it is also possible that code has been made unnecessary - do we canonicalize IR to overflow/saturating intrinsics or not?).
Definition at line 1420 of file InstCombineCompares.cpp.
References llvm::PHINode::addIncoming(), llvm::all_of(), B, Builder, llvm::ConstantExpr::getCompare(), llvm::CmpInst::ICMP_UGT, llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::predecessors(), processUGT_ADDCST_ADD(), and llvm::Value::takeName().
◆ foldICmpWithDominatingICmp()
| Instruction * InstCombinerImpl::foldICmpWithDominatingICmp | ( | ICmpInst & | Cmp | ) |
Canonicalize icmp instructions based on dominating conditions.
Definition at line 1466 of file InstCombineCompares.cpp.
References assert(), Builder, llvm::ConstantRange::difference(), DL, llvm::ConstantInt::get(), llvm::CmpInst::getInversePredicate(), llvm::ConstantRange::getSingleElement(), llvm::BasicBlock::getSinglePredecessor(), llvm::BasicBlock::getTerminator(), hasBranchUse(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::ConstantRange::intersectWith(), llvm::ConstantRange::isEmptySet(), llvm::isImpliedCondition(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Br(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_MaxOrMin(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::ConstantRange::makeExactICmpRegion(), llvm::PatternMatch::match(), X, and Y.
◆ foldICmpWithZero()
| Instruction * InstCombinerImpl::foldICmpWithZero | ( | ICmpInst & | Cmp | ) |
Definition at line 1379 of file InstCombineCompares.cpp.
References B, llvm::computeKnownBits(), llvm::KnownBits::countMaxPopulation(), llvm::KnownBits::countMinPopulation(), DL, llvm::SelectPatternResult::Flavor, llvm::CmpInst::ICMP_SGT, llvm::ICmpInst::isEquality(), llvm::isKnownPositive(), llvm::PatternMatch::m_URem(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), llvm::matchSelectPattern(), llvm::SPF_SMIN, X, and Y.
◆ foldICmpXorConstant()
| Instruction * InstCombinerImpl::foldICmpXorConstant | ( | ICmpInst & | Cmp, |
| BinaryOperator * | Xor, | ||
| const APInt & | C | ||
| ) |
Fold icmp (xor X, Y), C.
Definition at line 1591 of file InstCombineCompares.cpp.
References llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::Constant::getNullValue(), llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::APInt::isMaxSignedValue(), llvm::APInt::isNegative(), llvm::APInt::isPowerOf2(), llvm::APInt::isSignMask(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), X, llvm::Xor, and Y.
◆ foldIntegerTypedPHI()
| Instruction * InstCombinerImpl::foldIntegerTypedPHI | ( | PHINode & | PN | ) |
If an integer typed PHI has only one use which is an IntToPtr operation, replace the PHI with an existing pointer typed PHI if it exists.
Otherwise insert a new pointer typed PHI and replace the original one.
Definition at line 105 of file InstCombinePHI.cpp.
References llvm::PHINode::addIncoming(), llvm::all_of(), llvm::any_of(), Arg, assert(), BB, llvm::PHINode::Create(), llvm::CastInst::CreateBitOrPointerCast(), DL, llvm::SmallVectorImpl< T >::emplace_back(), llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::PHINode::getIncomingValueForBlock(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), llvm::User::getOperand(), llvm::Instruction::getParent(), llvm::Value::getType(), llvm::Value::hasOneUse(), i, if(), llvm::Type::isIntegerTy(), MaxNumPhis, SI, llvm::Instruction::user_back(), and llvm::Value::users().
◆ foldIRemByPowerOfTwoToBitTest()
| Instruction * InstCombinerImpl::foldIRemByPowerOfTwoToBitTest | ( | ICmpInst & | I | ) |
If we have: icmp eq/ne (urem/srem x, y), 0 iff y is a power-of-two, we can replace this with a bit test: icmp eq/ne (and x, (add y, -1)), 0.
Definition at line 1329 of file InstCombineCompares.cpp.
References Builder, llvm::CmpInst::Create(), llvm::Constant::getAllOnesValue(), I, llvm::isKnownToBeAPowerOfTwo(), llvm::PatternMatch::m_CombineAnd(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_IRem(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), X, and Y.
◆ foldItoFPtoI()
| Instruction * InstCombinerImpl::foldItoFPtoI | ( | CastInst & | FI | ) |
fpto{s/u}i({u/s}itofp(X)) --> X or zext(X) or sext(X) or trunc(X) This is safe if the intermediate type has enough bits in its mantissa to accurately represent all values of X.
For example, this won't work with i64 -> float -> i64.
Definition at line 1956 of file InstCombineCasts.cpp.
References assert(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::Value::getType(), int, isKnownExactCastIntToFP(), and X.
◆ foldMultiplicationOverflowCheck()
Fold (-1 u/ x) u< y ((x * y) ?/ x) != y to @llvm.
?mul.with.overflow(x, y) plus extraction of overflow bit Note that the comparison is commutative, while inverted (u>=, ==) predicate will mean that we are looking for the opposite answer.
Definition at line 3850 of file InstCombineCompares.cpp.
References Builder, F, llvm::Intrinsic::getDeclaration(), llvm::Instruction::getOpcode(), I, llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_c_ICmp(), llvm::PatternMatch::m_c_Mul(), llvm::PatternMatch::m_CombineAnd(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_IDiv(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_UDiv(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::Mul, X, and Y.
◆ foldOpIntoPhi()
| Instruction * InstCombinerImpl::foldOpIntoPhi | ( | Instruction & | I, |
| PHINode * | PN | ||
| ) |
Given a binary operator, cast instruction, or select which has a PHI node as operand #0, see if we can fold the instruction into the PHI (which is only possible if all operands to the PHI are constants).
Definition at line 1112 of file InstructionCombining.cpp.
References llvm::PHINode::addIncoming(), Builder, llvm::PHINode::Create(), llvm::Value::DoPHITranslation(), foldOperationIntoPhiValue(), llvm::ConstantExpr::getCast(), llvm::ConstantExpr::getCompare(), llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::PHINode::getNumIncomingValues(), llvm::CastInst::getOpcode(), llvm::Instruction::getParent(), getParent(), llvm::BasicBlock::getTerminator(), llvm::Value::getType(), llvm::Value::hasOneUse(), i, I, llvm::isGuaranteedNotToBeUndefOrPoison(), llvm::Constant::isNullValue(), llvm::isPotentiallyReachable(), llvm::BranchInst::isUnconditional(), llvm::PatternMatch::m_ImmConstant(), llvm::make_early_inc_range(), llvm::PatternMatch::match(), SI, llvm::Value::takeName(), and llvm::Value::users().
◆ FoldOpIntoSelect()
| Instruction * InstCombinerImpl::FoldOpIntoSelect | ( | Instruction & | Op, |
| SelectInst * | SI | ||
| ) |
Given an instruction with a select as one operand and a constant as the other operand, try to fold the binary operator into the select arguments.
This also works for Cast instructions, which obviously do not have a second operand.
Definition at line 1016 of file InstructionCombining.cpp.
References B, Builder, llvm::SelectInst::Create(), foldOperationIntoSelectOperand(), llvm::ConstantExpr::getCompare(), llvm::VectorType::getElementCount(), llvm::CmpInst::ICMP_EQ, llvm::PatternMatch::m_APIntAllowUndef(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::match(), and SI.
Referenced by foldCtpop(), and foldCttzCtlz().
◆ foldPHIArgBinOpIntoPHI()
| Instruction * InstCombinerImpl::foldPHIArgBinOpIntoPHI | ( | PHINode & | PN | ) |
If we have something like phi [add (a,b), add(a,c)] and if a/b/c and the adds all have a single user, turn this into a phi and a single binop.
Definition at line 404 of file InstCombinePHI.cpp.
References llvm::PHINode::addIncoming(), llvm::Instruction::andIRFlags(), assert(), llvm::Instruction::copyIRFlags(), llvm::BinaryOperator::Create(), llvm::CmpInst::Create(), llvm::PHINode::Create(), llvm::numbers::e, llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), llvm::Instruction::getOpcode(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Value::getType(), i, and I.
◆ foldPHIArgExtractValueInstructionIntoPHI()
| Instruction * InstCombinerImpl::foldPHIArgExtractValueInstructionIntoPHI | ( | PHINode & | PN | ) |
If we have something like phi [extractvalue(a,0), extractvalue(b,0)], turn this into a phi[a,b] and a single extractvalue.
Definition at line 368 of file InstCombinePHI.cpp.
References llvm::PHINode::blocks(), llvm::ExtractValueInst::Create(), llvm::PHINode::Create(), llvm::PHINode::getIncomingValue(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), i, I, llvm::PHINode::incoming_values(), and llvm::zip().
◆ foldPHIArgGEPIntoPHI()
| Instruction * InstCombinerImpl::foldPHIArgGEPIntoPHI | ( | PHINode & | PN | ) |
Definition at line 497 of file InstCombinePHI.cpp.
References llvm::PHINode::addIncoming(), llvm::sampleprof::Base, llvm::GetElementPtrInst::Create(), llvm::PHINode::Create(), llvm::numbers::e, GEP, llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), llvm::User::getNumOperands(), llvm::User::getOperand(), llvm::GetElementPtrInst::getSourceElementType(), llvm::Value::getType(), i, llvm::makeArrayRef(), op, llvm::User::op_begin(), llvm::User::op_end(), and llvm::GetElementPtrInst::setIsInBounds().
◆ foldPHIArgInsertValueInstructionIntoPHI()
| Instruction * InstCombinerImpl::foldPHIArgInsertValueInstructionIntoPHI | ( | PHINode & | PN | ) |
If we have something like phi [insertvalue(a,b,0), insertvalue(c,d,0)], turn this into a phi[a,c] and phi[b,d] and a single insertvalue.
Definition at line 328 of file InstCombinePHI.cpp.
References llvm::PHINode::blocks(), llvm::InsertValueInst::Create(), llvm::PHINode::Create(), llvm::PHINode::getIncomingValue(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), i, I, llvm::PHINode::incoming_values(), and llvm::zip().
◆ foldPHIArgIntToPtrToPHI()
| Instruction * InstCombinerImpl::foldPHIArgIntToPtrToPHI | ( | PHINode & | PN | ) |
Definition at line 304 of file InstCombinePHI.cpp.
References llvm::all_of(), llvm::PHINode::getIncomingValue(), llvm::PHINode::getNumIncomingValues(), llvm::PHINode::setIncomingValue(), and llvm::Value::users().
◆ foldPHIArgLoadIntoPHI()
| Instruction * InstCombinerImpl::foldPHIArgLoadIntoPHI | ( | PHINode & | PN | ) |
Definition at line 658 of file InstCombinePHI.cpp.
References llvm::PHINode::addIncoming(), Align, llvm::combineMetadata(), llvm::PHINode::Create(), llvm::numbers::e, llvm::LoadInst::getAlign(), llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::Instruction::getMetadata(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), llvm::Instruction::getNumSuccessors(), llvm::User::getOperand(), llvm::Instruction::getParent(), llvm::LoadInst::getPointerAddressSpace(), llvm::BasicBlock::getTerminator(), llvm::Value::getType(), llvm::Value::hasOneUser(), i, llvm::PHINode::incoming_values(), llvm::Instruction::isAtomic(), isSafeAndProfitableToSinkLoad(), llvm::LoadInst::isVolatile(), llvm::min(), llvm::Instruction::setMetadata(), and llvm::User::setOperand().
◆ foldPHIArgOpIntoPHI()
| Instruction * InstCombinerImpl::foldPHIArgOpIntoPHI | ( | PHINode & | PN | ) |
Try to rotate an operation below a PHI node, using PHI nodes for its operands.
If all operands to a PHI node are the same "unary" operator and they all are only used by the PHI, PHI together their inputs, and do the operation once, to the result of the PHI.
Definition at line 846 of file InstCombinePHI.cpp.
References llvm::PHINode::addIncoming(), llvm::BinaryOperator::Create(), llvm::CastInst::Create(), llvm::CmpInst::Create(), llvm::PHINode::Create(), llvm::numbers::e, llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), llvm::CmpInst::getOpcode(), llvm::User::getOperand(), llvm::Instruction::getParent(), llvm::CmpInst::getPredicate(), llvm::BasicBlock::getTerminator(), llvm::Value::getType(), i, I, and llvm::Type::isIntegerTy().
◆ foldPHIArgZextsIntoPHI()
| Instruction * InstCombinerImpl::foldPHIArgZextsIntoPHI | ( | PHINode & | Phi | ) |
TODO: This function could handle other cast types, but then it might require special-casing a cast from the 'i1' type.
See the comment in FoldPHIArgOpIntoPHI() about pessimizing illegal integer types.
Definition at line 772 of file InstCombinePHI.cpp.
References llvm::PHINode::addIncoming(), llvm::PHINode::Create(), llvm::CastInst::CreateZExtOrBitCast(), llvm::PHINode::getIncomingBlock(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), llvm::Instruction::getParent(), llvm::BasicBlock::getTerminator(), llvm::ConstantExpr::getTrunc(), llvm::Value::getType(), llvm::ConstantExpr::getZExt(), i, and llvm::PHINode::incoming_values().
◆ foldSelectExtConst()
| Instruction* llvm::InstCombinerImpl::foldSelectExtConst | ( | SelectInst & | Sel | ) |
◆ foldSelectInstWithICmp()
| Instruction* llvm::InstCombinerImpl::foldSelectInstWithICmp | ( | SelectInst & | SI, |
| ICmpInst * | ICI | ||
| ) |
◆ foldSelectIntoOp()
| Instruction * InstCombinerImpl::foldSelectIntoOp | ( | SelectInst & | SI, |
| Value * | TrueVal, | ||
| Value * | FalseVal | ||
| ) |
Try to fold the select into one of the operands to allow further optimization.
Definition at line 439 of file InstCombineSelect.cpp.
References Builder, llvm::Instruction::copyIRFlags(), llvm::BinaryOperator::Create(), llvm::tgtok::FalseVal, llvm::ConstantExpr::getBinOpIdentity(), getSelectFoldableOperands(), isSelect01(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), SI, llvm::Value::takeName(), and llvm::tgtok::TrueVal.
◆ foldSelectOpOp()
| Instruction * InstCombinerImpl::foldSelectOpOp | ( | SelectInst & | SI, |
| Instruction * | TI, | ||
| Instruction * | FI | ||
| ) |
We have (select c, TI, FI), and we know that TI and FI have the same opcode.
Definition at line 265 of file InstCombineSelect.cpp.
References llvm::Instruction::andIRFlags(), Builder, Cond, llvm::Instruction::copyIRFlags(), llvm::BinaryOperator::Create(), llvm::CastInst::Create(), llvm::GetElementPtrInst::Create(), llvm::CallInst::Create(), llvm::GetElementPtrInst::CreateInBounds(), llvm::Instruction::getFastMathFlags(), llvm::User::getNumOperands(), llvm::Instruction::getOpcode(), llvm::User::getOperand(), llvm::Value::getType(), llvm::Value::hasOneUse(), llvm::Instruction::isCast(), llvm::Instruction::isCommutative(), llvm::Type::isVectorTy(), llvm_unreachable, llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_MaxOrMin(), llvm::PatternMatch::m_SMax(), llvm::PatternMatch::m_SMin(), llvm::PatternMatch::m_UMax(), llvm::PatternMatch::m_UMin(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::Instruction::setFastMathFlags(), SI, T1, TII, X, and Y.
◆ foldSelectValueEquivalence()
| Instruction* llvm::InstCombinerImpl::foldSelectValueEquivalence | ( | SelectInst & | SI, |
| ICmpInst & | ICI | ||
| ) |
◆ FoldShiftByConstant()
| Instruction * InstCombinerImpl::FoldShiftByConstant | ( | Value * | Op0, |
| Constant * | Op1, | ||
| BinaryOperator & | I | ||
| ) |
Definition at line 662 of file InstCombineShifts.cpp.
References assert(), Builder, canEvaluateShifted(), canShiftBinOpWithConstantRHS(), Cond, llvm::BinaryOperator::Create(), llvm::SelectInst::Create(), llvm::dbgs(), DL, llvm::tgtok::FalseVal, llvm::ConstantExpr::get(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), getShiftedValue(), llvm::APInt::getZExtValue(), llvm::Value::hasOneUse(), I, LLVM_DEBUG, llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::Value::takeName(), llvm::tgtok::TrueVal, and llvm::APInt::uge().
◆ foldSignBitTest()
| Instruction * InstCombinerImpl::foldSignBitTest | ( | ICmpInst & | I | ) |
Fold equality-comparison between zero and any (maybe truncated) right-shift by one-less-than-bitwidth into a sign test on the original value.
Definition at line 1348 of file InstCombineCompares.cpp.
References llvm::CmpInst::Create(), llvm::Constant::getNullValue(), llvm::Type::getScalarSizeInBits(), I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SLT, llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_Shr(), llvm::PatternMatch::m_SpecificInt_ICMP(), llvm::PatternMatch::m_TruncOrSelf(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), and X.
◆ foldSPFofSPF()
| Instruction* llvm::InstCombinerImpl::foldSPFofSPF | ( | Instruction * | Inner, |
| SelectPatternFlavor | SPF1, | ||
| Value * | A, | ||
| Value * | B, | ||
| Instruction & | Outer, | ||
| SelectPatternFlavor | SPF2, | ||
| Value * | C | ||
| ) |
◆ foldVariableSignZeroExtensionOfVariableHighBitExtract()
| Instruction * InstCombinerImpl::foldVariableSignZeroExtensionOfVariableHighBitExtract | ( | BinaryOperator & | OldAShr | ) |
Definition at line 1177 of file InstCombineShifts.cpp.
References assert(), Builder, C1, llvm::Instruction::copyIRFlags(), llvm::BinaryOperator::Create(), llvm::CastInst::CreateTruncOrBitCast(), llvm::Instruction::getOpcode(), llvm::BinaryOperator::getOpcode(), llvm::Value::getType(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Shr(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt_ICMP(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_TruncOrSelf(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExtOrSelf(), llvm::PatternMatch::match(), and X.
◆ foldVectorBinop()
| Instruction * InstCombinerImpl::foldVectorBinop | ( | BinaryOperator & | Inst | ) |
Canonicalize the position of binops relative to shufflevector.
Definition at line 1556 of file InstructionCombining.cpp.
References assert(), Builder, llvm::Instruction::copyIRFlags(), llvm::BinaryOperator::Create(), llvm::ConstantVector::get(), llvm::ConstantExpr::get(), llvm::UndefValue::get(), llvm::Constant::getAggregateElement(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Type::getScalarType(), llvm::Value::getType(), llvm::Value::hasOneUse(), I, llvm::is_contained(), llvm::Instruction::isAssociative(), llvm::Instruction::isCommutative(), llvm::Instruction::isIntDivRem(), llvm::isSafeToSpeculativelyExecute(), llvm::Instruction::isShift(), llvm::isSplatValue(), M, llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Shuffle(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), llvm::ArrayRef< T >::size(), std::swap(), llvm::UndefMaskElem, llvm::NVPTX::PTXLdStInstCode::V2, X, and Y.
◆ foldVectorSelect()
| Instruction* llvm::InstCombinerImpl::foldVectorSelect | ( | SelectInst & | Sel | ) |
◆ freezeDominatedUses()
| bool InstCombinerImpl::freezeDominatedUses | ( | FreezeInst & | FI | ) |
Definition at line 3606 of file InstructionCombining.cpp.
References llvm::User::getOperand().
◆ InsertNewInstBefore()
|
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 378 of file InstCombineInternal.h.
References assert(), BB, llvm::ilist_node_impl< OptionsT >::getIterator(), and llvm::Instruction::getParent().
Referenced by foldSelectZeroOrMul(), and simplifyAllocaArraySize().
◆ InsertNewInstWith()
|
inline |
Same as InsertNewInstBefore, but also sets the debug loc.
Definition at line 388 of file InstCombineInternal.h.
References llvm::Instruction::getDebugLoc().
Referenced by replaceExtractElements().
◆ insertRangeTest()
| Value * InstCombinerImpl::insertRangeTest | ( | Value * | V, |
| const APInt & | Lo, | ||
| const APInt & | Hi, | ||
| bool | isSigned, | ||
| bool | Inside | ||
| ) |
Emit a computation of: (V >= Lo && V < Hi) if Inside is true, otherwise (V < Lo || V >= Hi).
This method expects that Lo < Hi. IsSigned indicates whether to treat V, Lo, and Hi as signed or not.
Definition at line 120 of file InstCombineAndOrXor.cpp.
References assert(), Builder, llvm::ConstantInt::get(), llvm::Value::getName(), llvm::ICmpInst::getSignedPredicate(), llvm::Value::getType(), llvm::MipsISD::Hi, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_ULT, and llvm::MipsISD::Lo.
◆ isKnownToBeAPowerOfTwo()
|
inline |
Definition at line 474 of file InstCombineInternal.h.
References llvm::Depth, DL, and llvm::isKnownToBeAPowerOfTwo().
Referenced by simplifyValueKnownNonZero().
◆ MaskedValueIsZero()
|
inline |
Definition at line 480 of file InstCombineInternal.h.
References llvm::Depth, DL, llvm::BitmaskEnumDetail::Mask(), and llvm::MaskedValueIsZero().
Referenced by canEvaluateShiftedShift(), canEvaluateTruncated(), and canEvaluateZExtd().
◆ matchBSwapOrBitReverse()
| Instruction * InstCombinerImpl::matchBSwapOrBitReverse | ( | Instruction & | I, |
| bool | MatchBSwaps, | ||
| bool | MatchBitReversals | ||
| ) |
Given an initial instruction, check to see if it is the root of a bswap/bitreverse idiom.
If so, return the equivalent bswap/bitreverse intrinsic.
Definition at line 2104 of file InstCombineAndOrXor.cpp.
References I, llvm::SmallVectorImpl< T >::pop_back_val(), llvm::recognizeBSwapOrBitReverseIdiom(), and llvm::Instruction::removeFromParent().
◆ matchThreeWayIntCompare()
| bool InstCombinerImpl::matchThreeWayIntCompare | ( | SelectInst * | SI, |
| Value *& | LHS, | ||
| Value *& | RHS, | ||
| ConstantInt *& | Less, | ||
| ConstantInt *& | Equal, | ||
| ConstantInt *& | Greater | ||
| ) |
Match a select chain which produces one of three values based on whether the LHS is less than, equal to, or greater than RHS respectively.
Return true if we matched a three way compare idiom. The LHS, RHS, Less, Equal and Greater values are saved in the matching process and returned to the caller.
Definition at line 2755 of file InstCombineCompares.cpp.
References assert(), llvm::object::Equal, llvm::InstCombiner::getFlippedStrictnessPredicateAndConstant(), llvm::CmpInst::getSwappedPredicate(), llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::ICmpInst::isEquality(), llvm::CodeGenOpt::Less, llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), SI, and std::swap().
◆ mergeStoreIntoSuccessor()
| bool InstCombinerImpl::mergeStoreIntoSuccessor | ( | StoreInst & | SI | ) |
Try to transform: if () { *P = v1; } else { *P = v2 } or: *P = v1; if () { *P = v2; } into a phi node with a store in the successor.
Definition at line 1458 of file InstCombineLoadStoreAlloca.cpp.
References llvm::PHINode::addIncoming(), llvm::BasicBlock::begin(), llvm::PHINode::Create(), llvm::BasicBlock::front(), llvm::Instruction::getAAMetadata(), llvm::Instruction::getDebugLoc(), llvm::BasicBlock::getFirstInsertionPt(), llvm::DILocation::getMergedLocation(), llvm::User::getOperand(), llvm::Instruction::getSuccessor(), llvm::BranchInst::getSuccessor(), llvm::BasicBlock::getTerminator(), llvm::Value::getType(), llvm::BasicBlock::hasNPredecessors(), I, llvm::BranchInst::isUnconditional(), llvm::AAMDNodes::merge(), llvm::pred_begin(), llvm::Instruction::setAAMetadata(), llvm::Instruction::setDebugLoc(), and SI.
◆ OptimizePointerDifference()
| Value * InstCombinerImpl::OptimizePointerDifference | ( | Value * | LHS, |
| Value * | RHS, | ||
| Type * | Ty, | ||
| bool | IsNUW | ||
| ) |
Optimize pointer differences into the same array into a size.
Consider: &A[10] - &A[0]: we should compile this to "10". LHS/RHS are the pointer operands to the ptrtoint instructions for the LHS/RHS of the subtract.
Definition at line 1667 of file InstCombineAddSub.cpp.
References Builder, llvm::GEPOperator::countNonConstantIndices(), llvm::EmitGEPOffset(), llvm::Value::hasOneUse(), I, llvm::GEPOperator::isInBounds(), Offset, and std::swap().
◆ PHIArgMergedDebugLoc()
| void InstCombinerImpl::PHIArgMergedDebugLoc | ( | Instruction * | Inst, |
| PHINode & | PN | ||
| ) |
Helper function for FoldPHIArgXIntoPHI() to set debug location for the folded operation.
The PHI arguments will be folded into a single operation with a PHI node as input.
The debug location of the single operation will be the merged locations of the original PHI node arguments.
Definition at line 42 of file InstCombinePHI.cpp.
References llvm::Instruction::applyMergedLocation(), assert(), llvm::Instruction::getDebugLoc(), llvm::PHINode::getIncomingValue(), llvm::PHINode::getNumIncomingValues(), i, I, and llvm::Instruction::setDebugLoc().
◆ PromoteCastOfAllocation()
| Instruction * InstCombinerImpl::PromoteCastOfAllocation | ( | BitCastInst & | CI, |
| AllocaInst & | AI | ||
| ) |
If we find a cast of an allocation instruction, try to eliminate the cast by moving the type information into the alloc.
Definition at line 85 of file InstCombineCasts.cpp.
References assert(), Builder, decomposeSimpleLinearExpr(), DL, llvm::ConstantInt::get(), llvm::AllocaInst::getAlign(), llvm::AllocaInst::getAllocatedType(), llvm::AllocaInst::getArraySize(), llvm::PointerType::getElementType(), llvm::User::getOperand(), llvm::AllocaInst::getType(), llvm::Value::getType(), llvm::Value::hasOneUse(), llvm::Type::isSized(), llvm::AllocaInst::isUsedWithInAlloca(), and Offset.
◆ pushFreezeToPreventPoisonFromPropagating()
| Value * InstCombinerImpl::pushFreezeToPreventPoisonFromPropagating | ( | FreezeInst & | FI | ) |
Definition at line 3548 of file InstructionCombining.cpp.
References llvm::canCreateUndefOrPoison(), llvm::Value::getName(), llvm::User::getOperand(), and llvm::isGuaranteedNotToBeUndefOrPoison().
◆ reassociateShiftAmtsOfTwoSameDirectionShifts()
| Value * InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts | ( | BinaryOperator * | Sh0, |
| const SimplifyQuery & | SQ, | ||
| bool | AnalyzeForSignBitExtraction = false |
||
| ) |
Definition at line 59 of file InstCombineShifts.cpp.
References assert(), Builder, canTryToConstantAddTwoShiftAmounts(), llvm::BinaryOperator::Create(), llvm::CastInst::Create(), llvm::Instruction::getOpcode(), llvm::BinaryOperator::getOpcode(), llvm::Value::getType(), llvm::SimplifyQuery::getWithInstruction(), llvm::ConstantExpr::getZExtOrBitCast(), llvm::Instruction::hasNoSignedWrap(), llvm::Instruction::hasNoUnsignedWrap(), llvm::Instruction::isExact(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_CombineAnd(), llvm::PatternMatch::m_CombineOr(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Shift(), llvm::PatternMatch::m_Shr(), llvm::PatternMatch::m_SpecificInt_ICMP(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExtOrSelf(), llvm::PatternMatch::match(), llvm::MipsISD::Ret, llvm::Instruction::setHasNoSignedWrap(), llvm::Instruction::setHasNoUnsignedWrap(), llvm::Instruction::setIsExact(), llvm::SimplifyAddInst(), and X.
◆ replacedSelectWithOperand()
| bool InstCombinerImpl::replacedSelectWithOperand | ( | SelectInst * | SI, |
| const ICmpInst * | Icmp, | ||
| const unsigned | SIOpd | ||
| ) |
Try to replace select with select operand SIOpd in SI-ICmp sequence.
True when a select result is replaced by one of its operands in select-icmp sequence.
This will eventually result in the elimination of the select.
- Parameters
-
SI Select instruction Icmp Compare instruction SIOpd Operand that replaces the select
Notes:
- The replacement is global and requires dominator information
- The caller is responsible for the actual replacement
Example:
entry: %4 = select i1 %3, C* %0, C* null %5 = icmp eq C* %4, null br i1 %5, label %9, label %7 ... ; <label>:7 ; preds = entry %8 = getelementptr inbounds C* %4, i64 0, i32 0 ...
can be transformed to
%5 = icmp eq C* %0, null %6 = select i1 %3, i1 %5, i1 true br i1 %6, label %9, label %7 ... ; <label>:7 ; preds = entry %8 = getelementptr inbounds C* %0, i64 0, i32 0 // replace by %0!
Similar when the first operand of the select is a constant or/and the compare is for not equal rather than equal.
NOTE: The function is only called when the select and compare constants are equal, the optimization can work only for EQ predicates. This is not a major restriction since a NE compare should be 'normalized' to an equal compare, which usually happens in the combiner and test case select-cmp-br.ll checks for it.
Definition at line 5195 of file InstCombineCompares.cpp.
References assert(), llvm::CmpInst::getPredicate(), llvm::BasicBlock::getSinglePredecessor(), llvm::CmpInst::ICMP_EQ, isChainSelectCmpBranch(), and SI.
◆ replaceInstUsesWith()
|
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 399 of file InstCombineInternal.h.
References llvm::dbgs(), llvm::UndefValue::get(), I, and LLVM_DEBUG.
Referenced by foldCtpop(), foldCttzCtlz(), foldSelectZeroOrMul(), processUGT_ADDCST_ADD(), processUMulZExtIdiom(), removeBitcastsFromLoadStoreOnMinMax(), replaceExtractElements(), simplifyAllocaArraySize(), and unpackLoadToAggregate().
◆ replaceOperand()
|
inline |
Replace operand of instruction and add old operand to the worklist.
Definition at line 420 of file InstCombineInternal.h.
References I.
Referenced by foldCtpop(), foldCttzCtlz(), foldFabsWithFcmpZero(), foldSelectBinOpIdentity(), foldSelectZeroOrMul(), foldShuffleWithInsert(), simplifyAllocaArraySize(), simplifyAssocCastAssoc(), simplifyValueKnownNonZero(), and visitAtomicRMWInst().
◆ replaceUse()
Replace use and add the previously used value to the worklist.
Definition at line 427 of file InstCombineInternal.h.
◆ run()
| bool InstCombinerImpl::run | ( | ) |
Run the combiner over the entire worklist until it is empty.
- Returns
- true if the IR is changed.
Definition at line 3781 of file InstructionCombining.cpp.
References assert(), BB, Builder, llvm::ConstantFoldInstruction(), llvm::dbgs(), DL, EnableCodeSinking, llvm::BasicBlock::getFirstInsertionPt(), llvm::BasicBlock::getFirstNonPHI(), llvm::BasicBlock::getInstList(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::BasicBlock::getParent(), llvm::BasicBlock::getTerminator(), llvm::BasicBlock::getUniquePredecessor(), i, I, llvm::isInstructionTriviallyDead(), LLVM_DEBUG, llvm::None, llvm::DebugCounter::shouldExecute(), llvm::X86AS::SS, llvm::M68kBeads::Term, and TryToSinkInstruction().
Referenced by combineInstructionsOverFunction().
◆ SimplifyAddWithRemainder()
| Value * InstCombinerImpl::SimplifyAddWithRemainder | ( | BinaryOperator & | I | ) |
Tries to simplify add operations using the definition of remainder.
The definition of remainder is X % C = X - (X / C ) * C. The add expression X % C0 + (( X / C0 ) % C1) * C0 can be simplified to X % (C0 * C1)
Definition at line 1073 of file InstCombineAddSub.cpp.
References Builder, C1, llvm::ConstantInt::get(), I, MatchDiv(), MatchMul(), MatchRem(), MulWillOverflow(), and X.
◆ SimplifyAnyMemSet()
| Instruction * InstCombinerImpl::SimplifyAnyMemSet | ( | AnyMemSetInst * | MI | ) |
Definition at line 226 of file InstCombineCalls.cpp.
References assert(), llvm::assumeAligned(), Builder, DL, llvm::IntegerType::get(), llvm::ConstantInt::get(), llvm::PointerType::get(), llvm::getKnownAlignment(), llvm::ConstantInt::getLimitedValue(), llvm::Constant::getNullValue(), llvm::ConstantInt::getType(), llvm::Value::getType(), llvm::ConstantInt::getZExtValue(), llvm::Type::isIntegerTy(), llvm::isPowerOf2_32(), MI, S, and llvm::Unordered.
◆ SimplifyAnyMemTransfer()
| Instruction * InstCombinerImpl::SimplifyAnyMemTransfer | ( | AnyMemTransferInst * | MI | ) |
Definition at line 111 of file InstCombineCalls.cpp.
References assert(), Builder, DL, llvm::IntegerType::get(), llvm::PointerType::get(), llvm::getKnownAlignment(), llvm::ConstantInt::getLimitedValue(), llvm::Constant::getNullValue(), llvm::ConstantInt::getType(), M, MI, S, llvm::LoadInst::setAlignment(), llvm::Instruction::setMetadata(), llvm::LoadInst::setOrdering(), llvm::LoadInst::setVolatile(), llvm::Check::Size, and llvm::Unordered.
◆ SimplifyAssociativeOrCommutative()
| bool InstCombinerImpl::SimplifyAssociativeOrCommutative | ( | BinaryOperator & | I | ) |
Performs a few simplifications for operators which are associative or commutative.
This performs a few simplifications for operators that are associative or commutative:
Commutative operators:
- Order operands such that they are listed from right (least complex) to left (most complex). This puts constants before unary operators before binary operators.
Associative operators:
- Transform: "(A op B) op C" ==> "A op (B op C)" if "B op C" simplifies.
- Transform: "A op (B op C)" ==> "(A op B) op C" if "A op B" simplifies.
Associative and commutative operators:
- Transform: "(A op B) op C" ==> "(C op A) op B" if "C op A" simplifies.
- Transform: "A op (B op C)" ==> "B op (C op A)" if "C op A" simplifies.
- Transform: "(A op C1) op (B op C2)" ==> "(A op B) op (C1 op C2)" if C1 and C2 are constants.
Definition at line 403 of file InstructionCombining.cpp.
References llvm::MCID::Add, B, C1, ClearSubclassDataAfterReassociation(), llvm::BinaryOperator::Create(), llvm::BinaryOperator::CreateNUW(), llvm::ConstantExpr::get(), llvm::Instruction::getFastMathFlags(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), hasNoSignedWrap(), hasNoUnsignedWrap(), I, llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), maintainNoSignedWrap(), llvm::PatternMatch::match(), llvm::Instruction::setFastMathFlags(), simplifyAssocCastAssoc(), llvm::SimplifyBinOp(), and llvm::Value::takeName().
◆ SimplifyDemandedBits()
|
overridevirtual |
This form of SimplifyDemandedBits simplifies the specified instruction operand if possible, updating it in place.
It returns true if it made any change and false otherwise.
Implements llvm::InstCombiner.
Definition at line 71 of file InstCombineSimplifyDemanded.cpp.
References llvm::Depth, llvm::Use::get(), I, and llvm::salvageDebugInfo().
◆ SimplifyDemandedInstructionBits()
| bool InstCombinerImpl::SimplifyDemandedInstructionBits | ( | Instruction & | Inst | ) |
Tries to simplify operands to an integer instruction based on its demanded bits.
Inst is an integer instruction that SimplifyDemandedBits knows about.
See if the instruction has any properties that allow us to simplify its operands.
Definition at line 55 of file InstCombineSimplifyDemanded.cpp.
References llvm::BitWidth, llvm::APInt::getAllOnes(), llvm::Type::getScalarSizeInBits(), and llvm::Value::getType().
◆ SimplifyDemandedUseBits()
| Value * InstCombinerImpl::SimplifyDemandedUseBits | ( | Value * | V, |
| APInt | DemandedMask, | ||
| KnownBits & | Known, | ||
| unsigned | Depth, | ||
| Instruction * | CxtI | ||
| ) |
Attempts to replace V with a simpler value based on the demanded bits.
This function attempts to replace V with a simpler value based on the demanded bits.
When this function is called, it is known that only the bits set in DemandedMask of the result of V are ever used downstream. Consequently, depending on the mask and V, it may be possible to replace V with a constant or one of its operands. In such cases, this function does the replacement and returns true. In all other cases, it returns false after analyzing the expression and setting KnownOne and known to be one in the expression. Known.Zero contains all the bits that are known to be zero in the expression. These are provided to potentially allow the caller (which might recursively be SimplifyDemandedBits itself) to simplify the expression. Known.One and Known.Zero always follow the invariant that: Known.One & Known.Zero == 0. That is, a bit can't be both 1 and 0. Note that the bits in Known.One and Known.Zero may only be accurate for those bits set in DemandedMask. Note also that the bitwidth of V, DemandedMask, Known.Zero and Known.One must all be the same.
This returns null if it did not change anything and it permits no simplification. This returns V itself if it did some simplification of V's operands based on the information about what bits are demanded. This returns some other non-null value if it found out that V is equal to another value in the context where the specified bits are demanded, but not for all users.
If the high-bits of an ADD/SUB are not demanded, then we do not care about the high bits of the operands.
Definition at line 108 of file InstCombineSimplifyDemanded.cpp.
References llvm::abs(), llvm::APInt::abs(), llvm::MCID::Add, llvm::And, assert(), llvm::BitWidth, Builder, llvm::MCID::Call, llvm::KnownBits::commonBits(), llvm::KnownBits::computeForAddSub(), llvm::computeKnownBits(), llvm::ComputeNumSignBits(), llvm::APInt::countLeadingZeros(), llvm::KnownBits::countMinLeadingZeros(), llvm::APInt::countTrailingZeros(), llvm::CallInst::Create(), llvm::ISD::CTLZ, llvm::Depth, llvm::SelectPatternResult::Flavor, llvm::ConstantInt::get(), llvm::UndefValue::get(), llvm::APInt::getActiveBits(), llvm::APInt::getAllOnes(), llvm::Constant::getAllOnesValue(), llvm::KnownBits::getBitWidth(), llvm::APInt::getBitWidth(), llvm::Intrinsic::getDeclaration(), llvm::APInt::getHighBitsSet(), llvm::Constant::getIntegerValue(), llvm::APInt::getLimitedValue(), llvm::APInt::getLowBitsSet(), llvm::Type::getScalarSizeInBits(), llvm::APInt::getSignMask(), llvm::Value::getType(), llvm::ConstantInt::getValue(), llvm::Optional< T >::getValue(), llvm::KnownBits::hasConflict(), llvm::OverflowingBinaryOperator::hasNoSignedWrap(), llvm::OverflowingBinaryOperator::hasNoUnsignedWrap(), llvm::Value::hasOneUse(), llvm::Optional< T >::hasValue(), I, llvm::APInt::intersects(), llvm::Type::isIntOrIntVectorTy(), llvm::ConstantInt::isMinusOne(), llvm::KnownBits::isNonNegative(), llvm::APInt::isOne(), llvm::APInt::isSignBitSet(), llvm::APInt::isSignMask(), llvm::APInt::isSubsetOf(), llvm::APInt::isZero(), LLVM_FALLTHROUGH, llvm::APInt::lshr(), llvm::APInt::lshrInPlace(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_Add(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shr(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExt(), llvm::KnownBits::makeNonNegative(), llvm::PatternMatch::match(), llvm::matchSelectPattern(), llvm::MaxAnalysisRecursionDepth, llvm::min(), llvm::KnownBits::One, llvm::Or, RA, llvm::KnownBits::resetAll(), llvm::MCID::Select, llvm::APInt::setAllBits(), llvm::APInt::setBit(), llvm::Instruction::setHasNoSignedWrap(), llvm::Instruction::setHasNoUnsignedWrap(), llvm::APInt::setHighBits(), llvm::Instruction::setIsExact(), llvm::APInt::setLowBits(), llvm::APInt::setSignBit(), llvm::KnownBits::sext(), llvm::APInt::shl(), ShrinkDemandedConstant(), llvm::SPF_UMAX, llvm::SPF_UMIN, llvm::SPF_UNKNOWN, llvm::Value::takeName(), llvm::APInt::trunc(), llvm::APInt::ult(), llvm::APIntOps::umax(), llvm::APIntOps::umin(), llvm::APInt::urem(), X, llvm::Xor, Y, llvm::KnownBits::Zero, llvm::KnownBits::zextOrTrunc(), and llvm::APInt::zextOrTrunc().
◆ SimplifyDemandedVectorElts()
|
overridevirtual |
The specified value produces a vector with any number of elements.
This method analyzes which elements of the operand are undef or poison and returns that information in UndefElts.
DemandedElts contains the set of elements that are actually used by the caller, and by default (AllowMultipleUsers equals false) the value is simplified only if it has a single caller. If AllowMultipleUsers is set to true, DemandedElts refers to the union of sets of elements that are used by all callers.
If the information about demanded elements can be used to simplify the operation, the operation is simplified, then the resultant value is returned. This returns null if no change was made.
Implements llvm::InstCombiner.
Definition at line 1120 of file InstCombineSimplifyDemanded.cpp.
References llvm::all_of(), assert(), llvm::MCID::Call, llvm::APInt::clearAllBits(), llvm::APInt::clearBit(), llvm::APInt::countPopulation(), llvm::InsertElementInst::Create(), llvm::Depth, llvm::Instruction::dropPoisonGeneratingFlags(), E, GEP, llvm::gep_type_begin(), llvm::gep_type_end(), llvm::ConstantInt::get(), llvm::ConstantVector::get(), llvm::UndefValue::get(), llvm::PoisonValue::get(), llvm::Constant::getAggregateElement(), llvm::APInt::getAllOnes(), llvm::SelectInst::getCondition(), llvm::Type::getInt32Ty(), llvm::IntrinsicInst::getIntrinsicID(), llvm::Value::getName(), llvm::User::getOperand(), llvm::Value::getType(), llvm::Optional< T >::getValue(), llvm::ConstantInt::getZExtValue(), llvm::Value::hasOneUse(), llvm::Optional< T >::hasValue(), i, I, llvm::APInt::isAllOnes(), llvm::Constant::isAllOnesValue(), llvm::Instruction::isIntDivRem(), llvm::Constant::isNullValue(), llvm::Instruction::isShift(), llvm::Type::isVectorTy(), llvm::APInt::isZero(), llvm_unreachable, llvm::APInt::lshr(), llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_ExtractElt(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::MCID::Select, llvm::APInt::setBit(), llvm::RegState::Undef, llvm::UndefMaskElem, and llvm::APInt::zextOrTrunc().
◆ simplifyDivRemOfSelectWithZeroOp()
| bool InstCombinerImpl::simplifyDivRemOfSelectWithZeroOp | ( | BinaryOperator & | I | ) |
Fold a divide or remainder with a select instruction divisor when one of the select operands is zero.
In that case, we can use the other select operand because div/rem by zero is undefined.
Definition at line 644 of file InstCombineMulDivRem.cpp.
References llvm::ConstantInt::getFalse(), llvm::ConstantInt::getTrue(), llvm::Value::getType(), llvm::Value::hasOneUse(), I, llvm::isGuaranteedToTransferExecutionToSuccessor(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), and SI.
◆ SimplifyMultipleUseDemandedBits()
| Value * InstCombinerImpl::SimplifyMultipleUseDemandedBits | ( | Instruction * | I, |
| const APInt & | DemandedMask, | ||
| KnownBits & | Known, | ||
| unsigned | Depth, | ||
| Instruction * | CxtI | ||
| ) |
Helper routine of SimplifyDemandedUseBits.
It computes KnownZero/KnownOne bits. It also tries to handle simplifications that can be done based on DemandedMask, but without modifying the Instruction.
It computes Known bits. It also tries to handle simplifications that can be done based on DemandedMask, but without modifying the Instruction.
Definition at line 899 of file InstCombineSimplifyDemanded.cpp.
References llvm::BitWidth, llvm::computeKnownBits(), llvm::Depth, llvm::APInt::getBitWidth(), llvm::Constant::getIntegerValue(), llvm::APInt::getLowBitsSet(), llvm::APInt::getZExtValue(), I, llvm::APInt::isSubsetOf(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::KnownBits::One, llvm::APInt::ult(), X, and llvm::KnownBits::Zero.
◆ simplifyRangeCheck()
Try to fold a signed range checked with lower bound 0 to an unsigned icmp.
Example: (icmp sge x, 0) & (icmp slt x, n) --> icmp ult x, n If Inverted is true then the check is for the inverted range, e.g. (icmp slt x, 0) | (icmp sgt x, n) --> icmp ugt x, n
Definition at line 688 of file InstCombineAndOrXor.cpp.
References Builder, llvm::computeKnownBits(), llvm::CmpInst::getInversePredicate(), llvm::User::getOperand(), llvm::CmpInst::getPredicate(), llvm::CmpInst::getSwappedPredicate(), llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::ConstantInt::isMinusOne(), llvm::KnownBits::isNonNegative(), and llvm::ConstantInt::isZero().
◆ SimplifySelectsFeedingBinaryOp()
| Value * InstCombinerImpl::SimplifySelectsFeedingBinaryOp | ( | BinaryOperator & | I, |
| Value * | LHS, | ||
| Value * | RHS | ||
| ) |
Definition at line 855 of file InstructionCombining.cpp.
References B, Builder, Cond, D, E, F, llvm::SimplifyQuery::getWithInstruction(), llvm::Value::hasOneUse(), I, llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), SI, and llvm::SimplifyBinOp().
◆ simplifyShrShlDemandedBits()
| Value * InstCombinerImpl::simplifyShrShlDemandedBits | ( | Instruction * | Shr, |
| const APInt & | ShrOp1, | ||
| Instruction * | Shl, | ||
| const APInt & | ShlOp1, | ||
| const APInt & | DemandedMask, | ||
| KnownBits & | Known | ||
| ) |
Helper routine of SimplifyDemandedUseBits.
It tries to simplify demanded bit for "r1 = shr x, c1; r2 = shl r1, c2" instruction sequence.
It tries to simplify "E1 = (X lsr C1) << C2", where the C1 and C2 are constant, into "E2 = X << (C2 - C1)" or "E2 = X >> (C1 - C2)", depending on the sign of "C2-C1".
Suppose E1 and E2 are generally different in bits S={bm, bm+1, ..., bn}, without considering the specific value X is holding. This transformation is legal iff one of following conditions is hold: 1) All the bit in S are 0, in this case E1 == E2. 2) We don't care those bits in S, per the input DemandedMask. 3) Combination of 1) and 2). Some bits in S are 0, and we don't care the rest bits.
Currently we only test condition 2).
As with SimplifyDemandedUseBits, it returns NULL if the simplification was not successful.
Definition at line 1045 of file InstCombineSimplifyDemanded.cpp.
References llvm::APInt::ashr(), llvm::BitWidth, llvm::APInt::clearAllBits(), llvm::ConstantInt::get(), llvm::APInt::getAllOnes(), llvm::Instruction::getOpcode(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::Value::getType(), llvm::APInt::getZExtValue(), llvm::Instruction::hasNoSignedWrap(), llvm::Instruction::hasNoUnsignedWrap(), llvm::Value::hasOneUse(), llvm::APInt::lshr(), llvm::KnownBits::One, llvm::APInt::setLowBits(), llvm::APInt::uge(), and llvm::KnownBits::Zero.
◆ SimplifyUsingDistributiveLaws()
| Value * InstCombinerImpl::SimplifyUsingDistributiveLaws | ( | BinaryOperator & | I | ) |
Tries to simplify binary operations which some other binary operation distributes over.
This tries to simplify binary operations which some other binary operation distributes over either by factorizing out common terms (eg "(A*B)+(A*C)" -> "A*(B+C)") or expanding out if this results in simplifications (eg: "A & (B | C) -> (A&B) | (A&C)" if this is a win).
It does this by either by factorizing out common terms (eg "(A*B)+(A*C)" -> "A*(B+C)") or expanding out if this results in simplifications (eg: "A & (B | C) -> (A&B) | (A&C)" if this is a win). Returns the simplified value, or null if it didn't simplify.
Returns the simplified value, or null if it didn't simplify.
Definition at line 737 of file InstructionCombining.cpp.
References B, Builder, D, llvm::ConstantExpr::getBinOpIdentity(), getBinOpsForFactorization(), getIdentityValue(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Value::getType(), I, leftDistributesOverRight(), rightDistributesOverLeft(), and llvm::SimplifyBinOp().
◆ sinkNotIntoOtherHandOfAndOrOr()
| bool InstCombinerImpl::sinkNotIntoOtherHandOfAndOrOr | ( | BinaryOperator & | I | ) |
Definition at line 3249 of file InstCombineAndOrXor.cpp.
References Builder, llvm::InstCombiner::canFreelyInvertAllUsersOf(), llvm::BinaryOperator::Create(), I, llvm::InstCombiner::isFreeToInvert(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), X, and Y.
◆ SliceUpIllegalIntegerPHI()
| Instruction * InstCombinerImpl::SliceUpIllegalIntegerPHI | ( | PHINode & | FirstPhi | ) |
This is an integer PHI and we know that it has an illegal type: see if it is only used by trunc or trunc(lshr) operations.
If so, we split the PHI into the various pieces being extracted. This sort of thing is introduced when SROA promotes an aggregate to large integer values.
TODO: The user of the trunc may be an bitcast to float/double/vector or an inttoptr. We should produce new PHIs in the right type.
Definition at line 1077 of file InstCombinePHI.cpp.
References llvm::PHINode::addIncoming(), llvm::array_pod_sort(), assert(), Builder, llvm::SmallVectorImpl< T >::clear(), llvm::SmallPtrSetImpl< PtrType >::count(), llvm::PHINode::Create(), llvm::dbgs(), llvm::numbers::e, llvm::find(), llvm::ConstantInt::get(), llvm::PoisonValue::get(), llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::Value::getName(), llvm::PHINode::getNumIncomingValues(), llvm::Instruction::getOpcode(), llvm::User::getOperand(), llvm::Instruction::getParent(), llvm::Type::getScalarSizeInBits(), llvm::BasicBlock::getTerminator(), llvm::Value::getType(), llvm::Value::hasOneUse(), i, llvm::SmallPtrSetImpl< PtrType >::insert(), LLVM_DEBUG, Offset, Shift, llvm::Instruction::user_back(), and llvm::Value::users().
◆ tryFactorization()
| Value * InstCombinerImpl::tryFactorization | ( | BinaryOperator & | I, |
| Instruction::BinaryOps | InnerOpcode, | ||
| Value * | A, | ||
| Value * | B, | ||
| Value * | C, | ||
| Value * | D | ||
| ) |
This tries to simplify binary operations by factorizing out common terms (e.
g. "(A*B)+(A*C)" -> "A*(B+C)").
Definition at line 631 of file InstructionCombining.cpp.
References llvm::MCID::Add, assert(), B, Builder, D, llvm::Value::getName(), llvm::Value::hasOneUse(), I, llvm::Instruction::isCommutative(), llvm::APInt::isMinSignedValue(), leftDistributesOverRight(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::match(), rightDistributesOverLeft(), llvm::SimplifyBinOp(), std::swap(), and llvm::Value::takeName().
◆ visitAdd()
| Instruction * InstCombinerImpl::visitAdd | ( | BinaryOperator & | I | ) |
Definition at line 1287 of file InstCombineAddSub.cpp.
References B, Builder, C1, canonicalizeLowbitMask(), checkForNegativeOperand(), llvm::SelectInst::Create(), CreateAdd(), llvm::BinaryOperator::CreateNeg(), DL, llvm::MipsISD::Ext, factorizeMathWithShlOps(), foldNoWrapAdd(), foldToUnsignedSaturatedAdd(), llvm::ConstantInt::get(), llvm::ConstantExpr::getAdd(), llvm::APInt::getBitWidth(), llvm::Value::hasOneUse(), llvm::haveNoCommonBitsSet(), I, llvm::Type::isIntOrIntVectorTy(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_c_Add(), llvm::PatternMatch::m_c_And(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::m_Neg(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_SDiv(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), N, one, SI, llvm::SimplifyAddInst(), llvm::APIntOps::umax(), and X.
◆ visitAddrSpaceCast()
| Instruction * InstCombinerImpl::visitAddrSpaceCast | ( | AddrSpaceCastInst & | CI | ) |
Definition at line 2855 of file InstCombineCasts.cpp.
References Builder, llvm::VectorType::get(), llvm::PointerType::getAddressSpace(), llvm::User::getOperand(), llvm::Type::getScalarType(), llvm::Value::getType(), llvm::PointerType::getWithSamePointeeType(), and llvm::PointerType::hasSameElementTypeAs().
◆ visitAllocaInst()
| Instruction * InstCombinerImpl::visitAllocaInst | ( | AllocaInst & | AI | ) |
Definition at line 364 of file InstCombineLoadStoreAlloca.cpp.
References Builder, llvm::dbgs(), DL, llvm::ConstantInt::get(), llvm::PointerType::get(), llvm::PointerType::getAddressSpace(), llvm::AllocaInst::getAlign(), llvm::AllocaInst::getAllocatedType(), llvm::AllocaInst::getArraySize(), llvm::Function::getEntryBlock(), llvm::BasicBlock::getFirstNonPHIOrDbg(), llvm::getOrEnforceKnownAlignment(), llvm::Instruction::getParent(), llvm::BasicBlock::getParent(), llvm::Type::getPointerAddressSpace(), llvm::AllocaInst::getType(), llvm::Value::getType(), I, llvm::AllocaInst::isArrayAllocation(), isDereferenceableForAllocaSize(), isOnlyCopiedFromConstantMemory(), llvm::Type::isSized(), LLVM_DEBUG, llvm::max(), llvm::Instruction::moveBefore(), llvm::AllocaInst::setAlignment(), and simplifyAllocaArraySize().
◆ visitAllocSite()
| Instruction * InstCombinerImpl::visitAllocSite | ( | Instruction & | FI | ) |
Definition at line 2639 of file InstructionCombining.cpp.
References llvm::ConvertDebugDeclareToDebugValue(), llvm::InvokeInst::Create(), DL, llvm::numbers::e, F, llvm::findDbgUsers(), llvm::ConstantInt::get(), llvm::PoisonValue::get(), llvm::Intrinsic::getDeclaration(), llvm::Type::getInt1Ty(), llvm::IntrinsicInst::getIntrinsicID(), llvm::Instruction::getModule(), llvm::Instruction::getParent(), i, I, isAllocSiteRemovable(), llvm::lowerObjectSizeCall(), M, MI, llvm::None, SI, and Users.
◆ visitAnd()
| Instruction * InstCombinerImpl::visitAnd | ( | BinaryOperator & | I | ) |
Definition at line 1799 of file InstCombineAndOrXor.cpp.
References llvm::MCID::Add, llvm::And, assert(), B, Builder, C1, llvm::APInt::countLeadingZeros(), llvm::BinaryOperator::Create(), llvm::SelectInst::Create(), foldAndToXor(), llvm::ConstantInt::get(), llvm::APInt::getLowBitsSet(), llvm::Constant::getNullValue(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::Type::getScalarType(), llvm::APInt::getZExtValue(), llvm::Value::hasOneUse(), I, isZero(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_c_And(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_c_Xor(), llvm::PatternMatch::m_LogicalShift(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_SignMask(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_SpecificInt_ICMP(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::m_ZExt(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), matchDeMorgansLaws(), llvm::Constant::mergeUndefsWith(), reassociateFCmps(), llvm::Constant::replaceUndefsWith(), llvm::SimplifyAndInst(), SimplifyBSwap(), X, llvm::Xor, Y, and llvm::APInt::zext().
◆ visitAShr()
| Instruction * InstCombinerImpl::visitAShr | ( | BinaryOperator & | I | ) |
Definition at line 1245 of file InstCombineShifts.cpp.
References llvm::BitWidth, Builder, llvm::BinaryOperator::Create(), llvm::BinaryOperator::CreateNeg(), llvm::BinaryOperator::CreateNot(), llvm::ConstantInt::get(), llvm::APInt::getLowBitsSet(), llvm::Value::getName(), llvm::Type::getScalarSizeInBits(), llvm::APInt::getSignMask(), llvm::APInt::getZExtValue(), I, llvm::Type::isVectorTy(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_Neg(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_NSWShl(), llvm::PatternMatch::m_NSWSub(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificIntAllowUndef(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExt(), llvm::BitmaskEnumDetail::Mask(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), llvm::Constant::mergeUndefsWith(), llvm::min(), llvm::SimplifyAShrInst(), llvm::APInt::ult(), X, and Y.
◆ visitAtomicRMWInst()
| Instruction * InstCombinerImpl::visitAtomicRMWInst | ( | AtomicRMWInst & | SI | ) |
Definition at line 98 of file InstCombineAtomicRMW.cpp.
References llvm::Acquire, assert(), llvm::InstCombiner::DL, eraseInstFromFunction(), llvm::AtomicRMWInst::FAdd, llvm::ConstantInt::get(), llvm::DataLayout::getABITypeAlign(), llvm::ConstantFP::getNegativeZero(), llvm::AtomicRMWInst::getOperation(), llvm::AtomicRMWInst::getOrdering(), llvm::AtomicRMWInst::getPointerOperand(), llvm::AtomicRMWInst::getSyncScopeID(), llvm::Value::getType(), llvm::AtomicRMWInst::getValOperand(), llvm::Type::isFloatingPointTy(), llvm::Type::isIntegerTy(), llvm::AtomicRMWInst::isVolatile(), llvm::SPII::Load, llvm::Monotonic, llvm::NotAtomic, llvm::AtomicRMWInst::Or, llvm::Release, replaceOperand(), llvm::AtomicRMWInst::setOperation(), SI, llvm::Unordered, llvm::Value::use_empty(), and llvm::AtomicRMWInst::Xchg.
◆ visitBitCast()
| Instruction * InstCombinerImpl::visitBitCast | ( | BitCastInst & | CI | ) |
Definition at line 2695 of file InstCombineCasts.cpp.
References assert(), llvm::BitWidth, Builder, canonicalizeBitCastExtElt(), convertBitCastToGEP(), llvm::CastInst::Create(), llvm::CallInst::Create(), llvm::InsertElementInst::Create(), DL, foldBitCastBitwiseLogic(), foldBitCastSelect(), llvm::PoisonValue::get(), llvm::Value::getContext(), llvm::Intrinsic::getDeclaration(), llvm::APInt::getHighBitsSet(), llvm::Type::getInt32Ty(), llvm::Instruction::getModule(), llvm::Constant::getNullValue(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::Value::getType(), I, llvm::Type::isIntegerTy(), llvm::Type::isPointerTy(), llvm::Type::isVectorTy(), llvm::Type::isX86_MMXTy(), llvm::PatternMatch::m_BitCast(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_InsertElt(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), optimizeIntegerToVectorInsertions(), optimizeVectorResizeWithIntegerBitCasts(), X, and Y.
◆ visitBranchInst()
| Instruction * InstCombinerImpl::visitBranchInst | ( | BranchInst & | BI | ) |
Definition at line 2970 of file InstructionCombining.cpp.
References Cond, llvm::BranchInst::getCondition(), llvm::ConstantInt::getFalse(), llvm::CmpInst::getInversePredicate(), llvm::BranchInst::getSuccessor(), llvm::Value::getType(), llvm::BranchInst::isUnconditional(), llvm::PatternMatch::m_BasicBlock(), llvm::PatternMatch::m_Br(), llvm::PatternMatch::m_FCmp(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::BranchInst::swapSuccessors(), and X.
◆ visitCallBrInst()
| Instruction * InstCombinerImpl::visitCallBrInst | ( | CallBrInst & | CBI | ) |
Definition at line 2377 of file InstCombineCalls.cpp.
◆ visitCallInst()
| Instruction * InstCombinerImpl::visitCallInst | ( | CallInst & | CI | ) |
CallInst simplification.
This mostly only handles folding of intrinsic instructions. For normal calls, it allows visitCallBase to do the heavy lifting.
This will remove the boolean Condition from the assume given as argument and remove the assume if it becomes useless. always returns nullptr for use as a return values.
Note: this doesn't preserve the offset information but merges offset and alignment. TODO: we can generate a GEP instead of merging the alignment with the offset.
Canonicalize Knowledge in operand bundles.
Definition at line 897 of file InstCombineCalls.cpp.
References llvm::abs(), llvm::SmallBitVector::all(), llvm::AlwaysOverflowsHigh, llvm::AlwaysOverflowsLow, llvm::Instruction::andIRFlags(), Arg, llvm::RetainedKnowledge::ArgValue, assert(), llvm::RetainedKnowledge::AttrKind, B, llvm::BitWidth, llvm::buildAssumeFromKnowledge(), Builder, llvm::CallBase::bundle_op_info_begin(), C1, canonicalizeConstantArg0ToArg1(), ceil, llvm::computeKnownBits(), Cond, llvm::Constant::containsConstantExpression(), llvm::Instruction::copyFastMathFlags(), llvm::Instruction::copyIRFlags(), llvm::CastInst::Create(), llvm::CallInst::Create(), llvm::SelectInst::Create(), llvm::BinaryOperator::CreateFDivFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::CastInst::CreateIntegerCast(), llvm::BinaryOperator::CreateNeg(), llvm::BinaryOperator::CreateNot(), llvm::BinaryOperator::CreateNSW(), llvm::BinaryOperator::CreateNSWNeg(), llvm::BinaryOperator::CreateNUW(), llvm::UnaryOperator::CreateWithCopiedFlags(), llvm::BinaryOperator::CreateWithCopiedFlags(), llvm::Data, DL, llvm::Function::doesNotThrow(), llvm::CallBase::doesNotThrow(), llvm::Value::dropDroppableUse(), llvm::EnableKnowledgeRetention, factorizeMinMaxTree(), llvm::FAdd, floor, foldClampRangeOfTwo(), foldCtpop(), foldCttzCtlz(), llvm::ConstantInt::get(), llvm::ConstantFP::get(), llvm::ConstantAggregateZero::get(), llvm::MDNode::get(), llvm::APInt::getAllOnes(), llvm::Constant::getAllOnesValue(), llvm::CallBase::getArgOperand(), llvm::ConstantInt::getBool(), llvm::CallBase::getCalledFunction(), llvm::CallBase::getCalledOperand(), llvm::Value::getContext(), llvm::Intrinsic::getDeclaration(), llvm::Instruction::getFastMathFlags(), llvm::Instruction::getFunction(), llvm::CallBase::getFunctionType(), llvm::ConstantExpr::getICmp(), llvm::Type::getInt64Ty(), llvm::ConstantExpr::getIntegerCast(), llvm::IntrinsicInst::getIntrinsicID(), llvm::getInverseMinMaxIntrinsic(), llvm::getKnowledgeFromBundle(), getKnownSign(), llvm::APInt::getLowBitsSet(), llvm::APSInt::getMaxValue(), llvm::APSInt::getMinValue(), llvm::Instruction::getModule(), llvm::ConstantExpr::getMul(), llvm::Value::getName(), llvm::ConstantExpr::getNeg(), llvm::Instruction::getNextNonDebugInstruction(), llvm::Constant::getNullValue(), llvm::CallBase::getNumOperandBundles(), llvm::Instruction::getOpcode(), getOpcode(), llvm::CallBase::getOperandBundlesAsDefs(), llvm::User::getOperandUse(), llvm::Instruction::getParent(), llvm::Type::getScalarSizeInBits(), llvm::ConstantExpr::getSExt(), llvm::ConstantExpr::getSub(), llvm::BasicBlock::getTerminator(), llvm::ConstantInt::getTrue(), llvm::ConstantExpr::getTrunc(), llvm::Value::getType(), llvm::ConstantExpr::getURem(), llvm::Optional< T >::getValue(), llvm::ConstantExpr::getZExt(), GuardWideningWindow, llvm::Instruction::hasAllowReassoc(), llvm::Function::hasFnAttribute(), llvm::Value::hasOneUse(), llvm::CallBase::hasOperandBundles(), llvm::Optional< T >::hasValue(), i, I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGT, llvm::KnownBits::isAllOnes(), llvm::isAssumeWithEmptyBundle(), llvm::IntrinsicInst::isCommutative(), llvm::Instruction::isFast(), llvm::isFreeCall(), llvm::isKnownNegation(), llvm::APInt::isNonNegative(), llvm::Type::isPointerTy(), llvm::isPowerOf2_32(), llvm::isPowerOf2_64(), llvm::isSafeToSpeculativelyExecute(), llvm::isSplatValue(), llvm::isValidAssumeForContext(), LLVM_FALLTHROUGH, llvm_unreachable, llvm::SPII::Load, llvm::Log2_32_Ceil(), llvm::lowerObjectSizeCall(), M, llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APFloat(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_BSwap(), llvm::PatternMatch::m_Cmp(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_FAbs(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_FPExt(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_LogicalAnd(), llvm::PatternMatch::m_LogicalOr(), llvm::PatternMatch::m_Neg(), llvm::PatternMatch::m_NegZeroFP(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_NSWAdd(), llvm::PatternMatch::m_NSWNeg(), llvm::PatternMatch::m_NUWAdd(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_PosZeroFP(), llvm::PatternMatch::m_PtrToInt(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shuffle(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_SRem(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_UnOp(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::m_ZeroInt(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::m_ZExtOrSExtOrSelf(), llvm::CmpInst::makeCmpResultType(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), maximum, llvm::maximum(), llvm::maxnum(), llvm::MayOverflow, memcpy(), MI, llvm::MinAlign(), minimum, llvm::minimum(), llvm::minnum(), Mod, moveAddAfterMinMax(), llvm::Instruction::moveBefore(), llvm::Mul, llvm::NeverOverflows, llvm::None, llvm::FastMathFlags::noSignedZeros(), Offset, llvm::User::op_begin(), llvm::ISD::OR, Other, powi(), removeTriviallyEmptyRange(), round(), llvm::APInt::sadd_ov(), llvm::Use::set(), llvm::SmallBitVector::set(), llvm::CallBase::setCalledFunction(), llvm::CallBase::setDoesNotThrow(), llvm::Instruction::setMetadata(), SI, llvm::SignBitMustBeZero(), llvm::SimplifyCall(), llvm::SimplifyFMAFMul(), llvm::SimplifyFMulInst(), simplifyInvariantGroupIntrinsic(), simplifyNeonTbl1(), llvm::simplifyRetainedKnowledge(), llvm::APIntOps::smax(), llvm::APIntOps::smin(), llvm::X86AS::SS, std::swap(), llvm::SmallBitVector::test(), trunc, llvm::APInt::uadd_sat(), llvm::APIntOps::umax(), llvm::APIntOps::umin(), llvm::UndefMaskElem, llvm::Value::use_empty(), llvm::RetainedKnowledge::WasOn, X, and Y.
◆ visitExtractElementInst()
| Instruction * InstCombinerImpl::visitExtractElementInst | ( | ExtractElementInst & | EI | ) |
Definition at line 366 of file InstCombineVectorOps.cpp.
References assert(), llvm::BitWidth, Builder, cheapToScalarize(), llvm::count_if(), llvm::CastInst::Create(), llvm::CmpInst::Create(), llvm::GetElementPtrInst::Create(), llvm::ExtractElementInst::Create(), llvm::UnaryOperator::CreateWithCopiedFlags(), llvm::BinaryOperator::CreateWithCopiedFlags(), E, findDemandedEltsByAllUsers(), GEP, llvm::ConstantInt::get(), llvm::UndefValue::get(), llvm::Value::getContext(), llvm::VectorType::getElementCount(), llvm::ExtractElementInst::getIndexOperand(), llvm::Type::getInt32Ty(), llvm::Type::getIntegerBitWidth(), llvm::UnaryOperator::getOpcode(), getOpcode(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Value::getType(), llvm::ExtractElementInst::getVectorOperand(), llvm::ExtractElementInst::getVectorOperandType(), llvm::Value::hasOneUse(), I, llvm::ARM_PROC::IE, Index, Int32Ty, llvm::APInt::isAllOnes(), llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_Cmp(), llvm::PatternMatch::m_UnOp(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::Value::replaceAllUsesWith(), llvm::APInt::setBit(), llvm::GetElementPtrInst::setIsInBounds(), llvm::SimplifyExtractElementInst(), X, and Y.
◆ visitExtractValueInst()
| Instruction * InstCombinerImpl::visitExtractValueInst | ( | ExtractValueInst & | EV | ) |
Definition at line 3056 of file InstructionCombining.cpp.
References assert(), Builder, llvm::BinaryOperator::Create(), llvm::ExtractValueInst::Create(), llvm::InsertValueInst::Create(), GEP, llvm::ConstantInt::get(), llvm::PoisonValue::get(), llvm::ExtractValueInst::getAggregateOperand(), llvm::ConstantRange::getEquivalentICmp(), llvm::ExtractValueInst::getIndices(), llvm::CmpInst::getInversePredicate(), llvm::ConstantRange::getSignedMin(), llvm::Value::getType(), llvm::ConstantRange::getUnsignedMin(), llvm::ExtractValueInst::hasIndices(), llvm::ExtractValueInst::idx_begin(), llvm::ExtractValueInst::idx_end(), llvm::ExtractValueInst::indices(), llvm::PatternMatch::m_APInt(), llvm::makeArrayRef(), llvm::ConstantRange::makeExactNoWrapRegion(), llvm::PatternMatch::match(), NL, llvm::SimplifyExtractValueInst(), and llvm::ConstantRange::subtract().
◆ visitFAdd()
| Instruction * InstCombinerImpl::visitFAdd | ( | BinaryOperator & | I | ) |
Definition at line 1532 of file InstCombineAddSub.cpp.
References Builder, llvm::BinaryOperator::CreateFSubFMF(), F, factorizeFAddFSub(), llvm::ConstantFP::get(), llvm::Type::getFltSemantics(), llvm::ConstantExpr::getFPToSI(), llvm::Type::getIntegerBitWidth(), llvm::Type::getScalarType(), llvm::ConstantExpr::getSIToFP(), llvm::Value::getType(), I, llvm::PatternMatch::m_AnyZeroFP(), llvm::PatternMatch::m_APFloat(), llvm::PatternMatch::m_c_FAdd(), llvm::PatternMatch::m_c_FMul(), llvm::PatternMatch::m_FDiv(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::APFloatBase::semanticsPrecision(), simplify, llvm::SimplifyFAddInst(), X, and Y.
◆ visitFCmpInst()
| Instruction * InstCombinerImpl::visitFCmpInst | ( | FCmpInst & | I | ) |
Orders the operands of the compare so that they are listed from most complex to least complex. This puts constants before unary operators, before binary operators.
Definition at line 6401 of file InstCombineCompares.cpp.
References assert(), B, Builder, llvm::APFloat::clearSign(), llvm::APFloat::convert(), llvm::CmpInst::FCMP_OEQ, llvm::CmpInst::FCMP_OGE, llvm::CmpInst::FCMP_OLE, llvm::CmpInst::FCMP_OLT, llvm::CmpInst::FCMP_ORD, llvm::CmpInst::FCMP_UGT, llvm::CmpInst::FCMP_ULT, llvm::CmpInst::FCMP_UNE, llvm::CmpInst::FCMP_UNO, llvm::SelectPatternResult::Flavor, foldFabsWithFcmpZero(), foldFCmpReciprocalAndZero(), foldVectorCmp(), GEP, llvm::ConstantFP::get(), llvm::VectorType::get(), llvm::ConstantExpr::getFNeg(), llvm::Constant::getNullValue(), llvm::Instruction::getOpcode(), llvm::User::getOperand(), llvm::Instruction::getParent(), llvm::APFloat::getSmallestNormalized(), llvm::Value::getType(), I, llvm::CmpInst::ICMP_SLT, llvm::isKnownNeverNaN(), llvm::APFloat::isZero(), llvm::SPII::Load, llvm::PatternMatch::m_AnyZeroFP(), llvm::PatternMatch::m_APFloat(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_FPExt(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_PosZeroFP(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::matchSelectPattern(), llvm::APFloatBase::rmNearestTiesToEven, SI, llvm::SimplifyFCmpInst(), llvm::SPF_UNKNOWN, X, and Y.
◆ visitFDiv()
| Instruction * InstCombinerImpl::visitFDiv | ( | BinaryOperator & | I | ) |
Definition at line 1344 of file InstCombineMulDivRem.cpp.
References Attrs, B, Builder, llvm::BinaryOperator::CreateFDivFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::emitUnaryFloatFnCall(), foldFDivConstantDividend(), foldFDivConstantDivisor(), foldFDivPowDivisor(), llvm::ConstantFP::get(), llvm::Function::getAttributes(), llvm::hasFloatFn(), llvm::Value::hasOneUse(), I, llvm::PatternMatch::m_c_FMul(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_FAbs(), llvm::PatternMatch::m_FDiv(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificFP(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::Mul, SI, llvm::SimplifyFDivInst(), X, and Y.
◆ visitFenceInst()
| Instruction * InstCombinerImpl::visitFenceInst | ( | FenceInst & | FI | ) |
Definition at line 2362 of file InstCombineCalls.cpp.
References llvm::Instruction::getNextNonDebugInstruction(), and llvm::Instruction::isIdenticalTo().
◆ visitFMul()
| Instruction * InstCombinerImpl::visitFMul | ( | BinaryOperator & | I | ) |
Definition at line 433 of file InstCombineMulDivRem.cpp.
References Builder, C1, llvm::BinaryOperator::CreateFAddFMF(), llvm::BinaryOperator::CreateFDivFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::UnaryOperator::CreateFNegFMF(), llvm::BinaryOperator::CreateFSubFMF(), foldMulSelectToNegate(), llvm::ConstantExpr::getFDiv(), llvm::ConstantExpr::getFMul(), llvm::ConstantExpr::getFNeg(), llvm::Value::hasNUses(), llvm::Value::hasOneUse(), I, llvm::Constant::isNormalFP(), llvm::Log2(), llvm::log2(), llvm::PatternMatch::m_c_FMul(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_FAdd(), llvm::PatternMatch::m_FDiv(), llvm::PatternMatch::m_FMul(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_FSub(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificFP(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), powi(), llvm::SimplifyFMulInst(), X, llvm::SystemZISD::XC, and Y.
◆ visitFNeg()
| Instruction * InstCombinerImpl::visitFNeg | ( | UnaryOperator & | I | ) |
Definition at line 2239 of file InstCombineAddSub.cpp.
References Builder, Cond, llvm::SelectInst::Create(), llvm::BinaryOperator::CreateFSubFMF(), foldFNegIntoConstant(), hoistFNegAboveFMulFDiv(), I, llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_FSub(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), P, S, llvm::SimplifyFNegInst(), X, and Y.
◆ visitFPExt()
| Instruction * InstCombinerImpl::visitFPExt | ( | CastInst & | CI | ) |
Definition at line 1938 of file InstCombineCasts.cpp.
References llvm::CastInst::Create(), llvm::User::getOperand(), llvm::Value::getType(), and isKnownExactCastIntToFP().
◆ visitFPToSI()
| Instruction * InstCombinerImpl::visitFPToSI | ( | FPToSIInst & | FI | ) |
Definition at line 2003 of file InstCombineCasts.cpp.
References I.
◆ visitFPToUI()
| Instruction * InstCombinerImpl::visitFPToUI | ( | FPToUIInst & | FI | ) |
Definition at line 1996 of file InstCombineCasts.cpp.
References I.
◆ visitFPTrunc()
| Instruction * InstCombinerImpl::visitFPTrunc | ( | FPTruncInst & | CI | ) |
Definition at line 1754 of file InstCombineCasts.cpp.
References Builder, ceil, Cond, llvm::Instruction::copyFastMathFlags(), llvm::BinaryOperator::Create(), llvm::CastInst::Create(), llvm::CallInst::Create(), llvm::BinaryOperator::CreateFDivFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::UnaryOperator::CreateFNegFMF(), llvm::CastInst::CreateFPCast(), floor, llvm::Intrinsic::getDeclaration(), llvm::Type::getFPMantissaWidth(), getMinimumFPType(), llvm::Instruction::getModule(), llvm::User::getOperand(), llvm::CastInst::getSrcTy(), llvm::Value::getType(), I, isKnownExactCastIntToFP(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_FPExt(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::max(), round(), shrinkInsertElt(), trunc, X, and Y.
◆ visitFree()
| Instruction * InstCombinerImpl::visitFree | ( | CallInst & | FI | ) |
Definition at line 2840 of file InstructionCombining.cpp.
References DL, llvm::CallBase::getArgOperand(), I, llvm::isReallocLikeFn(), and tryToMoveFreeBeforeNullTest().
◆ visitFreeze()
| Instruction * InstCombinerImpl::visitFreeze | ( | FreezeInst & | I | ) |
Definition at line 3622 of file InstructionCombining.cpp.
References llvm::Constant::getAllOnesValue(), llvm::Constant::getIntegerValue(), llvm::Constant::getNullValue(), I, llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), SI, and llvm::SimplifyFreezeInst().
◆ visitFRem()
| Instruction * InstCombinerImpl::visitFRem | ( | BinaryOperator & | I | ) |
Definition at line 1614 of file InstCombineMulDivRem.cpp.
References I, llvm::SimplifyFRemInst(), and X.
◆ visitFSub()
| Instruction * InstCombinerImpl::visitFSub | ( | BinaryOperator & | I | ) |
Definition at line 2291 of file InstCombineAddSub.cpp.
References Builder, llvm::CannotBeNegativeZero(), llvm::BinaryOperator::CreateFAddFMF(), llvm::BinaryOperator::CreateFMulFMF(), llvm::UnaryOperator::CreateFNegFMF(), llvm::BinaryOperator::CreateFSubFMF(), F, factorizeFAddFSub(), llvm::FAdd, llvm::FMul, foldFNegIntoConstant(), llvm::ConstantFP::get(), llvm::ConstantExpr::getFNeg(), llvm::ConstantExpr::getFSub(), llvm::Value::getType(), hoistFNegAboveFMulFDiv(), I, llvm::PatternMatch::m_c_FAdd(), llvm::PatternMatch::m_c_FMul(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_FDiv(), llvm::PatternMatch::m_FMul(), llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_FPExt(), llvm::PatternMatch::m_FPTrunc(), llvm::PatternMatch::m_FSub(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), SI, simplify, llvm::SimplifyFSubInst(), X, and Y.
◆ visitGetElementPtrInst()
| Instruction * InstCombinerImpl::visitGetElementPtrInst | ( | GetElementPtrInst & | GEP | ) |
Definition at line 1869 of file InstructionCombining.cpp.
References llvm::PHINode::addIncoming(), llvm::SmallVectorImpl< T >::append(), assert(), llvm::BitWidth, Builder, llvm::GetElementPtrInst::Create(), llvm::GetElementPtrInst::CreateInBounds(), llvm::CastInst::CreatePointerBitCastOrAddrSpaceCast(), DL, llvm::drop_begin(), E, F, foldSelectGEP(), GEP, llvm::gep_type_begin(), llvm::gep_type_end(), llvm::VectorType::get(), llvm::PointerType::getAddressSpace(), llvm::APInt::getAllOnes(), llvm::Type::getArrayElementType(), llvm::Type::getArrayNumElements(), llvm::PointerType::getElementType(), llvm::generic_gep_type_iterator< ItTy >::getIndexedType(), llvm::Constant::getNullValue(), llvm::Type::getPointerAddressSpace(), llvm::Type::getPrimitiveSizeInBits(), llvm::Value::getType(), llvm::GetElementPtrInst::getTypeAtIndex(), llvm::getUnderlyingObject(), I, llvm::isAllocationFn(), llvm::Type::isArrayTy(), isMergedGEPInBounds(), llvm::APInt::isNonNegative(), llvm::Type::isSized(), llvm::generic_gep_type_iterator< ItTy >::isStruct(), llvm::Type::isStructTy(), llvm::Type::isVectorTy(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_PtrToInt(), llvm::PatternMatch::m_SDiv(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::makeArrayRef(), llvm::PatternMatch::match(), Offset, llvm::GetElementPtrInst::setIsInBounds(), shouldMergeGEPs(), llvm::SimplifyAddInst(), llvm::SimplifyGEPInst(), llvm::Value::stripAndAccumulateInBoundsConstantOffsets(), llvm::Value::stripPointerCasts(), llvm::Value::takeName(), llvm::APInt::ule(), X, and Y.
◆ visitICmpInst()
| Instruction * InstCombinerImpl::visitICmpInst | ( | ICmpInst & | I | ) |
Orders the operands of the compare so that they are listed from most complex to least complex. This puts constants before unary operators, before binary operators.
Definition at line 5806 of file InstCombineCompares.cpp.
References llvm::MCID::Add, assert(), B, Builder, canonicalizeCmpWithConstant(), canonicalizeICmpBool(), Cond, llvm::CmpInst::Create(), llvm::ExtractValueInst::Create(), llvm::SelectPatternResult::Flavor, foldICmpInvariantGroup(), foldICmpOfUAddOv(), foldICmpWithDominatingICmp(), foldICmpWithHighBitMask(), foldICmpWithMinMax(), foldVectorCmp(), GEP, llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::Constant::getNullValue(), llvm::Instruction::getOpcode(), llvm::Value::getType(), llvm::getUnderlyingObject(), llvm::SimplifyQuery::getWithInstruction(), I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::Type::isIntOrIntVectorTy(), llvm::isKnownToBeAPowerOfTwo(), llvm::Type::isPointerTy(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_Mul(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_UAddWithOverflow(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::match(), llvm::matchSelectPattern(), processUMulZExtIdiom(), SI, llvm::SimplifyICmpInst(), llvm::SPF_UNKNOWN, std::swap(), swapMayExposeCSEOpportunities(), and X.
◆ visitInsertElementInst()
| Instruction * InstCombinerImpl::visitInsertElementInst | ( | InsertElementInst & | IE | ) |
Definition at line 1470 of file InstCombineVectorOps.cpp.
References Builder, collectShuffleElements(), llvm::MipsISD::Ext, foldConstantInsEltIntoShuffle(), foldInsEltIntoIdentityShuffle(), foldInsEltIntoSplat(), foldInsSequenceIntoSplat(), llvm::VectorType::get(), llvm::UndefValue::get(), llvm::APInt::getAllOnes(), llvm::Value::getType(), llvm::Value::hasOneUse(), hoistInsEltConst(), llvm::ARM_PROC::IE, Insert, llvm::Type::isFloatingPointTy(), llvm::Type::isIntegerTy(), llvm::Type::isVectorTy(), llvm::PatternMatch::m_BitCast(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_ExtractElt(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), narrowInsElt(), and llvm::SimplifyInsertElementInst().
◆ visitInsertValueInst()
| Instruction * InstCombinerImpl::visitInsertValueInst | ( | InsertValueInst & | I | ) |
Try to find redundant insertvalue instructions, like the following ones: %0 = insertvalue { i8, i32 } undef, i8 x, 0 %1 = insertvalue { i8, i32 } %0, i8 y, 0 Here the second instruction inserts values at the same indices, as the first one, making the first one redundant.
It should be transformed to: %0 = insertvalue { i8, i32 } undef, i8 y, 0
Definition at line 1083 of file InstCombineVectorOps.cpp.
References llvm::Depth, llvm::User::getOperand(), llvm::Value::hasOneUse(), I, and llvm::Value::user_back().
◆ visitInstruction()
|
inline |
Specify what to return for unhandled instructions.
Definition at line 177 of file InstCombineInternal.h.
◆ visitIntToPtr()
| Instruction * InstCombinerImpl::visitIntToPtr | ( | IntToPtrInst & | CI | ) |
Definition at line 2018 of file InstCombineCasts.cpp.
References Builder, DL, llvm::IntToPtrInst::getAddressSpace(), llvm::Value::getContext(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::Value::getType(), llvm::Type::getWithNewType(), I, and P.
◆ visitInvokeInst()
| Instruction * InstCombinerImpl::visitInvokeInst | ( | InvokeInst & | II | ) |
Definition at line 2372 of file InstCombineCalls.cpp.
◆ visitLandingPadInst()
| Instruction * InstCombinerImpl::visitLandingPadInst | ( | LandingPadInst & | LI | ) |
Definition at line 3238 of file InstructionCombining.cpp.
References llvm::LandingPadInst::addClause(), assert(), llvm::classifyEHPersonality(), llvm::LandingPadInst::Create(), llvm::numbers::e, llvm::SmallVectorImpl< T >::erase(), f(), llvm::Filter, llvm::ArrayType::get(), llvm::ConstantArray::get(), llvm::LandingPadInst::getClause(), llvm::ArrayType::getElementType(), llvm::Constant::getNullValue(), llvm::LandingPadInst::getNumClauses(), llvm::ArrayType::getNumElements(), llvm::User::getOperand(), llvm::Instruction::getParent(), llvm::BasicBlock::getParent(), llvm::Function::getPersonalityFn(), llvm::Intrinsic::getType(), llvm::Value::getType(), i, llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::LandingPadInst::isCatch(), isCatchAll(), llvm::LandingPadInst::isCleanup(), llvm::LandingPadInst::isFilter(), j(), l, llvm::SmallVectorImpl< T >::reserve(), llvm::LandingPadInst::setCleanup(), shorter_filter(), llvm::stable_sort(), llvm::Constant::stripPointerCasts(), and llvm::Value::stripPointerCasts().
◆ visitLoadInst()
| Instruction * InstCombinerImpl::visitLoadInst | ( | LoadInst & | LI | ) |
Definition at line 940 of file InstCombineLoadStoreAlloca.cpp.
References assert(), Builder, canSimplifyNullLoadOrGEP(), combineLoadToOperationType(), llvm::combineMetadataForCSE(), llvm::SelectInst::Create(), DL, llvm::FindAvailableLoadedValue(), llvm::PoisonValue::get(), llvm::LoadInst::getAlign(), llvm::Instruction::getDebugLoc(), llvm::Value::getName(), llvm::Constant::getNullValue(), llvm::User::getOperand(), llvm::LoadInst::getOrdering(), llvm::getOrEnforceKnownAlignment(), llvm::LoadInst::getPointerAddressSpace(), llvm::LoadInst::getSyncScopeID(), llvm::Value::getType(), llvm::isSafeToLoadUnconditionally(), llvm::LoadInst::isUnordered(), llvm::NullPointerIsDefined(), replaceGEPIdxWithZero(), llvm::LoadInst::setAlignment(), llvm::LoadInst::setAtomic(), SI, unpackLoadToAggregate(), and llvm::NVPTX::PTXLdStInstCode::V2.
◆ visitLShr()
| Instruction * InstCombinerImpl::visitLShr | ( | BinaryOperator & | I | ) |
Definition at line 993 of file InstCombineShifts.cpp.
References assert(), llvm::BitWidth, Builder, C1, llvm::SelectInst::Create(), llvm::ConstantInt::get(), llvm::APInt::getAllOnes(), llvm::Constant::getAllOnesValue(), llvm::APInt::getLowBitsSet(), llvm::Constant::getNullValue(), llvm::Type::getScalarSizeInBits(), getScalarSizeInBits(), llvm::ConstantInt::getSigned(), llvm::Intrinsic::getType(), hasNoUnsignedWrap(), llvm::Value::hasOneUse(), I, llvm::Type::isIntegerTy(), llvm::isPowerOf2_32(), llvm::Log2_32(), llvm::APInt::logBase2(), llvm::APInt::lshr(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_Instruction(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_Neg(), llvm::PatternMatch::m_NSWSub(), llvm::PatternMatch::m_NUWMul(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_SRem(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExt(), llvm::BitmaskEnumDetail::Mask(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), llvm::min(), llvm::SimplifyLShrInst(), X, and Y.
◆ visitMul()
| Instruction * InstCombinerImpl::visitMul | ( | BinaryOperator & | I | ) |
i1 mul -> i1 and.
Definition at line 147 of file InstCombineMulDivRem.cpp.
References llvm::abs(), llvm::And, llvm::BitWidth, Builder, C1, llvm::CastInst::Create(), llvm::SelectInst::Create(), CreateAdd(), CreateMul(), llvm::BinaryOperator::CreateNeg(), llvm::MipsISD::Ext, llvm::SelectPatternResult::Flavor, foldMulSelectToNegate(), llvm::ConstantInt::get(), llvm::APInt::getBitWidth(), llvm::ConstantInt::getBool(), llvm::ConstantExpr::getExactLogBase2(), llvm::ConstantExpr::getNeg(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::ConstantExpr::getShl(), llvm::Value::hasOneUse(), I, llvm::Instruction::isExact(), llvm::Constant::isNotMinSignedValue(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_c_Mul(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_Mul(), llvm::PatternMatch::m_Neg(), llvm::PatternMatch::m_NegatedPower2(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_SpecificIntAllowUndef(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::match(), llvm::matchSelectPattern(), llvm::Mul, llvm::Negator::Negate(), llvm::Instruction::setHasNoSignedWrap(), llvm::Instruction::setHasNoUnsignedWrap(), llvm::SimplifyMulInst(), llvm::SPF_ABS, llvm::SPF_NABS, llvm::Value::takeName(), X, and Y.
◆ visitOr()
| Instruction * InstCombinerImpl::visitOr | ( | BinaryOperator & | I | ) |
Definition at line 2638 of file InstCombineAndOrXor.cpp.
References B, Builder, C1, Concat, llvm::SelectInst::Create(), D, foldOrToXor(), llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::Value::getName(), llvm::ConstantExpr::getOr(), llvm::Type::getScalarSizeInBits(), llvm::ConstantInt::getSigned(), llvm::ConstantInt::getValue(), llvm::Value::hasOneUse(), I, llvm::CmpInst::ICMP_NE, llvm::APInt::isAllOnes(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_c_Xor(), llvm::PatternMatch::m_CombineAnd(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_NSWSub(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::m_ZeroInt(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), matchDeMorgansLaws(), matchFunnelShift(), matchOrConcat(), llvm::Mul, llvm::Or, reassociateFCmps(), SimplifyBSwap(), llvm::SimplifyOrInst(), std::swap(), llvm::Value::takeName(), llvm::NVPTX::PTXLdStInstCode::V2, X, llvm::Xor, and Y.
◆ visitPHINode()
| Instruction * InstCombinerImpl::visitPHINode | ( | PHINode & | PN | ) |
Definition at line 1325 of file InstCombinePHI.cpp.
References llvm::all_of(), llvm::BasicBlock::begin(), llvm::CastInst::CreatePointerCast(), DeadPHICycle(), DL, llvm::numbers::e, llvm::BasicBlock::end(), llvm::PoisonValue::get(), GetAnyNonZeroConstInt(), llvm::PHINode::getBasicBlockIndex(), llvm::BasicBlock::getFirstInsertionPt(), llvm::PHINode::getIncomingBlock(), llvm::PHINode::getIncomingValue(), llvm::PHINode::getNumIncomingValues(), llvm::User::getOperand(), llvm::Instruction::getParent(), llvm::Type::getPrimitiveSizeInBits(), llvm::BasicBlock::getTerminator(), llvm::Value::getType(), llvm::Value::hasOneUse(), llvm::Value::hasOneUser(), i, llvm::PHINode::incoming_values(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::CmpInst::isEquality(), llvm::Instruction::isIdenticalToWhenDefined(), llvm::Type::isIntegerTy(), llvm::isKnownNonZero(), llvm::Type::isPointerTy(), j(), llvm::PatternMatch::m_Zero(), llvm::PatternMatch::match(), llvm::BasicBlock::phis(), PHIsEqualValue(), llvm::PHINode::setIncomingBlock(), llvm::PHINode::setIncomingValue(), llvm::SimplifyInstruction(), SimplifyUsingControlFlow(), llvm::Value::stripPointerCasts(), llvm::Instruction::user_back(), and llvm::codeview::VB.
◆ visitPtrToInt()
| Instruction * InstCombinerImpl::visitPtrToInt | ( | PtrToIntInst & | CI | ) |
Definition at line 2060 of file InstCombineCasts.cpp.
References assert(), Builder, llvm::InsertElementInst::Create(), llvm::CastInst::CreateIntegerCast(), DL, llvm::EmitGEPOffset(), GEP, llvm::Value::getContext(), llvm::PtrToIntInst::getPointerAddressSpace(), llvm::PtrToIntInst::getPointerOperand(), llvm::Type::getScalarSizeInBits(), llvm::Type::getScalarType(), llvm::Value::getType(), llvm::Type::getWithNewType(), Index, llvm::PatternMatch::m_InsertElt(), llvm::PatternMatch::m_IntToPtr(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), and P.
◆ visitReturnInst()
| Instruction * InstCombinerImpl::visitReturnInst | ( | ReturnInst & | RI | ) |
Definition at line 2890 of file InstructionCombining.cpp.
References llvm::computeKnownBits(), llvm::KnownBits::getConstant(), llvm::Constant::getIntegerValue(), llvm::User::getNumOperands(), llvm::User::getOperand(), llvm::Value::getType(), llvm::KnownBits::isConstant(), llvm::Type::isIntegerTy(), and isMustTailCall().
◆ visitSDiv()
| Instruction * InstCombinerImpl::visitSDiv | ( | BinaryOperator & | I | ) |
Definition at line 1117 of file InstCombineMulDivRem.cpp.
References Builder, Cond, llvm::SelectInst::Create(), llvm::BinaryOperator::CreateNeg(), llvm::BinaryOperator::CreateNSWNeg(), foldUDivPow2Cst(), llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::ConstantExpr::getExactLogBase2(), llvm::APInt::getMinSignedBits(), llvm::ConstantExpr::getNeg(), llvm::Type::getScalarSizeInBits(), llvm::APInt::getSignMask(), llvm::ConstantExpr::getTrunc(), llvm::Value::getType(), I, llvm::isKnownToBeAPowerOfTwo(), llvm::APInt::isMinSignedValue(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_BinOp(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_NegatedPower2(), llvm::PatternMatch::m_NonNegative(), llvm::PatternMatch::m_NSWSub(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Power2(), llvm::PatternMatch::m_SDiv(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_SignMask(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::BitmaskEnumDetail::Mask(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), llvm::Instruction::setIsExact(), llvm::SimplifySDivInst(), X, and Y.
◆ visitSelectInst()
| Instruction* llvm::InstCombinerImpl::visitSelectInst | ( | SelectInst & | SI | ) |
◆ visitSExt()
| Instruction * InstCombinerImpl::visitSExt | ( | SExtInst & | CI | ) |
Definition at line 1493 of file InstCombineCasts.cpp.
References assert(), Builder, canEvaluateSExtd(), llvm::computeKnownBits(), llvm::ComputeNumSignBits(), llvm::CastInst::Create(), llvm::CastInst::CreateIntegerCast(), llvm::dbgs(), DL, llvm::ConstantInt::get(), llvm::Function::getFnAttribute(), llvm::Instruction::getFunction(), llvm::Value::getName(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::ConstantExpr::getSExt(), llvm::ConstantExpr::getSub(), llvm::Value::getType(), llvm::Attribute::getVScaleRangeArgs(), llvm::Function::hasFnAttribute(), llvm::Value::hasOneUse(), I, llvm::Constant::isElementWiseEqual(), llvm::KnownBits::isNonNegative(), LLVM_DEBUG, llvm::Log2_32(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_SpecificIntAllowUndef(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_VScale(), llvm::PatternMatch::match(), llvm::Constant::mergeUndefsWith(), llvm::Instruction::user_back(), X, and Y.
◆ visitShl()
| Instruction * InstCombinerImpl::visitShl | ( | BinaryOperator & | I | ) |
Definition at line 760 of file InstCombineShifts.cpp.
References llvm::MCID::Add, B, llvm::tgtok::Bits, llvm::BitWidth, Builder, C1, llvm::ComputeNumSignBits(), llvm::BinaryOperator::Create(), llvm::SelectInst::Create(), CreateMul(), dropRedundantMaskingOfLeftShiftInput(), llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::APInt::getHighBitsSet(), llvm::Value::getName(), llvm::Constant::getNullValue(), getOpcode(), llvm::BinaryOperator::getOpcode(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::ConstantExpr::getShl(), llvm::APInt::getSignMask(), llvm::SimplifyQuery::getWithInstruction(), I, llvm::Instruction::isCommutative(), M, llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_BinOp(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_Exact(), llvm::PatternMatch::m_Mul(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Shr(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExt(), llvm::BitmaskEnumDetail::Mask(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), llvm::APInt::shl(), llvm::SimplifyShlInst(), std::swap(), X, and Y.
◆ visitShuffleVectorInst()
| Instruction * InstCombinerImpl::visitShuffleVectorInst | ( | ShuffleVectorInst & | SVI | ) |
Definition at line 2418 of file InstCombineVectorOps.cpp.
References assert(), Builder, canEvaluateShuffled(), canonicalizeInsertSplat(), llvm::SmallVectorImpl< T >::clear(), llvm::ShuffleVectorInst::commute(), llvm::CastInst::Create(), llvm::createUnaryMask(), DL, E, llvm::DenseMapBase< DenseMap< KeyT, ValueT, DenseMapInfo< KeyT >, llvm::detail::DenseMapPair< KeyT, ValueT > >, KeyT, ValueT, DenseMapInfo< KeyT >, llvm::detail::DenseMapPair< KeyT, ValueT > >::end(), evaluateInDifferentElementOrder(), llvm::MipsISD::Ext, llvm::DenseMapBase< DenseMap< KeyT, ValueT, DenseMapInfo< KeyT >, llvm::detail::DenseMapPair< KeyT, ValueT > >, KeyT, ValueT, DenseMapInfo< KeyT >, llvm::detail::DenseMapPair< KeyT, ValueT > >::find(), foldIdentityExtractShuffle(), foldIdentityPaddedShuffles(), foldSelectShuffle(), foldShuffleWithInsert(), foldTruncShuffle(), llvm::ConstantInt::get(), llvm::FixedVectorType::get(), llvm::UndefValue::get(), llvm::APInt::getAllOnes(), llvm::Value::getContext(), llvm::Type::getInt32Ty(), llvm::Value::getName(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), llvm::ShuffleVectorInst::getShuffleMask(), llvm::Value::getType(), llvm::ShuffleVectorInst::getType(), llvm::SimplifyQuery::getWithInstruction(), llvm::Value::hasOneUse(), i, I, Int32Ty, isShuffleExtractingFromLHS(), isSplat(), llvm::VectorType::isValidElementType(), llvm::PatternMatch::m_BitCast(), llvm::PatternMatch::m_Undef(), llvm::PatternMatch::m_Value(), llvm::BitmaskEnumDetail::Mask(), llvm::PatternMatch::match(), llvm::narrowShuffleMaskElts(), narrowVectorSelect(), llvm::SimplifyShuffleVectorInst(), llvm::Value::users(), llvm::widenShuffleMaskElts(), X, and Y.
◆ visitSIToFP()
| Instruction * InstCombinerImpl::visitSIToFP | ( | CastInst & | CI | ) |
Definition at line 2014 of file InstCombineCasts.cpp.
◆ visitSRem()
| Instruction * InstCombinerImpl::visitSRem | ( | BinaryOperator & | I | ) |
Definition at line 1542 of file InstCombineMulDivRem.cpp.
References Builder, llvm::BinaryOperator::CreateNSWNeg(), llvm::ConstantInt::get(), llvm::ConstantVector::get(), llvm::Constant::getAggregateElement(), llvm::ConstantExpr::getNeg(), llvm::APInt::getSignMask(), i, I, llvm::PatternMatch::m_Negative(), llvm::PatternMatch::m_NSWSub(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_SRem(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Zero(), llvm::BitmaskEnumDetail::Mask(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), llvm::SimplifySRemInst(), X, and Y.
◆ visitStoreInst()
| Instruction * InstCombinerImpl::visitStoreInst | ( | StoreInst & | SI | ) |
Definition at line 1339 of file InstCombineLoadStoreAlloca.cpp.
References assert(), llvm::sys::path::begin(), canSimplifyNullStoreOrGEP(), combineStoreToValueType(), DL, equivalentAddressValues(), GEP, llvm::PoisonValue::get(), llvm::getOrEnforceKnownAlignment(), llvm::Value::getType(), llvm::Value::hasOneUse(), removeBitcastsFromLoadStoreOnMinMax(), replaceGEPIdxWithZero(), SI, and unpackStoreToAggregate().
◆ visitSub()
| Instruction * InstCombinerImpl::visitSub | ( | BinaryOperator & | I | ) |
Definition at line 1742 of file InstCombineAddSub.cpp.
References llvm::InstCombiner::AddOne(), assert(), B, llvm::BitWidth, Builder, llvm::computeKnownBits(), Cond, llvm::Instruction::copyMetadata(), llvm::APInt::countTrailingZeros(), llvm::SelectInst::Create(), CreateAdd(), llvm::BinaryOperator::CreateNeg(), llvm::BinaryOperator::CreateNot(), llvm::MipsISD::Ext, factorizeMathWithShlOps(), llvm::tgtok::FalseVal, llvm::SelectPatternResult::Flavor, llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::APInt::getHighBitsSet(), llvm::Constant::getNullValue(), llvm::Type::getScalarSizeInBits(), llvm::ConstantExpr::getSub(), llvm::Value::getType(), llvm::Value::hasNUsesOrMore(), I, llvm::APInt::isMask(), llvm::SelectPatternResult::isMinOrMax(), isZero(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_AllOnes(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_AShr(), llvm::PatternMatch::m_c_Add(), llvm::PatternMatch::m_c_And(), llvm::PatternMatch::m_c_MaxOrMin(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_c_Xor(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::m_Neg(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_PtrToInt(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_SpecificInt(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::PatternMatch::m_ZeroInt(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::match(), llvm::matchSelectPattern(), llvm::Negator::Negate(), llvm::none_of(), llvm::MCID::Select, llvm::Instruction::setHasNoSignedWrap(), SI, llvm::SimplifySubInst(), llvm::InstCombiner::SubOne(), std::swap(), llvm::tgtok::TrueVal, llvm::APIntOps::umin(), X, Y, and llvm::KnownBits::Zero.
◆ visitSwitchInst()
| Instruction * InstCombinerImpl::visitSwitchInst | ( | SwitchInst & | SI | ) |
Definition at line 3006 of file InstructionCombining.cpp.
References assert(), Builder, llvm::computeKnownBits(), Cond, llvm::KnownBits::countMinLeadingOnes(), llvm::KnownBits::countMinLeadingZeros(), llvm::IntegerType::get(), llvm::ConstantInt::get(), llvm::KnownBits::getBitWidth(), llvm::ConstantExpr::getSub(), llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::max(), llvm::min(), SI, and llvm::APInt::trunc().
◆ visitTrunc()
| Instruction * InstCombinerImpl::visitTrunc | ( | TruncInst & | CI | ) |
Definition at line 745 of file InstCombineCasts.cpp.
References llvm::And, assert(), B, Builder, canEvaluateTruncated(), llvm::BinaryOperator::Create(), llvm::ExtractElementInst::Create(), CreateAdd(), llvm::CastInst::CreateIntegerCast(), llvm::CastInst::CreateTruncOrBitCast(), llvm::dbgs(), DL, foldVecTruncToExtElt(), llvm::ConstantInt::get(), llvm::VectorType::get(), llvm::Function::getFnAttribute(), llvm::Instruction::getFunction(), llvm::ConstantExpr::getIntegerCast(), llvm::Value::getName(), llvm::Constant::getNullValue(), llvm::User::getOperand(), llvm::ConstantExpr::getOr(), llvm::Type::getScalarSizeInBits(), llvm::ConstantExpr::getShl(), llvm::ConstantExpr::getTrunc(), llvm::Value::getType(), llvm::ConstantExpr::getUMin(), llvm::Attribute::getVScaleRangeArgs(), llvm::ConstantInt::getZExtValue(), llvm::Function::hasFnAttribute(), I, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::Type::isIntegerTy(), llvm::Type::isVectorTy(), LLVM_DEBUG, llvm::Log2_32(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_ExtractElt(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Shr(), llvm::PatternMatch::m_SpecificInt_ICMP(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_VScale(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::match(), llvm::matchSelectPattern(), llvm::max(), llvm::Constant::mergeUndefsWith(), Shift, shrinkInsertElt(), shrinkSplatShuffle(), llvm::SPF_UNKNOWN, Threshold, and X.
◆ visitUDiv()
| Instruction * InstCombinerImpl::visitUDiv | ( | BinaryOperator & | I | ) |
Definition at line 1023 of file InstCombineMulDivRem.cpp.
References B, Builder, C1, llvm::SelectInst::Create(), llvm::CastInst::CreateZExtOrBitCast(), llvm::numbers::e, llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), i, I, llvm::Instruction::insertBefore(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Exact(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_Negative(), llvm::PatternMatch::m_NUWMul(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), narrowUDivURem(), llvm::Instruction::setIsExact(), llvm::SimplifyUDivInst(), llvm::APInt::ushl_ov(), visitUDivOperand(), and X.
◆ visitUIToFP()
| Instruction * InstCombinerImpl::visitUIToFP | ( | CastInst & | CI | ) |
Definition at line 2010 of file InstCombineCasts.cpp.
◆ visitUnconditionalBranchInst()
| Instruction * InstCombinerImpl::visitUnconditionalBranchInst | ( | BranchInst & | BI | ) |
Definition at line 2941 of file InstructionCombining.cpp.
References assert(), llvm::BranchInst::isUnconditional(), and SI.
◆ visitUnreachableInst()
| Instruction * InstCombinerImpl::visitUnreachableInst | ( | UnreachableInst & | I | ) |
Definition at line 2914 of file InstructionCombining.cpp.
References assert(), llvm::PoisonValue::get(), I, and llvm::isGuaranteedToTransferExecutionToSuccessor().
◆ visitURem()
| Instruction * InstCombinerImpl::visitURem | ( | BinaryOperator & | I | ) |
Definition at line 1491 of file InstCombineMulDivRem.cpp.
References Builder, llvm::SelectInst::Create(), llvm::CastInst::CreateZExtOrBitCast(), llvm::ConstantInt::get(), llvm::Constant::getAllOnesValue(), llvm::Constant::getNullValue(), I, llvm::isKnownToBeAPowerOfTwo(), llvm::PatternMatch::m_Negative(), llvm::PatternMatch::m_One(), llvm::PatternMatch::m_SExt(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), narrowUDivURem(), llvm::SimplifyURemInst(), and X.
◆ visitVAEndInst()
| Instruction * InstCombinerImpl::visitVAEndInst | ( | VAEndInst & | I | ) |
Definition at line 704 of file InstCombineCalls.cpp.
References I, and removeTriviallyEmptyRange().
◆ visitXor()
| Instruction * InstCombinerImpl::visitXor | ( | BinaryOperator & | I | ) |
Definition at line 3508 of file InstCombineAndOrXor.cpp.
References llvm::And, B, Builder, C1, canonicalizeAbs(), CreateAdd(), llvm::BinaryOperator::CreateNot(), D, foldXorToXor(), llvm::ConstantInt::get(), llvm::APInt::getAllOnes(), llvm::ConstantExpr::getNot(), llvm::Type::getScalarSizeInBits(), llvm::ConstantInt::getValue(), llvm::Value::hasOneUse(), I, llvm::APInt::isSignMask(), llvm::APInt::lshr(), M, llvm::PatternMatch::m_Add(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_c_And(), llvm::PatternMatch::m_c_Or(), llvm::PatternMatch::m_c_Xor(), llvm::PatternMatch::m_CombineAnd(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_ConstantExpr(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_Deferred(), llvm::PatternMatch::m_ImmConstant(), llvm::PatternMatch::m_LShr(), llvm::PatternMatch::m_Not(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Or(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Sub(), llvm::PatternMatch::m_Unless(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_Xor(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), llvm::Or, llvm::APInt::shl(), SimplifyBSwap(), llvm::SimplifyXorInst(), std::swap(), visitMaskedMerge(), X, llvm::Xor, and Y.
◆ visitZExt()
| Instruction * InstCombinerImpl::visitZExt | ( | ZExtInst & | CI | ) |
Definition at line 1231 of file InstCombineCasts.cpp.
References llvm::And, assert(), Builder, canEvaluateZExtd(), llvm::dbgs(), DL, llvm::ConstantInt::get(), llvm::Function::getFnAttribute(), llvm::Instruction::getFunction(), llvm::APInt::getHighBitsSet(), llvm::APInt::getLowBitsSet(), llvm::Value::getName(), llvm::User::getOperand(), llvm::Type::getScalarSizeInBits(), getScalarSizeInBits(), llvm::Value::getType(), llvm::Attribute::getVScaleRangeArgs(), llvm::ConstantExpr::getZExt(), llvm::Function::hasFnAttribute(), llvm::Value::hasOneUse(), LLVM_DEBUG, llvm::Log2_32(), llvm::PatternMatch::m_And(), llvm::PatternMatch::m_Constant(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Specific(), llvm::PatternMatch::m_Trunc(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_VScale(), llvm::PatternMatch::m_Xor(), llvm::MaskedValueIsZero(), llvm::PatternMatch::match(), llvm::replaceAllDbgUsesWith(), llvm::Instruction::user_back(), and X.
The documentation for this class was generated from the following files:
- lib/Transforms/InstCombine/InstCombineInternal.h
- lib/Transforms/InstCombine/InstCombineAddSub.cpp
- lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
- lib/Transforms/InstCombine/InstCombineAtomicRMW.cpp
- lib/Transforms/InstCombine/InstCombineCalls.cpp
- lib/Transforms/InstCombine/InstCombineCasts.cpp
- lib/Transforms/InstCombine/InstCombineCompares.cpp
- lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp
- lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
- lib/Transforms/InstCombine/InstCombinePHI.cpp
- lib/Transforms/InstCombine/InstCombineSelect.cpp
- lib/Transforms/InstCombine/InstCombineShifts.cpp
- lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
- lib/Transforms/InstCombine/InstCombineVectorOps.cpp
- lib/Transforms/InstCombine/InstructionCombining.cpp
