Lines Matching defs:FVal
587 Value *TVal, Value *FVal,
591 match(Cmp->getOperand(1), m_Zero()) && match(FVal, m_One())))
635 Value *FVal,
644 std::swap(TVal, FVal);
651 !match(TVal, m_Zero()) || !match(FVal, m_Shl(m_Specific(X), m_APInt(C2))))
658 auto *FI = dyn_cast<Instruction>(FVal);
664 return FVal;
970 static Value *canonicalizeSaturatedAdd(ICmpInst *Cmp, Value *TVal, Value *FVal,
983 match(FVal, m_AllOnes()) && match(Cmp1, m_APInt(CmpC)) && *CmpC == ~*C) {
992 if (match(FVal, m_AllOnes())) {
993 std::swap(TVal, FVal);
1011 match(FVal, m_c_Add(m_Specific(X), m_Value(Y))) && Y == Cmp1) {
1020 if (match(FVal, m_c_Add(m_Not(m_Specific(X)), m_Specific(Y)))) {
1023 BinaryOperator *BO = cast<BinaryOperator>(FVal);
1031 match(FVal, m_c_Add(m_Specific(Cmp1), m_Specific(Y)))) {
1041 static Value *foldAbsDiff(ICmpInst *Cmp, Value *TVal, Value *FVal,
1044 auto *FI = dyn_cast<Instruction>(FVal);
1645 Value *FVal,
1657 match(TVal, m_Neg(m_Specific(X))) && match(FVal, m_AllOnes()))
1662 match(FVal, m_Neg(m_Specific(X))) && match(TVal, m_AllOnes()))
1678 Value *FVal = SI.getFalseValue();
1679 if (Pred == ICmpInst::ICMP_EQ && V == FVal) {
2322 Value *FVal = Sel.getFalseValue();
2331 if (TVal == A || TVal == B || FVal == A || FVal == B)
2341 !match(FVal, m_BitCast(m_Value(FSrc))))
2513 Value *FVal = Sel.getFalseValue();
2520 !match(FVal, m_APFloatAllowPoison(FC)) ||
2558 Value *FVal = Sel.getFalseValue();
2574 if (match(FVal, m_VecReverse(m_Value(Y))) &&
2575 (Cond->hasOneUse() || TVal->hasOneUse() || FVal->hasOneUse()))
2579 if ((Cond->hasOneUse() || TVal->hasOneUse()) && isSplatValue(FVal))
2580 return createSelReverse(C, X, FVal);
2583 else if (isSplatValue(TVal) && match(FVal, m_VecReverse(m_Value(Y))) &&
2584 (Cond->hasOneUse() || FVal->hasOneUse()))
2608 if (X == FVal) {
2613 if (Y == FVal) {
2619 if (match(FVal, m_OneUse(m_Shuffle(m_Value(X), m_Value(Y), m_Mask(Mask)))) &&
2621 cast<ShuffleVectorInst>(FVal)->isSelect()) {
3091 // InnerSel match the FVal and vice versa for LogicalOr, we can't match the