[turbofan] Use range types to type and lower arithmetic ops.

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.
 
 #include <functional>
 
 #include "src/compiler/node-properties-inl.h"
 #include "src/compiler/typer.h"
 #include "test/cctest/cctest.h"
 #include "test/cctest/compiler/graph-builder-tester.h"
@@ skipping 176 matching lines @@
 
 //------------------------------------------------------------------------------
 // Soundness
 //   For simplicity, we currently only test soundness on expression operators
 //   that have a direct equivalent in C++.  Also, testing is currently limited
 //   to ranges as input types.
 
 
 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 117 matching lines @@
   V(Modulus)
 
 
 TEST(Monotonicity) {
   TyperTester t;
   #define TEST_OP(name) \
       t.TestBinaryMonotonicity(t.javascript_.name());
   JSBINOP_LIST(TEST_OP)
   #undef TEST_OP
 }