Home | History | Annotate | Download | only in ast

Lines Matching refs:upper

317   static bitset Lub(AstType* type);  // least upper bound that's a bitset
959 // Type bounds. A simple struct to represent a pair of lower/upper types.
963 AstType* upper;
968 upper(nullptr) {}
969 explicit AstBounds(AstType* t) : lower(t), upper(t) {}
970 AstBounds(AstType* l, AstType* u) : lower(l), upper(u) {
971 DCHECK(lower->Is(upper));
982 AstType* upper = AstType::Intersect(b1.upper, b2.upper, zone);
984 if (!lower->Is(upper)) lower = upper;
985 return AstBounds(lower, upper);
991 AstType* upper = AstType::Union(b1.upper, b2.upper, zone);
992 return AstBounds(lower, upper);
998 if (!lower->Is(b.upper)) lower = b.upper;
999 return AstBounds(lower, b.upper);
1003 AstType* upper = AstType::Intersect(b.upper, t, zone);
1005 if (!lower->Is(upper)) lower = upper;
1006 return AstBounds(lower, upper);
1010 return that.lower->Is(this->lower) && this->upper->Is(that.upper);