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

Declarations

include/llvm/IR/ConstantRange.h

  450   OverflowResult unsignedAddMayOverflow(const ConstantRange &Other) const;

References

lib/Analysis/ValueTracking.cpp

 4077   return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange));

unittests/IR/ConstantRangeTest.cpp

 1785   EXPECT_MAY_OVERFLOW(Some.unsignedAddMayOverflow(Empty));
 1786   EXPECT_MAY_OVERFLOW(Empty.unsignedAddMayOverflow(Some));
 1790   EXPECT_NEVER_OVERFLOWS(Full.unsignedAddMayOverflow(Zero));
 1791   EXPECT_NEVER_OVERFLOWS(Wrap.unsignedAddMayOverflow(Zero));
 1792   EXPECT_NEVER_OVERFLOWS(Zero.unsignedAddMayOverflow(Full));
 1793   EXPECT_NEVER_OVERFLOWS(Zero.unsignedAddMayOverflow(Wrap));
 1796   EXPECT_MAY_OVERFLOW(Full.unsignedAddMayOverflow(One));
 1797   EXPECT_MAY_OVERFLOW(Wrap.unsignedAddMayOverflow(One));
 1798   EXPECT_MAY_OVERFLOW(One.unsignedAddMayOverflow(Full));
 1799   EXPECT_MAY_OVERFLOW(One.unsignedAddMayOverflow(Wrap));
 1804   EXPECT_NEVER_OVERFLOWS(A.unsignedAddMayOverflow(B1));
 1805   EXPECT_MAY_OVERFLOW(A.unsignedAddMayOverflow(B2));
 1806   EXPECT_NEVER_OVERFLOWS(B1.unsignedAddMayOverflow(A));
 1807   EXPECT_MAY_OVERFLOW(B2.unsignedAddMayOverflow(A));
 1811   EXPECT_MAY_OVERFLOW(A.unsignedAddMayOverflow(C1));
 1812   EXPECT_ALWAYS_OVERFLOWS_HIGH(A.unsignedAddMayOverflow(C2));
 1813   EXPECT_MAY_OVERFLOW(C1.unsignedAddMayOverflow(A));
 1814   EXPECT_ALWAYS_OVERFLOWS_HIGH(C2.unsignedAddMayOverflow(A));
 2012         return CR1.unsignedAddMayOverflow(CR2);