Lines Matching refs:m_Value
196 if (match(LHS, m_c_And(m_Not(m_Value(M)), m_Value())) && in haveNoCommonBitsSetSpecialCases()
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()
218 if (match(LHS, m_ZExtOrSExt(m_Value(Y))) && in haveNoCommonBitsSetSpecialCases()
226 if (match(LHS, m_And(m_Value(A), m_Value(B))) && in haveNoCommonBitsSetSpecialCases()
258 return match(U, m_ICmp(P, m_Value(), m_Zero())); in isOnlyUsedInZeroComparison()
265 return match(U, m_ICmp(P, m_Value(), m_Zero())) && ICmpInst::isEquality(P); in isOnlyUsedInZeroEqualityComparison()
615 if (!match(I->getArgOperand(0), m_c_ICmp(Pred, m_V, m_Value(RHS)))) in isKnownNonZeroFromAssume()
663 } else if (match(LHS, m_c_And(m_V, m_Value(Y))) && in computeKnownBitsFromCmp()
670 } else if (match(LHS, m_c_Or(m_V, m_Value(Y))) && match(RHS, m_APInt(C))) { in computeKnownBitsFromCmp()
718 if (match(LHS, m_c_And(m_V, m_Value())) || in computeKnownBitsFromCmp()
719 match(LHS, m_NUWSub(m_V, m_Value()))) in computeKnownBitsFromCmp()
726 if (match(LHS, m_c_Or(m_V, m_Value())) || in computeKnownBitsFromCmp()
727 match(LHS, m_c_NUWAdd(m_V, m_Value()))) { in computeKnownBitsFromCmp()
761 match(Cond, m_LogicalOp(m_Value(A), m_Value(B)))) { in computeKnownBitsFromCond()
766 if (Invert ? match(Cond, m_LogicalOr(m_Value(), m_Value())) in computeKnownBitsFromCond()
767 : match(Cond, m_LogicalAnd(m_Value(), m_Value()))) in computeKnownBitsFromCond()
916 if (HasKnownOne && match(I, m_c_And(m_Value(X), m_Neg(m_Deferred(X))))) { in getKnownBitsFromAndXorOr()
937 match(I, m_c_Xor(m_Value(X), m_Add(m_Deferred(X), m_AllOnes())))) { in getKnownBitsFromAndXorOr()
953 (match(I, m_c_BinOp(m_Value(X), m_c_Add(m_Deferred(X), m_Value(Y)))) || in getKnownBitsFromAndXorOr()
954 match(I, m_c_BinOp(m_Value(X), m_Sub(m_Deferred(X), m_Value(Y)))) || in getKnownBitsFromAndXorOr()
955 match(I, m_c_BinOp(m_Value(X), m_Sub(m_Value(Y), m_Deferred(X)))))) { in getKnownBitsFromAndXorOr()
1170 if (match(I, m_ElementWiseBitCast(m_Value(V))) && in computeKnownBitsFromOperator()
2243 if (match(I, m_Shl(m_One(), m_Value()))) in isKnownToBeAPowerOfTwo()
2248 if (match(I, m_LShr(m_SignMask(), m_Value()))) 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()
2320 if (match(I, m_Add(m_LShr(m_AllOnes(), m_Value()), m_One()))) 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()
2522 if (match(Curr, m_LogicalAnd(m_Value(), m_Value()))) { in isKnownNonNullFromDominatingCondition()
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()
3660 if (match(V1, m_PtrToIntSameSize(Q.DL, m_Value(A))) && in isKnownNonEqual()
3661 match(V2, m_PtrToIntSameSize(Q.DL, m_Value(B)))) in isKnownNonEqual()
3876 if (match(U->getOperand(0), m_ZExt(m_Value(X))) && in ComputeNumSignBitsImpl()
4413 const bool IsFabs = LookThroughSrc && match(LHS, m_FAbs(m_Value(Src))); in fcmpImpliesClass()
4711 const bool IsFabs = LookThroughSrc && match(LHS, m_FAbs(m_Value(Src))); in fcmpImpliesClass()
4774 if (match(Cond, m_FCmp(Pred, m_Value(LHS), m_APFloat(CRHS)))) { in computeKnownFPClassFromCond()
4780 m_Value(LHS), m_ConstantInt(ClassVal)))) { in computeKnownFPClassFromCond()
4783 } else if (match(Cond, m_ICmp(Pred, m_ElementWiseBitCast(m_Value(LHS)), in computeKnownFPClassFromCond()
5011 if (F && match(Cond, m_FCmp(Pred, m_Value(CmpLHS), m_Value(CmpRHS)))) { in computeKnownFPClass()
5022 m_Value(TestedValue), m_ConstantInt(ClassVal)))) { in computeKnownFPClass()
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()
7116 m_Intrinsic<Intrinsic::usub_with_overflow>(m_Value(), 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()
8267 if (match(V, m_Not(m_Value(NotV)))) in getNotValue()
8372 return (!NeedNSW && (match(X, m_Sub(m_Value(A), m_Value(B))) && in isKnownNegation()
8374 (NeedNSW && (match(X, m_NSWSub(m_Value(A), m_Value(B))) && in isKnownNegation()
8382 if (!match(X, m_ICmp(Pred1, m_Value(A), m_Value(B))) || in isKnownInversion()
8383 !match(Y, m_c_ICmp(Pred2, m_Specific(A), m_Value(C)))) in isKnownInversion()
8823 match(I, m_Select(m_OneUse(m_Value()), m_Value(), m_Value())); in canConvertToMinOrMaxIntrinsic()
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()
8942 if (match(LHS, m_NSWAddLike(m_Value(X), m_APInt(CLHS))) && 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()
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()
8983 if (match(LHS, m_NUWAddLike(m_Value(X), m_APInt(CLHS))) && in isTruePredicate()
9159 if ((!LHSIsTrue && match(LHS, m_LogicalOr(m_Value(ALHS), m_Value(ARHS)))) || in isImpliedCondAndOr()
9160 (LHSIsTrue && match(LHS, m_LogicalAnd(m_Value(ALHS), m_Value(ARHS))))) { in isImpliedCondAndOr()
9190 if (match(LHS, m_Not(m_Value(LHS)))) in isImpliedCondition()
9220 if (match(RHS, m_Not(m_Value(RHS)))) { in isImpliedCondition()
9240 if (match(RHS, m_LogicalOr(m_Value(RHS1), m_Value(RHS2)))) { in isImpliedCondition()
9250 if (match(RHS, m_LogicalAnd(m_Value(RHS1), m_Value(RHS2)))) { in isImpliedCondition()
9281 if (!match(PredBB->getTerminator(), m_Br(m_Value(PredCond), TrueBB, FalseBB))) in getDomPredecessorCondition()
9777 if (match(I, m_CombineOr(m_PtrToInt(m_Value(Op)), m_Trunc(m_Value(Op))))) { in addValueAffectedByCondition()
9811 if (match(V, m_Not(m_Value(X)))) in findValuesAffectedByCondition()
9815 if (match(V, m_LogicalOp(m_Value(A), m_Value(B)))) { in findValuesAffectedByCondition()
9825 } else if (match(V, m_ICmp(Pred, m_Value(A), m_Value(B)))) { in findValuesAffectedByCondition()
9833 if (match(A, m_BitwiseLogic(m_Value(X), m_ConstantInt())) || in findValuesAffectedByCondition()
9834 match(A, m_Shift(m_Value(X), m_ConstantInt()))) in findValuesAffectedByCondition()
9836 else if (match(A, m_And(m_Value(X), m_Value(Y))) || in findValuesAffectedByCondition()
9837 match(A, m_Or(m_Value(X), m_Value(Y)))) { in findValuesAffectedByCondition()
9846 if (match(A, m_AddLike(m_Value(X), m_ConstantInt()))) in findValuesAffectedByCondition()
9854 if (match(A, m_And(m_Value(X), m_Value(Y))) || in findValuesAffectedByCondition()
9855 match(A, m_Or(m_Value(X), m_Value(Y))) || in findValuesAffectedByCondition()
9856 match(A, m_NUWAdd(m_Value(X), m_Value(Y)))) { in findValuesAffectedByCondition()
9861 if (match(A, m_NUWSub(m_Value(X), m_Value()))) in findValuesAffectedByCondition()
9868 if (match(A, m_ElementWiseBitCast(m_Value(X)))) { in findValuesAffectedByCondition()
9875 } else if (match(Cond, m_FCmp(Pred, m_Value(A), m_Value(B)))) { in findValuesAffectedByCondition()
9881 if (match(A, m_FNeg(m_Value(A)))) in findValuesAffectedByCondition()
9883 if (match(A, m_FAbs(m_Value(A)))) in findValuesAffectedByCondition()
9886 } else if (match(V, m_Intrinsic<Intrinsic::is_fpclass>(m_Value(A), in findValuesAffectedByCondition()
9887 m_Value()))) { in findValuesAffectedByCondition()