Add a type for objects with typed properties.

test/cctest/types-fuzz.h

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 197 matching lines @@
   TypeHandle Function1(TypeHandle result, TypeHandle receiver, TypeHandle arg) {
     TypeHandle type = Type::Function(result, receiver, 1, region_);
     type->AsFunction()->InitParameter(0, arg);
     return type;
   }
 
   TypeHandle Function2(TypeHandle result, TypeHandle arg1, TypeHandle arg2) {
     return Type::Function(result, arg1, arg2, region_);
   }
 
+  TypeHandle ExplicitObject(int size) { return Type::Object(size, region_); }
+
   TypeHandle Union(TypeHandle t1, TypeHandle t2) {
     return Type::Union(t1, t2, region_);
   }
 
   TypeHandle Intersect(TypeHandle t1, TypeHandle t2) {
     return Type::Intersect(t1, t2, region_);
   }
 
   TypeHandle Representation(TypeHandle t) {
     return Type::Representation(t, region_);
   }
 
   // TypeHandle Semantic(TypeHandle t) { return Intersect(t,
   // MaskSemanticForTesting); }
   TypeHandle Semantic(TypeHandle t) { return Type::Semantic(t, region_); }
 
   template<class Type2, class TypeHandle2>
   TypeHandle Convert(TypeHandle2 t) {
     return Type::template Convert<Type2>(t, region_);
   }
 
   TypeHandle Random() {
     return types[rng_->NextInt(static_cast<int>(types.size()))];
   }
 
+  TypeHandle ExplicitAny() { return Type::Any(region_); }
+
   TypeHandle Fuzz(int depth = 4) {
     switch (rng_->NextInt(depth == 0 ? 3 : 20)) {
       case 0: {  // bitset
         #define COUNT_BITSET_TYPES(type, value) + 1
         int n = 0 PROPER_BITSET_TYPE_LIST(COUNT_BITSET_TYPES);
         #undef COUNT_BITSET_TYPES
         // Pick a bunch of named bitsets and return their intersection.
         TypeHandle result = Type::Any(region_);
         for (int i = 0, m = 1 + rng_->NextInt(3); i < m; ++i) {
           int j = rng_->NextInt(n);
@@ skipping 68 matching lines @@
 
  private:
   Region* region_;
   v8::base::RandomNumberGenerator* rng_;
 };
 
 
 } }  // namespace v8::internal
 
 #endif