Searched refs:RHSRange (Results 1 – 2 of 2) sorted by relevance
991 const ConstantRange &RHSRange = *RHSRes; in solveBlockValueBinaryOpImpl() local992 return ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()1109 ConstantRange RHSRange(RHS->getType()->getIntegerBitWidth(), in getValueFromSimpleICmpCondition() local1112 RHSRange = ConstantRange(CI->getValue()); in getValueFromSimpleICmpCondition()1118 RHSRange = toConstantRange(*R, RHS->getType()); in getValueFromSimpleICmpCondition()1121 RHSRange = getConstantRangeFromMetadata(*Ranges); in getValueFromSimpleICmpCondition()1125 ConstantRange::makeAllowedICmpRegion(Pred, RHSRange); in getValueFromSimpleICmpCondition()
6305 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()6353 ConstantRange RHSRange = in computeOverflowForUnsignedAdd() local6355 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()6386 ConstantRange RHSRange = in computeOverflowForSignedAdd() local6389 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()6403 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()6405 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()6448 ConstantRange RHSRange = in computeOverflowForUnsignedSub() local6450 return mapOverflowResult(LHSRange.unsignedSubMayOverflow(RHSRange)); in computeOverflowForUnsignedSub()6477 ConstantRange RHSRange = in computeOverflowForSignedSub() local[all …]