Lines Matching defs:Range
352 void Range() {
359 Type* type = T.Range(min, max);
364 // Range attributes
370 Type* type = T.Range(min, max);
377 // Range(min1, max1) = Range(min2, max2) <=> min1 = min2 /\ max1 = max2
392 Type* type1 = T.Range(min1, max1);
393 Type* type2 = T.Range(min2, max2);
613 // If b is regular numeric bitset, then Range(b->Min(), b->Max())->Is(b).
620 Type* range = T.Range(
623 CHECK(range->Is(type));
650 // Lub(Range(x,y))->Min() <= x and y <= Lub(Range(x,y))->Max()
659 // Rangification: If T->Is(Range(-inf,+inf)) and T is inhabited, then
660 // T->Is(Range(T->Min(), T->Max())).
664 type->Is(T.Range(type->Min(), type->Max())));
812 // Range(X1, Y1)->Is(Range(X2, Y2)) iff X1 >= X2 /\ Y1 <= Y2
827 Type* type1 = T.Range(min1, max1);
828 Type* type2 = T.Range(min2, max2);
883 // Range-specific subtyping
885 // If IsInteger(v) then Constant(v)->Is(Range(v, v)).
889 CHECK(type->Is(T.Range(type->AsConstant()->Value()->Number(),
894 // If Constant(x)->Is(Range(min,max)) then IsInteger(v) and min <= x <= max.
908 // Lub(Range(x,y))->Is(T.Union(T.Integral32, T.OtherNumber))
1340 // (Unsigned32 \/ Range(0,5)) \/ Range(-5,0) = Unsigned32 \/ Range(-5,0)
1341 // Unsigned32 \/ (Range(0,5) \/ Range(-5,0)) = Unsigned32 \/ Range(-5,5)
1382 // Range(-5,-1) <= Signed32
1383 // Range(-5,-1) \/ Range(1,5) = Range(-5,5) </= Signed32 \/ Range(1,5)
1403 // Range(-2^33, -2^33) <= OtherNumber
1404 // Range(2^33, 2^33) <= OtherNumber
1405 // Range(-2^33, 2^33) </= OtherNumber
1835 // GetRange(Range(a, b)) = Range(a, b).
1839 RangeType* range = type1->GetRange()->AsRange();
1840 CHECK(type1->Min() == range->Min());
1841 CHECK(type1->Max() == range->Max());
1845 // GetRange(Union(Constant(x), Range(min,max))) == Range(min, max).
1883 TEST(RangeType_zone) { Tests().Range(); }
