Searched refs:RHSRange (Results 1 – 2 of 2) sorted by relevance
1080 ConstantRange RHSRange = RHSRes.getValue(); in solveBlockValueBinaryOpImpl() local1081 BBLV = ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()1234 ConstantRange RHSRange(RHS->getType()->getIntegerBitWidth(), in getValueFromICmpCondition() local1237 RHSRange = ConstantRange(CI->getValue()); in getValueFromICmpCondition()1240 RHSRange = getConstantRangeFromMetadata(*Ranges); in getValueFromICmpCondition()1246 ConstantRange::makeAllowedICmpRegion(Pred, RHSRange); in getValueFromICmpCondition()
612 ConstantRange RHSRange(CI->getValue()); in isKnownNonZeroFromAssume() local614 ConstantRange::makeAllowedICmpRegion(Pred, RHSRange); in isKnownNonZeroFromAssume()4183 ConstantRange RHSRange = ConstantRange::fromKnownBits(RHSKnown, false); in computeOverflowForUnsignedMul() local4184 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()4237 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedAdd() local4240 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()4274 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedAdd() local4277 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()4291 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()4293 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()[all …]