DBC: CheckClassInstr

runtime/vm/deferred_objects.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/deferred_objects.h"
 
 #include "vm/code_patcher.h"
 #include "vm/compiler.h"
 #include "vm/deopt_instructions.h"
+#include "vm/disassembler.h"
 #include "vm/flags.h"
 #include "vm/object.h"
 
 namespace dart {
 
 DECLARE_FLAG(bool, trace_deoptimization);
 DECLARE_FLAG(bool, trace_deoptimization_verbose);
 
 
 void DeferredDouble::Materialize(DeoptContext* deopt_context) {
@@ skipping 87 matching lines @@
   function ^= deopt_context->ObjectAt(index_);
   const Error& error = Error::Handle(zone,
       Compiler::EnsureUnoptimizedCode(thread, function));
   if (!error.IsNull()) {
     Exceptions::PropagateError(error);
   }
   const Code& code = Code::Handle(zone, function.unoptimized_code());
   // Check that deopt_id exists.
   // TODO(vegorov): verify after deoptimization targets as well.
 #ifdef DEBUG
-  ASSERT(Thread::IsDeoptAfter(deopt_id_) ||
-         (code.GetPcForDeoptId(deopt_id_, RawPcDescriptors::kDeopt) != 0));
+  if (!Thread::IsDeoptAfter(deopt_id_)) {
+    if (code.GetPcForDeoptId(deopt_id_, RawPcDescriptors::kDeopt) == 0) {
+      OS::PrintErr("DeferredRetAddr::Materialize: deopt_id_ = %ld\n",
+          deopt_id_);
+      Disassembler::DisassembleCodeUnoptimized(
+          Function::Handle(code.function()), false);
+    }
+    ASSERT(code.GetPcForDeoptId(deopt_id_, RawPcDescriptors::kDeopt) != 0);

[zra, 2016/06/24 22:37:49]

Hitting this assert. deopt_id_ is 38. It's listed in the PC Descriptors for the
optimized, but not the unoptimized code. Not sure how to fix.

+  }
+  // ASSERT(Thread::IsDeoptAfter(deopt_id_) ||
+  //        (code.GetPcForDeoptId(deopt_id_, RawPcDescriptors::kDeopt) != 0));
 #endif
 
   uword continue_at_pc = code.GetPcForDeoptId(deopt_id_,
                                               RawPcDescriptors::kDeopt);
   ASSERT(continue_at_pc != 0);
   uword* dest_addr = reinterpret_cast<uword*>(slot());
   *dest_addr = continue_at_pc;
 
   if (FLAG_trace_deoptimization_verbose) {
     OS::PrintErr("materializing return addr at 0x%" Px ": 0x%" Px "\n",
@@ skipping 219 matching lines @@
     }
   } else {
     const Instance& obj = Instance::Cast(*object_);
 
     Smi& offset = Smi::Handle();
     Field& field = Field::Handle();
     Object& value = Object::Handle();
     const Array& offset_map = Array::Handle(cls.OffsetToFieldMap());
 
     for (intptr_t i = 0; i < field_count_; i++) {
+      //RawObject* o = GetFieldOffset(i);
+      //OS::PrintErr("i = %ld, o = %p\n", i, o);
       offset ^= GetFieldOffset(i);
       field ^= offset_map.At(offset.Value() / kWordSize);
       value = GetValue(i);
       if (!field.IsNull()) {
         obj.SetField(field, value);
         if (FLAG_trace_deoptimization_verbose) {
           OS::PrintErr("    %s <- %s\n",
                        String::Handle(field.name()).ToCString(),
                        value.ToCString());
         }
       } else {
         ASSERT(offset.Value() == cls.type_arguments_field_offset());
         obj.SetFieldAtOffset(offset.Value(), value);
         if (FLAG_trace_deoptimization_verbose) {
           OS::PrintErr("    null Field @ offset(%" Pd ") <- %s\n",
                        offset.Value(),
                        value.ToCString());
         }
       }
     }
   }
 }
 
 }  // namespace dart