diff options
Diffstat (limited to 'deps/v8/test/cctest/test-types.cc')
-rw-r--r-- | deps/v8/test/cctest/test-types.cc | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/deps/v8/test/cctest/test-types.cc b/deps/v8/test/cctest/test-types.cc index fa4cd02164..831593f17b 100644 --- a/deps/v8/test/cctest/test-types.cc +++ b/deps/v8/test/cctest/test-types.cc @@ -329,39 +329,6 @@ struct Tests { } } - void Of() { - // Constant(V).Is(Of(V)) - for (ValueIterator vt = T.values.begin(); vt != T.values.end(); ++vt) { - Handle<i::Object> value = *vt; - Type const_type = T.NewConstant(value); - Type of_type = T.Of(value); - CHECK(const_type.Is(of_type)); - } - - // If Of(V).Is(T), then Constant(V).Is(T) - for (ValueIterator vt = T.values.begin(); vt != T.values.end(); ++vt) { - for (TypeIterator it = T.types.begin(); it != T.types.end(); ++it) { - Handle<i::Object> value = *vt; - Type type = *it; - Type const_type = T.NewConstant(value); - Type of_type = T.Of(value); - CHECK(!of_type.Is(type) || const_type.Is(type)); - } - } - - // If Constant(V).Is(T), then Of(V).Is(T) or T.Maybe(Constant(V)) - for (ValueIterator vt = T.values.begin(); vt != T.values.end(); ++vt) { - for (TypeIterator it = T.types.begin(); it != T.types.end(); ++it) { - Handle<i::Object> value = *vt; - Type type = *it; - Type const_type = T.NewConstant(value); - Type of_type = T.Of(value); - CHECK(!const_type.Is(type) || of_type.Is(type) || - type.Maybe(const_type)); - } - } - } - void MinMax() { // If b is regular numeric bitset, then Range(b.Min(), b.Max()).Is(b). // TODO(neis): Need to ignore representation for this to be true. @@ -1083,8 +1050,6 @@ TEST(ConstantType) { Tests().Constant(); } TEST(RangeType) { Tests().Range(); } -TEST(Of) { Tests().Of(); } - TEST(MinMax) { Tests().MinMax(); } TEST(BitsetGlb) { Tests().BitsetGlb(); } |