Lines Matching refs:RHSRange
622 ConstantRange RHSRange(CI->getValue()); in isKnownNonZeroFromAssume() local
624 ConstantRange::makeAllowedICmpRegion(Pred, RHSRange); in isKnownNonZeroFromAssume()
4493 ConstantRange RHSRange = ConstantRange::fromKnownBits(RHSKnown, false); in computeOverflowForUnsignedMul() local
4494 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()
4547 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedAdd() local
4550 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()
4584 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedAdd() local
4587 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()
4601 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()
4603 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()
4634 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedSub() local
4636 return mapOverflowResult(LHSRange.unsignedSubMayOverflow(RHSRange)); in computeOverflowForUnsignedSub()
4653 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedSub() local
4655 return mapOverflowResult(LHSRange.signedSubMayOverflow(RHSRange)); in computeOverflowForSignedSub()