Fix to_boolean type feedback for unary and binary ops

src/typing.cc

Index: src/typing.cc
diff --git a/src/typing.cc b/src/typing.cc
index e890333d135e36750a546cc61eac25e78ee60005..295b9c370f65829fe0307933332ef9a0b7e41778 100644
--- a/src/typing.cc
+++ b/src/typing.cc
@@ -409,7 +409,7 @@ void AstTyper::VisitUnaryOperation(UnaryOperation* expr) {
   MergeLowerType(expr->expression(), op_type);
   if (expr->op() == Token::NOT) {
     // TODO(rossberg): only do in test or value context.
-    expr->expression()->RecordToBooleanTypeFeedback(oracle());
+    expr->RecordToBooleanTypeFeedback(oracle(), expr->expression()->test_id());
   }
 }
 
@@ -441,7 +441,8 @@ void AstTyper::VisitBinaryOperation(BinaryOperation* expr) {
   MergeLowerType(expr->right(), right_type);
   expr->set_fixed_right_arg(fixed_right_arg);
   if (expr->op() == Token::OR || expr->op() == Token::AND) {
-    expr->left()->RecordToBooleanTypeFeedback(oracle());
+    expr->RecordToBooleanTypeFeedback(oracle(), expr->left()->test_id());

[Jakob Kummerow, 2013/06/24 09:25:07]

I don't think this change is correct, seeing that in hydrogen.cc:9584 the type
feedback is read specifically from expr->left:

ToBooleanStub::Types expected(expr->left()->to_boolean_types());

+    expr->RecordToBooleanTypeFeedback(oracle(), expr->right()->test_id());
   }
 }