Home
last modified time | relevance | path

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

12

/freebsd-14.2/contrib/llvm-project/llvm/lib/Analysis/
H A DDomConditionCache.cpp52 if (match(A, m_Add(m_Value(X), m_ConstantInt()))) in findAffectedValues()
H A DAssumptionCache.cpp120 if (match(A, m_Add(m_Value(X), m_ConstantInt())) && in findAffectedValues()
H A DInstructionSimplify.cpp830 if (MaxRecurse && match(Op0, m_Add(m_Value(X), m_Value(Y)))) { // (X + Y) - Z in simplifySubInst()
852 if (MaxRecurse && match(Op1, m_Add(m_Value(Y), m_Value(Z)))) { // X - (Y + Z) in simplifySubInst()
1694 if (!match(Op0, m_ICmp(Pred0, m_Add(m_Value(V), m_APInt(C0)), m_APInt(C1)))) in simplifyAndOfICmpsWithAdd()
1785 if (!match(Op0, m_ICmp(Pred0, m_Add(m_Value(V), m_APInt(C0)), m_APInt(C1)))) in simplifyOrOfICmpsWithAdd()
1991 if ((match(Op0, m_Add(m_Value(X), m_Constant(C1))) && in simplifyLogicOfAddSub()
1993 (match(Op1, m_Add(m_Value(X), m_Constant(C1))) && in simplifyLogicOfAddSub()
2038 if (match(Op0, m_Add(m_Specific(Op1), m_AllOnes())) && in simplifyAndCommutative()
2046 match(Op1, m_Add(m_Shl(m_Specific(X), m_APInt(Shift2)), m_AllOnes())) && in simplifyAndCommutative()
2116 match(Op0, m_Add(m_Value(Shift), m_AllOnes())) && in simplifyAndInst()
H A DLazyValueInfo.cpp1077 if (match(LHS, m_Add(m_Specific(Val), m_APInt(C)))) { in matchICmpOperand()
1084 if (match(Val, m_Add(m_Specific(LHS), m_APInt(C)))) { in matchICmpOperand()
H A DVectorUtils.cpp212 if (match(V, m_Add(m_Value(Val), m_Constant(C)))) in findScalarElement()
H A DIVDescriptors.cpp753 ((m_Add(m_Value(Op1), m_Value(Op2)).match(I1) || in isConditionalRdxPattern()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineAddSub.cpp765 if (match(RHS, m_Add(m_Value(X), m_One()))) in checkForNegativeOperand()
768 if (match(LHS, m_Add(m_Value(X), m_One()))) { in checkForNegativeOperand()
987 if (match(Op0, m_ZExt(m_Add(m_Value(X), m_AllOnes())))) { in foldAddWithConstant()
1534 if (match(&I, m_c_Add(m_Add(m_Value(A), m_ImmConstant(C1)), in visitAdd()
2161 if (match(Op1, m_Add(m_Value(X), m_ImmConstant(C2)))) { in visitSub()
2226 if (match(Op0, m_OneUse(m_Add(m_Value(X), m_AllOnes())))) in visitSub()
2258 if (match(Op0, m_Add(m_Value(X), m_Value(Z))) && in visitSub()
2264 if (match(Op0, m_OneUse(m_Add(m_Value(X), m_ImmConstant(CX)))) && in visitSub()
2385 if (match(Op0, m_Add(m_Value(A), m_Value(B))) && in visitSub()
2393 if (match(Op0, m_Add(m_Value(A), m_Value(B))) && in visitSub()
[all …]
H A DInstCombineSelect.cpp908 if (match(B, m_Zero()) && match(TrueVal, m_Add(m_Specific(A), m_AllOnes()))) in canonicalizeSaturatedSubtract()
934 match(TrueVal, m_Add(m_Specific(B), m_SpecificInt(-*C))))) in canonicalizeSaturatedSubtract()
938 match(TrueVal, m_Add(m_Specific(A), m_SpecificInt(-*C))))) in canonicalizeSaturatedSubtract()
966 match(TVal, m_Add(m_Value(X), m_APInt(C))) && X == Cmp0 && in canonicalizeSaturatedAdd()
1422 m_Add(m_Specific(X), in canonicalizeClampLike()
1561 if (Pred == CmpInst::ICMP_ULT && match(X, m_Add(m_Value(), m_Constant()))) in tryToReuseConstantFromSelectInComparison()
2609 if (match(TrueVal, m_Add(m_Specific(RemRes), m_Value(Remainder))) && in foldSelectWithSRem()
2817 m_And(m_Add(m_Specific(X), m_APIntAllowUndef(BiasCst)), in foldRoundUpIntegerWithPow2Alignment()
2820 m_Add(m_And(m_Specific(X), m_APIntAllowUndef(HighBitMaskCst)), in foldRoundUpIntegerWithPow2Alignment()
3238 if (match(CtlzOp, m_Add(m_Specific(CommonAncestor), m_APInt(C)))) { in isSafeToRemoveBitCeilSelect()
[all …]
H A DInstCombineShifts.cpp217 auto MaskA = m_Add(m_Shl(m_One(), m_Value(MaskShAmt)), m_AllOnes()); in dropRedundantMaskingOfLeftShiftInput()
453 if (match(Op0, m_APInt(AC)) && match(Op1, m_Add(m_Value(A), m_APInt(AddC))) && in commonShiftTransforms()
901 m_Add(m_OneUse(m_ZExt(m_Value(X))), m_OneUse(m_ZExt(m_Value(Y)))))) in foldLShrOverflowBit()
1468 if (ShAmtC == 1 && match(Op0, m_Add(m_Value(X), m_Value(Y))) && in visitLShr()
H A DInstCombineCompares.cpp1300 match(Op0, m_Add(m_Add(m_Value(A), m_Value(B)), m_ConstantInt(CI2)))) in foldICmpWithConstant()
1846 if (match(And->getOperand(0), m_Add(m_Value(X), m_AllOnes())) && in foldICmpAndConstant()
2027 match(Or, m_c_Or(m_Add(m_Value(X), m_AllOnes()), m_Deferred(X)))) { in foldICmpOrConstant()
4037 m_Add(m_Shl(m_One(), m_Value()), m_AllOnes())), in foldICmpWithLowBitMaskedVal()
4592 if (match(Op0, m_OneUse(m_Add(m_c_Add(m_Specific(Op1), m_Value(X)), in foldICmpBinOp()
4599 if (match(Op1, m_OneUse(m_Add(m_c_Add(m_Specific(Op0), m_Value(X)), in foldICmpBinOp()
5006 auto LSubOne = m_Add(m_Specific(Op1), m_AllOnes()); in foldICmpBinOp()
5197 if (!match(Op0, m_OneUse(m_c_And(m_Add(m_Value(A), m_AllOnes()), in foldICmpPow2Test()
5216 match(Op0, m_OneUse(m_c_Xor(m_Add(m_Specific(Op1), m_AllOnes()), in foldICmpPow2Test()
6669 m_Add(m_Shl(m_One(), m_Value(Y)), in foldICmpWithHighBitMask()
[all …]
H A DInstCombineAndOrXor.cpp785 m_ICmp(Pred, m_Add(m_Value(X), m_Power2(I01)), m_Power2(I1))) && in foldSignedTruncationCheck()
1241 if (match(V1, m_Add(m_Value(X), m_APInt(Offset1)))) in foldAndOrOfICmpsUsingRanges()
1243 if (match(V2, m_Add(m_Value(X), m_APInt(Offset2)))) in foldAndOrOfICmpsUsingRanges()
1837 if (!match(Op0, m_OneUse(m_Add(m_Specific(Op1), m_Constant(C)))) && in narrowMaskedBinOp()
2055 if (!(match(Op0, m_OneUse(m_Add(m_Value(X), m_APInt(C2)))) && in canonicalizeLogicFirst()
2294 if (match(Op0, m_Add(m_Value(X), m_APInt(AddC)))) { in visitAnd()
2657 if (match(&I, m_c_And(m_OneUse(m_Add(m_ZExtOrSelf(m_Value(A)), m_AllOnes())), in visitAnd()
3122 m_Add(m_Specific(LHS0), m_SpecificIntAllowUndef(-*CInt))) || in foldAndOrOfICmpEqConstantAndICmp()
3822 if (match(&I, m_c_Or(m_Add(m_Shl(m_One(), m_Value(X)), m_AllOnes()), in visitOr()
4610 if (RHSC->isSignMask() && match(Op0, m_Add(m_Value(X), m_APInt(C)))) in visitXor()
H A DInstCombineMulDivRem.cpp166 if (match(Y, m_OneUse(m_Add(m_BinOp(Shift), m_One()))) && in foldMulShl1()
2061 if (match(Op0, m_Add(m_Value(X), m_One()))) { in visitURem()
H A DInstCombineCalls.cpp663 m_c_And(m_Not(m_Value(X)), m_Add(m_Deferred(X), m_AllOnes())))) { in foldCtpop()
1107 if (!match(Op0, m_OneUse(m_Add(m_Value(X), m_APInt(C0)))) || in moveAddAfterMinMax()
2910 match(A, m_Add(m_Value(A), m_ConstantInt(Offset))); in visitCallInst()
H A DInstructionCombining.cpp2313 if (match(V, m_Add(m_Value(A), m_Value(B)))) { in getFreelyInvertedImpl()
2618 m_OneUse(m_Add(m_Value(Idx1), m_Value(Idx2))))) { in visitGetElementPtrInst()
3288 if (match(Cond, m_Add(m_Value(Op0), m_ConstantInt(AddRHS)))) { in visitSwitchInst()
H A DInstCombineSimplifyDemanded.cpp514 if (match(I, m_Add(m_OneUse(m_SExt(m_Value(X))), in SimplifyDemandedUseBits()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DStraightLineStrengthReduce.cpp428 return (match(A, m_Add(m_Value(B), m_ConstantInt(C))) || in matchesAdd()
429 match(A, m_Add(m_ConstantInt(C), m_Value(B)))); in matchesAdd()
H A DNaryReassociate.cpp530 return match(V, m_Add(m_Value(Op1), m_Value(Op2))); in matchTernaryOp()
H A DGuardWidening.cpp841 if (match(Check.getBase(), m_Add(m_Value(OpLHS), m_ConstantInt(OpRHS)))) { in parseRangeChecks()
H A DSeparateConstOffsetFromGEP.cpp1187 if (match(I, m_Add(m_SExt(m_Value(LHS)), m_SExt(m_Value(RHS))))) { in reuniteExts()
H A DConstraintElimination.cpp564 if (match(V, m_Add(m_Value(Op0), m_ConstantInt(CI))) && CI->isNegative() && in decompose()
H A DLoopIdiomRecognize.cpp2631 if (!IVNext || !match(IVNext, m_Add(m_Specific(IVPN), m_One()))) { in detectShiftUntilZeroIdiom()
H A DJumpThreading.cpp831 match(CmpLHS, m_Add(m_Value(AddLHS), m_ConstantInt(AddConst)))) { in computeValueKnownInPredecessorsImpl()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DLoopUnroll.cpp254 if (match(&Inst, m_Add(m_Add(m_Value(X), m_APInt(C1)), m_APInt(C2)))) { in simplifyLoopAfterUnroll()
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/IR/
H A DPatternMatch.h982 inline BinaryOp_match<LHS, RHS, Instruction::Add> m_Add(const LHS &L, in m_Add() function
1278 return m_CombineOr(m_Add(L, R), m_DisjointOr(L, R)); in m_AddLike()
2108 auto AddExpr = m_Add(m_Value(AddLHS), m_Value(AddRHS)); in match()
/freebsd-14.2/contrib/llvm-project/llvm/lib/CodeGen/
H A DCodeGenPrepare.cpp1507 if (match(IVInc, m_Add(m_Instruction(LHS), m_Constant(Step))) || in matchIncrement()
1656 if (match(U, m_Add(m_Specific(A), m_Specific(B)))) { in matchUAddWithOverflowConstantEdgeCases()
1740 if (match(U, m_Add(m_Specific(A), m_APInt(AddC))) && in combineToUSubWithOverflow()
4142 match(ScaleReg, m_Add(m_Value(AddLHS), m_ConstantInt(CI))) && in matchScaledValue()
8166 (match(UI, m_Add(m_Specific(X), m_SpecificInt(-CmpC))) || in optimizeBranch()

12