Lines Matching defs:Intersect
184 Handle<Type> Intersect(Handle<Type> type1, Handle<Type> type2) {
185 return handle(Type::Intersect(type1, type2), isolate_);
570 TEST(Intersect) {
577 CHECK(IsBitset(Type::Intersect(T.Object, T.Number)));
578 CHECK(IsBitset(Type::Intersect(T.Object, T.Object)));
579 CHECK(IsBitset(Type::Intersect(T.Any, T.None)));
581 CheckEqual(T.Intersect(T.None, T.Number), T.None);
582 CheckEqual(T.Intersect(T.Object, T.Proxy), T.None);
583 CheckEqual(T.Intersect(T.Name, T.String), T.Intersect(T.String, T.Name));
584 CheckEqual(T.Intersect(T.UniqueName, T.String), T.InternalizedString);
587 CHECK(IsClass(Type::Intersect(T.ObjectClass, T.ObjectClass)));
588 CHECK(IsBitset(Type::Intersect(T.ObjectClass, T.ArrayClass)));
590 CheckEqual(T.Intersect(T.ObjectClass, T.ObjectClass), T.ObjectClass);
591 CheckEqual(T.Intersect(T.ObjectClass, T.ArrayClass), T.None);
594 CHECK(IsConstant(Type::Intersect(T.ObjectConstant1, T.ObjectConstant1)));
595 CHECK(IsConstant(Type::Intersect(T.ArrayConstant1, T.ArrayConstant2)));
596 CHECK(IsBitset(Type::Intersect(T.ObjectConstant1, T.ObjectConstant2)));
599 T.Intersect(T.ObjectConstant1, T.ObjectConstant1), T.ObjectConstant1);
601 T.Intersect(T.ArrayConstant1, T.ArrayConstant2), T.ArrayConstant1);
602 CheckEqual(T.Intersect(T.ObjectConstant1, T.ObjectConstant2), T.None);
605 CHECK(IsClass(Type::Intersect(T.ObjectClass, T.Object)));
606 CHECK(IsBitset(Type::Intersect(T.ObjectClass, T.Number)));
608 CheckEqual(T.Intersect(T.ObjectClass, T.Object), T.ObjectClass);
609 CheckEqual(T.Intersect(T.ObjectClass, T.Array), T.None);
610 CheckEqual(T.Intersect(T.ObjectClass, T.Number), T.None);
613 CHECK(IsBitset(Type::Intersect(T.Integer31, T.Number)));
614 CHECK(IsConstant(Type::Intersect(T.Integer31Constant, T.Number)));
615 CHECK(IsConstant(Type::Intersect(T.ObjectConstant1, T.Object)));
617 CheckEqual(T.Intersect(T.Integer31, T.Number), T.Integer31);
618 CheckEqual(T.Intersect(T.Integer31Constant, T.Number), T.Integer31Constant);
619 CheckEqual(T.Intersect(T.ObjectConstant1, T.Object), T.ObjectConstant1);
622 CHECK(IsBitset(Type::Intersect(T.ObjectConstant1, T.ObjectClass)));
623 CHECK(IsBitset(Type::Intersect(T.ArrayClass, T.ObjectConstant2)));
625 CheckEqual(T.Intersect(T.ObjectConstant1, T.ObjectClass), T.None);
626 CheckEqual(T.Intersect(T.ArrayClass, T.ObjectConstant2), T.None);
630 Type::Intersect(T.Object, T.Union(T.ObjectConstant1, T.ObjectClass))));
632 Type::Intersect(T.Union(T.ArrayClass, T.ObjectConstant2), T.Number)));
635 T.Intersect(T.Object, T.Union(T.ObjectConstant1, T.ObjectClass)),
638 T.Intersect(T.Union(T.ArrayClass, T.ObjectConstant1), T.Number),
643 Type::Intersect(T.Union(T.ArrayClass, T.ObjectConstant2), T.ArrayClass)));
645 Type::Intersect(T.Union(T.Object, T.Integer31Constant), T.ArrayClass)));
647 Type::Intersect(T.Union(T.ObjectClass, T.ArrayConstant1), T.ArrayClass)));
650 T.Intersect(T.ArrayClass, T.Union(T.ObjectConstant2, T.ArrayClass)),
653 T.Intersect(T.ArrayClass, T.Union(T.Object, T.Integer31Constant)),
656 T.Intersect(T.Union(T.ObjectClass, T.ArrayConstant1), T.ArrayClass),
660 CHECK(IsConstant(Type::Intersect(
662 CHECK(IsConstant(Type::Intersect(
664 CHECK(IsBitset(Type::Intersect(
668 T.Intersect(
672 T.Intersect(T.Integer31Constant, T.Union(T.Number, T.ObjectConstant2)),
675 T.Intersect(T.Union(T.ArrayConstant1, T.ObjectClass), T.ObjectConstant1),
679 CHECK(IsUnion(Type::Intersect(
681 CHECK(IsBitset(Type::Intersect(
685 T.Intersect(
690 T.Intersect(
695 T.Intersect(
700 T.Intersect(
706 T.Intersect(
