Fix various bugs in the type systems, and improve test coverage.

src/types.h

 // Copyright 2014 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.
 
 #ifndef V8_TYPES_H_
 #define V8_TYPES_H_
 
 #include "handles.h"
 
 namespace v8 {
@@ skipping 136 matching lines @@
   V(UniqueName,          kSymbol | kInternalizedString)                 \
   V(Name,                kSymbol | kString)                             \
   V(NumberOrString,      kNumber | kString)                             \
   V(DetectableObject,    kArray | kFunction | kRegExp | kOtherObject)   \
   V(DetectableReceiver,  kDetectableObject | kProxy)                    \
   V(Detectable,          kDetectableReceiver | kNumber | kName)         \
   V(Object,              kDetectableObject | kUndetectable)             \
   V(Receiver,            kObject | kProxy)                              \
   V(NonNumber,           kBoolean | kName | kNull | kReceiver |         \
                          kUndefined | kInternal)                        \
-  V(Any,                 kNumber | kNonNumber)
+  V(Any,                 -1)
 
 #define BITSET_TYPE_LIST(V) \
   MASK_BITSET_TYPE_LIST(V) \
   REPRESENTATION_BITSET_TYPE_LIST(V) \
   SEMANTIC_BITSET_TYPE_LIST(V)
 
 
 // struct Config {
 //   typedef Base;
 //   typedef Struct;
@@ skipping 122 matching lines @@
   }
 
   template<class OtherTypeImpl>
   static TypeHandle Convert(
       typename OtherTypeImpl::TypeHandle type, Region* region);
 
   enum PrintDimension { BOTH_DIMS, SEMANTIC_DIM, REPRESENTATION_DIM };
   void TypePrint(PrintDimension = BOTH_DIMS);
   void TypePrint(FILE* out, PrintDimension = BOTH_DIMS);
 
+  bool IsInhabited() {

[rossberg, 2014/04/09 10:56:56]

Nit: move this up to line 222

[Benedikt Meurer, 2014/04/09 11:12:26]

Done.

+    return !this->IsBitset() || IsInhabited(this->AsBitset());
+  }
+
  private:
   template<class> friend class Iterator;
   template<class> friend class TypeImpl;
   friend struct ZoneTypeConfig;
   friend struct HeapTypeConfig;
 
   enum Tag {
     kClassTag,
     kConstantTag,
     kUnionTag
@@ skipping 187 matching lines @@
   bool Narrows(BoundsImpl that) {
     return that.lower->Is(this->lower) && this->upper->Is(that.upper);
   }
 };
 
 typedef BoundsImpl<ZoneTypeConfig> Bounds;
 
 } }  // namespace v8::internal
 
 #endif  // V8_TYPES_H_