Use the inner deoptimization frame when setting incoming arguments.

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 58 matching lines @@
   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* env = deoptimization_env_;
-  while (env != NULL) {
-    const Function& function = env->function();
-    const intptr_t fixed_parameter_count = env->fixed_parameter_count();
+  Environment* inner = deoptimization_env_;
 
-    if (slot_ix == 0) {
-      // For the innermost environment call the virtual return builder.
-      BuildReturnAddress(&builder, function, slot_ix++);
-    } else {
-      // For any outer environment the deopt id is that of the call instruction
-      // which is recorded in the outer environment.
-      builder.AddReturnAddressAfter(function, env->deopt_id(), slot_ix++);
+  // For the innermost environment, call the virtual return builder.
+  BuildReturnAddress(&builder, inner->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();
+       i--) {
+    builder.AddCopy(inner->LocationAt(i), *inner->ValueAt(i), slot_ix++);
+  }
+
+  // PC marker and caller FP.
+  builder.AddPcMarker(inner->function(), slot_ix++);
+  builder.AddCallerFp(slot_ix++);
+
+  while (inner->outer() != NULL) {
+    // Write the frame for an outer environment.
+    const Environment* current = inner->outer();
+
+    // 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++);
+
+    // Set incoming arguments from the inner frame.
+    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 = env->Length() - 1; i >= fixed_parameter_count; i--) {
-      builder.AddCopy(env->LocationAt(i), *env->ValueAt(i), slot_ix++);
+    // Set the locals, not including the outgoing arguments.
+    for (intptr_t i = current->Length() - inner->fixed_parameter_count() - 1;
+         i >= current->fixed_parameter_count();
+         i--) {
+      builder.AddCopy(current->LocationAt(i), *current->ValueAt(i), slot_ix++);
     }
 
     // PC marker and caller FP.
-    builder.AddPcMarker(function, slot_ix++);
+    builder.AddPcMarker(current->function(), slot_ix++);
     builder.AddCallerFp(slot_ix++);
 
-    // On the outermost environment set caller PC and incoming arguments.
-    if (env->outer() == NULL) {
-      builder.AddCallerPc(slot_ix++);
-      for (intptr_t i = fixed_parameter_count - 1; i >= 0; i--) {
-        builder.AddCopy(env->LocationAt(i), *env->ValueAt(i), slot_ix++);
-      }
-    }
+    // Iterate on the outer environment.
+    inner = inner->outer();
+  }
+  ASSERT(inner != NULL);  // The inner pointer is not the outermost environment.

[Vyacheslav Egorov (Google), 2012/09/21 14:38:30]

actually at this point is has to be the outermost environment.

[zerny-google, 2012/09/21 14:55:47]

Typo. That should have been "is now the outermost".

 
-    // Iterate on the outer environment.
-    env = env->outer();
+  // For the outermost environment, set caller PC.
+  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++);
   }
 
   const DeoptInfo& deopt_info = DeoptInfo::Handle(builder.CreateDeoptInfo());
   return deopt_info.raw();
 }
 
 
 FlowGraphCompiler::FlowGraphCompiler(Assembler* assembler,
                                      const FlowGraph& flow_graph,
                                      bool is_optimizing,
@@ skipping 755 matching lines @@
     case ABOVE:         return unsigned_left > unsigned_right;
     case ABOVE_EQUAL:   return unsigned_left >= unsigned_right;
     default:
       UNIMPLEMENTED();
       return false;
   }
 }
 
 
 }  // namespace dart