Build and use stack maps in the SSA compiler.

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 198 matching lines @@
                        isolate);
       graph_compiler.CompileGraph();
     }
     {
       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);
+      if (optimized && use_ssa) {
+        code.set_spill_slot_count(graph_compiler.StackSize());
+      }
       graph_compiler.FinalizePcDescriptors(code);
       graph_compiler.FinalizeDeoptInfo(code);
       graph_compiler.FinalizeStackmaps(code);
       graph_compiler.FinalizeVarDescriptors(code);
       graph_compiler.FinalizeExceptionHandlers(code);
       graph_compiler.FinalizeComments(code);
       if (optimized) {
         function.SetCode(code);
         CodePatcher::PatchEntry(Code::Handle(function.unoptimized_code()));
         if (FLAG_trace_compiler) {
@@ skipping 76 matching lines @@
                 optimized ? "optimized " : "",
                 function_fullname);
       const Code& code = Code::Handle(function.CurrentCode());
       const Instructions& instructions =
           Instructions::Handle(code.instructions());
       uword start = instructions.EntryPoint();
       Disassembler::Disassemble(start,
                                 start + instructions.size(),
                                 code.comments());
       OS::Print("}\n");
+
       OS::Print("Pointer offsets for function: {\n");
       // Pointer offsets are stored in descending order.
       for (intptr_t i = code.pointer_offsets_length() - 1; i >= 0; i--) {
         const uword addr = code.GetPointerOffsetAt(i) + code.EntryPoint();
         Object& obj = Object::Handle();
         obj = *reinterpret_cast<RawObject**>(addr);
         OS::Print(" %" PRIdPTR " : 0x%" PRIxPTR " '%s'\n",
                   code.GetPointerOffsetAt(i), addr, obj.ToCString());
       }
       OS::Print("}\n");
+
       OS::Print("PC Descriptors for function '%s' {\n", function_fullname);
-      OS::Print("(pc\t\tkind\t\tid\ttok-ix\ttry/deopt-ix)\n");
+      PcDescriptors::PrintHeaderString();
       const PcDescriptors& descriptors =
           PcDescriptors::Handle(code.pc_descriptors());
-      OS::Print("%s\n", descriptors.ToCString());
-      OS::Print("}\n");
+      OS::Print("%s\n}\n", descriptors.ToCString());
+
       const Array& deopt_info_array = Array::Handle(code.deopt_info_array());
       if (deopt_info_array.Length() > 0) {
         OS::Print("DeoptInfo: {\n");
         for (intptr_t i = 0; i < deopt_info_array.Length(); i++) {
           OS::Print("  %d: %s\n",
               i, Object::Handle(deopt_info_array.At(i)).ToCString());
         }
         OS::Print("}\n");
       }
+
       const Array& object_table = Array::Handle(code.object_table());
       if (object_table.Length() > 0) {
         OS::Print("Object Table: {\n");
         for (intptr_t i = 0; i < object_table.Length(); i++) {
           OS::Print("  %d: %s\n", i,
               Object::Handle(object_table.At(i)).ToCString());
         }
         OS::Print("}\n");
       }
+
+      OS::Print("Stackmaps for function '%s' {\n", function_fullname);
+      if (code.stackmaps() != Array::null()) {
+        const Array& stackmap_table = Array::Handle(code.stackmaps());
+        Stackmap& map = Stackmap::Handle();
+        for (intptr_t i = 0; i < stackmap_table.Length(); ++i) {
+          map ^= stackmap_table.At(i);
+          OS::Print("%s\n", map.ToCString());
+        }
+      }
+      OS::Print("}\n");
+
       OS::Print("Variable Descriptors for function '%s' {\n",
                 function_fullname);
       const LocalVarDescriptors& var_descriptors =
           LocalVarDescriptors::Handle(code.var_descriptors());
       intptr_t var_desc_length =
           var_descriptors.IsNull() ? 0 : var_descriptors.Length();
       String& var_name = String::Handle();
       for (intptr_t i = 0; i < var_desc_length; i++) {
         var_name = var_descriptors.GetName(i);
         RawLocalVarDescriptors::VarInfo var_info;
@@ skipping 146 matching lines @@
     result = isolate->object_store()->sticky_error();
     isolate->object_store()->clear_sticky_error();
     isolate->set_long_jump_base(base);
     return result.raw();
   }
   UNREACHABLE();
   return Object::null();
 }
 
 }  // namespace dart