Refine typing of addition, subtraction, multiplication, and division.

test/cctest/compiler/test-typer.cc

 // Copyright 2014 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.
 
 
 // This tests the correctness of the typer.
 //
 // For simplicity, it currently only tests it on expression operators that have
 // a direct equivalent in C++.  Also, testing is currently limited to ranges as
 // input types.
@@ skipping 154 matching lines @@
 
 static int32_t shift_left(int32_t x, int32_t y) { return x << y; }
 static int32_t shift_right(int32_t x, int32_t y) { return x >> y; }
 static int32_t bit_or(int32_t x, int32_t y) { return x | y; }
 static int32_t bit_and(int32_t x, int32_t y) { return x & y; }
 static int32_t bit_xor(int32_t x, int32_t y) { return x ^ y; }
 
 
 TEST(TypeJSAdd) {
   TyperTester t;
-  t.TestBinaryArithOp(t.javascript_.Subtract(), std::plus<double>());
+  t.TestBinaryArithOp(t.javascript_.Add(), std::plus<double>());
 }
 
 
 TEST(TypeJSSubtract) {
   TyperTester t;
   t.TestBinaryArithOp(t.javascript_.Subtract(), std::minus<double>());
 }
 
 
 TEST(TypeJSMultiply) {
@@ skipping 81 matching lines @@
   TyperTester t;
   t.TestBinaryCompareOp(t.javascript_.StrictEqual(), std::equal_to<double>());
 }
 
 
 TEST(TypeJSStrictNotEqual) {
   TyperTester t;
   t.TestBinaryCompareOp(
       t.javascript_.StrictNotEqual(), std::not_equal_to<double>());
 }