Searched refs:RHSRange (Results 1 – 5 of 5) sorted by relevance
730 ConstantRange RHSRange(1); in solveBlockValueConstantRange() local734 RHSRange = ConstantRange(RHS->getValue()); in solveBlockValueConstantRange()747 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()777 Result.markConstantRange(LHSRange.binaryAnd(RHSRange)); in solveBlockValueConstantRange()780 Result.markConstantRange(LHSRange.binaryOr(RHSRange)); in solveBlockValueConstantRange()
5753 ConstantRange RHSRange = getSignedRange(RHS); in isKnownPredicateWithRanges() local5754 if (LHSRange.getSignedMax().slt(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()5756 if (LHSRange.getSignedMin().sge(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()5765 ConstantRange RHSRange = getSignedRange(RHS); in isKnownPredicateWithRanges() local5766 if (LHSRange.getSignedMax().sle(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()5768 if (LHSRange.getSignedMin().sgt(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()5777 ConstantRange RHSRange = getUnsignedRange(RHS); in isKnownPredicateWithRanges() local5778 if (LHSRange.getUnsignedMax().ult(RHSRange.getUnsignedMin())) in isKnownPredicateWithRanges()5780 if (LHSRange.getUnsignedMin().uge(RHSRange.getUnsignedMax())) in isKnownPredicateWithRanges()5789 ConstantRange RHSRange = getUnsignedRange(RHS); in isKnownPredicateWithRanges() local[all …]
1127 ConstantRange RHSRange = ConstantRange(RHS->getValue()); in solveBlockValueBinaryOp() local1135 Result.markConstantRange(LHSRange.add(RHSRange)); in solveBlockValueBinaryOp()1138 Result.markConstantRange(LHSRange.sub(RHSRange)); in solveBlockValueBinaryOp()1141 Result.markConstantRange(LHSRange.multiply(RHSRange)); in solveBlockValueBinaryOp()1144 Result.markConstantRange(LHSRange.udiv(RHSRange)); in solveBlockValueBinaryOp()1147 Result.markConstantRange(LHSRange.shl(RHSRange)); in solveBlockValueBinaryOp()1150 Result.markConstantRange(LHSRange.lshr(RHSRange)); in solveBlockValueBinaryOp()1153 Result.markConstantRange(LHSRange.binaryAnd(RHSRange)); in solveBlockValueBinaryOp()1156 Result.markConstantRange(LHSRange.binaryOr(RHSRange)); in solveBlockValueBinaryOp()
1060 ConstantRange RHSRange = ConstantRange(RHS->getValue()); in solveBlockValueBinaryOp() local1066 BBLV = ValueLatticeElement::getRange(LHSRange.binaryOp(BinOp, RHSRange)); in solveBlockValueBinaryOp()1110 ConstantRange RHSRange(RHS->getType()->getIntegerBitWidth(), in getValueFromICmpCondition() local1113 RHSRange = ConstantRange(CI->getValue()); in getValueFromICmpCondition()1116 RHSRange = getConstantRangeFromMetadata(*Ranges); in getValueFromICmpCondition()1122 ConstantRange::makeAllowedICmpRegion(Pred, RHSRange); in getValueFromICmpCondition()
824 ConstantRange RHSRange = in FoldAndOfICmps() local827 if (LHSRange.intersectWith(RHSRange).isEmptySet()) in FoldAndOfICmps()