Lines Matching refs:m_Specific
279 match(RHS, m_c_And(m_Specific(M), m_Value()))) in haveNoCommonBitsSet()
282 match(LHS, m_c_And(m_Specific(M), m_Value()))) in haveNoCommonBitsSet()
287 if (match(RHS, m_c_And(m_Not(m_Specific(LHS)), m_Value())) || in haveNoCommonBitsSet()
288 match(LHS, m_c_And(m_Not(m_Specific(RHS)), m_Value()))) in haveNoCommonBitsSet()
295 m_c_Xor(m_c_And(m_Specific(LHS), m_Value(Y)), m_Deferred(Y))) || in haveNoCommonBitsSet()
296 match(LHS, m_c_Xor(m_c_And(m_Specific(RHS), m_Value(Y)), m_Deferred(Y)))) in haveNoCommonBitsSet()
303 match(RHS, m_Not(m_c_Or(m_Specific(A), m_Specific(B))))) in haveNoCommonBitsSet()
306 match(LHS, m_Not(m_c_Or(m_Specific(A), m_Specific(B))))) in haveNoCommonBitsSet()
664 auto m_V = m_CombineOr(m_Specific(V), m_PtrToInt(m_Specific(V))); in isKnownNonZeroFromAssume()
717 if (match(Arg, m_Not(m_Specific(V))) && in computeKnownBitsFromAssume()
743 auto m_V = m_CombineOr(m_Specific(V), m_PtrToInt(m_Specific(V))); in computeKnownBitsFromAssume()
1186 if (match(RHS, m_Neg(m_Specific(LHS))) && in computeKnownBitsFromOperator()
2150 if (match(X, m_Neg(m_Specific(Y))) || match(Y, m_Neg(m_Specific(X)))) in isKnownToBeAPowerOfTwo()
2161 if (match(X, m_And(m_Specific(Y), m_Value())) || in isKnownToBeAPowerOfTwo()
2162 match(X, m_And(m_Value(), m_Specific(Y)))) in isKnownToBeAPowerOfTwo()
2165 if (match(Y, m_And(m_Specific(X), m_Value())) || in isKnownToBeAPowerOfTwo()
2166 match(Y, m_And(m_Value(), m_Specific(X)))) in isKnownToBeAPowerOfTwo()
2328 if (!match(U, m_c_ICmp(Pred, m_Specific(V), m_Value(RHS)))) in isKnownNonNullFromDominatingCondition()
2852 return match(OBO, m_Mul(m_Specific(V1), m_APInt(C))) && in isNonEqualMul()
2865 return match(OBO, m_Shl(m_Specific(V1), m_APInt(C))) && in isNonEqualShl()
4993 if (match(RHS, m_URem(m_Specific(LHS), m_Value())) || in computeOverflowForUnsignedSub()
4994 match(RHS, m_NUWSub(m_Specific(LHS), m_Value()))) in computeOverflowForUnsignedSub()
5029 if (match(RHS, m_SRem(m_Specific(LHS), m_Value())) || in computeOverflowForSignedSub()
5030 match(RHS, m_NSWSub(m_Specific(LHS), m_Value()))) in computeOverflowForSignedSub()
5233 (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) || in directlyImpliesPoison()
5796 m_CombineOr(m_OrdFMin(m_Specific(CmpLHS), m_APFloat(FC2)), in matchFastFloatClamp()
5797 m_UnordFMin(m_Specific(CmpLHS), m_APFloat(FC2)))) && in matchFastFloatClamp()
5806 m_CombineOr(m_OrdFMax(m_Specific(CmpLHS), m_APFloat(FC2)), in matchFastFloatClamp()
5807 m_UnordFMax(m_Specific(CmpLHS), m_APFloat(FC2)))) && in matchFastFloatClamp()
5832 if (match(FalseVal, m_SMin(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
5837 if (match(FalseVal, m_SMax(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
5842 if (match(FalseVal, m_UMin(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
5847 if (match(FalseVal, m_UMax(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
5920 if ((CmpLHS == A && CmpRHS == C) || (match(C, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
5921 match(A, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
5927 if ((CmpLHS == A && CmpRHS == D) || (match(D, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
5928 match(A, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
5934 if ((CmpLHS == B && CmpRHS == C) || (match(C, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
5935 match(B, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
5941 if ((CmpLHS == B && CmpRHS == D) || (match(D, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
5942 match(B, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
6038 if ((!NeedNSW && match(X, m_Sub(m_ZeroInt(), m_Specific(Y)))) || in isKnownNegation()
6039 (NeedNSW && match(X, m_NSWSub(m_ZeroInt(), m_Specific(Y))))) in isKnownNegation()
6043 if ((!NeedNSW && match(Y, m_Sub(m_ZeroInt(), m_Specific(X)))) || in isKnownNegation()
6044 (NeedNSW && match(Y, m_NSWSub(m_ZeroInt(), m_Specific(X))))) in isKnownNegation()
6050 match(Y, m_Sub(m_Specific(B), m_Specific(A))))) || in isKnownNegation()
6052 match(Y, m_NSWSub(m_Specific(B), m_Specific(A))))); in isKnownNegation()
6179 m_CombineOr(m_Specific(CmpLHS), m_SExt(m_Specific(CmpLHS))); in matchSelectPattern()
6187 if (match(CmpLHS, m_Neg(m_Specific(FalseVal)))) in matchSelectPattern()
6209 if (match(CmpLHS, m_Neg(m_Specific(TrueVal)))) in matchSelectPattern()
6567 if (match(RHS, m_NSWAdd(m_Specific(LHS), m_APInt(C)))) in isTruePredicate()
6576 if (match(RHS, m_NUWAdd(m_Specific(LHS), m_APInt(C)))) in isTruePredicate()
6584 match(B, m_NUWAdd(m_Specific(X), m_APInt(CB)))) in isTruePredicate()
6589 match(B, m_Or(m_Specific(X), m_APInt(CB)))) { in isTruePredicate()
7164 if (match(RHS, m_Neg(m_Specific(LHS))) && in setLimitsForSelectPattern()