Reverted 671.

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@673 ce2b1a6d-e550-0410-aec6-3dcde31c8c00

diff --git a/src/codegen-arm.cc b/src/codegen-arm.cc
index b39180ed82e221eb1ddff743ef2ff0054be38ad1..35522b19adb71c5f49637acd2a772f3f031d6adb 100644 (file)
--- a/src/codegen-arm.cc
+++ b/src/codegen-arm.cc
@@ -359,41 +359,47 @@ void CodeGenerator::Load(Expression* x, TypeofState typeof_state) {
   Label false_target;
   LoadCondition(x, typeof_state, &true_target, &false_target, false);
 
-  // Materialize boolean values on the stack frame if necessary.
   if (has_cc()) {
-    // The value we want is in the cc register.  Since complicated
-    // conditions can require more than one test, there may also be branches
-    // to true_target and false_target.
-    Label loaded;
-    __ b(cc_reg_, &true_target);
-    __ bind(&false_target);
+    // convert cc_reg_ into a bool
+    Label loaded, materialize_true;
+    __ b(cc_reg_, &materialize_true);
     __ mov(r0, Operand(Factory::false_value()));
     __ push(r0);
     __ b(&loaded);
-    __ bind(&true_target);
+    __ bind(&materialize_true);
     __ mov(r0, Operand(Factory::true_value()));
     __ push(r0);
     __ bind(&loaded);
     cc_reg_ = al;
-  } else {
-    // Optimization of boolean-valued expressions whose value is statically
-    // known may have generated an unconditional jump to either of the
-    // targets (but not both) and failed to leave a value in either the cc
-    // register or on top of the frame.
-    ASSERT(!(true_target.is_linked() && false_target.is_linked()));
+  }
 
+  if (true_target.is_linked() || false_target.is_linked()) {
+    // we have at least one condition value
+    // that has been "translated" into a branch,
+    // thus it needs to be loaded explicitly again
+    Label loaded;
+    __ b(&loaded);  // don't lose current TOS
+    bool both = true_target.is_linked() && false_target.is_linked();
+    // reincarnate "true", if necessary
     if (true_target.is_linked()) {
       __ bind(&true_target);
       __ mov(r0, Operand(Factory::true_value()));
       __ push(r0);
     }
-
+    // if both "true" and "false" need to be reincarnated,
+    // jump across code for "false"
+    if (both)
+      __ b(&loaded);
+    // reincarnate "false", if necessary
     if (false_target.is_linked()) {
       __ bind(&false_target);
       __ mov(r0, Operand(Factory::false_value()));
       __ push(r0);
     }
+    // everything is loaded at this point
+    __ bind(&loaded);
   }
+  ASSERT(!has_cc());
 }
 
 

diff --git a/src/codegen-ia32.cc b/src/codegen-ia32.cc
index d53e22548dcdca9613ff1796fcd9a157a33b7176..eaac989061443e469179a1fedc4448e2f0d753b6 100644 (file)
--- a/src/codegen-ia32.cc
+++ b/src/codegen-ia32.cc
@@ -474,37 +474,44 @@ void CodeGenerator::Load(Expression* x, TypeofState typeof_state) {
   Label false_target;
   LoadCondition(x, typeof_state, &true_target, &false_target, false);
 
-  // Materialize boolean values on the stack frame if necessary.
   if (has_cc()) {
-    // The value we want is in the cc register.  Since complicated
-    // conditions can require more than one test, there may also be branches
-    // to true_target and false_target.
-    Label loaded;
-    __ j(cc_reg_, &true_target);
-    __ bind(&false_target);
+    // convert cc_reg_ into a bool
+
+    Label loaded, materialize_true;
+    __ j(cc_reg_, &materialize_true);
     frame_->Push(Immediate(Factory::false_value()));
     __ jmp(&loaded);
-    __ bind(&true_target);
+    __ bind(&materialize_true);
     frame_->Push(Immediate(Factory::true_value()));
     __ bind(&loaded);
     cc_reg_ = no_condition;
-  } else {
-    // Optimization of boolean-valued expressions whose value is statically
-    // known may have generated an unconditional jump to either of the
-    // targets (but not both) and failed to leave a value in either the cc
-    // register or on top of the frame.
-    ASSERT(!(true_target.is_linked() && false_target.is_linked()));
+  }
 
+  if (true_target.is_linked() || false_target.is_linked()) {
+    // we have at least one condition value
+    // that has been "translated" into a branch,
+    // thus it needs to be loaded explicitly again
+    Label loaded;
+    __ jmp(&loaded);  // don't lose current TOS
+    bool both = true_target.is_linked() && false_target.is_linked();
+    // reincarnate "true", if necessary
     if (true_target.is_linked()) {
       __ bind(&true_target);
       frame_->Push(Immediate(Factory::true_value()));
     }
-
+    // if both "true" and "false" need to be reincarnated,
+    // jump across code for "false"
+    if (both)
+      __ jmp(&loaded);
+    // reincarnate "false", if necessary
     if (false_target.is_linked()) {
       __ bind(&false_target);
       frame_->Push(Immediate(Factory::false_value()));
     }
+    // everything is loaded at this point
+    __ bind(&loaded);
   }
+  ASSERT(!has_cc());
 }