Home
last modified time | relevance | path

Searched refs:signedSubMayOverflow (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/llvm/unittests/IR/
H A DConstantRangeTest.cpp2057 EXPECT_MAY_OVERFLOW(Full.signedSubMayOverflow(One)); in TEST_F()
2058 EXPECT_MAY_OVERFLOW(Wrap.signedSubMayOverflow(One)); in TEST_F()
2065 EXPECT_NEVER_OVERFLOWS(A.signedSubMayOverflow(B1)); in TEST_F()
2066 EXPECT_MAY_OVERFLOW(A.signedSubMayOverflow(B2)); in TEST_F()
2069 EXPECT_MAY_OVERFLOW(A.signedSubMayOverflow(B3)); in TEST_F()
2075 EXPECT_NEVER_OVERFLOWS(C.signedSubMayOverflow(D1)); in TEST_F()
2076 EXPECT_MAY_OVERFLOW(C.signedSubMayOverflow(D2)); in TEST_F()
2079 EXPECT_MAY_OVERFLOW(C.signedSubMayOverflow(D3)); in TEST_F()
2083 EXPECT_NEVER_OVERFLOWS(E.signedSubMayOverflow(E)); in TEST_F()
2085 EXPECT_MAY_OVERFLOW(F.signedSubMayOverflow(F)); in TEST_F()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/IR/
H A DConstantRange.h551 OverflowResult signedSubMayOverflow(const ConstantRange &Other) const;
/llvm-project-15.0.7/llvm/lib/IR/
H A DConstantRange.cpp1735 ConstantRange::OverflowResult ConstantRange::signedSubMayOverflow( in signedSubMayOverflow() function in ConstantRange
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DValueTracking.cpp5044 return mapOverflowResult(LHSRange.signedSubMayOverflow(RHSRange)); in computeOverflowForSignedSub()