Lines Matching defs:isKnownNonZero

289 static bool isKnownNonZero(const Value *V, const APInt &DemandedElts,
306          (Known.isNonZero() || isKnownNonZero(V, SQ, Depth));
561 // example Pred=EQ, RHS=isKnownNonZero. cmpExcludesZero is called in loops
943   // To limit compile-time impact, only query isKnownNonZero() if we know at
948        isKnownNonZero(I->getOperand(1), DemandedElts, Q, Depth + 1));
2467            (OrZero || isKnownNonZero(I, Q, Depth));
2477       return OrZero || isKnownNonZero(I->getOperand(0), Q, Depth);
2600   if (isKnownNonZero(GEP->getPointerOperand(), Q, Depth))
2631     // We post-increment Depth here because while isKnownNonZero increments it
2639     if (isKnownNonZero(GTI.getOperand(), Q, Depth))
2805     return isKnownNonZero(Y, DemandedElts, Q, Depth) ||
2806            isKnownNonZero(X, DemandedElts, Q, Depth);
2814     if (isKnownNonZero(Y, DemandedElts, Q, Depth) ||
2815         isKnownNonZero(X, DemandedElts, Q, Depth))
2853     if (C->isNullValue() && isKnownNonZero(Y, DemandedElts, Q, Depth))
2865     return isKnownNonZero(X, DemandedElts, Q, Depth) &&
2866            isKnownNonZero(Y, DemandedElts, Q, Depth);
2872     return isKnownNonZero(Y, DemandedElts, Q, Depth);
2876     return XKnown.isNonZero() || isKnownNonZero(X, DemandedElts, Q, Depth);
2932       isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth))
2958     //    %NonZero can have 2 non-zero i16 elements, but isKnownNonZero on a
2981       return isKnownNonZero(I->getOperand(0), Q, Depth);
2990       return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
2998       return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
3004         return isKnownNonZero(TI->getOperand(0), DemandedElts, Q, Depth);
3020     return isKnownNonZero(I->getOperand(1), DemandedElts, Q, Depth) ||
3021            isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
3025     return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
3031       return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
3047       return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
3063       return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
3104     // First check if the arm is non-zero using `isKnownNonZero`. If that fails,
3112       if (isKnownNonZero(Op, DemandedElts, Q, Depth))
3162       return isKnownNonZero(U.get(), DemandedElts, RecQ, NewDepth);
3184     return (SkipElt || isKnownNonZero(Elt, Q, Depth)) &&
3186             isKnownNonZero(Vec, DemandedVecElts, Q, Depth));
3198         return isKnownNonZero(Vec, DemandedVecElts, Q, Depth);
3213             isKnownNonZero(Shuf->getOperand(1), DemandedRHS, Q, Depth)) &&
3215             isKnownNonZero(Shuf->getOperand(0), DemandedLHS, Q, Depth));
3218     return isKnownNonZero(I->getOperand(0), Q, Depth) &&
3235     // handled in isKnownNonZero.
3268         return isKnownNonZero(RP, Q, Depth);
3278         if (RV->getType() == I->getType() && isKnownNonZero(RV, Q, Depth))
3290         return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth);
3302         return isKnownNonZero(II->getArgOperand(0), DemandedElts.reverseBits(),
3310         return isKnownNonZero(II->getArgOperand(0), Q, Depth);
3318         return isKnownNonZero(II->getArgOperand(1), DemandedElts, Q, Depth) ||
3319                isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth);
3327                         isKnownNonZero(Op, DemandedElts, Q, Depth);
3330         // Avoid re-computing isKnownNonZero.
3362         return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth) &&
3363                isKnownNonZero(II->getArgOperand(1), DemandedElts, Q, Depth);
3374           return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth);
3379         return isKnownNonZero(I->getOperand(0), Q, Depth);
3401 bool isKnownNonZero(const Value *V, const APInt &DemandedElts,
3442       return isKnownNonZero(CPA->getPointer(), DemandedElts, Q, Depth);
3496 bool llvm::isKnownNonZero(const Value *V, const SimplifyQuery &Q,
3501   return ::isKnownNonZero(V, DemandedElts, Q, Depth);
3649     return isKnownNonZero(Op, DemandedElts, Q, Depth + 1);
3664            isKnownNonZero(V1, DemandedElts, Q, Depth + 1);
3678            !C->isZero() && isKnownNonZero(V1, DemandedElts, Q, Depth + 1);
8295 static bool isKnownNonZero(const Value *V) {
8796     if (!FMF.noSignedZeros() && !isKnownNonZero(CmpLHS) &&
8797         !isKnownNonZero(CmpRHS))
8913       (!FMF.noSignedZeros() && !isKnownNonZero(CmpLHS) &&
8914        !isKnownNonZero(CmpRHS)))