Home
last modified time | relevance | path

Searched refs:isAllNonNegative (Results 1 – 5 of 5) sorted by relevance

/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DCorrelatedValuePropagation.cpp737 if (CR.isAllNonNegative()) in getDomain()
1076 if (!LRange.isAllNonNegative()) in processAShr()
1094 .isAllNonNegative()) in processSExt()
1115 .isAllNonNegative()) in processPossibleNonNeg()
1135 .isAllNonNegative()) in processSIToFP()
/freebsd/contrib/llvm-project/llvm/include/llvm/IR/
H A DConstantRange.h278 bool isAllNonNegative() const;
/freebsd/contrib/llvm-project/llvm/lib/IR/
H A DConstantRange.cpp174 return (CR1.isAllNonNegative() && CR2.isAllNonNegative()) || in areInsensitiveToSignednessOfICmpPredicate()
183 return (CR1.isAllNonNegative() && CR2.isAllNegative()) || in areInsensitiveToSignednessOfInvertedICmpPredicate()
184 (CR1.isAllNegative() && CR2.isAllNonNegative()); in areInsensitiveToSignednessOfInvertedICmpPredicate()
467 bool ConstantRange::isAllNonNegative() const { in isAllNonNegative() function in ConstantRange
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp140 if (Range.isAllNonNegative()) { in refineInstruction()
181 IV.getConstantRange().isAllNonNegative(); in replaceSignedInst()
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DValueTracking.cpp5461 } else if (ExpRange.isAllNonNegative()) { in computeKnownFPClass()
7080 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()