5948     ConstantRange LHSRange = getSignedRange(LHS);  in isKnownPredicateWithRanges()  local
5950     if (LHSRange.getSignedMax().slt(RHSRange.getSignedMin()))  in isKnownPredicateWithRanges()
5952     if (LHSRange.getSignedMin().sge(RHSRange.getSignedMax()))  in isKnownPredicateWithRanges()
5960     ConstantRange LHSRange = getSignedRange(LHS);  in isKnownPredicateWithRanges()  local
5962     if (LHSRange.getSignedMax().sle(RHSRange.getSignedMin()))  in isKnownPredicateWithRanges()
5964     if (LHSRange.getSignedMin().sgt(RHSRange.getSignedMax()))  in isKnownPredicateWithRanges()
5972     ConstantRange LHSRange = getUnsignedRange(LHS);  in isKnownPredicateWithRanges()  local
5974     if (LHSRange.getUnsignedMax().ult(RHSRange.getUnsignedMin()))  in isKnownPredicateWithRanges()
5976     if (LHSRange.getUnsignedMin().uge(RHSRange.getUnsignedMax()))  in isKnownPredicateWithRanges()
5984     ConstantRange LHSRange = getUnsignedRange(LHS);  in isKnownPredicateWithRanges()  local
5986     if (LHSRange.getUnsignedMax().ule(RHSRange.getUnsignedMin()))  in isKnownPredicateWithRanges()
5988     if (LHSRange.getUnsignedMin().ugt(RHSRange.getUnsignedMax()))  in isKnownPredicateWithRanges()