reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

include/llvm/IR/ConstantRange.h

  459   OverflowResult signedSubMayOverflow(const ConstantRange &Other) const;

References

lib/Analysis/ValueTracking.cpp

 4172   return mapOverflowResult(LHSRange.signedSubMayOverflow(RHSRange));

unittests/IR/ConstantRangeTest.cpp

 1906   EXPECT_MAY_OVERFLOW(Some.signedSubMayOverflow(Empty));
 1907   EXPECT_MAY_OVERFLOW(Empty.signedSubMayOverflow(Some));
 1911   EXPECT_NEVER_OVERFLOWS(Full.signedSubMayOverflow(Zero));
 1912   EXPECT_NEVER_OVERFLOWS(Wrap.signedSubMayOverflow(Zero));
 1915   EXPECT_MAY_OVERFLOW(Full.signedSubMayOverflow(One));
 1916   EXPECT_MAY_OVERFLOW(Wrap.signedSubMayOverflow(One));
 1917   EXPECT_MAY_OVERFLOW(One.signedSubMayOverflow(Full));
 1918   EXPECT_MAY_OVERFLOW(One.signedSubMayOverflow(Wrap));
 1923   EXPECT_NEVER_OVERFLOWS(A.signedSubMayOverflow(B1));
 1924   EXPECT_MAY_OVERFLOW(A.signedSubMayOverflow(B2));
 1927   EXPECT_MAY_OVERFLOW(A.signedSubMayOverflow(B3));
 1928   EXPECT_ALWAYS_OVERFLOWS_HIGH(A.signedSubMayOverflow(B4));
 1933   EXPECT_NEVER_OVERFLOWS(C.signedSubMayOverflow(D1));
 1934   EXPECT_MAY_OVERFLOW(C.signedSubMayOverflow(D2));
 1937   EXPECT_MAY_OVERFLOW(C.signedSubMayOverflow(D3));
 1938   EXPECT_ALWAYS_OVERFLOWS_LOW(C.signedSubMayOverflow(D4));
 1941   EXPECT_NEVER_OVERFLOWS(E.signedSubMayOverflow(E));
 1943   EXPECT_MAY_OVERFLOW(F.signedSubMayOverflow(F));
 2064         return CR1.signedSubMayOverflow(CR2);