Searched refs:LHSRange (Results 1 – 3 of 3) sorted by relevance
711 ConstantRange LHSRange = LHSVal.getConstantRange(); in solveBlockValueConstantRange() local729 Result.markConstantRange(LHSRange.add(RHSRange)); in solveBlockValueConstantRange()732 Result.markConstantRange(LHSRange.sub(RHSRange)); in solveBlockValueConstantRange()735 Result.markConstantRange(LHSRange.multiply(RHSRange)); in solveBlockValueConstantRange()738 Result.markConstantRange(LHSRange.udiv(RHSRange)); in solveBlockValueConstantRange()741 Result.markConstantRange(LHSRange.shl(RHSRange)); in solveBlockValueConstantRange()744 Result.markConstantRange(LHSRange.lshr(RHSRange)); in solveBlockValueConstantRange()747 Result.markConstantRange(LHSRange.truncate(ResultTy->getBitWidth())); in solveBlockValueConstantRange()750 Result.markConstantRange(LHSRange.signExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()753 Result.markConstantRange(LHSRange.zeroExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()[all …]
5948 ConstantRange LHSRange = getSignedRange(LHS); in isKnownPredicateWithRanges() local5950 if (LHSRange.getSignedMax().slt(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()5952 if (LHSRange.getSignedMin().sge(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()5960 ConstantRange LHSRange = getSignedRange(LHS); in isKnownPredicateWithRanges() local5962 if (LHSRange.getSignedMax().sle(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()5964 if (LHSRange.getSignedMin().sgt(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()5972 ConstantRange LHSRange = getUnsignedRange(LHS); in isKnownPredicateWithRanges() local5974 if (LHSRange.getUnsignedMax().ult(RHSRange.getUnsignedMin())) in isKnownPredicateWithRanges()5976 if (LHSRange.getUnsignedMin().uge(RHSRange.getUnsignedMax())) in isKnownPredicateWithRanges()5984 ConstantRange LHSRange = getUnsignedRange(LHS); in isKnownPredicateWithRanges() local[all …]
795 ConstantRange LHSRange = in FoldAndOfICmps() local800 if (LHSRange.intersectWith(RHSRange).isEmptySet()) in FoldAndOfICmps()