Re-landing of "replace TrySync with Metadata".

runtime/vm/deopt_instructions.cc

 // Copyright (c) 2013, 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/deopt_instructions.h"
 
 #include "vm/assembler.h"
 #include "vm/code_patcher.h"
 #include "vm/compiler.h"
 #include "vm/disassembler.h"
@@ skipping 327 matching lines @@
   if (FLAG_trace_deoptimization_verbose) {
     for (intptr_t i = 0; i < frame_size; i++) {
       intptr_t* to_addr = GetDestFrameAddressAt(i);
       THR_Print("*%" Pd ". [%p] 0x%" Px " [%s]\n", i, to_addr, *to_addr,
                 deopt_instructions[i + (len - frame_size)]->ToCString());
     }
   }
 }
 
 
+intptr_t* DeoptContext::CatchEntryState(intptr_t num_vars) {
+  const Code& code = Code::Handle(code_);
+  const TypedData& deopt_info = TypedData::Handle(deopt_info_);
+  GrowableArray<DeoptInstr*> deopt_instructions;
+  const Array& deopt_table = Array::Handle(code.deopt_info_array());
+  ASSERT(!deopt_table.IsNull());
+  DeoptInfo::Unpack(deopt_table, deopt_info, &deopt_instructions);
+
+  intptr_t* state = new intptr_t[2 * num_vars + 1];
+  state[0] = num_vars;
+
+  Function& function = Function::Handle(zone(), code.function());
+  intptr_t params =
+      function.HasOptionalParameters() ? 0 : function.num_fixed_parameters();
+  for (intptr_t i = 0; i < num_vars; i++) {
+#if defined(TARGET_ARCH_DBC)
+    const intptr_t len = deopt_instructions.length();
+    intptr_t slot = i < params ? i : i + kParamEndSlotFromFp;
+    DeoptInstr* instr = deopt_instructions[len - 1 - slot];
+    intptr_t dest_index = kNumberOfCpuRegisters - 1 - i;
+#else
+    const intptr_t len = deopt_instructions.length();
+    intptr_t slot =
+        i < params ? i : i + kParamEndSlotFromFp - kFirstLocalSlotFromFp;
+    DeoptInstr* instr = deopt_instructions[len - 1 - slot];
+    intptr_t dest_index = i - params;
+#endif
+    CatchEntryStatePair p = instr->ToCatchEntryStatePair(this, dest_index);
+    state[1 + 2 * i] = p.src;
+    state[2 + 2 * i] = p.dest;
+  }
+
+  return state;
+}
+
+
 static void FillDeferredSlots(DeoptContext* deopt_context,
                               DeferredSlot** slot_list) {
   DeferredSlot* slot = *slot_list;
   *slot_list = NULL;
 
   while (slot != NULL) {
     DeferredSlot* current = slot;
     slot = slot->next();
 
     current->Materialize(deopt_context);
@@ skipping 120 matching lines @@
     return Thread::Current()->zone()->PrintToString("%" Pd "",
                                                     object_table_index_);
   }
 
   void Execute(DeoptContext* deopt_context, intptr_t* dest_addr) {
     const PassiveObject& obj = PassiveObject::Handle(
         deopt_context->zone(), deopt_context->ObjectAt(object_table_index_));
     *reinterpret_cast<RawObject**>(dest_addr) = obj.raw();
   }
 
+  CatchEntryStatePair ToCatchEntryStatePair(DeoptContext* deopt_context,
+                                            intptr_t dest_slot) {
+    return CatchEntryStatePair::FromConstant(object_table_index_, dest_slot);
+  }
+
  private:
   const intptr_t object_table_index_;
 
   DISALLOW_COPY_AND_ASSIGN(DeoptConstantInstr);
 };
 
 
 // Deoptimization instruction moving value from optimized frame at
 // 'source_index' to specified slots in the unoptimized frame.
 // 'source_index' represents the slot index of the frame (0 being
 // first argument) and accounts for saved return address, frame
 // pointer, pool pointer and pc marker.
 // Deoptimization instruction moving a CPU register.
 class DeoptWordInstr : public DeoptInstr {
  public:
   explicit DeoptWordInstr(intptr_t source_index) : source_(source_index) {}
 
   explicit DeoptWordInstr(const CpuRegisterSource& source) : source_(source) {}
 
   virtual intptr_t source_index() const { return source_.source_index(); }
   virtual DeoptInstr::Kind kind() const { return kWord; }
 
   virtual const char* ArgumentsToCString() const { return source_.ToCString(); }
 
   void Execute(DeoptContext* deopt_context, intptr_t* dest_addr) {
     *dest_addr = source_.Value<intptr_t>(deopt_context);
   }
 
+  CatchEntryStatePair ToCatchEntryStatePair(DeoptContext* deopt_context,
+                                            intptr_t dest_slot) {
+    return CatchEntryStatePair::FromMove(source_.StackSlot(deopt_context),
+                                         dest_slot);
+  }
+
  private:
   const CpuRegisterSource source_;
 
   DISALLOW_COPY_AND_ASSIGN(DeoptWordInstr);
 };
 
 
 class DeoptIntegerInstrBase : public DeoptInstr {
  public:
   DeoptIntegerInstrBase() {}
@@ skipping 799 matching lines @@
                           Smi* offset,
                           TypedData* info,
                           Smi* reason) {
   intptr_t i = index * kEntrySize;
   *offset ^= table.At(i);
   *info ^= table.At(i + 1);
   *reason ^= table.At(i + 2);
 }
 
 }  // namespace dart