[wasm][asm.js] Allow true/false in int binary ops.

src/asmjs/asm-typer.cc

 // Copyright 2016 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/asmjs/asm-typer.h"
 
 #include <algorithm>
 #include <limits>
 #include <memory>
 #include <string>
@@ skipping 2236 matching lines @@
 
 // 6.8.15 BitwiseORExpression
 AsmType* AsmTyper::ValidateBitwiseORExpression(BinaryOperation* binop) {
   auto* left = binop->left();
   if (IsIntAnnotation(binop)) {
     if (auto* left_as_call = left->AsCall()) {
       AsmType* type;
       RECURSE(type = ValidateCall(AsmType::Signed(), left_as_call));
       return type;
     }
-
-    // TODO(jpp): at this point we know that binop is expr|0. We could sinply
-    //
-    // RECURSE(t = ValidateExpression(left));
-    // FAIL_IF(t->IsNotA(Intish));
-    // return Signed;
+    AsmType* left_type;
+    RECURSE(left_type = ValidateExpression(left));
+    if (!left_type->IsA(AsmType::Intish())) {
+      FAIL(left, "Left side of |0 annotation must be intish.");
+    }
+    return AsmType::Signed();
   }
 
   auto* right = binop->right();
   AsmType* left_type;
   AsmType* right_type;
   RECURSE(left_type = ValidateExpression(left));
   RECURSE(right_type = ValidateExpression(right));
 
   if (binop->op() != Token::BIT_OR) {
     FAIL(binop, "Invalid | expression.");
@@ skipping 634 matching lines @@
     return true;
   }
 
   *error_message = typer.error_message();
   return false;
 }
 
 }  // namespace wasm
 }  // namespace internal
 }  // namespace v8