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

Declarations

include/llvm/IR/ConstantRange.h

  456   OverflowResult unsignedSubMayOverflow(const ConstantRange &Other) const;

References

lib/Analysis/ValueTracking.cpp

 4153   return mapOverflowResult(LHSRange.unsignedSubMayOverflow(RHSRange));

unittests/IR/ConstantRangeTest.cpp

 1819   EXPECT_MAY_OVERFLOW(Some.unsignedSubMayOverflow(Empty));
 1820   EXPECT_MAY_OVERFLOW(Empty.unsignedSubMayOverflow(Some));
 1825   EXPECT_NEVER_OVERFLOWS(Full.unsignedSubMayOverflow(Zero));
 1826   EXPECT_NEVER_OVERFLOWS(Wrap.unsignedSubMayOverflow(Zero));
 1827   EXPECT_NEVER_OVERFLOWS(Max.unsignedSubMayOverflow(Full));
 1828   EXPECT_NEVER_OVERFLOWS(Max.unsignedSubMayOverflow(Wrap));
 1831   EXPECT_MAY_OVERFLOW(Full.unsignedSubMayOverflow(One));
 1832   EXPECT_MAY_OVERFLOW(Wrap.unsignedSubMayOverflow(One));
 1833   EXPECT_MAY_OVERFLOW(One.unsignedSubMayOverflow(Full));
 1834   EXPECT_MAY_OVERFLOW(One.unsignedSubMayOverflow(Wrap));
 1838   EXPECT_NEVER_OVERFLOWS(B.unsignedSubMayOverflow(A));
 1839   EXPECT_ALWAYS_OVERFLOWS_LOW(A.unsignedSubMayOverflow(B));
 1843   EXPECT_NEVER_OVERFLOWS(B1.unsignedSubMayOverflow(A1));
 1844   EXPECT_MAY_OVERFLOW(A1.unsignedSubMayOverflow(B1));
 1848   EXPECT_MAY_OVERFLOW(B2.unsignedSubMayOverflow(A2));
 1849   EXPECT_MAY_OVERFLOW(A2.unsignedSubMayOverflow(B2));
 2025         return CR1.unsignedSubMayOverflow(CR2);