Home
last modified time | relevance | path

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

/llvm-project-15.0.7/llvm/include/llvm/IR/
H A DConstantRange.h273 bool isAllNonNegative() const;
/llvm-project-15.0.7/llvm/lib/IR/
H A DConstantRange.cpp173 return (CR1.isAllNonNegative() && CR2.isAllNonNegative()) || in areInsensitiveToSignednessOfICmpPredicate()
182 return (CR1.isAllNonNegative() && CR2.isAllNegative()) || in areInsensitiveToSignednessOfInvertedICmpPredicate()
183 (CR1.isAllNegative() && CR2.isAllNonNegative()); in areInsensitiveToSignednessOfInvertedICmpPredicate()
420 bool ConstantRange::isAllNonNegative() const { in isAllNonNegative() function in ConstantRange
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DSCCP.cpp178 if (IV.getConstantRange().isAllNonNegative()) { in simplifyInstsInBlock()
/llvm-project-15.0.7/llvm/unittests/IR/
H A DConstantRangeTest.cpp2290 EXPECT_TRUE(Empty.isAllNonNegative()); in TEST_F()
2292 EXPECT_FALSE(Full.isAllNonNegative()); in TEST_F()
2308 EXPECT_EQ(AllNonNegative, CR.isAllNonNegative()); in TEST_F()
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DValueTracking.cpp4961 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()