Home
last modified time | relevance | path

Searched refs:m_Add (Results 1 – 25 of 29) sorted by relevance

12

/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombineAddSub.cpp766 if (match(RHS, m_Add(m_Value(X), m_One()))) in checkForNegativeOperand()
769 if (match(LHS, m_Add(m_Value(X), m_One()))) { in checkForNegativeOperand()
1098 if (!match(&I, m_Add(m_OneUse(m_Shl(m_One(), m_Value(NBits))), m_AllOnes()))) in canonicalizeLowbitMask()
1128 if (match(&I, m_Add(m_UMin(m_Value(X), m_APInt(NotC)), m_APInt(C))) && in foldToUnsignedSaturatedAdd()
1335 if (match(&I, m_c_BinOp(m_Add(m_Value(A), m_One()), m_Not(m_Value(B)))) || in visitAdd()
1350 if (match(&I, m_c_Add(m_Add(m_Value(A), m_ImmConstant(C1)), in visitAdd()
1842 if (match(Op1, m_Add(m_Value(X), m_ImmConstant(C2)))) in visitSub()
1894 if (match(Op0, m_OneUse(m_Add(m_Value(X), m_AllOnes())))) in visitSub()
2000 if (match(Op0, m_Add(m_Value(A), m_Value(B))) && in visitSub()
2008 if (match(Op0, m_Add(m_Value(A), m_Value(B))) && in visitSub()
[all …]
H A DInstCombineCompares.cpp1433 match(Op0, m_Add(m_Add(m_Value(A), m_Value(B)), m_ConstantInt(CI2)))) in foldICmpWithConstant()
1875 if (match(And->getOperand(0), m_Add(m_Value(X), m_AllOnes())) && in foldICmpAndConstant()
1950 match(Or, m_c_Or(m_Add(m_Value(X), m_AllOnes()), m_Deferred(X)))) { in foldICmpOrConstant()
3647 m_Add(m_Shl(m_One(), m_Value()), m_AllOnes())), in foldICmpWithLowBitMaskedVal()
4098 if (match(Op0, m_OneUse(m_Add(m_c_Add(m_Specific(Op1), m_Value(X)), in foldICmpBinOp()
4105 if (match(Op1, m_OneUse(m_Add(m_c_Add(m_Specific(Op0), m_Value(X)), in foldICmpBinOp()
4480 auto LSubOne = m_Add(m_Specific(Op1), m_AllOnes()); in foldICmpBinOp()
4752 if (!match(Op0, m_OneUse(m_c_And(m_Add(m_Value(A), m_AllOnes()), in foldICmpEquality()
5958 m_Add(m_Shl(m_One(), m_Value(Y)), in foldICmpWithHighBitMask()
6355 if (match(Op0, m_Add(m_Value(X), m_APInt(C))) && Op1 == X) in visitICmpInst()
[all …]
H A DInstCombineSelect.cpp812 match(TrueVal, m_Add(m_Specific(B), m_SpecificInt(-*C))))) in canonicalizeSaturatedSubtract()
816 match(TrueVal, m_Add(m_Specific(A), m_SpecificInt(-*C))))) in canonicalizeSaturatedSubtract()
844 match(TVal, m_Add(m_Value(X), m_APInt(C))) && X == Cmp0 && in canonicalizeSaturatedAdd()
1335 m_Add(m_Specific(X), in canonicalizeClampLike()
1469 if (Pred == CmpInst::ICMP_ULT && match(X, m_Add(m_Value(), m_Constant()))) in tryToReuseConstantFromSelectInComparison()
2607 m_And(m_Add(m_Specific(X), m_APIntAllowUndef(BiasCst)), in foldRoundUpIntegerWithPow2Alignment()
H A DInstCombineAndOrXor.cpp799 m_ICmp(Pred, m_Add(m_Value(X), m_Power2(I01)), m_Power2(I1))) && in foldSignedTruncationCheck()
1156 if (match(V1, m_Add(m_Value(X), m_APInt(Offset1)))) in foldAndOrOfICmpsUsingRanges()
1158 if (match(V2, m_Add(m_Value(X), m_APInt(Offset2)))) in foldAndOrOfICmpsUsingRanges()
1553 if (!match(Op0, m_OneUse(m_Add(m_Specific(Op1), m_Constant(C)))) && in narrowMaskedBinOp()
1829 if (match(Op0, m_Add(m_Value(X), m_APInt(AddC)))) { in visitAnd()
3080 if (match(&I, m_c_Or(m_Add(m_Shl(m_One(), m_Value(X)), m_AllOnes()), in visitOr()
3713 if (RHSC->isSignMask() && match(Op0, m_Add(m_Value(X), m_APInt(C)))) in visitXor()
H A DInstCombineShifts.cpp212 auto MaskA = m_Add(m_Shl(m_One(), m_Value(MaskShAmt)), m_AllOnes()); in dropRedundantMaskingOfLeftShiftInput()
421 if (match(Op0, m_APInt(AC)) && match(Op1, m_Add(m_Value(A), m_APInt(AddC))) && in commonShiftTransforms()
H A DInstCombineCalls.cpp640 m_c_And(m_Not(m_Value(X)), m_Add(m_Deferred(X), m_AllOnes())))) { in foldCtpop()
845 if (!match(Op0, m_OneUse(m_Add(m_Value(X), m_APInt(C0)))) || in moveAddAfterMinMax()
2264 match(A, m_Add(m_Value(A), m_ConstantInt(Offset))); in visitCallInst()
H A DInstCombineSimplifyDemanded.cpp486 if (match(I, m_Add(m_OneUse(m_SExt(m_Value(X))), in SimplifyDemandedUseBits()
H A DInstCombineMulDivRem.cpp227 if (match(Op0, m_OneUse(m_Add(m_Value(X), m_Constant(C1))))) { in visitMul()
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DStraightLineStrengthReduce.cpp432 return (match(A, m_Add(m_Value(B), m_ConstantInt(C))) || in matchesAdd()
433 match(A, m_Add(m_ConstantInt(C), m_Value(B)))); in matchesAdd()
H A DNaryReassociate.cpp529 return match(V, m_Add(m_Value(Op1), m_Value(Op2))); in matchTernaryOp()
H A DGuardWidening.cpp628 if (match(Check.getBase(), m_Add(m_Value(OpLHS), m_ConstantInt(OpRHS)))) { in parseRangeChecks()
H A DConstraintElimination.cpp258 if (match(V, m_Add(m_Value(Op0), m_ConstantInt(CI))) && CI->isNegative() && in decompose()
H A DSeparateConstOffsetFromGEP.cpp1214 if (match(I, m_Add(m_SExt(m_Value(LHS)), m_SExt(m_Value(RHS))))) { in reuniteExts()
H A DJumpThreading.cpp894 match(CmpLHS, m_Add(m_Value(AddLHS), m_ConstantInt(AddConst)))) { in computeValueKnownInPredecessorsImpl()
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAssumptionCache.cpp122 match(A, m_Add(m_Value(X), m_ConstantInt())) && in findAffectedValues()
H A DInstructionSimplify.cpp790 if (MaxRecurse && match(Op0, m_Add(m_Value(X), m_Value(Y)))) { // (X + Y) - Z in simplifySubInst()
812 if (MaxRecurse && match(Op1, m_Add(m_Value(Y), m_Value(Z)))) { // X - (Y + Z) in simplifySubInst()
1707 if (!match(Op0, m_ICmp(Pred0, m_Add(m_Value(V), m_APInt(C0)), m_APInt(C1)))) in simplifyAndOfICmpsWithAdd()
1869 if (!match(Op0, m_ICmp(Pred0, m_Add(m_Value(V), m_APInt(C0)), m_APInt(C1)))) in simplifyOrOfICmpsWithAdd()
2026 if ((match(Op0, m_Add(m_Value(X), m_Constant(C1))) && in simplifyLogicOfAddSub()
2028 (match(Op1, m_Add(m_Value(X), m_Constant(C1))) && in simplifyLogicOfAddSub()
2132 if (match(Op0, m_Add(m_Specific(Op1), m_AllOnes())) && in simplifyAndInst()
2135 if (match(Op1, m_Add(m_Specific(Op0), m_AllOnes())) && in simplifyAndInst()
H A DLazyValueInfo.cpp1033 if (match(LHS, m_Add(m_Specific(Val), m_APInt(C)))) { in matchICmpOperand()
1040 if (match(Val, m_Add(m_Specific(LHS), m_APInt(C)))) { in matchICmpOperand()
H A DVectorUtils.cpp334 if (match(V, m_Add(m_Value(Val), m_Constant(C)))) in findScalarElement()
H A DValueTracking.cpp1119 match(I, m_c_BinOp(m_Value(X), m_Add(m_Deferred(X), m_Value(Y))))) { in computeKnownBitsFromOperator()
2157 if (match(V, m_Add(m_Value(X), m_Value(Y)))) { in isKnownToBeAPowerOfTwo()
2618 else if (match(V, m_Add(m_Value(X), m_Value(Y)))) { in isKnownNonZero()
/llvm-project-15.0.7/llvm/include/llvm/Transforms/InstCombine/
H A DInstCombiner.h251 if (match(V, m_Add(PatternMatch::m_Value(), PatternMatch::m_ImmConstant()))) in isFreeToInvert()
/llvm-project-15.0.7/llvm/unittests/IR/
H A DPatternMatch.cpp484 EXPECT_TRUE(m_Add(m_One(), m_Zero()).match(X)); in TEST_F()
485 EXPECT_FALSE(m_Add(m_Zero(), m_One()).match(X)); in TEST_F()
487 EXPECT_FALSE(m_Unless(m_Add(m_One(), m_Zero())).match(X)); in TEST_F()
488 EXPECT_TRUE(m_Unless(m_Add(m_Zero(), m_One())).match(X)); in TEST_F()
/llvm-project-15.0.7/llvm/lib/CodeGen/
H A DCodeGenPrepare.cpp1327 if (match(IVInc, m_Add(m_Instruction(LHS), m_Constant(Step))) || in matchIncrement()
1476 if (match(U, m_Add(m_Specific(A), m_Specific(B)))) { in matchUAddWithOverflowConstantEdgeCases()
1558 if (match(U, m_Add(m_Specific(A), m_APInt(AddC))) && in combineToUSubWithOverflow()
3905 match(ScaleReg, m_Add(m_Value(AddLHS), m_ConstantInt(CI))) && in matchScaledValue()
7875 (match(UI, m_Add(m_Specific(X), m_SpecificInt(-CmpC))) || in optimizeBranch()
/llvm-project-15.0.7/mlir/docs/Rationale/
H A DRationaleGenericDAGRewriter.md121 if (match(Op1, m_OneUse(m_Add(m_Value(X), m_One()))))
/llvm-project-15.0.7/llvm/include/llvm/IR/
H A DPatternMatch.h979 inline BinaryOp_match<LHS, RHS, Instruction::Add> m_Add(const LHS &L, in m_Add() function
1968 auto AddExpr = m_Add(m_Value(AddLHS), m_Value(AddRHS)); in match()
/llvm-project-15.0.7/llvm/lib/Target/
H A DREADME.txt2139 if (match(Op0, m_Add(m_Value(A), m_Value(B))) &&
2140 match(Op1, m_Add(m_Value(C), m_Value(D))) &&

12