Lines Matching defs:Upper
393 bool RangeSet::pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const {
401 APSIntType::RangeTestResultKind UpperTest = Type.testInRange(Upper, true);
409 if (Lower <= Upper)
414 Upper = Type.getMaxValue();
419 Type.apply(Upper);
424 Upper = Type.getMaxValue();
433 Upper = Type.getMaxValue();
438 Type.apply(Upper);
443 Upper = Type.getMaxValue();
455 Type.apply(Upper);
460 if (Lower <= Upper)
465 Upper = Type.getMaxValue();
475 llvm::APSInt Upper) {
476 if (What.isEmpty() || !What.pin(Lower, Upper))
481 if (Lower <= Upper) {
482 // [Lower, Upper] is a regular range.
488 // Lower Upper
491 // Lower Upper
492 if (What.getMaxValue() < Lower || Upper < What.getMinValue())
496 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper)));
498 // [Lower, Upper] is an inverted range, i.e. [MIN, Upper] U [Lower, MAX]
504 // Upper Lower
505 if (What.getMaxValue() < Lower && Upper < What.getMinValue())
509 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper)));
854 llvm::APSInt Upper = Point;
857 ++Upper;
861 return intersect(From, Upper, Lower);
3117 llvm::APSInt Upper = ComparisonVal - Adjustment;
3118 --Upper;
3121 return F.intersect(Result, Lower, Upper);
3154 llvm::APSInt Upper = Max - Adjustment;
3158 return F.intersect(SymRange, Lower, Upper);
3192 llvm::APSInt Upper = Max - Adjustment;
3195 return F.intersect(SymRange, Lower, Upper);
3229 llvm::APSInt Upper = ComparisonVal - Adjustment;
3232 return F.intersect(Default, Lower, Upper);