Lines Matching refs:RHSRange
6033 ConstantRange RHSRange = getSignedRange(RHS);
6034 if (LHSRange.getSignedMax().slt(RHSRange.getSignedMin()))
6036 if (LHSRange.getSignedMin().sge(RHSRange.getSignedMax()))
6045 ConstantRange RHSRange = getSignedRange(RHS);
6046 if (LHSRange.getSignedMax().sle(RHSRange.getSignedMin()))
6048 if (LHSRange.getSignedMin().sgt(RHSRange.getSignedMax()))
6057 ConstantRange RHSRange = getUnsignedRange(RHS);
6058 if (LHSRange.getUnsignedMax().ult(RHSRange.getUnsignedMin()))
6060 if (LHSRange.getUnsignedMin().uge(RHSRange.getUnsignedMax()))
6069 ConstantRange RHSRange = getUnsignedRange(RHS);
6070 if (LHSRange.getUnsignedMax().ule(RHSRange.getUnsignedMin()))
6072 if (LHSRange.getUnsignedMin().ugt(RHSRange.getUnsignedMax()))