summaryrefslogtreecommitdiff
path: root/deps/v8/test/cctest/test-types.cc
diff options
context:
space:
mode:
Diffstat (limited to 'deps/v8/test/cctest/test-types.cc')
-rw-r--r--deps/v8/test/cctest/test-types.cc35
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(); }