Adding a type vector to replace type cells.

src/compiler.h

Index: src/compiler.h
diff --git a/src/compiler.h b/src/compiler.h
index 3bf4db5780a31d041782b3f0aaf30d046ee5151b..02994afc9e563bffbcd1f72108837a05b652aff6 100644
--- a/src/compiler.h
+++ b/src/compiler.h
@@ -103,6 +103,9 @@ class CompilationInfo {
     parameter_count_ = parameter_count;
   }
 
+  void ProcessFeedbackSlots();
+  int slot_count() { return function()->slot_count(); }
+
   void set_this_has_uses(bool has_no_uses) {
     this_has_uses_ = has_no_uses;
   }
@@ -632,8 +635,10 @@ class Compiler : public AllStatic {
                                                   NativesFlag is_natives_code);
 
   // Create a shared function info object (the code may be lazily compiled).
-  static Handle<SharedFunctionInfo> BuildFunctionInfo(FunctionLiteral* node,
-                                                      Handle<Script> script);
+  static Handle<SharedFunctionInfo> BuildFunctionInfo(
+      FunctionLiteral* node,
+      Handle<Script> script,
+      bool process_feedback = true);

[Benedikt Meurer, 2014/02/04 08:53:50]

This bool parameter is really confusing. If we really need it here to make
things work, we should consider fixing our pipeline first, i.e. split this
method into two methods.

[mvstanton, 2014/02/04 13:03:27]

Took some effort but I finally figured out another way.
The real chokepoint for this work is
CompilationInfo::SetScope(), because when the scope is applied, the deferred
work can be performed. However because this is a pile of work that has to be
done, Danno noticed this was bad because "SetScope" implies a simple setter
rather than a method that does work. So I renamed the method to
InitializeScope(), indicating with a comment that some deferred work may be
performed.

In this way I don't need to even mention feedback slots in the public interface
of CompilationInfo.

 
   enum ConcurrencyMode { NOT_CONCURRENT, CONCURRENT };