Increase strictness of asm type conversions.

src/typing-asm.h

 // Copyright 2015 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.
 
 #ifndef V8_TYPING_ASM_H_
 #define V8_TYPING_ASM_H_
 
 #include "src/allocation.h"
 #include "src/ast.h"
 #include "src/effects.h"
@@ skipping 66 matching lines @@
   Type* GetType(Variable* variable);
 
   Type* LibType(ObjectTypeMap map, Handle<String> name);
 
   void SetResult(Expression* expr, Type* type);
   void IntersectResult(Expression* expr, Type* type);
 
   void VisitWithExpectation(Expression* expr, Type* expected_type,
                             const char* msg);
 
-  void VisitIntegerBinaryOperation(BinaryOperation* expr, Type* expected_type,
-                                   Type* result_type);
+  void VisitIntegerBinaryOperation(BinaryOperation* expr, Type* left_expected,
+                                   Type* right_expected, Type* result_type,
+                                   bool conversion);

[titzer, 2015/11/03 18:58:49]

Maybe call this bool flag bitwise and invert its sense?

[bradn, 2015/11/03 19:20:02]

So these are all really bitwise (maybe I should rename the method?)
The flag is for BIT_OR and BIT_XOR which are used in type annotations / casts so
they're more permissive.

 
   Zone* zone() const { return zone_; }
 
 #define DECLARE_VISIT(type) virtual void Visit##type(type* node) override;
   AST_NODE_LIST(DECLARE_VISIT)
 #undef DECLARE_VISIT
 
   DISALLOW_COPY_AND_ASSIGN(AsmTyper);
 };
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_TYPING_ASM_H_