Searched refs:LHSRange (Results 1 – 3 of 3) sorted by relevance
4182 ConstantRange LHSRange = ConstantRange::fromKnownBits(LHSKnown, false); in computeOverflowForUnsignedMul() local4184 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()4234 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedAdd() local4240 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()4272 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedAdd() local4277 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()4291 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()4293 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()4295 KnownBits AddKnown(LHSRange.getBitWidth()); in computeOverflowForSignedAdd()4312 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedSub() local[all …]
1053 ConstantRange LHSRange = LHSRes.getValue(); in solveBlockValueCast() local1060 BBLV = ValueLatticeElement::getRange(LHSRange.castOp(CI->getOpcode(), in solveBlockValueCast()1079 ConstantRange LHSRange = LHSRes.getValue(); in solveBlockValueBinaryOpImpl() local1081 BBLV = ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()
10529 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges() local10539 return SatisfyingLHSRange.contains(LHSRange); in isImpliedCondOperandsViaRanges()