Searched refs:LHSRange (Results 1 – 3 of 3) sorted by relevance
729 ConstantRange LHSRange = LHSVal.getConstantRange(); in solveBlockValueConstantRange() local747 Result.markConstantRange(LHSRange.add(RHSRange)); in solveBlockValueConstantRange()750 Result.markConstantRange(LHSRange.sub(RHSRange)); in solveBlockValueConstantRange()753 Result.markConstantRange(LHSRange.multiply(RHSRange)); in solveBlockValueConstantRange()756 Result.markConstantRange(LHSRange.udiv(RHSRange)); in solveBlockValueConstantRange()759 Result.markConstantRange(LHSRange.shl(RHSRange)); in solveBlockValueConstantRange()762 Result.markConstantRange(LHSRange.lshr(RHSRange)); in solveBlockValueConstantRange()765 Result.markConstantRange(LHSRange.truncate(ResultTy->getBitWidth())); in solveBlockValueConstantRange()768 Result.markConstantRange(LHSRange.signExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()771 Result.markConstantRange(LHSRange.zeroExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()[all …]
5448 ConstantRange LHSRange = getSignedRange(LHS); in isKnownPredicateWithRanges() local5450 if (LHSRange.getSignedMax().slt(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()5452 if (LHSRange.getSignedMin().sge(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()5460 ConstantRange LHSRange = getSignedRange(LHS); in isKnownPredicateWithRanges() local5462 if (LHSRange.getSignedMax().sle(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()5464 if (LHSRange.getSignedMin().sgt(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()5472 ConstantRange LHSRange = getUnsignedRange(LHS); in isKnownPredicateWithRanges() local5474 if (LHSRange.getUnsignedMax().ult(RHSRange.getUnsignedMin())) in isKnownPredicateWithRanges()5476 if (LHSRange.getUnsignedMin().uge(RHSRange.getUnsignedMax())) in isKnownPredicateWithRanges()5484 ConstantRange LHSRange = getUnsignedRange(LHS); in isKnownPredicateWithRanges() local[all …]
822 ConstantRange LHSRange = in FoldAndOfICmps() local827 if (LHSRange.intersectWith(RHSRange).isEmptySet()) in FoldAndOfICmps()