Initial real implementation of simple merge for frames. Does not yet...

src/jump-target-ia32.cc

 // Copyright 2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 51 matching lines @@
 void JumpTarget::Jump() {
   // Precondition: there is a current frame.  There may or may not be an
   // expected frame at the label.
   ASSERT(code_generator_ != NULL);
 
   VirtualFrame* current_frame = code_generator_->frame();
   ASSERT(current_frame != NULL);
 
   if (expected_frame_ == NULL) {
     expected_frame_ = current_frame;
-    expected_frame_->EnsureMergable();
     // The frame at the actual function return will always have height zero.
     if (code_generator_->IsActualFunctionReturn(this)) {
       expected_frame_->Forget(expected_frame_->height());
     }
+    if (!expected_frame_->IsMergable()) {
+      expected_frame_->MakeMergable();
+    }
     code_generator_->set_frame(NULL);
   } else {
     // No code needs to be emitted to merge to the expected frame at the
     // actual function return.
     if (!code_generator_->IsActualFunctionReturn(this)) {
       current_frame->MergeTo(expected_frame_);
     }
     code_generator_->delete_frame();
   }
 
   __ jmp(&label_);
   // Postcondition: there is no current frame but there is an expected frame
   // at the label.
 }
 
 
 void JumpTarget::Branch(Condition cc, Hint hint) {
   // Precondition: there is a current frame.  There may or may not be an
   // expected frame at the label.
   ASSERT(code_generator_ != NULL);
   ASSERT(masm_ != NULL);
 
   VirtualFrame* current_frame = code_generator_->frame();
   ASSERT(current_frame != NULL);
 
   if (expected_frame_ == NULL) {
     expected_frame_ = new VirtualFrame(current_frame);
-    expected_frame_->EnsureMergable();
     // The frame at the actual function return will always have height zero.
     if (code_generator_->IsActualFunctionReturn(this)) {
       expected_frame_->Forget(expected_frame_->height());
     }
+    if (!expected_frame_->IsMergable()) {
+      expected_frame_->MakeMergable();
+    }
   } else {
     // No code needs to be emitted to merge to the expected frame at the
     // actual function return.
     if (!code_generator_->IsActualFunctionReturn(this)) {
       current_frame->MergeTo(expected_frame_);
     }
   }
 
   __ j(cc, &label_, hint);
   // Postcondition: there is both a current frame and an expected frame at
   // the label and they match.
 }
 
 
 void JumpTarget::Call() {
   // Precondition: there is a current frame, and there is no expected frame
   // at the label.
   ASSERT(code_generator_ != NULL);
   ASSERT(masm_ != NULL);
   ASSERT(!code_generator_->IsActualFunctionReturn(this));
 
   VirtualFrame* current_frame = code_generator_->frame();
   ASSERT(current_frame != NULL);
   ASSERT(expected_frame_ == NULL);
 
   expected_frame_ = new VirtualFrame(current_frame);
-  expected_frame_->EnsureMergable();
+  if (!expected_frame_->IsMergable()) {
+    expected_frame_->MakeMergable();
+  }
   // Adjust the expected frame's height to account for the return address
   // pushed by the call instruction.
   expected_frame_->Adjust(1);
 
   __ call(&label_);
   // Postcondition: there is both a current frame and an expected frame at
   // the label.  The current frame is one shorter than the one at the label
   // (which contains the return address in memory).
 }
 
 
 void JumpTarget::Bind() {
   // Precondition: there is either a current frame or an expected frame at
   // the label (and possibly both).  The label is unbound.
   ASSERT(code_generator_ != NULL);
   ASSERT(masm_ != NULL);
 
   VirtualFrame* current_frame = code_generator_->frame();
   ASSERT(current_frame != NULL || expected_frame_ != NULL);
   ASSERT(!label_.is_bound());
 
   if (expected_frame_ == NULL) {
     expected_frame_ = new VirtualFrame(current_frame);
-    expected_frame_->EnsureMergable();
     // The frame at the actual function return will always have height zero.
     if (code_generator_->IsActualFunctionReturn(this)) {
       expected_frame_->Forget(expected_frame_->height());
     }
+    if (!expected_frame_->IsMergable()) {
+      expected_frame_->MakeMergable();
+    }
   } else if (current_frame == NULL) {
     code_generator_->set_frame(new VirtualFrame(expected_frame_));
   } else {
     // No code needs to be emitted to merge to the expected frame at the
     // actual function return.
     if (!code_generator_->IsActualFunctionReturn(this)) {
       current_frame->MergeTo(expected_frame_);
     }
   }
 
@@ skipping 35 matching lines @@
 
 #ifdef DEBUG
   is_shadowing_ = false;
 #endif
 }
 
 #undef __
 
 
 } }  // namespace v8::internal