Lines Matching refs:isKnownNonZero

276 static bool isKnownNonZero(const Value *V, const APInt &DemandedElts,
293 (Known.isNonZero() || isKnownNonZero(V, SQ, Depth)); in isKnownPositive()
973 isKnownNonZero(I->getOperand(1), DemandedElts, Q, Depth + 1)); in computeKnownBitsFromShiftOperator()
2499 (OrZero || isKnownNonZero(I, Q, Depth)); in isKnownToBeAPowerOfTwo()
2509 return OrZero || isKnownNonZero(I->getOperand(0), Q, Depth); in isKnownToBeAPowerOfTwo()
2632 if (isKnownNonZero(GEP->getPointerOperand(), Q, Depth)) in isGEPKnownNonNull()
2671 if (isKnownNonZero(GTI.getOperand(), Q, Depth)) in isGEPKnownNonNull()
2837 return isKnownNonZero(Y, DemandedElts, Q, Depth) || in isNonZeroAdd()
2838 isKnownNonZero(X, DemandedElts, Q, Depth); in isNonZeroAdd()
2846 if (isKnownNonZero(Y, DemandedElts, Q, Depth) || in isNonZeroAdd()
2847 isKnownNonZero(X, DemandedElts, Q, Depth)) in isNonZeroAdd()
2885 if (C->isNullValue() && isKnownNonZero(Y, DemandedElts, Q, Depth)) in isNonZeroSub()
2897 return isKnownNonZero(X, DemandedElts, Q, Depth) && in isNonZeroMul()
2898 isKnownNonZero(Y, DemandedElts, Q, Depth); in isNonZeroMul()
2904 return isKnownNonZero(Y, DemandedElts, Q, Depth); in isNonZeroMul()
2908 return XKnown.isNonZero() || isKnownNonZero(X, DemandedElts, Q, Depth); in isNonZeroMul()
2964 isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth)) in isNonZeroShift()
3013 return isKnownNonZero(I->getOperand(0), Q, Depth); in isKnownNonZeroFromOperator()
3022 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3030 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3036 return isKnownNonZero(TI->getOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3054 return isKnownNonZero(I->getOperand(1), DemandedElts, Q, Depth) || in isKnownNonZeroFromOperator()
3055 isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3059 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3065 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3081 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3097 return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3146 if (isKnownNonZero(Op, DemandedElts, Q, Depth)) in isKnownNonZeroFromOperator()
3196 return isKnownNonZero(U.get(), DemandedElts, RecQ, NewDepth); in isKnownNonZeroFromOperator()
3218 return (SkipElt || isKnownNonZero(Elt, Q, Depth)) && in isKnownNonZeroFromOperator()
3220 isKnownNonZero(Vec, DemandedVecElts, Q, Depth)); in isKnownNonZeroFromOperator()
3232 return isKnownNonZero(Vec, DemandedVecElts, Q, Depth); in isKnownNonZeroFromOperator()
3247 isKnownNonZero(Shuf->getOperand(1), DemandedRHS, Q, Depth)) && in isKnownNonZeroFromOperator()
3249 isKnownNonZero(Shuf->getOperand(0), DemandedLHS, Q, Depth)); in isKnownNonZeroFromOperator()
3252 return isKnownNonZero(I->getOperand(0), Q, Depth) && in isKnownNonZeroFromOperator()
3302 return isKnownNonZero(RP, Q, Depth); in isKnownNonZeroFromOperator()
3312 if (RV->getType() == I->getType() && isKnownNonZero(RV, Q, Depth)) in isKnownNonZeroFromOperator()
3324 return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3336 return isKnownNonZero(II->getArgOperand(0), DemandedElts.reverseBits(), in isKnownNonZeroFromOperator()
3344 return isKnownNonZero(II->getArgOperand(0), Q, Depth); in isKnownNonZeroFromOperator()
3352 return isKnownNonZero(II->getArgOperand(1), DemandedElts, Q, Depth) || in isKnownNonZeroFromOperator()
3353 isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3361 isKnownNonZero(Op, DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3396 return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth) && in isKnownNonZeroFromOperator()
3397 isKnownNonZero(II->getArgOperand(1), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3408 return isKnownNonZero(II->getArgOperand(0), DemandedElts, Q, Depth); in isKnownNonZeroFromOperator()
3413 return isKnownNonZero(I->getOperand(0), Q, Depth); in isKnownNonZeroFromOperator()
3435 bool isKnownNonZero(const Value *V, const APInt &DemandedElts, in isKnownNonZero() function
3476 return isKnownNonZero(CPA->getPointer(), DemandedElts, Q, Depth); in isKnownNonZero()
3528 return isKnownNonZero(Stripped, DemandedElts, Q, Depth); in isKnownNonZero()
3533 bool llvm::isKnownNonZero(const Value *V, const SimplifyQuery &Q, in isKnownNonZero() function in llvm
3538 return ::isKnownNonZero(V, DemandedElts, Q, Depth); in isKnownNonZero()
3686 return isKnownNonZero(Op, DemandedElts, Q, Depth + 1); in isModifyingBinopOfNonZero()
3701 isKnownNonZero(V1, DemandedElts, Q, Depth + 1); in isNonEqualMul()
3715 !C->isZero() && isKnownNonZero(V1, DemandedElts, Q, Depth + 1); in isNonEqualShl()
8164 static bool isKnownNonZero(const Value *V) { in isKnownNonZero() function
8664 if (!FMF.noSignedZeros() && !isKnownNonZero(CmpLHS) && in matchSelectPattern()
8665 !isKnownNonZero(CmpRHS)) in matchSelectPattern()
8782 (!FMF.noSignedZeros() && !isKnownNonZero(CmpLHS) && in matchSelectPattern()
8783 !isKnownNonZero(CmpRHS))) in matchSelectPattern()