Simplify representation of stack frames. Remove the special types DartFrame/StubFrame and instead u…

vm/stack_frame.cc

 // Copyright (c) 2011, 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/stack_frame.h"
 
 #include "vm/isolate.h"
 #include "vm/object.h"
 #include "vm/object_store.h"
 #include "vm/os.h"
 #include "vm/raw_object.h"
 #include "vm/stub_code.h"
 #include "vm/visitor.h"
 
 namespace dart {
 
 bool StackFrame::FindRawCodeVisitor::FindObject(RawObject* obj) {
   return RawInstructions::ContainsPC(obj, pc_);
 }
 
 
+bool StackFrame::IsStubFrame() const {
+  if (Dart::vm_isolate()->heap()->CodeContains(pc())) {
+    return true;  // Common stub code is generated in the VM heap.
+  }
+  // We add a no gc scope to ensure that the code below does not trigger
+  // a GC as we are handling raw object references here. It is possible
+  // that the code is called while a GC is in progress, that is ok.
+  NoGCScope no_gc;
+  Isolate* isolate = Isolate::Current();
+  RawCode* code = StackFrame::LookupCode(isolate, pc());
+  return (code != Code::null() && code->ptr()->function_ == Function::null());
+}
+
+
 void StackFrame::Print() const {
   OS::Print("[%-8s : sp(%p) ]\n", GetName(), sp());
 }
 
 
 RawCode* StackFrame::LookupCode(Isolate* isolate, uword pc) {
   // TODO(asiva): Need to add a data structure for storing a (pc, code
   // object) map in order to do a quick lookup and avoid having to
   // traverse the code heap.
   ASSERT(isolate != NULL);
@@ skipping 18 matching lines @@
 void EntryFrame::VisitObjectPointers(ObjectPointerVisitor* visitor) {
   // Visit objects between SP and (FP - callee_save_area).
   ASSERT(visitor != NULL);
   RawObject** start = reinterpret_cast<RawObject**>(sp());
   RawObject** end = reinterpret_cast<RawObject**>(
       fp() - kWordSize + ExitLinkOffset());
   visitor->VisitPointers(start, end);
 }
 
 
-void DartFrame::VisitObjectPointers(ObjectPointerVisitor* visitor) {
+void StackFrame::VisitObjectPointers(ObjectPointerVisitor* visitor) {
   // NOTE: This code runs while GC is in progress and runs within
   // a NoHandleScope block. Hence it is not ok to use regular Zone or
   // Scope handles. We use direct stack handles, the raw pointers in
   // these handles are not traversed. The use of handles is mainly to
   // be able to reuse the handle based code and avoid having to add
   // helper functions to the raw object interface.
   NoGCScope no_gc;
   Code code;
   code = LookupDartCode();
-  ASSERT(!code.IsNull());
-  Array maps;
-  maps = Array::null();
-  Stackmap map;
-  map = code.GetStackmap(pc(), &maps, &map);
-  if (map.IsNull()) {
-    // No stack maps are present in the code object which means this
-    // frame relies on tagged pointers and hence we visit each entry
-    // on the frame between SP and FP.
-    ASSERT(visitor != NULL);
-    visitor->VisitPointers(reinterpret_cast<RawObject**>(sp()),
-                           reinterpret_cast<RawObject**>(fp() - kWordSize));
-    return;
+  if (!code.IsNull()) {
+    Array maps;
+    maps = Array::null();
+    Stackmap map;
+    map = code.GetStackmap(pc(), &maps, &map);
+    if (!map.IsNull()) {
+      // A stack map is present in the code object, use the stack map to visit
+      // frame slots which are marked as having objects.
+      intptr_t bit_offset = map.MinimumBitOffset();
+      intptr_t end_bit_offset = map.MaximumBitOffset();
+      while (bit_offset <= end_bit_offset) {
+        uword addr = (fp() - ((bit_offset + 1) * kWordSize));
+        ASSERT(addr >= sp());
+        if (map.IsObject(bit_offset)) {
+          visitor->VisitPointer(reinterpret_cast<RawObject**>(addr));
+        }
+        bit_offset += 1;
+      }
+      return;
+    }
   }
-  // A stack map is present in the code object, use the stack map to visit
-  // frame slots which are marked as having objects.
-  intptr_t bit_offset = map.MinimumBitOffset();
-  intptr_t end_bit_offset = map.MaximumBitOffset();
-  while (bit_offset <= end_bit_offset) {
-    uword addr = (fp() - ((bit_offset + 1) * kWordSize));
-    ASSERT(addr >= sp());
-    if (map.IsObject(bit_offset)) {
-      visitor->VisitPointer(reinterpret_cast<RawObject**>(addr));
-    }
-    bit_offset += 1;
-  }
+  // No stack maps are present in the code object which means this
+  // frame relies on tagged pointers and hence we visit each entry
+  // on the frame between SP and FP.
+  ASSERT(visitor != NULL);
+  visitor->VisitPointers(reinterpret_cast<RawObject**>(sp()),
+                         reinterpret_cast<RawObject**>(fp() - kWordSize));
 }
 
 
-RawFunction* DartFrame::LookupDartFunction() const {
+RawFunction* StackFrame::LookupDartFunction() const {
   const Code& code = Code::Handle(LookupDartCode());
   if (!code.IsNull()) {
     return code.function();
   }
   return Function::null();
 }
 
 
-RawCode* DartFrame::LookupDartCode() const {
+RawCode* StackFrame::LookupDartCode() const {
   // We add a no gc scope to ensure that the code below does not trigger
   // a GC as we are handling raw object references here. It is possible
   // that the code is called while a GC is in progress, that is ok.
   NoGCScope no_gc;
   Isolate* isolate = Isolate::Current();
   RawCode* code = StackFrame::LookupCode(isolate, pc());
-  ASSERT(code != Code::null() && code->ptr()->function_ != Function::null());
-  return code;
+  if (code != Code::null() && code->ptr()->function_ != Function::null()) {

[srdjan, 2012/04/24 23:19:41]

Parenthesis needed

[siva, 2012/04/25 01:14:20]

Done.

+    return code;
+  }
+  return Code::null();
 }
 
 
-bool DartFrame::FindExceptionHandler(uword* handler_pc) const {
+bool StackFrame::FindExceptionHandler(uword* handler_pc) const {
   const Code& code = Code::Handle(LookupDartCode());
-  ASSERT(!code.IsNull());
+  if (code.IsNull()) {
+    return false;  // Stub frames do not have exception handlers.
+  }
 
   // First try to find pc descriptor for the current pc.
   intptr_t try_index = -1;
   const PcDescriptors& descriptors =
       PcDescriptors::Handle(code.pc_descriptors());
   for (intptr_t i = 0; i < descriptors.Length(); i++) {
     if (static_cast<uword>(descriptors.PC(i)) == pc() &&
         descriptors.TryIndex(i) != -1) {
       try_index = descriptors.TryIndex(i);
       break;
     }
   }
   if (try_index != -1) {
     // We found a pc descriptor, now try to see if we have an
     // exception catch handler for this try index.
     const ExceptionHandlers& handlers =
         ExceptionHandlers::Handle(code.exception_handlers());
     for (intptr_t j = 0; j < handlers.Length(); j++) {
       if (handlers.TryIndex(j) == try_index) {
         *handler_pc = handlers.HandlerPC(j);
         return true;
       }
     }
   }
   return false;
 }
 
 
-bool StubFrame::IsValid() const {
-  // We add a no gc scope to ensure that the code below does not trigger
-  // a GC as we are handling raw object references here. It is possible
-  // that the code is called while a GC is in progress, that is ok.
-  NoGCScope no_gc;
-  Isolate* isolate = Isolate::Current();
+bool StackFrame::IsValid() const {
+  if (IsEntryFrame() || IsExitFrame()) {
+    return true;
+  }
   if (Dart::vm_isolate()->heap()->CodeContains(pc())) {
     return true;  // Common stub code is generated in the VM heap.
   }
-  RawCode* code = StackFrame::LookupCode(isolate, pc());
-  return (code != Code::null() && code->ptr()->function_ == Function::null());
-}
-
-
-void StubFrame::VisitObjectPointers(ObjectPointerVisitor* visitor) {
-  // Visit objects between SP and FP.
-  ASSERT(visitor != NULL);
-  visitor->VisitPointers(reinterpret_cast<RawObject**>(sp()),
-                         reinterpret_cast<RawObject**>(fp() - kWordSize));
+  return (StackFrame::LookupCode(Isolate::Current(), pc()) != Code::null());
 }
 
 
 StackFrameIterator::StackFrameIterator(bool validate)
     : validate_(validate), entry_(), exit_(), current_frame_(NULL) {
   SetupLastExitFrameData();  // Setup data for last exit frame.
 }
 
 
 StackFrame* StackFrameIterator::NextFrame() {
@@ skipping 33 matching lines @@
   // corresponding entry frame for that set of dart/stub frames.
   current_frame_ =
       (frames_.HasNext()) ? frames_.NextFrame(validate_) : NextEntryFrame();
   return current_frame_;
 }
 
 
 StackFrame* StackFrameIterator::FrameSetIterator::NextFrame(bool validate) {
   StackFrame* frame;
   ASSERT(HasNext());
-  if (from_stub_exitframe_) {
-    frame = &stub_frame_;
-  } else {
-    frame = &dart_frame_;
-  }
+  frame = &stack_frame_;
   frame->sp_ = sp_;
   frame->fp_ = fp_;
   sp_ = frame->GetCallerSp();
   fp_ = frame->GetCallerFp();
-  from_stub_exitframe_ = false;
   ASSERT((validate == kDontValidateFrames) || frame->IsValid());
   return frame;
 }
 
 
 ExitFrame* StackFrameIterator::NextExitFrame() {
   exit_.sp_ = frames_.sp_;
   exit_.fp_ = frames_.fp_;
   frames_.sp_ = exit_.GetCallerSp();
   frames_.fp_ = exit_.GetCallerFp();
   ASSERT(exit_.IsValid());
   return &exit_;
 }
 
 
 EntryFrame* StackFrameIterator::NextEntryFrame() {
   ASSERT(!frames_.HasNext());
   entry_.sp_ = frames_.sp_;
   entry_.fp_ = frames_.fp_;
   SetupNextExitFrameData();  // Setup data for next exit frame in chain.
   ASSERT(entry_.IsValid());
   return &entry_;
 }
 
 }  // namespace dart