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

Declarations

include/llvm/IR/ConstantRange.h

  453   OverflowResult signedAddMayOverflow(const ConstantRange &Other) const;

References

lib/Analysis/ValueTracking.cpp

 4114       mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange));

unittests/IR/ConstantRangeTest.cpp

 1854   EXPECT_MAY_OVERFLOW(Some.signedAddMayOverflow(Empty));
 1855   EXPECT_MAY_OVERFLOW(Empty.signedAddMayOverflow(Some));
 1859   EXPECT_NEVER_OVERFLOWS(Full.signedAddMayOverflow(Zero));
 1860   EXPECT_NEVER_OVERFLOWS(Wrap.signedAddMayOverflow(Zero));
 1861   EXPECT_NEVER_OVERFLOWS(Zero.signedAddMayOverflow(Full));
 1862   EXPECT_NEVER_OVERFLOWS(Zero.signedAddMayOverflow(Wrap));
 1865   EXPECT_MAY_OVERFLOW(Full.signedAddMayOverflow(One));
 1866   EXPECT_MAY_OVERFLOW(Wrap.signedAddMayOverflow(One));
 1867   EXPECT_MAY_OVERFLOW(One.signedAddMayOverflow(Full));
 1868   EXPECT_MAY_OVERFLOW(One.signedAddMayOverflow(Wrap));
 1873   EXPECT_NEVER_OVERFLOWS(A.signedAddMayOverflow(B1));
 1874   EXPECT_MAY_OVERFLOW(A.signedAddMayOverflow(B2));
 1877   EXPECT_NEVER_OVERFLOWS(A.signedAddMayOverflow(B3));
 1878   EXPECT_MAY_OVERFLOW(A.signedAddMayOverflow(B4));
 1881   EXPECT_MAY_OVERFLOW(A.signedAddMayOverflow(B5));
 1882   EXPECT_ALWAYS_OVERFLOWS_HIGH(A.signedAddMayOverflow(B6));
 1887   EXPECT_NEVER_OVERFLOWS(C.signedAddMayOverflow(D1));
 1888   EXPECT_MAY_OVERFLOW(C.signedAddMayOverflow(D2));
 1891   EXPECT_NEVER_OVERFLOWS(C.signedAddMayOverflow(D3));
 1892   EXPECT_MAY_OVERFLOW(C.signedAddMayOverflow(D4));
 1895   EXPECT_MAY_OVERFLOW(C.signedAddMayOverflow(D5));
 1896   EXPECT_ALWAYS_OVERFLOWS_LOW(C.signedAddMayOverflow(D6));
 1899   EXPECT_NEVER_OVERFLOWS(E.signedAddMayOverflow(E));
 1901   EXPECT_MAY_OVERFLOW(F.signedAddMayOverflow(F));
 2051         return CR1.signedAddMayOverflow(CR2);