Forking the type system between Crankshaft & Turbofan.

test/cctest/test-types.cc

 // Copyright 2013 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include <vector>
 
 #include "src/crankshaft/hydrogen-types.h"
 #include "src/factory.h"
 #include "src/heap/heap.h"
 #include "src/isolate.h"
@@ skipping 1848 matching lines @@
         Type* type2 = *it2;
         if (type1->IsConstant() && type2->IsRange()) {
           Type* u = T.Union(type1, type2);
 
           CHECK(type2->Min() == u->GetRange()->Min());
           CHECK(type2->Max() == u->GetRange()->Max());
         }
       }
     }
   }
-
-  void HTypeFromType() {
-    for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) {
-      for (TypeIterator it2 = T.types.begin(); it2 != T.types.end(); ++it2) {
-        Type* type1 = *it1;
-        Type* type2 = *it2;
-        HType htype1 = HType::FromType(type1);
-        HType htype2 = HType::FromType(type2);
-        CHECK(!type1->Is(type2) || htype1.IsSubtypeOf(htype2));
-      }
-    }
-  }
 };
 
 TEST(IsSomeType_zone) { Tests().IsSomeType(); }
 
 TEST(PointwiseRepresentation_zone) { Tests().PointwiseRepresentation(); }
 
 TEST(BitsetType_zone) { Tests().Bitset(); }
 
 TEST(ClassType_zone) { Tests().Class(); }
 
@@ skipping 33 matching lines @@
 
 TEST(Union3_zone) { Tests().Union3(); }
 
 TEST(Union4_zone) { Tests().Union4(); }
 
 TEST(Intersect_zone) { Tests().Intersect(); }
 
 TEST(Distributivity_zone) { Tests().Distributivity(); }
 
 TEST(GetRange_zone) { Tests().GetRange(); }
-
-TEST(HTypeFromType_zone) { Tests().HTypeFromType(); }