Experimental: add a has_valid_frame predicate to the code generator...

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 77 matching lines @@
   }
 
   __ jmp(&label_);
   // Postcondition: there is no current frame but there is an expected frame
   // at the label.
 }
 
 
 void JumpTarget::Jump(Result* arg) {
   ASSERT(cgen_ != NULL);
-  ASSERT(cgen_->frame() != NULL);
+  ASSERT(cgen_->has_valid_frame());
 
   cgen_->frame()->Push(arg);
   Jump();
 }
 
 
 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(cgen_ != NULL);
@@ skipping 34 matching lines @@
     ASSERT(cgen_->HasValidEntryRegisters());
       __ j(cc, &label_, hint);
   }
   // Postcondition: there is both a current frame and an expected frame at
   // the label and they match.
 }
 
 
 void JumpTarget::Branch(Condition cc, Result* arg, Hint hint) {
   ASSERT(cgen_ != NULL);
-  ASSERT(cgen_->frame() != NULL);
+  ASSERT(cgen_->has_valid_frame());
 
 #ifdef DEBUG
   // We want register results at the call site to stay in the same registers
   // on the fall-through branch.
   Result::Type arg_type = arg->type();
   Register arg_reg = arg->is_register() ? arg->reg() : no_reg;
 #endif
 
   cgen_->frame()->Push(arg);
   Branch(cc, hint);
@@ skipping 74 matching lines @@
   ASSERT(cgen_ != NULL);
 
 #ifdef DEBUG
   // We want register results at the call site to stay in the same
   // registers.
   bool had_entry_frame = false;
   Result::Type arg_type;
   Register arg_reg;
 #endif
 
-  if (cgen_->frame() != NULL) {
+  if (cgen_->has_valid_frame()) {
 #ifdef DEBUG
     had_entry_frame = true;
     arg_type = arg->type();
     arg_reg = arg->is_register() ? arg->reg() : no_reg;
 #endif
     cgen_->frame()->Push(arg);
   }
   Bind();
   *arg = cgen_->frame()->Pop();
 
@@ skipping 34 matching lines @@
 
 #ifdef DEBUG
   is_shadowing_ = false;
 #endif
 }
 
 #undef __
 
 
 } }  // namespace v8::internal