Searched refs:RHSRange (Results 1 – 2 of 2) sorted by relevance
992 const ConstantRange &RHSRange = *RHSRes; in solveBlockValueBinaryOpImpl() local993 return ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()1123 ConstantRange RHSRange(RHS->getType()->getScalarSizeInBits(), in getValueFromSimpleICmpCondition() local1126 RHSRange = ConstantRange(CI->getValue()); in getValueFromSimpleICmpCondition()1132 RHSRange = R->asConstantRange(RHS->getType()); in getValueFromSimpleICmpCondition()1136 ConstantRange::makeAllowedICmpRegion(Pred, RHSRange); in getValueFromSimpleICmpCondition()
6981 ConstantRange RHSRange = ConstantRange::fromKnownBits(RHSKnown, false); in computeOverflowForUnsignedMul() local6982 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()7030 ConstantRange RHSRange = in computeOverflowForUnsignedAdd() local7032 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()7063 ConstantRange RHSRange = in computeOverflowForSignedAdd() local7066 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()7080 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()7082 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()7125 ConstantRange RHSRange = in computeOverflowForUnsignedSub() local7127 return mapOverflowResult(LHSRange.unsignedSubMayOverflow(RHSRange)); in computeOverflowForUnsignedSub()[all …]