Compress deoptimization information by sharing common suffixes.

runtime/vm/flow_graph_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/globals.h"  // Needed here to get TARGET_ARCH_XXX.
 
 #include "vm/flow_graph_compiler.h"
 
 #include "vm/dart_entry.h"
 #include "vm/debugger.h"
@@ skipping 44 matching lines @@
   AllocateIncomingParametersRecursive(env->outer(), stack_height);
   for (Environment::ShallowIterator it(env); !it.Done(); it.Advance()) {
     if (it.CurrentLocation().IsInvalid()) {
       ASSERT(it.CurrentValue()->definition()->IsPushArgument());
       it.SetCurrentLocation(Location::StackSlot((*stack_height)++));
     }
   }
 }
 
 
-RawDeoptInfo* CompilerDeoptInfo::CreateDeoptInfo(FlowGraphCompiler* compiler) {
+RawDeoptInfo* CompilerDeoptInfo::CreateDeoptInfo(FlowGraphCompiler* compiler,
+                                                 DeoptInfoBuilder* builder) {
   if (deoptimization_env_ == NULL) return DeoptInfo::null();
 
   intptr_t stack_height = compiler->StackSize();
   AllocateIncomingParametersRecursive(deoptimization_env_, &stack_height);
 
-  const Function& function = compiler->parsed_function().function();
-  // For functions with optional arguments, all incoming arguments are copied
-  // to spill slots. The deoptimization environment does not track them.
-  const intptr_t incoming_arg_count =
-      function.HasOptionalParameters() ? 0 : function.num_fixed_parameters();
-  DeoptInfoBuilder builder(compiler->object_table(), incoming_arg_count);
-
   intptr_t slot_ix = 0;
-  Environment* inner = deoptimization_env_;
+  Environment* current = deoptimization_env_;
 
   // For the innermost environment, call the virtual return builder.
-  BuildReturnAddress(&builder, inner->function(), slot_ix++);
+  BuildReturnAddress(builder, current->function(), slot_ix++);
 
   // For the innermost environment, set outgoing arguments and the locals.
-  for (intptr_t i = inner->Length() - 1;
-       i >= inner->fixed_parameter_count();
+  for (intptr_t i = current->Length() - 1;
+       i >= current->fixed_parameter_count();
        i--) {
-    builder.AddCopy(inner->LocationAt(i), *inner->ValueAt(i), slot_ix++);
+    builder->AddCopy(current->LocationAt(i), *current->ValueAt(i), slot_ix++);
   }
 
   // PC marker and caller FP.
-  builder.AddPcMarker(inner->function(), slot_ix++);
-  builder.AddCallerFp(slot_ix++);
+  builder->AddPcMarker(current->function(), slot_ix++);
+  builder->AddCallerFp(slot_ix++);
 
-  while (inner->outer() != NULL) {
-    // Write the frame for an outer environment.
-    const Environment* current = inner->outer();
-
+  Environment* previous = current;
+  current = current->outer();
+  while (current != NULL) {
     // For any outer environment the deopt id is that of the call instruction
     // which is recorded in the outer environment.
-    builder.AddReturnAddressAfter(current->function(),
-                                  current->deopt_id(),
-                                  slot_ix++);
+    builder->AddReturnAddressAfter(current->function(),
+                                   current->deopt_id(),
+                                   slot_ix++);
 
     // The values of outgoing arguments can be changed from the inlined call so
-    // we must read them from the inner environment.
-    for (intptr_t i = inner->fixed_parameter_count() - 1; i >= 0; i--) {
-      builder.AddCopy(inner->LocationAt(i), *inner->ValueAt(i), slot_ix++);
+    // we must read them from the previous environment.
+    for (intptr_t i = previous->fixed_parameter_count() - 1; i >= 0; i--) {
+      builder->AddCopy(previous->LocationAt(i), *previous->ValueAt(i),
+                       slot_ix++);
     }
 
     // Set the locals, note that outgoing arguments are not in the environment.
     for (intptr_t i = current->Length() - 1;
          i >= current->fixed_parameter_count();
          i--) {
-      builder.AddCopy(current->LocationAt(i), *current->ValueAt(i), slot_ix++);
+      builder->AddCopy(current->LocationAt(i), *current->ValueAt(i), slot_ix++);
     }
 
     // PC marker and caller FP.
-    builder.AddPcMarker(current->function(), slot_ix++);
-    builder.AddCallerFp(slot_ix++);
+    builder->AddPcMarker(current->function(), slot_ix++);
+    builder->AddCallerFp(slot_ix++);
 
     // Iterate on the outer environment.
-    inner = inner->outer();
+    previous = current;
+    current = current->outer();
   }
-  ASSERT(inner != NULL);  // The inner pointer is now the outermost environment.
+  // The previous pointer is now the outermost environment.
+  ASSERT(previous != NULL);
 
   // For the outermost environment, set caller PC.
-  builder.AddCallerPc(slot_ix++);
+  builder->AddCallerPc(slot_ix++);
 
   // For the outermost environment, set the incoming arguments.
-  for (intptr_t i = inner->fixed_parameter_count() - 1; i >= 0; i--) {
-    builder.AddCopy(inner->LocationAt(i), *inner->ValueAt(i), slot_ix++);
+  for (intptr_t i = previous->fixed_parameter_count() - 1; i >= 0; i--) {
+    builder->AddCopy(previous->LocationAt(i), *previous->ValueAt(i), slot_ix++);
   }
 
-  const DeoptInfo& deopt_info = DeoptInfo::Handle(builder.CreateDeoptInfo());
+  const DeoptInfo& deopt_info = DeoptInfo::Handle(builder->CreateDeoptInfo());
   return deopt_info.raw();
 }
 
 
 FlowGraphCompiler::FlowGraphCompiler(Assembler* assembler,
                                      const FlowGraph& flow_graph,
                                      bool is_optimizing,
                                      bool is_leaf)
     : assembler_(assembler),
       parsed_function_(flow_graph.parsed_function()),
       block_order_(flow_graph.reverse_postorder()),
       current_block_(NULL),
       exception_handlers_list_(NULL),
       pc_descriptors_list_(NULL),
       stackmap_table_builder_(
           is_optimizing ? new StackmapTableBuilder() : NULL),
       block_info_(block_order_.length()),
       deopt_infos_(),
-      object_table_(GrowableObjectArray::Handle(GrowableObjectArray::New())),
       is_optimizing_(is_optimizing),
       is_dart_leaf_(is_leaf),
       bool_true_(Bool::ZoneHandle(Bool::True())),
       bool_false_(Bool::ZoneHandle(Bool::False())),
       double_class_(Class::ZoneHandle(
           Isolate::Current()->object_store()->double_class())),
       parallel_move_resolver_(this) {
   ASSERT(assembler != NULL);
 }
 
@@ skipping 217 matching lines @@
 void FlowGraphCompiler::FinalizePcDescriptors(const Code& code) {
   ASSERT(pc_descriptors_list_ != NULL);
   const PcDescriptors& descriptors = PcDescriptors::Handle(
       pc_descriptors_list_->FinalizePcDescriptors(code.EntryPoint()));
   if (!is_optimizing_) descriptors.Verify(parsed_function_.function());
   code.set_pc_descriptors(descriptors);
 }
 
 
 void FlowGraphCompiler::FinalizeDeoptInfo(const Code& code) {
+  // For functions with optional arguments, all incoming arguments are copied
+  // to spill slots. The deoptimization environment does not track them.
+  const Function& function = parsed_function().function();
+  const intptr_t incoming_arg_count =
+      function.HasOptionalParameters() ? 0 : function.num_fixed_parameters();
+  DeoptInfoBuilder builder(incoming_arg_count);
+
   const Array& array =
       Array::Handle(Array::New(DeoptTable::SizeFor(deopt_infos_.length()),
                                Heap::kOld));
   Smi& offset = Smi::Handle();
   DeoptInfo& info = DeoptInfo::Handle();
   Smi& reason = Smi::Handle();
   for (intptr_t i = 0; i < deopt_infos_.length(); i++) {
     offset = Smi::New(deopt_infos_[i]->pc_offset());
-    info = deopt_infos_[i]->CreateDeoptInfo(this);
+    info = deopt_infos_[i]->CreateDeoptInfo(this, &builder);
     reason = Smi::New(deopt_infos_[i]->reason());
     DeoptTable::SetEntry(array, i, offset, info, reason);
   }
   code.set_deopt_info_array(array);
-  const Array& object_array = Array::Handle(Array::MakeArray(object_table_));
+  const Array& object_array =
+      Array::Handle(Array::MakeArray(builder.object_table()));
   code.set_object_table(object_array);
 }
 
 
 void FlowGraphCompiler::FinalizeStackmaps(const Code& code) {
   if (stackmap_table_builder_ == NULL) {
     // The unoptimizing compiler has no stack maps.
     code.set_stackmaps(Array::Handle());
   } else {
     // Finalize the stack map array and add it to the code object.
@@ skipping 484 matching lines @@
     case ABOVE:         return unsigned_left > unsigned_right;
     case ABOVE_EQUAL:   return unsigned_left >= unsigned_right;
     default:
       UNIMPLEMENTED();
       return false;
   }
 }
 
 
 }  // namespace dart