256     return getUnsignedMax().ult(Other.getUnsignedMin());  in icmp()
444   return (Upper - Lower).ult(Other.Upper - Other.Lower);  in isSizeStrictlySmallerThan()
511     return Lower.ule(V) && V.ult(Upper);  in contains()
512   return Lower.ule(V) || V.ult(Upper);  in contains()
593     if (Lower.ult(CR.Lower)) {  in intersectWith()
601       if (Upper.ult(CR.Upper))  in intersectWith()
610     if (Upper.ult(CR.Upper))  in intersectWith()
615     if (Lower.ult(CR.Upper))  in intersectWith()
624     if (CR.Lower.ult(Upper)) {  in intersectWith()
627       if (CR.Upper.ult(Upper))  in intersectWith()
639     if (CR.Lower.ult(Lower)) {  in intersectWith()
655   if (CR.Upper.ult(Upper)) {  in intersectWith()
658     if (CR.Lower.ult(Upper))  in intersectWith()
663     if (CR.Lower.ult(Lower))  in intersectWith()
673     if (CR.Lower.ult(Lower))  in intersectWith()
703     if (CR.Upper.ult(Lower) || Upper.ult(CR.Lower))  in unionWith()
707     APInt L = CR.Lower.ult(Lower) ? CR.Lower : Lower;  in unionWith()
732     if (Upper.ult(CR.Lower) && CR.Upper.ult(Lower))  in unionWith()
738     if (Upper.ult(CR.Lower) && Lower.ule(CR.Upper))  in unionWith()
743     assert(CR.Lower.ule(Upper) && CR.Upper.ult(Lower) &&  in unionWith()
753   APInt L = CR.Lower.ult(Lower) ? CR.Lower : Lower;  in unionWith()
908     if (UpperDiv.ult(LowerDiv))  in truncate()
1152     if (getUnsignedMax().ult(Other.getUnsignedMin()))  in subWithNoWrap()
1446   if (getUnsignedMax().ult(RHS.getUnsignedMin()))  in urem()
1482     if (MaxLHS.ult(MinAbsRHS))  in srem()
2011   if (Max.ult(OtherMin))  in unsignedSubMayOverflow()
2013   if (Min.ult(OtherMax))  in unsignedSubMayOverflow()