Lines Matching refs:m_Specific
197 match(RHS, m_c_And(m_Specific(M), m_Value())) && in haveNoCommonBitsSetSpecialCases()
203 if (match(RHS, m_c_And(m_Not(m_Specific(LHS)), m_Value())) && in haveNoCommonBitsSetSpecialCases()
211 m_c_Xor(m_c_And(m_Specific(LHS), m_Value(Y)), m_Deferred(Y))) && in haveNoCommonBitsSetSpecialCases()
219 match(RHS, m_ZExtOrSExt(m_Not(m_Specific(Y)))) && in haveNoCommonBitsSetSpecialCases()
227 match(RHS, m_Not(m_c_Or(m_Specific(A), m_Specific(B)))) && in haveNoCommonBitsSetSpecialCases()
614 auto m_V = m_CombineOr(m_Specific(V), m_PtrToInt(m_Specific(V))); in isKnownNonZeroFromAssume()
652 m_CombineOr(m_Specific(V), m_PtrToIntSameSize(Q.DL, m_Specific(V))); in computeKnownBitsFromCmp()
746 if (match(LHS, m_Trunc(m_Specific(V)))) { in computeKnownBitsFromICmpCond()
846 if (match(Arg, m_Not(m_Specific(V))) && in computeKnownBitsFromContext()
1569 m_Br(m_c_ICmp(Pred, m_Specific(IncValue), m_APInt(RHSC)), in computeKnownBitsFromOperator()
2283 if (match(I->getOperand(0), m_Neg(m_Specific(I->getOperand(1)))) || in isKnownToBeAPowerOfTwo()
2284 match(I->getOperand(1), m_Neg(m_Specific(I->getOperand(0))))) in isKnownToBeAPowerOfTwo()
2294 m_c_And(m_Specific(I->getOperand(1)), m_Value())) && in isKnownToBeAPowerOfTwo()
2298 m_c_And(m_Specific(I->getOperand(0)), m_Value())) && in isKnownToBeAPowerOfTwo()
2488 if ((match(U, m_IDiv(m_Value(), m_Specific(V))) || in isKnownNonNullFromDominatingCondition()
2489 match(U, m_IRem(m_Value(), m_Specific(V)))) && in isKnownNonNullFromDominatingCondition()
2496 if (!match(U, m_c_ICmp(Pred, m_Specific(V), m_Value(RHS)))) in isKnownNonNullFromDominatingCondition()
2598 return (match(Op0, m_ZExtOrSExt(m_ICmp(Pred, m_Specific(Op1), m_Zero()))) || in matchOpWithOpEqZero()
2599 match(Op1, m_ZExtOrSExt(m_ICmp(Pred, m_Specific(Op0), m_Zero())))) && in matchOpWithOpEqZero()
2926 if (!match(I->getOperand(0), m_c_ICmp(Pred, m_Specific(Op), m_Value(X)))) in isKnownNonZeroFromOperator()
2957 m_Br(m_c_ICmp(Pred, m_Specific(U.get()), m_Value(X)), in isKnownNonZeroFromOperator()
3338 if (match(Op2, m_c_BinOp(m_Specific(Op1->getOperand(0)), m_Value(Other)))) in getInvertibleOperands()
3340 if (match(Op2, m_c_BinOp(m_Specific(Op1->getOperand(1)), m_Value(Other)))) in getInvertibleOperands()
3468 return match(OBO, m_Mul(m_Specific(V1), m_APInt(C))) && in isNonEqualMul()
3483 return match(OBO, m_Shl(m_Specific(V1), m_APInt(C))) && in isNonEqualShl()
7108 if (match(RHS, m_URem(m_Specific(LHS), m_Value())) || in computeOverflowForUnsignedSub()
7109 match(RHS, m_NUWSub(m_Specific(LHS), m_Value()))) in computeOverflowForUnsignedSub()
7141 if (match(RHS, m_SRem(m_Specific(LHS), m_Value())) || in computeOverflowForSignedSub()
7142 match(RHS, m_NSWSub(m_Specific(LHS), m_Value()))) in computeOverflowForSignedSub()
7434 (match(ValAssumedPoison, m_ExtractValue(m_Specific(II))) || in directlyImpliesPoison()
8109 m_CombineOr(m_OrdFMin(m_Specific(CmpLHS), m_APFloat(FC2)), in matchFastFloatClamp()
8110 m_UnordFMin(m_Specific(CmpLHS), m_APFloat(FC2)))) && in matchFastFloatClamp()
8119 m_CombineOr(m_OrdFMax(m_Specific(CmpLHS), m_APFloat(FC2)), in matchFastFloatClamp()
8120 m_UnordFMax(m_Specific(CmpLHS), m_APFloat(FC2)))) && in matchFastFloatClamp()
8145 if (match(FalseVal, m_SMin(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
8150 if (match(FalseVal, m_SMax(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
8155 if (match(FalseVal, m_UMin(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
8160 if (match(FalseVal, m_UMax(m_Specific(CmpLHS), m_APInt(C2))) && in matchClamp()
8233 if ((CmpLHS == A && CmpRHS == C) || (match(C, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
8234 match(A, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
8240 if ((CmpLHS == A && CmpRHS == D) || (match(D, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
8241 match(A, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
8247 if ((CmpLHS == B && CmpRHS == C) || (match(C, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
8248 match(B, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
8254 if ((CmpLHS == B && CmpRHS == D) || (match(D, m_Not(m_Specific(CmpLHS))) && in matchMinMaxOfMinMax()
8255 match(B, m_Not(m_Specific(CmpRHS))))) in matchMinMaxOfMinMax()
8352 if (!match(X, m_Neg(m_Specific(Y)))) in isKnownNegation()
8373 match(Y, m_Sub(m_Specific(B), m_Specific(A))))) || in isKnownNegation()
8375 match(Y, m_NSWSub(m_Specific(B), m_Specific(A))))); in isKnownNegation()
8383 !match(Y, m_c_ICmp(Pred2, m_Specific(A), m_Value(C)))) in isKnownInversion()
8533 m_CombineOr(m_Specific(CmpLHS), m_SExt(m_Specific(CmpLHS))); in matchSelectPattern()
8541 if (match(CmpLHS, m_Neg(m_Specific(FalseVal)))) in matchSelectPattern()
8563 if (match(CmpLHS, m_Neg(m_Specific(TrueVal)))) in matchSelectPattern()
8927 if (match(RHS, m_NSWAdd(m_Specific(LHS), m_APInt(C))) || in isTruePredicate()
8928 match(RHS, m_Or(m_Specific(LHS), m_APInt(C)))) in isTruePredicate()
8932 if (match(RHS, m_c_SMax(m_Specific(LHS), m_Value()))) in isTruePredicate()
8936 if (match(LHS, m_c_SMin(m_Specific(RHS), m_Value()))) in isTruePredicate()
8943 match(RHS, m_NSWAddLike(m_Specific(X), m_APInt(CRHS)))) in isTruePredicate()
8951 if (match(RHS, m_c_Add(m_Specific(LHS), m_Value())) && in isTruePredicate()
8956 if (match(RHS, m_c_Or(m_Specific(LHS), m_Value()))) in isTruePredicate()
8960 if (match(RHS, m_c_UMax(m_Specific(LHS), m_Value()))) in isTruePredicate()
8964 if (match(LHS, m_LShr(m_Specific(RHS), m_Value()))) in isTruePredicate()
8969 if (match(LHS, m_UDiv(m_Specific(RHS), m_APInt(C))) && C->ugt(1)) in isTruePredicate()
8973 if (match(LHS, m_c_And(m_Specific(RHS), m_Value()))) in isTruePredicate()
8977 if (match(LHS, m_c_UMin(m_Specific(RHS), m_Value()))) in isTruePredicate()
8984 match(RHS, m_NUWAddLike(m_Specific(X), m_APInt(CRHS)))) in isTruePredicate()
9130 match(L0, m_c_Add(m_Specific(L1), m_Specific(R1)))) in isImpliedCondICmps()
9358 if (match(BO.getOperand(0), m_Neg(m_Specific(BO.getOperand(1)))) || in setLimitsForBinOp()
9359 match(BO.getOperand(1), m_Neg(m_Specific(BO.getOperand(0))))) in setLimitsForBinOp()
9634 if (match(RHS, m_Neg(m_Specific(LHS))) && in getRangeForSelectPattern()