Lines Matching defs:Lower
115 const llvm::APSInt &Lower,
129 if (i->To() < Lower) {
136 if (i->Includes(Lower)) {
138 newRanges = F.add(newRanges, Range(BV.getValue(Lower),
142 newRanges = F.add(newRanges, Range(BV.getValue(Lower), i->To()));
158 bool pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const {
160 // both the upper and lower bounds against the symbol's type.
165 APSIntType::RangeTestResultKind LowerTest = Type.testInRange(Lower, true);
174 if (Lower <= Upper)
178 Lower = Type.getMinValue();
183 Lower = Type.getMinValue();
188 Lower = Type.getMinValue();
196 // The range wraps around, but all lower values are not possible.
197 Type.apply(Lower);
202 Type.apply(Lower);
207 Type.apply(Lower);
219 Lower = Type.getMinValue();
225 if (Lower <= Upper)
229 Lower = Type.getMinValue();
241 // the closed range [Lower, Upper]. Unlike the Range type, this range uses
243 // overflow. Thus, if the Lower bound is greater than the Upper bound, the
245 // intersection with the two ranges [Min, Upper] and [Lower, Max],
246 // or, alternatively, /removing/ all integers between Upper and Lower.
248 llvm::APSInt Lower, llvm::APSInt Upper) const {
249 if (!pin(Lower, Upper))
255 if (Lower <= Upper)
256 IntersectInRange(BV, F, Lower, Upper, newRanges, i, e);
260 // Therefore, the lower range most be handled first.
262 IntersectInRange(BV, F, Lower, BV.getMaxValue(Lower), newRanges, i, e);
458 llvm::APSInt Lower = AdjustmentType.convert(Int) - Adjustment;
459 llvm::APSInt Upper = Lower;
460 --Lower;
464 // Notice that the lower bound is greater than the upper bound.
465 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
505 llvm::APSInt Lower = Min - Adjustment;
509 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
541 llvm::APSInt Lower = ComparisonVal - Adjustment;
543 ++Lower;
545 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
578 llvm::APSInt Lower = ComparisonVal - Adjustment;
581 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
614 llvm::APSInt Lower = Min - Adjustment;
617 return RS.Intersect(getBasicVals(), F, Lower, Upper);
642 llvm::APSInt Lower = Min - Adjustment;
645 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
