Copy of changelist from issue 16450. Converts compare operation...

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 150 matching lines @@
 
   cgen_->frame()->Push(arg);
   Branch(cc, hint);
   *arg = cgen_->frame()->Pop();
 
   ASSERT(arg->type() == arg_type);
   ASSERT(!arg->is_register() || arg->reg().is(arg_reg));
 }
 
 
+void JumpTarget::Branch(Condition cc, Result* arg0, Result* arg1, Hint hint) {
+  ASSERT(cgen_ != NULL);
+  ASSERT(cgen_->frame() != NULL);
+
+#ifdef DEBUG
+  // We want register results at the call site to stay in the same registers
+  // on the fall-through branch.
+  Result::Type arg0_type = arg0->type();
+  Register arg0_reg = arg0->is_register() ? arg0->reg() : no_reg;
+  Result::Type arg1_type = arg1->type();
+  Register arg1_reg = arg1->is_register() ? arg1->reg() : no_reg;
+#endif
+
+  cgen_->frame()->Push(arg0);
+  cgen_->frame()->Push(arg1);
+  Branch(cc, hint);
+  *arg1 = cgen_->frame()->Pop();
+  *arg0 = cgen_->frame()->Pop();
+
+  ASSERT(arg0->type() == arg0_type);
+  ASSERT(!arg0->is_register() || arg0->reg().is(arg0_reg));
+  ASSERT(arg1->type() == arg1_type);
+  ASSERT(!arg1->is_register() || arg1->reg().is(arg1_reg));
+}
+
+
 void JumpTarget::Call() {
   // Precondition: there is a current frame, and there is no expected frame
   // at the label.
   ASSERT(cgen_ != NULL);
   ASSERT(masm_ != NULL);
   ASSERT(!cgen_->IsActualFunctionReturn(this));
 
   VirtualFrame* current_frame = cgen_->frame();
   ASSERT(current_frame != NULL);
   ASSERT(expected_frame_ == NULL);
@@ skipping 73 matching lines @@
     cgen_->frame()->Push(arg);
   }
   Bind();
   *arg = cgen_->frame()->Pop();
 
   ASSERT(!had_entry_frame || arg->type() == arg_type);
   ASSERT(!had_entry_frame || !arg->is_register() || arg->reg().is(arg_reg));
 }
 
 
+void JumpTarget::Bind(Result* arg0, Result* arg1) {
+  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 arg0_type;
+  Register arg0_reg;
+  Result::Type arg1_type;
+  Register arg1_reg;
+#endif
+
+  if (cgen_->frame() != NULL) {
+#ifdef DEBUG
+    had_entry_frame = true;
+    arg0_type = arg0->type();
+    arg0_reg = arg0->is_register() ? arg0->reg() : no_reg;
+    arg1_type = arg1->type();
+    arg1_reg = arg1->is_register() ? arg1->reg() : no_reg;
+#endif
+    cgen_->frame()->Push(arg0);
+    cgen_->frame()->Push(arg1);
+  }
+  Bind();
+  *arg1 = cgen_->frame()->Pop();
+  *arg0 = cgen_->frame()->Pop();
+
+  ASSERT(!had_entry_frame || arg0->type() == arg0_type);
+  ASSERT(!had_entry_frame ||
+         !arg0->is_register() ||
+         arg0->reg().is(arg0_reg));
+  ASSERT(!had_entry_frame || arg1->type() == arg1_type);
+  ASSERT(!had_entry_frame ||
+         !arg1->is_register() ||
+         arg1->reg().is(arg1_reg));
+}
+
+
 // -------------------------------------------------------------------------
 // ShadowTarget implementation.
 
 ShadowTarget::ShadowTarget(JumpTarget* original) {
   ASSERT(original != NULL);
   original_target_ = original;
   original_pos_ = original->label()->pos_;
   original_expected_frame_ = original->expected_frame();
 
   // We do not call Unuse() on the orginal jump target, because we do not
@@ skipping 19 matching lines @@
 
 #ifdef DEBUG
   is_shadowing_ = false;
 #endif
 }
 
 #undef __
 
 
 } }  // namespace v8::internal