Searched refs:isAllNonNegative (Results 1 – 7 of 7) sorted by relevance
759 if (CR.isAllNonNegative()) in getDomain()1096 if (!LRange.isAllNonNegative()) in processAShr()1114 .isAllNonNegative()) in processSExt()1135 .isAllNonNegative()) in processPossibleNonNeg()1155 .isAllNonNegative()) in processSIToFP()
185 return (CR1.isAllNonNegative() && CR2.isAllNonNegative()) || in areInsensitiveToSignednessOfICmpPredicate()194 return (CR1.isAllNonNegative() && CR2.isAllNegative()) || in areInsensitiveToSignednessOfInvertedICmpPredicate()195 (CR1.isAllNegative() && CR2.isAllNonNegative()); in areInsensitiveToSignednessOfInvertedICmpPredicate()478 bool ConstantRange::isAllNonNegative() const { in isAllNonNegative() function in ConstantRange1261 !Result.isAllNonNegative()) { in multiplyWithNoWrap()
284 LLVM_ABI bool isAllNonNegative() const;
138 if (Range.isAllNonNegative()) { in refineInstruction()165 [&](Value *V) { return GetRange(V).isAllNonNegative(); })) { in refineInstruction()181 return getRange(V, Solver, InsertedValues).isAllNonNegative(); in replaceSignedInst()
350 if (IsNonNegative && !N.isAllNonNegative()) in evaluateWith()
5303 } else if (ExpRange.isAllNonNegative()) { in computeKnownFPClass()7194 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()
3200 computeConstantRange(X, /*ForSigned=*/true).add(*C2).isAllNonNegative()) in foldICmpAddConstant()