Lines Matching defs:FVal
605 Value *TVal, Value *FVal,
609 match(Cmp->getOperand(1), m_Zero()) && match(FVal, m_One())))
653 Value *FVal,
662 std::swap(TVal, FVal);
669 !match(TVal, m_Zero()) || !match(FVal, m_Shl(m_Specific(X), m_APInt(C2))))
676 auto *FI = dyn_cast<Instruction>(FVal);
682 return FVal;
988 static Value *canonicalizeSaturatedAdd(ICmpInst *Cmp, Value *TVal, Value *FVal,
1003 if (match(FVal, m_AllOnes())) {
1004 std::swap(TVal, FVal);
1013 if (match(FVal, m_Add(m_Specific(Cmp0), m_One())) &&
1022 match(FVal, m_Add(m_Specific(Cmp0), m_APIntAllowPoison(C))) &&
1033 match(FVal, m_Add(m_Specific(Cmp0), m_APIntAllowPoison(C))) &&
1043 match(FVal, m_Add(m_Specific(Cmp0), m_APIntAllowPoison(C))) &&
1062 match(FVal, m_c_Add(m_Specific(X), m_Value(Y))) && Y == Cmp1) {
1071 if (match(FVal, m_c_Add(m_NotForbidPoison(m_Specific(X)), m_Specific(Y)))) {
1074 BinaryOperator *BO = cast<BinaryOperator>(FVal);
1082 match(FVal, m_c_Add(m_Specific(Cmp1), m_Specific(Y)))) {
1092 static Value *foldAbsDiff(ICmpInst *Cmp, Value *TVal, Value *FVal,
1095 auto *FI = dyn_cast<Instruction>(FVal);
1725 Value *FVal,
1737 match(TVal, m_Neg(m_Specific(X))) && match(FVal, m_AllOnes()))
1742 match(FVal, m_Neg(m_Specific(X))) && match(TVal, m_AllOnes()))
1758 Value *FVal = SI.getFalseValue();
1759 if (Pred == ICmpInst::ICMP_EQ && V == FVal) {
2320 Value *FVal = Sel.getFalseValue();
2329 if (TVal == A || TVal == B || FVal == A || FVal == B)
2339 !match(FVal, m_BitCast(m_Value(FSrc))))
2511 Value *FVal = Sel.getFalseValue();
2518 !match(FVal, m_APFloatAllowPoison(FC)) ||
2556 Value *FVal = Sel.getFalseValue();
2572 if (match(FVal, m_VecReverse(m_Value(Y))) &&
2573 (Cond->hasOneUse() || TVal->hasOneUse() || FVal->hasOneUse()))
2577 if ((Cond->hasOneUse() || TVal->hasOneUse()) && isSplatValue(FVal))
2578 return createSelReverse(C, X, FVal);
2581 else if (isSplatValue(TVal) && match(FVal, m_VecReverse(m_Value(Y))) &&
2582 (Cond->hasOneUse() || FVal->hasOneUse()))
2606 if (X == FVal) {
2611 if (Y == FVal) {
2617 if (match(FVal, m_OneUse(m_Shuffle(m_Value(X), m_Value(Y), m_Mask(Mask)))) &&
2619 cast<ShuffleVectorInst>(FVal)->isSelect()) {
3089 // InnerSel match the FVal and vice versa for LogicalOr, we can't match the