Adding collected type feedback to the IL nodes (only in optimized mode).

runtime/vm/compiler.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/compiler.h"
 
 #include "vm/assembler.h"
 #include "vm/ast_printer.h"
 #include "vm/code_generator.h"
 #include "vm/code_patcher.h"
@@ skipping 65 matching lines @@
         ASSERT(all_nodes[n]->ICDataAtId(node_id).IsNull());
         ic_data_obj ^= ic_data_objs.At(i);
         all_nodes[n]->SetIcDataAtId(node_id, ic_data_obj);
       }
     }
     ASSERT(found_node);
   }
 }
 
 
+// Returns an array indexed by computation id, containing the extracted ICData.
+static RawArray* ExtractTypeFeedbackArray(const Code& code) {
+  ASSERT(!code.IsNull() && !code.is_optimized());
+  GrowableArray<intptr_t> computation_ids;
+  const GrowableObjectArray& ic_data_objs =
+      GrowableObjectArray::Handle(GrowableObjectArray::New());
+  const intptr_t max_id =
+      code.ExtractIcDataArraysAtCalls(&computation_ids, ic_data_objs);
+  const Array& result = Array::Handle(Array::New(max_id + 1));
+  for (intptr_t i = 0; i < computation_ids.length(); i++) {
+    ASSERT(result.At(i) == Object::null());
+    result.SetAt(i, Object::Handle(ic_data_objs.At(i)));
+  }
+  return result.raw();
+}
+
+
 RawError* Compiler::Compile(const Library& library, const Script& script) {
   Isolate* isolate = Isolate::Current();
   LongJump* base = isolate->long_jump_base();
   LongJump jump;
   isolate->set_long_jump_base(&jump);
   if (setjmp(*jump.Set()) == 0) {
     if (FLAG_trace_compiler) {
       HANDLESCOPE(isolate);
       const String& script_url = String::Handle(script.url());
       // TODO(iposva): Extract script kind.
@@ skipping 65 matching lines @@
 
       if (optimized) {
         // Transition to optimized code only from unoptimized code ...
         // for now.
         ASSERT(parsed_function.function().HasCode());
         ASSERT(!parsed_function.function().HasOptimizedCode());
         // Do not use type feedback to optimize a function that was
         // deoptimized too often.
         if (parsed_function.function().deoptimization_counter() <
             FLAG_deoptimization_counter_threshold) {
-          // Extract type feedback etc.
+          const Code& unoptimized_code =
+              Code::Handle(parsed_function.function().unoptimized_code());
+          isolate->set_ic_data_array(
+              ExtractTypeFeedbackArray(unoptimized_code));
         }
       }
     }
 
     Assembler assembler;
     FlowGraphCompiler graph_compiler(&assembler, parsed_function,
                                      block_order, optimized);
     {
       TimerScope timer(FLAG_compiler_stats,
                        &CompilerStats::graphcompiler_timer,
                        isolate);
       graph_compiler.CompileGraph();
+      isolate->set_ic_data_array(Array::null());
     }
     {
       TimerScope timer(FLAG_compiler_stats,
                        &CompilerStats::codefinalizer_timer,
                        isolate);
       const Function& function = parsed_function.function();
       const Code& code = Code::Handle(Code::FinalizeCode(function, &assembler));
       code.set_is_optimized(optimized);
       graph_compiler.FinalizePcDescriptors(code);
       graph_compiler.FinalizeStackmaps(code);
@@ skipping 318 matching lines @@
     isolate->object_store()->clear_sticky_error();
     isolate->set_long_jump_base(base);
     return result.raw();
   }
   UNREACHABLE();
   return Object::null();
 }
 
 
 }  // namespace dart