Searched refs:LHSRange (Results 1 – 3 of 3) sorted by relevance
769 ConstantRange LHSRange = LHSVal.getConstantRange(); in solveBlockValueConstantRange() local787 Result.markConstantRange(LHSRange.add(RHSRange)); in solveBlockValueConstantRange()790 Result.markConstantRange(LHSRange.sub(RHSRange)); in solveBlockValueConstantRange()793 Result.markConstantRange(LHSRange.multiply(RHSRange)); in solveBlockValueConstantRange()796 Result.markConstantRange(LHSRange.udiv(RHSRange)); in solveBlockValueConstantRange()799 Result.markConstantRange(LHSRange.shl(RHSRange)); in solveBlockValueConstantRange()802 Result.markConstantRange(LHSRange.lshr(RHSRange)); in solveBlockValueConstantRange()805 Result.markConstantRange(LHSRange.truncate(ResultTy->getBitWidth())); in solveBlockValueConstantRange()808 Result.markConstantRange(LHSRange.signExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()811 Result.markConstantRange(LHSRange.zeroExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()[all …]
6633 ConstantRange LHSRange = getSignedRange(LHS); in isKnownPredicateWithRanges() local6635 if (LHSRange.getSignedMax().slt(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()6637 if (LHSRange.getSignedMin().sge(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()6644 ConstantRange LHSRange = getSignedRange(LHS); in isKnownPredicateWithRanges() local6646 if (LHSRange.getSignedMax().sle(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()6648 if (LHSRange.getSignedMin().sgt(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()6655 ConstantRange LHSRange = getUnsignedRange(LHS); in isKnownPredicateWithRanges() local6657 if (LHSRange.getUnsignedMax().ult(RHSRange.getUnsignedMin())) in isKnownPredicateWithRanges()6659 if (LHSRange.getUnsignedMin().uge(RHSRange.getUnsignedMax())) in isKnownPredicateWithRanges()6666 ConstantRange LHSRange = getUnsignedRange(LHS); in isKnownPredicateWithRanges() local[all …]
982 ConstantRange LHSRange = in FoldAndOfICmps() local987 if (LHSRange.intersectWith(RHSRange).isEmptySet()) in FoldAndOfICmps()