Lines Matching refs:m_Specific
196 match(RHS, m_c_And(m_Specific(M), m_Value())) && in haveNoCommonBitsSetSpecialCases()
202 if (match(RHS, m_c_And(m_Not(m_Specific(LHS)), m_Value())) && in haveNoCommonBitsSetSpecialCases()
210 m_c_Xor(m_c_And(m_Specific(LHS), m_Value(Y)), m_Deferred(Y))) && in haveNoCommonBitsSetSpecialCases()
218 match(RHS, m_ZExtOrSExt(m_Not(m_Specific(Y)))) && in haveNoCommonBitsSetSpecialCases()
226 match(RHS, m_Not(m_c_Or(m_Specific(A), m_Specific(B)))) && in haveNoCommonBitsSetSpecialCases()
607 auto m_V = m_CombineOr(m_Specific(V), m_PtrToInt(m_Specific(V))); in isKnownNonZeroFromAssume()
645 m_CombineOr(m_Specific(V), m_PtrToIntSameSize(Q.DL, m_Specific(V))); in computeKnownBitsFromCmp()
778 if (match(Arg, m_Not(m_Specific(V))) && in computeKnownBitsFromContext()
1393 m_Br(m_c_ICmp(Pred, m_Specific(IncValue), m_APInt(RHSC)), in computeKnownBitsFromOperator()
1995 if (match(I->getOperand(0), m_Neg(m_Specific(I->getOperand(1)))) || in isKnownToBeAPowerOfTwo()
1996 match(I->getOperand(1), m_Neg(m_Specific(I->getOperand(0))))) in isKnownToBeAPowerOfTwo()
2006 m_c_And(m_Specific(I->getOperand(1)), m_Value())) && in isKnownToBeAPowerOfTwo()
2010 m_c_And(m_Specific(I->getOperand(0)), m_Value())) && in isKnownToBeAPowerOfTwo()
2192 if ((match(U, m_IDiv(m_Value(), m_Specific(V))) || in isKnownNonNullFromDominatingCondition()
2193 match(U, m_IRem(m_Value(), m_Specific(V)))) && in isKnownNonNullFromDominatingCondition()
2200 if (!match(U, m_c_ICmp(Pred, m_Specific(V), m_Value(RHS)))) in isKnownNonNullFromDominatingCondition()
2594 if (!match(I->getOperand(0), m_c_ICmp(Pred, m_Specific(Op), m_Value(X)))) in isKnownNonZeroFromOperator()
2625 m_Br(m_c_ICmp(Pred, m_Specific(U.get()), m_Value(X)), in isKnownNonZeroFromOperator()
2994 return match(OBO, m_Mul(m_Specific(V1), m_APInt(C))) && in isNonEqualMul()
3007 return match(OBO, m_Shl(m_Specific(V1), m_APInt(C))) && in isNonEqualShl()
6431 if (match(RHS, m_URem(m_Specific(LHS), m_Value())) || in computeOverflowForUnsignedSub()
6432 match(RHS, m_NUWSub(m_Specific(LHS), m_Value()))) in computeOverflowForUnsignedSub()
6464 if (match(RHS, m_SRem(m_Specific(LHS), m_Value())) || in computeOverflowForSignedSub()
6465 match(RHS, m_NSWSub(m_Specific(LHS), m_Value()))) in computeOverflowForSignedSub()
6757 (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) || in directlyImpliesPoison()
7386 m_CombineOr(m_OrdFMin(m_Specific(CmpLHS), m_APFloat(FC2)), in matchFastFloatClamp()
7387 m_UnordFMin(m_Specific(CmpLHS), m_APFloat(FC2)))) && in matchFastFloatClamp()
7396 m_CombineOr(m_OrdFMax(m_Specific(CmpLHS), m_APFloat(FC2)), in matchFastFloatClamp()
7397 m_UnordFMax(m_Specific(CmpLHS), m_APFloat(FC2)))) && in matchFastFloatClamp()
7422 if (match(FalseVal, m_SMin(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
7427 if (match(FalseVal, m_SMax(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
7432 if (match(FalseVal, m_UMin(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
7437 if (match(FalseVal, m_UMax(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
7510 if ((CmpLHS == A && CmpRHS == C) || (match(C, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
7511 match(A, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
7517 if ((CmpLHS == A && CmpRHS == D) || (match(D, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
7518 match(A, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
7524 if ((CmpLHS == B && CmpRHS == C) || (match(C, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
7525 match(B, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
7531 if ((CmpLHS == B && CmpRHS == D) || (match(D, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
7532 match(B, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
7628 if ((!NeedNSW && match(X, m_Sub(m_ZeroInt(), m_Specific(Y)))) || in isKnownNegation()
7629 (NeedNSW && match(X, m_NSWSub(m_ZeroInt(), m_Specific(Y))))) in isKnownNegation()
7633 if ((!NeedNSW && match(Y, m_Sub(m_ZeroInt(), m_Specific(X)))) || in isKnownNegation()
7634 (NeedNSW && match(Y, m_NSWSub(m_ZeroInt(), m_Specific(X))))) in isKnownNegation()
7640 match(Y, m_Sub(m_Specific(B), m_Specific(A))))) || in isKnownNegation()
7642 match(Y, m_NSWSub(m_Specific(B), m_Specific(A))))); in isKnownNegation()
7778 m_CombineOr(m_Specific(CmpLHS), m_SExt(m_Specific(CmpLHS))); in matchSelectPattern()
7786 if (match(CmpLHS, m_Neg(m_Specific(FalseVal)))) in matchSelectPattern()
7808 if (match(CmpLHS, m_Neg(m_Specific(TrueVal)))) in matchSelectPattern()
8171 if (match(RHS, m_NSWAdd(m_Specific(LHS), m_APInt(C)))) in isTruePredicate()
8178 if (match(RHS, m_c_Add(m_Specific(LHS), m_Value())) && in isTruePredicate()
8183 if (match(LHS, m_LShr(m_Specific(RHS), m_Value()))) in isTruePredicate()
8191 match(B, m_NUWAdd(m_Specific(X), m_APInt(CB)))) in isTruePredicate()
8196 match(B, m_Or(m_Specific(X), m_APInt(CB)))) { in isTruePredicate()
8348 match(L0, m_c_Add(m_Specific(L1), m_Specific(R1)))) in isImpliedCondICmps()
8563 if (match(BO.getOperand(0), m_Neg(m_Specific(BO.getOperand(1)))) || in setLimitsForBinOp()
8564 match(BO.getOperand(1), m_Neg(m_Specific(BO.getOperand(0))))) in setLimitsForBinOp()
8823 if (match(RHS, m_Neg(m_Specific(LHS))) && in getRangeForSelectPattern()