Experimental: remove the cc_reg_ state from the code generator. There...

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 49 matching lines @@
   ASSERT(cgen != NULL);
   ASSERT(cgen_ == NULL);
   cgen_ = cgen;
   masm_ = cgen->masm();
 }
 
 
 void JumpTarget::Jump() {
   ASSERT(cgen_ != NULL);
   ASSERT(cgen_->has_valid_frame());
-  ASSERT(!cgen_->has_cc());
   // Live non-frame registers are not allowed at unconditional jumps
   // because we have no way of invalidating the corresponding results
   // which are still live in the C++ code.
   ASSERT(cgen_->HasValidEntryRegisters());
 
   if (is_bound()) {
     // Backward jump.  There is an expected frame to merge to.
     cgen_->frame()->MergeTo(expected_frame_);
     cgen_->DeleteFrame();
     __ jmp(&entry_label_);
@@ skipping 24 matching lines @@
 
   cgen_->frame()->Push(arg0);
   cgen_->frame()->Push(arg1);
   Jump();
 }
 
 
 void JumpTarget::Branch(Condition cc, Hint hint) {
   ASSERT(cgen_ != NULL);
   ASSERT(cgen_->has_valid_frame());
-  ASSERT(!cgen_->has_cc());
 
   if (is_bound()) {
     // Backward branch.  We have an expected frame to merge to on the
     // backward edge.  We negate the condition and emit the merge code
     // here.
     //
     // TODO(): we should try to avoid negating the condition in the case
     // where there is no merge code to emit.  Otherwise, we emit a
     // branch around an unconditional jump.
     Label original_fall_through;
@@ skipping 81 matching lines @@
 
 void JumpTarget::Call() {
   // Call is used to push the address of the catch block on the stack as
   // a return address when compiling try/catch and try/finally.  We
   // fully spill the frame before making the call.  The expected frame
   // at the label (which should be the only one) is the spilled current
   // frame plus an in-memory return address.  The "fall-through" frame
   // at the return site is the spilled current frame.
   ASSERT(cgen_ != NULL);
   ASSERT(cgen_->has_valid_frame());
-  ASSERT(!cgen_->has_cc());
   // There are no non-frame references across the call.
   ASSERT(cgen_->HasValidEntryRegisters());
   ASSERT(!is_linked());
 
   cgen_->frame()->SpillAll();
   VirtualFrame* target_frame = new VirtualFrame(cgen_->frame());
   target_frame->Adjust(1);
   AddReachingFrame(target_frame);
   __ call(&merge_labels_.last());
 }
 
 
 void JumpTarget::Bind() {
   ASSERT(cgen_ != NULL);
   ASSERT(is_linked() || cgen_->has_valid_frame());
-  ASSERT(!cgen_->has_cc());
   ASSERT(!is_bound());
-  ASSERT(!cgen_->has_cc());
 
   if (is_linked()) {
     // There were forward jumps.  A mergable frame is created and all
     // the frames reaching the block via forward jumps are merged to it.
     ASSERT(reaching_frames_.length() == merge_labels_.length());
 
     // Choose a frame as the basis of the expected frame, and make it
     // mergable.  If there is a current frame use it, otherwise use the
     // first in the list (there will be at least one).
     int start_index = 0;
@@ skipping 126 matching lines @@
   other_target_->set_code_generator(cgen_);
 #ifdef DEBUG
   is_shadowing_ = false;
 #endif
 }
 
 #undef __
 
 
 } }  // namespace v8::internal