lib/Analysis/ScalarEvolution.cpp

7281     ConstantRange LHSRange = getSignedRange(LHS);
7283     if (LHSRange.getSignedMax().slt(RHSRange.getSignedMin()))
7285     if (LHSRange.getSignedMin().sge(RHSRange.getSignedMax()))
7292     ConstantRange LHSRange = getSignedRange(LHS);
7294     if (LHSRange.getSignedMax().sle(RHSRange.getSignedMin()))
7296     if (LHSRange.getSignedMin().sgt(RHSRange.getSignedMax()))
7303     ConstantRange LHSRange = getUnsignedRange(LHS);
7305     if (LHSRange.getUnsignedMax().ult(RHSRange.getUnsignedMin()))
7307     if (LHSRange.getUnsignedMin().uge(RHSRange.getUnsignedMax()))
7314     ConstantRange LHSRange = getUnsignedRange(LHS);
7316     if (LHSRange.getUnsignedMax().ule(RHSRange.getUnsignedMin()))
7318     if (LHSRange.getUnsignedMin().ugt(RHSRange.getUnsignedMax()))
8119   ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(Addend));
8129   return SatisfyingLHSRange.contains(LHSRange);