Searched refs:RHSRange (Results 1 – 2 of 2) sorted by relevance
999 const ConstantRange &RHSRange = *RHSRes; in solveBlockValueBinaryOpImpl() local1000 return ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()1137 ConstantRange RHSRange(RHS->getType()->getScalarSizeInBits(), in getValueFromSimpleICmpCondition() local1140 RHSRange = ConstantRange(CI->getValue()); in getValueFromSimpleICmpCondition()1146 RHSRange = R->asConstantRange(RHS->getType()); in getValueFromSimpleICmpCondition()1150 ConstantRange::makeAllowedICmpRegion(Pred, RHSRange); in getValueFromSimpleICmpCondition()
7096 ConstantRange RHSRange = ConstantRange::fromKnownBits(RHSKnown, false); in computeOverflowForUnsignedMul() local7097 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()7145 ConstantRange RHSRange = in computeOverflowForUnsignedAdd() local7147 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()7177 ConstantRange RHSRange = in computeOverflowForSignedAdd() local7180 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()7194 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()7196 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()7236 ConstantRange RHSRange = in computeOverflowForUnsignedSub() local7238 return mapOverflowResult(LHSRange.unsignedSubMayOverflow(RHSRange)); in computeOverflowForUnsignedSub()[all …]