Lines Matching refs:m_Value
114 m_ICmp(Pred2, m_Value(X), m_Value(Y)))) || in foldSelectWithBinaryOp()
659 if (match(Op1, m_Sub(m_Value(Y), m_Specific(Op0))) || in simplifyAddInst()
660 match(Op0, m_Sub(m_Value(Y), m_Specific(Op1)))) in simplifyAddInst()
672 match(Op0, m_Xor(m_Value(Y), m_SignMask()))) in simplifyAddInst()
830 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()
874 if (MaxRecurse && match(Op1, m_Sub(m_Value(X), m_Value(Y)))) // Z - (X - Y) in simplifySubInst()
885 if (MaxRecurse && match(Op0, m_Trunc(m_Value(X))) && in simplifySubInst()
886 match(Op1, m_Trunc(m_Value(Y)))) in simplifySubInst()
897 if (match(Op0, m_PtrToInt(m_Value(X))) && match(Op1, m_PtrToInt(m_Value(Y)))) in simplifySubInst()
951 m_Exact(m_IDiv(m_Value(X), m_Specific(Op1)))) || // (X / Y) * Y in simplifyMulInst()
952 match(Op1, m_Exact(m_IDiv(m_Value(X), m_Specific(Op0)))))) // Y * (X / Y) in simplifyMulInst()
1019 if (match(X, m_SRem(m_Value(), m_Specific(Y)))) in isDivZero()
1150 if (match(Op0, m_c_Mul(m_Value(X), m_Specific(Op1)))) { in simplifyDivRem()
1156 (IsSigned && match(X, m_SDiv(m_Value(), m_Specific(Op1)))) || in simplifyDivRem()
1157 (!IsSigned && match(X, m_UDiv(m_Value(), m_Specific(Op1))))) { in simplifyDivRem()
1210 ? match(Op0, m_NSWMul(m_Value(X), m_Specific(Op1))) in simplifyDiv()
1211 : match(Op0, m_NUWMul(m_Value(X), m_Specific(Op1))))) in simplifyDiv()
1230 match(Op0, m_NSWShl(m_Specific(Op1), m_Value()))) || in simplifyRem()
1232 match(Op0, m_NUWShl(m_Specific(Op1), m_Value()))))) in simplifyRem()
1273 if (match(Op1, m_SExt(m_Value(X))) && X->getType()->isIntOrIntVectorTy(1)) in simplifySRemInst()
1349 (match(Op1, m_SExt(m_Value(X))) && X->getType()->isIntOrIntVectorTy(1))) in simplifyShift()
1444 match(Op0, m_Exact(m_Shr(m_Value(X), m_Specific(Op1))))) in simplifyShlInst()
1478 if (Q.IIQ.UseInstrInfo && match(Op0, m_NUWShl(m_Value(X), m_Specific(Op1)))) in simplifyLShrInst()
1489 match(Op0, m_c_Or(m_NUWShl(m_Value(X), m_APInt(ShLAmt)), m_Value(Y))) && in simplifyLShrInst()
1522 if (Q.IIQ.UseInstrInfo && match(Op0, m_NSWShl(m_Value(X), m_Specific(Op1)))) in simplifyAShrInst()
1546 if (!match(ZeroICmp, m_ICmp(EqPred, m_Value(Y), m_Zero())) || in simplifyUnsignedRangeCheck()
1554 if (match(Y, m_Sub(m_Value(A), m_Value(B)))) { in simplifyUnsignedRangeCheck()
1598 if (match(UnsignedICmp, m_ICmp(UnsignedPred, m_Value(X), m_Specific(Y))) && in simplifyUnsignedRangeCheck()
1602 m_ICmp(UnsignedPred, m_Specific(Y), m_Value(X))) && in simplifyUnsignedRangeCheck()
1694 if (!match(Op0, m_ICmp(Pred0, m_Add(m_Value(V), m_APInt(C0)), m_APInt(C1)))) in simplifyAndOfICmpsWithAdd()
1697 if (!match(Op1, m_ICmp(Pred1, m_Specific(V), m_Value()))) in simplifyAndOfICmpsWithAdd()
1741 if (!match(Cmp0, m_ICmp(Pred0, m_Intrinsic<Intrinsic::ctpop>(m_Value(X)), in simplifyAndOrOfICmpsWithCtpop()
1785 if (!match(Op0, m_ICmp(Pred0, m_Add(m_Value(V), m_APInt(C0)), m_APInt(C1)))) in simplifyOrOfICmpsWithAdd()
1788 if (!match(Op1, m_ICmp(Pred1, m_Specific(V), m_Value()))) in simplifyOrOfICmpsWithAdd()
1944 if (!match(Op0, m_ICmp(Pred, m_Value(A), m_Value(B))) || in simplifyAndOrWithICmpEq()
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()
2016 if (match(Op0, m_c_Or(m_Specific(Op1), m_Value()))) in simplifyAndCommutative()
2021 if (match(Op0, m_c_Or(m_Value(X), m_Not(m_Value(Y)))) && in simplifyAndCommutative()
2045 if (match(Op0, m_Shl(m_Value(X), m_APInt(Shift1))) && in simplifyAndCommutative()
2101 if (match(Op0, m_Shl(m_Value(X), m_APInt(ShAmt))) && in simplifyAndInst()
2107 if (match(Op0, m_LShr(m_Value(X), m_APInt(ShAmt))) && in simplifyAndInst()
2116 match(Op0, m_Add(m_Value(Shift), m_AllOnes())) && in simplifyAndInst()
2146 if (match(Op1, m_Select(m_Specific(Op0), m_Value(), m_Zero()))) in simplifyAndInst()
2148 else if (match(Op0, m_Select(m_Specific(Op1), m_Value(), m_Zero()))) in simplifyAndInst()
2178 match(Op0, m_c_Or(m_CombineAnd(m_NUWShl(m_Value(X), m_APInt(ShAmt)), in simplifyAndInst()
2179 m_Value(XShifted)), in simplifyAndInst()
2180 m_Value(Y)))) { in simplifyAndInst()
2202 if (match(Op0, m_c_Xor(m_Value(X), in simplifyAndInst()
2204 m_c_Or(m_Deferred(X), m_Value(Y))))) && in simplifyAndInst()
2211 if (match(Op0, m_Xor(m_Value(A), m_APInt(C1))) && in simplifyAndInst()
2254 if (match(Y, m_Not(m_c_And(m_Specific(X), m_Value())))) in simplifyOrLogic()
2258 if (match(Y, m_c_And(m_Specific(X), m_Value()))) in simplifyOrLogic()
2265 if (match(X, m_Xor(m_Value(A), m_Value(B))) && in simplifyOrLogic()
2271 if (match(X, m_Not(m_Xor(m_Value(A), m_Value(B)))) && in simplifyOrLogic()
2279 if (match(X, m_c_And(m_Value(A), m_Not(m_Value(B)))) && in simplifyOrLogic()
2287 if (match(X, m_c_Xor(m_NotForbidUndef(m_Value(A)), m_Value(B))) && in simplifyOrLogic()
2295 if (match(X, m_c_Or(m_Not(m_Value(A)), m_Value(B))) && in simplifyOrLogic()
2305 m_c_And(m_CombineAnd(m_Value(NotA), m_NotForbidUndef(m_Value(A))), in simplifyOrLogic()
2306 m_Value(B))) && in simplifyOrLogic()
2313 m_CombineAnd(m_Value(NotA), m_NotForbidUndef(m_Value(A))), in simplifyOrLogic()
2314 m_Value(B))) && in simplifyOrLogic()
2321 if (match(X, m_CombineAnd(m_NotForbidUndef(m_Xor(m_Value(A), m_Value(B))), in simplifyOrLogic()
2322 m_Value(NotAB))) && in simplifyOrLogic()
2328 if (match(X, m_CombineAnd(m_NotForbidUndef(m_And(m_Value(A), m_Value(B))), in simplifyOrLogic()
2329 m_Value(NotAB))) && in simplifyOrLogic()
2371 if ((match(Op0, m_Shl(m_AllOnes(), m_Value(X))) && in simplifyOrInst()
2372 match(Op1, m_LShr(m_AllOnes(), m_Value(Y)))) || in simplifyOrInst()
2373 (match(Op1, m_Shl(m_AllOnes(), m_Value(X))) && in simplifyOrInst()
2374 match(Op0, m_LShr(m_AllOnes(), m_Value(Y))))) { in simplifyOrInst()
2389 m_Intrinsic<Intrinsic::fshl>(m_Value(X), m_Value(), m_Value(Y))) && in simplifyOrInst()
2393 m_Intrinsic<Intrinsic::fshl>(m_Value(X), m_Value(), m_Value(Y))) && in simplifyOrInst()
2400 m_Intrinsic<Intrinsic::fshr>(m_Value(), m_Value(X), m_Value(Y))) && in simplifyOrInst()
2404 m_Intrinsic<Intrinsic::fshr>(m_Value(), m_Value(X), m_Value(Y))) && in simplifyOrInst()
2439 if (match(Op1, m_Select(m_Specific(Op0), m_One(), m_Value()))) in simplifyOrInst()
2441 else if (match(Op0, m_Select(m_Specific(Op1), m_One(), m_Value()))) in simplifyOrInst()
2455 if (match(Op0, m_And(m_Value(A), m_APInt(C1))) && in simplifyOrInst()
2456 match(Op1, m_And(m_Value(B), m_APInt(C2)))) { in simplifyOrInst()
2464 match(A, m_c_Add(m_Specific(B), m_Value(N)))) { in simplifyOrInst()
2470 if (C1->isMask() && match(B, m_c_Add(m_Specific(A), m_Value(N)))) { in simplifyOrInst()
2485 if (match(Op0, m_Xor(m_Value(A), m_APInt(C1))) && in simplifyOrInst()
2550 if (match(X, m_c_And(m_Not(m_Value(A)), m_Value(B))) && in simplifyXorInst()
2559 m_c_Or(m_CombineAnd(m_NotForbidUndef(m_Value(A)), m_Value(NotA)), in simplifyXorInst()
2560 m_Value(B))) && in simplifyXorInst()
2880 if (match(V, m_Not(m_Value(X)))) in simplifyICmpOfBools()
3041 if (match(LHS, m_BitCast(m_UIToFP(m_Value(X))))) { in simplifyICmpWithConstant()
3072 ((match(LHS, m_NUWMul(m_Value(), m_APIntAllowUndef(MulC))) && in simplifyICmpWithConstant()
3074 (match(LHS, m_NSWMul(m_Value(), m_APIntAllowUndef(MulC))) && in simplifyICmpWithConstant()
3089 if (match(LBO, m_c_Or(m_Value(Y), m_Specific(RHS)))) { in simplifyICmpWithBinOpOnLHS()
3106 if (match(LBO, m_c_And(m_Value(), m_Specific(RHS)))) { in simplifyICmpWithBinOpOnLHS()
3114 if (match(LBO, m_URem(m_Value(), m_Specific(RHS)))) { in simplifyICmpWithBinOpOnLHS()
3144 if (match(LBO, m_URem(m_Specific(RHS), m_Value()))) { in simplifyICmpWithBinOpOnLHS()
3155 if (match(LBO, m_LShr(m_Specific(RHS), m_Value())) || in simplifyICmpWithBinOpOnLHS()
3156 match(LBO, m_UDiv(m_Specific(RHS), m_Value()))) { in simplifyICmpWithBinOpOnLHS()
3245 if (!match(RHS, m_NSWAdd(m_Value(), m_Value()))) in trySimplifyICmpWithAdds()
3247 if (!match(RHS, m_NSWAdd(m_Value(), m_Value()))) in trySimplifyICmpWithAdds()
3252 if (!match(LHS, m_c_Add(m_Value(X), m_APInt(C1))) || in trySimplifyICmpWithAdds()
3347 if (!CmpInst::isUnsigned(Pred) && match(LHS, m_Neg(m_ZExt(m_Value())))) { in simplifyICmpWithBinOp()
3369 if (match(LHS, m_Shl(m_Power2(), m_Value())) && in simplifyICmpWithBinOp()
3381 match(LHS, m_Shl(m_One(), m_Value())) || !C->isZero()) { in simplifyICmpWithBinOp()
3392 if (match(LHS, m_Shl(m_Power2(), m_Value())) && match(RHS, m_SignMask())) { in simplifyICmpWithBinOp()
3506 if (match(LHS, m_SMax(m_Value(A), m_Value(B))) && (A == RHS || B == RHS)) { in simplifyICmpWithMinMax()
3512 } else if (match(RHS, m_SMax(m_Value(A), m_Value(B))) && in simplifyICmpWithMinMax()
3519 } else if (match(LHS, m_SMin(m_Value(A), m_Value(B))) && in simplifyICmpWithMinMax()
3527 } else if (match(RHS, m_SMin(m_Value(A), m_Value(B))) && in simplifyICmpWithMinMax()
3580 if (match(LHS, m_UMax(m_Value(A), m_Value(B))) && (A == RHS || B == RHS)) { in simplifyICmpWithMinMax()
3586 } else if (match(RHS, m_UMax(m_Value(A), m_Value(B))) && in simplifyICmpWithMinMax()
3593 } else if (match(LHS, m_UMin(m_Value(A), m_Value(B))) && in simplifyICmpWithMinMax()
3601 } else if (match(RHS, m_UMin(m_Value(A), m_Value(B))) && in simplifyICmpWithMinMax()
3652 if (match(LHS, m_UMin(m_Value(), m_Value())) || in simplifyICmpWithMinMax()
3653 match(LHS, m_SMin(m_Value(), m_Value()))) { in simplifyICmpWithMinMax()
3659 if (match(LHS, m_SMax(m_Value(A), m_Value(B))) && in simplifyICmpWithMinMax()
3660 match(RHS, m_SMin(m_Value(C), m_Value(D))) && in simplifyICmpWithMinMax()
3668 } else if (match(LHS, m_UMax(m_Value(A), m_Value(B))) && in simplifyICmpWithMinMax()
3669 match(RHS, m_UMin(m_Value(C), m_Value(D))) && in simplifyICmpWithMinMax()
4189 if ((match(LHS, m_Intrinsic<Intrinsic::minnum>(m_Value(), m_APFloat(C2))) && in simplifyFCmpInst()
4191 (match(LHS, m_Intrinsic<Intrinsic::maxnum>(m_Value(), m_APFloat(C2))) && in simplifyFCmpInst()
4619 if (!match(CondVal, m_ICmp(Pred, m_Value(CmpLHS), m_Value(CmpRHS)))) in simplifySelectWithICmpCond()
4651 if (match(CmpLHS, m_And(m_Value(X), m_APInt(Y)))) in simplifySelectWithICmpCond()
4658 auto isFsh = m_CombineOr(m_FShl(m_Value(X), m_Value(), m_Value(ShAmt)), in simplifySelectWithICmpCond()
4659 m_FShr(m_Value(), m_Value(X), m_Value(ShAmt))); in simplifySelectWithICmpCond()
4671 m_CombineOr(m_FShl(m_Value(X), m_Deferred(X), m_Value(ShAmt)), in simplifySelectWithICmpCond()
4672 m_FShr(m_Value(X), m_Deferred(X), m_Value(ShAmt))); in simplifySelectWithICmpCond()
4709 if (match(CmpLHS, m_Or(m_Value(X), m_Value(Y))) && in simplifySelectWithICmpCond()
4721 if (match(CmpLHS, m_And(m_Value(X), m_Value(Y))) && in simplifySelectWithICmpCond()
4814 if (match(Cond, m_c_LogicalOr(m_Specific(FalseVal), m_Value())) && in simplifySelectInst()
4821 if (match(Cond, m_Not(m_c_LogicalOr(m_Specific(TrueVal), m_Value())))) in simplifySelectInst()
4824 if (match(TrueVal, m_Not(m_c_LogicalOr(m_Specific(Cond), m_Value())))) in simplifySelectInst()
4828 if (match(Cond, m_c_LogicalOr(m_Specific(TrueVal), m_Value()))) in simplifySelectInst()
4831 if (match(TrueVal, m_c_LogicalOr(m_Specific(Cond), m_Value()))) in simplifySelectInst()
4836 if (match(Cond, m_c_LogicalOr(m_Value(X), m_Not(m_Value(Y)))) && in simplifySelectInst()
4839 if (match(TrueVal, m_c_LogicalOr(m_Value(X), m_Not(m_Value(Y)))) && in simplifySelectInst()
4847 if (match(Cond, m_Not(m_c_LogicalAnd(m_Specific(FalseVal), m_Value())))) in simplifySelectInst()
4850 if (match(FalseVal, m_Not(m_c_LogicalAnd(m_Specific(Cond), m_Value())))) in simplifySelectInst()
4854 if (match(Cond, m_c_LogicalAnd(m_Specific(FalseVal), m_Value()))) in simplifySelectInst()
4857 if (match(FalseVal, m_c_LogicalAnd(m_Specific(Cond), m_Value()))) in simplifySelectInst()
5019 m_Sub(m_PtrToInt(m_Value(P)), m_PtrToInt(m_Specific(Ptr)))) && in simplifyGEPInst()
5025 if (match(Indices[0], m_AShr(m_Sub(m_PtrToInt(m_Value(P)), in simplifyGEPInst()
5033 if (match(Indices[0], m_SDiv(m_Sub(m_PtrToInt(m_Value(P)), in simplifyGEPInst()
5440 if (!Scalable && match(Op0, m_InsertElt(m_Value(), m_Constant(C), in simplifyShuffleVectorInst()
5517 if (match(Op, m_FNeg(m_Value(X)))) in simplifyFNegInst()
5670 (match(Op0, m_FSub(m_Value(X), m_Specific(Op1))) || in simplifyFAddInst()
5671 match(Op1, m_FSub(m_Value(X), m_Specific(Op0))))) in simplifyFAddInst()
5708 if (match(Op0, m_NegZeroFP()) && match(Op1, m_FNeg(m_Value(X)))) in simplifyFSubInst()
5715 (match(Op1, m_FSub(m_AnyZeroFP(), m_Value(X))) || in simplifyFSubInst()
5716 match(Op1, m_FNeg(m_Value(X))))) in simplifyFSubInst()
5739 (match(Op1, m_FSub(m_Specific(Op0), m_Value(X))) || in simplifyFSubInst()
5740 match(Op0, m_c_FAdd(m_Specific(Op1), m_Value(X))))) in simplifyFSubInst()
5781 if (Op0 == Op1 && match(Op0, m_Sqrt(m_Value(X))) && FMF.allowReassoc() && in simplifyFMAFMul()
5867 if (FMF.allowReassoc() && match(Op0, m_c_FMul(m_Value(X), m_Specific(Op1)))) in simplifyFDivInst()
6218 match(Op0, m_SIToFP(m_Value())) || match(Op0, m_UIToFP(m_Value()))) in simplifyUnaryIntrinsic()
6230 if (match(Op0, m_BSwap(m_Value(X)))) in simplifyUnaryIntrinsic()
6235 if (match(Op0, m_BitReverse(m_Value(X)))) in simplifyUnaryIntrinsic()
6254 match(Op0, m_Intrinsic<Intrinsic::log>(m_Value(X)))) in simplifyUnaryIntrinsic()
6260 match(Op0, m_Intrinsic<Intrinsic::log2>(m_Value(X)))) in simplifyUnaryIntrinsic()
6266 match(Op0, m_Intrinsic<Intrinsic::log10>(m_Value(X)))) in simplifyUnaryIntrinsic()
6272 match(Op0, m_Intrinsic<Intrinsic::exp>(m_Value(X)))) in simplifyUnaryIntrinsic()
6278 (match(Op0, m_Intrinsic<Intrinsic::exp2>(m_Value(X))) || in simplifyUnaryIntrinsic()
6280 m_Intrinsic<Intrinsic::pow>(m_SpecificFP(2.0), m_Value(X))))) in simplifyUnaryIntrinsic()
6287 (match(Op0, m_Intrinsic<Intrinsic::exp10>(m_Value(X))) || in simplifyUnaryIntrinsic()
6289 m_Intrinsic<Intrinsic::pow>(m_SpecificFP(10.0), m_Value(X))))) in simplifyUnaryIntrinsic()
6294 if (match(Op0, m_VecReverse(m_Value(X)))) in simplifyUnaryIntrinsic()
6302 if (match(Op0, m_ExtractValue<0>(m_Value(X)))) { in simplifyUnaryIntrinsic()
6303 if (match(X, m_Intrinsic<Intrinsic::frexp>(m_Value()))) in simplifyUnaryIntrinsic()
6321 if (!match(Op0, m_MaxOrMin(m_Value(X), m_Value(Y)))) in foldMinMaxSharedOp()
6397 if (match(Op0, m_Intrinsic<Intrinsic::abs>(m_Value(), m_Value()))) in simplifyBinaryIntrinsic()
6403 if (match(Op0, m_Shl(m_One(), m_Value(X)))) in simplifyBinaryIntrinsic()
6409 if (match(Op0, m_LShr(m_Negative(), m_Value(X)))) in simplifyBinaryIntrinsic()
6411 if (match(Op0, m_AShr(m_Negative(), m_Value()))) in simplifyBinaryIntrinsic()
6679 if (match(Op0, m_Intrinsic<Intrinsic::vector_insert>(m_Value(), m_Value(X), in simplifyBinaryIntrinsic()
6820 m_Intrinsic<Intrinsic::vector_extract>(m_Value(X), m_Zero())) && in simplifyIntrinsic()