Lines Matching defs:ValueFactory
151 return unite(Original, Range(ValueFactory.getValue(Point)));
157 Range(ValueFactory.getValue(From), ValueFactory.getValue(To)));
496 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper)));
509 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper)));
511 Range(ValueFactory.getValue(Lower), ValueFactory.getMaxValue(Lower)));
606 return getRangeSet(ValueFactory.getValue(Point));
616 const llvm::APSInt &MIN = ValueFactory.getMinValue(SampleValue);
617 const llvm::APSInt &MAX = ValueFactory.getMaxValue(SampleValue);
643 Result.emplace_back(MIN, ValueFactory.getValue(-Last->From()));
653 Result.emplace_back(ValueFactory.getValue(-To), MAX);
663 const llvm::APSInt &NewFrom = ValueFactory.getValue(-It->To());
664 const llvm::APSInt &NewTo = ValueFactory.getValue(-It->From());
709 return castTo(What, ValueFactory.getAPSIntType(T));
737 Dummy.emplace_back(ValueFactory.getMinValue(Ty),
738 ValueFactory.getMaxValue(Ty));
745 const APSInt &PersistentFrom = ValueFactory.getValue(FromInt);
746 const APSInt &PersistentTo = ValueFactory.getValue(ToInt);
748 Dummy.emplace_back(ValueFactory.getMinValue(Ty), PersistentTo);
749 Dummy.emplace_back(PersistentFrom, ValueFactory.getMaxValue(Ty));
785 auto CastRange = [Ty, &VF = ValueFactory](const Range &R) -> Bounds {
810 DescendArray.emplace_back(ValueFactory.getMinValue(Ty), NewBounds.second);
811 AscendArray.emplace_back(NewBounds.first, ValueFactory.getMaxValue(Ty));
843 Result.emplace_back(ValueFactory.getValue(FromInt),
844 ValueFactory.getValue(ToInt));
1267 : ValueFactory(F.getValueFactory()), RangeFactory(F), State(S) {}
1311 RangeSet Result(RangeFactory, ValueFactory.getMinValue(T),
1312 ValueFactory.getMaxValue(T));
1365 return Range(ValueFactory.Convert(To, Origin.From()),
1366 ValueFactory.Convert(To, Origin.To()));
1376 APSIntType ResultType = ValueFactory.getAPSIntType(T);
1406 APSIntType RangeType = ValueFactory.getAPSIntType(T);
1409 return Range(ValueFactory.getMinValue(RangeType), Origin.To());
1416 return {ValueFactory.getMinValue(RangeType),
1417 ValueFactory.getMaxValue(RangeType)};
1434 return {ValueFactory.getValue(-AbsMax), ValueFactory.getValue(AbsMax)};
1439 APSIntType IntType = ValueFactory.getAPSIntType(T);
1621 const llvm::APSInt &Zero = ValueFactory.getValue(0, T);
1625 BasicValueFactory &ValueFactory;
1688 APSIntType ResultType = ValueFactory.getAPSIntType(T);
1715 ? ValueFactory.getValue(--Zero)
1716 : ValueFactory.getMaxValue(ResultType);
1718 return {RangeFactory, ValueFactory.getValue(Min), Max};
1724 return {RangeFactory, ValueFactory.getMinValue(ResultType),
1725 ValueFactory.getValue(--Zero)};
1746 APSIntType ResultType = ValueFactory.getAPSIntType(T);
1764 ? ValueFactory.getMinValue(ResultType)
1765 : ValueFactory.getValue(Zero);
1780 return {RangeFactory, ValueFactory.getValue(Zero),
1781 ValueFactory.getValue(Max)};
1792 llvm::APSInt Zero = ValueFactory.getAPSIntType(T).getZeroValue();
1842 return {RangeFactory, ValueFactory.getValue(Min), ValueFactory.getValue(Max)};