Lines Matching defs:Constant
275 void Constant() {
279 Type* type = T.Constant(value);
286 Type* type = T.Constant(value);
290 // Functionality & Injectivity: Constant(V1) = Constant(V2) iff V1 = V2
295 Type* type1 = T.Constant(value1);
296 Type* type2 = T.Constant(value2);
303 CHECK(T.Constant(fac->NewNumber(0))->Is(T.UnsignedSmall));
304 CHECK(T.Constant(fac->NewNumber(1))->Is(T.UnsignedSmall));
305 CHECK(T.Constant(fac->NewNumber(0x3fffffff))->Is(T.UnsignedSmall));
306 CHECK(T.Constant(fac->NewNumber(-1))->Is(T.Negative31));
307 CHECK(T.Constant(fac->NewNumber(-0x3fffffff))->Is(T.Negative31));
308 CHECK(T.Constant(fac->NewNumber(-0x40000000))->Is(T.Negative31));
309 CHECK(T.Constant(fac->NewNumber(0x40000000))->Is(T.Unsigned31));
310 CHECK(!T.Constant(fac->NewNumber(0x40000000))->Is(T.Unsigned30));
311 CHECK(T.Constant(fac->NewNumber(0x7fffffff))->Is(T.Unsigned31));
312 CHECK(!T.Constant(fac->NewNumber(0x7fffffff))->Is(T.Unsigned30));
313 CHECK(T.Constant(fac->NewNumber(-0x40000001))->Is(T.Negative32));
314 CHECK(!T.Constant(fac->NewNumber(-0x40000001))->Is(T.Negative31));
315 CHECK(T.Constant(fac->NewNumber(-0x7fffffff))->Is(T.Negative32));
316 CHECK(!T.Constant(fac->NewNumber(-0x7fffffff - 1))->Is(T.Negative31));
318 CHECK(!T.Constant(fac->NewNumber(0x40000000))->Is(T.UnsignedSmall));
319 CHECK(!T.Constant(fac->NewNumber(0x7fffffff))->Is(T.UnsignedSmall));
320 CHECK(!T.Constant(fac->NewNumber(-0x40000001))->Is(T.SignedSmall));
321 CHECK(!T.Constant(fac->NewNumber(-0x7fffffff - 1))->Is(T.SignedSmall));
324 CHECK(T.Constant(fac->NewNumber(0x40000000))->Is(T.UnsignedSmall));
325 CHECK(T.Constant(fac->NewNumber(0x7fffffff))->Is(T.UnsignedSmall));
326 CHECK(T.Constant(fac->NewNumber(-0x40000001))->Is(T.SignedSmall));
327 CHECK(T.Constant(fac->NewNumber(-0x7fffffff - 1))->Is(T.SignedSmall));
329 CHECK(T.Constant(fac->NewNumber(0x80000000u))->Is(T.Unsigned32));
330 CHECK(!T.Constant(fac->NewNumber(0x80000000u))->Is(T.Unsigned31));
331 CHECK(T.Constant(fac->NewNumber(0xffffffffu))->Is(T.Unsigned32));
332 CHECK(!T.Constant(fac->NewNumber(0xffffffffu))->Is(T.Unsigned31));
333 CHECK(T.Constant(fac->NewNumber(0xffffffffu + 1.0))->Is(T.PlainNumber));
334 CHECK(!T.Constant(fac->NewNumber(0xffffffffu + 1.0))->Is(T.Integral32));
335 CHECK(T.Constant(fac->NewNumber(-0x7fffffff - 2.0))->Is(T.PlainNumber));
336 CHECK(!T.Constant(fac->NewNumber(-0x7fffffff - 2.0))->Is(T.Integral32));
337 CHECK(T.Constant(fac->NewNumber(0.1))->Is(T.PlainNumber));
338 CHECK(!T.Constant(fac->NewNumber(0.1))->Is(T.Integral32));
339 CHECK(T.Constant(fac->NewNumber(-10.1))->Is(T.PlainNumber));
340 CHECK(!T.Constant(fac->NewNumber(-10.1))->Is(T.Integral32));
341 CHECK(T.Constant(fac->NewNumber(10e60))->Is(T.PlainNumber));
342 CHECK(!T.Constant(fac->NewNumber(10e60))->Is(T.Integral32));
343 CHECK(T.Constant(fac->NewNumber(-1.0*0.0))->Is(T.MinusZero));
344 CHECK(T.Constant(fac->NewNumber(std::numeric_limits<double>::quiet_NaN()))
346 CHECK(T.Constant(fac->NewNumber(V8_INFINITY))->Is(T.PlainNumber));
347 CHECK(!T.Constant(fac->NewNumber(V8_INFINITY))->Is(T.Integral32));
348 CHECK(T.Constant(fac->NewNumber(-V8_INFINITY))->Is(T.PlainNumber));
349 CHECK(!T.Constant(fac->NewNumber(-V8_INFINITY))->Is(T.Integral32));
525 // Constant(V)->Is(Of(V))
528 Type* const_type = T.Constant(value);
533 // If Of(V)->Is(T), then Constant(V)->Is(T)
538 Type* const_type = T.Constant(value);
544 // If Constant(V)->Is(T), then Of(V)->Is(T) or T->Maybe(Constant(V))
549 Type* const_type = T.Constant(value);
558 // Constant(V)->NowIs(NowOf(V))
561 Type* const_type = T.Constant(value);
574 // If NowOf(V)->NowIs(T), then Constant(V)->NowIs(T)
579 Type* const_type = T.Constant(value);
585 // If Constant(V)->NowIs(T),
586 // then NowOf(V)->NowIs(T) or T->Maybe(Constant(V))
591 Type* const_type = T.Constant(value);
598 // If Constant(V)->Is(T),
599 // then NowOf(V)->Is(T) or T->Maybe(Constant(V))
604 Type* const_type = T.Constant(value);
835 // Constant(V1)->Is(Constant(V2)) iff V1 = V2
840 Type* const_type1 = T.Constant(value1);
841 Type* const_type2 = T.Constant(value2);
885 // If IsInteger(v) then Constant(v)->Is(Range(v, v)).
894 // If Constant(x)->Is(Range(min,max)) then IsInteger(v) and min <= x <= max.
1053 // Constant(V1)->NowIs(Constant(V2)) iff V1 = V2
1058 Type* const_type1 = T.Constant(value1);
1059 Type* const_type2 = T.Constant(value2);
1075 // Constant(V)->NowIs(Class(M)) iff V has map M
1080 Type* const_type = T.Constant(value);
1088 // Class(M)->NowIs(Constant(V)) never
1093 Type* const_type = T.Constant(value);
1101 // T->Contains(V) iff Constant(V)->Is(T)
1106 Type* const_type = T.Constant(value);
1113 // T->NowContains(V) iff Constant(V)->NowIs(T)
1118 Type* const_type = T.Constant(value);
1201 // Constant(V1)->Maybe(Constant(V2)) iff V1 = V2
1206 Type* const_type1 = T.Constant(value1);
1207 Type* const_type2 = T.Constant(value2);
1223 // Constant(V)->Maybe(Class(M)) never
1230 Type* const_type = T.Constant(value);
1237 // Class(M)->Maybe(Constant(V)) never
1244 Type* const_type = T.Constant(value);
1444 // Constant-constant
1482 // Bitset-constant
1490 // Class-constant
1516 // Constant-union
1586 // (Class(..stringy1..) /\ Class(..stringy2..)) /\ Constant(..string..) =
1588 // Class(..stringy1..) /\ (Class(..stringy2..) /\ Constant(..string..)) =
1589 // Constant(..string..)
1609 // Class(..stringy..) /\ Constant(..string..) = Constant(..string..)
1658 // Class(..stringy..) /\ Constant(..string..) = Constant(..string..)
1659 // Constant(..string..) </= Class(..stringy..)
1710 // Class-constant
1747 // Constant-union
1845 // GetRange(Union(Constant(x), Range(min,max))) == Range(min, max).
1881 TEST(ConstantType_zone) { Tests().Constant(); }
