Lines Matching defs:isKnownNonZero

6932         if (llvm::isKnownNonZero(V, DL))
7355     return UDiv && (!isKnownNonZero(UDiv->getOperand(1)) ||
10104             isKnownNonZero(BackedgeTakenCount) &&
10641     if (!loopIsFiniteByAssumption(L) && !isKnownNonZero(StepWLG))
10958 bool ScalarEvolution::isKnownNonZero(const SCEV *S) {
10962     return isKnownNonZero(SExt->getOperand(0));
10983   return all_of(Mul->operands(), NonRecursive) && (OrZero || isKnownNonZero(S));
11366     return !isa<SCEVCouldNotCompute>(Diff) && isKnownNonZero(Diff);
12959           if (!isKnownNonZero(AR->getStepRecurrence(*this)))
13065     if (!isKnownNonZero(Stride)) {