Lines Matching defs:isKnownNonZero
281 static bool isKnownNonZero(const Value *V, const APInt &DemandedElts,
298 (Known.isNonZero() || isKnownNonZero(V, SQ, Depth));
544 // example Pred=EQ, RHS=isKnownNonZero. cmpExcludesZero is called in loops
888 // To limit compile-time impact, only query isKnownNonZero() if we know at
893 isKnownNonZero(I->getOperand(1), DemandedElts, Q, Depth + 1));
2275 (OrZero || isKnownNonZero(I, Q, Depth));
2285 return OrZero || isKnownNonZero(I->getOperand(0), Q, Depth);
2408 if (isKnownNonZero(GEP->getPointerOperand(), Q, Depth))
2439 // We post-increment Depth here because while isKnownNonZero increments it
2447 if (isKnownNonZero(GTI.getOperand(), Q, Depth))
2611 return isKnownNonZero(Y, DemandedElts, Q, Depth) ||
2612 isKnownNonZero(X, DemandedElts, Q, Depth);
2620 if (isKnownNonZero(Y, DemandedElts, Q, Depth) ||
2621 isKnownNonZero(X, DemandedElts, Q, Depth))
2660 if (C->isNullValue() && isKnownNonZero(Y, DemandedElts, Q, Depth))
2672 return isKnownNonZero(X, DemandedElts, Q, Depth) &&
2673 isKnownNonZero(Y, DemandedElts, Q, Depth);
2679 return isKnownNonZero(Y, DemandedElts, Q, Depth);
2683 return XKnown.isNonZero() || isKnownNonZero(X, DemandedElts, Q, Depth);
2739 isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth))
2765 // %NonZero can have 2 non-zero i16 elements, but isKnownNonZero on a
2788 return isKnownNonZero(I->getOperand(0), Q, Depth);
2797 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
2805 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
2811 return isKnownNonZero(TI->getOperand(0), DemandedElts, Q, Depth);
2827 return isKnownNonZero(I->getOperand(1), DemandedElts, Q, Depth) ||
2828 isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
2832 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
2838 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
2854 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
2870 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
2911 // First check if the arm is non-zero using `isKnownNonZero`. If that fails,
2919 if (isKnownNonZero(Op, DemandedElts, Q, Depth))
2969 return isKnownNonZero(U.get(), DemandedElts, RecQ, NewDepth);
2991 return (SkipElt || isKnownNonZero(Elt, Q, Depth)) &&
2993 isKnownNonZero(Vec, DemandedVecElts, Q, Depth));
3005 return isKnownNonZero(Vec, DemandedVecElts, Q, Depth);
3020 isKnownNonZero(Shuf->getOperand(1), DemandedRHS, Q, Depth)) &&
3022 isKnownNonZero(Shuf->getOperand(0), DemandedLHS, Q, Depth));
3025 return isKnownNonZero(I->getOperand(0), Q, Depth) &&
3042 // handled in isKnownNonZero.
3075 return isKnownNonZero(RP, Q, Depth);
3085 if (RV->getType() == I->getType() && isKnownNonZero(RV, Q, Depth))
3097 return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth);
3109 return isKnownNonZero(II->getArgOperand(0), DemandedElts.reverseBits(),
3117 return isKnownNonZero(II->getArgOperand(0), Q, Depth);
3125 return isKnownNonZero(II->getArgOperand(1), DemandedElts, Q, Depth) ||
3126 isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth);
3134 isKnownNonZero(Op, DemandedElts, Q, Depth);
3137 // Avoid re-computing isKnownNonZero.
3169 return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth) &&
3170 isKnownNonZero(II->getArgOperand(1), DemandedElts, Q, Depth);
3181 return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth);
3186 return isKnownNonZero(I->getOperand(0), Q, Depth);
3208 bool isKnownNonZero(const Value *V, const APInt &DemandedElts,
3249 return isKnownNonZero(CPA->getPointer(), DemandedElts, Q, Depth);
3303 bool llvm::isKnownNonZero(const Value *V, const SimplifyQuery &Q,
3308 return ::isKnownNonZero(V, DemandedElts, Q, Depth);
3456 return isKnownNonZero(Op, DemandedElts, Q, Depth + 1);
3471 isKnownNonZero(V1, DemandedElts, Q, Depth + 1);
3485 !C->isZero() && isKnownNonZero(V1, DemandedElts, Q, Depth + 1);
8058 static bool isKnownNonZero(const Value *V) {
8449 if (!FMF.noSignedZeros() && !isKnownNonZero(CmpLHS) &&
8450 !isKnownNonZero(CmpRHS))
8585 (!FMF.noSignedZeros() && !isKnownNonZero(CmpLHS) &&
8586 !isKnownNonZero(CmpRHS)))