[builtins] Introduce proper Float64Atan and Float64Atan2 operators.

src/compiler/js-builtin-reducer.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 "src/compiler/js-builtin-reducer.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/node-matchers.h"
 #include "src/compiler/node-properties.h"
 #include "src/compiler/simplified-operator.h"
 #include "src/objects-inl.h"
@@ skipping 165 matching lines @@
   JSCallReduction r(node);
   if (r.InputsMatchOne(Type::NumberOrUndefined())) {
     // Math.fround(a:number) -> TruncateFloat64ToFloat32(a)
     Node* value =
         graph()->NewNode(machine()->TruncateFloat64ToFloat32(), r.left());
     return Replace(value);
   }
   return NoChange();
 }
 
+// ES6 section 20.2.2.6 Math.atan ( x )
+Reduction JSBuiltinReducer::ReduceMathAtan(Node* node) {
+  JSCallReduction r(node);
+  if (r.InputsMatchOne(Type::Number())) {
+    // Math.atan(a:number) -> NumberAtan(a)
+    Node* value = graph()->NewNode(simplified()->NumberAtan(), r.left());
+    return Replace(value);
+  }
+  return NoChange();
+}
+
+// ES6 section 20.2.2.8 Math.atan2 ( y, x )
+Reduction JSBuiltinReducer::ReduceMathAtan2(Node* node) {
+  JSCallReduction r(node);
+  if (r.InputsMatchTwo(Type::Number(), Type::Number())) {
+    // Math.atan2(a:number, b:number) -> NumberAtan2(a, b)
+    Node* value =
+        graph()->NewNode(simplified()->NumberAtan2(), r.left(), r.right());
+    return Replace(value);
+  }
+  return NoChange();
+}
+
 // ES6 section 20.2.2.20 Math.log ( x )
 Reduction JSBuiltinReducer::ReduceMathLog(Node* node) {
   JSCallReduction r(node);
   if (r.InputsMatchOne(Type::Number())) {
     // Math.log(a:number) -> NumberLog(a)
     Node* value = graph()->NewNode(simplified()->NumberLog(), r.left());
     return Replace(value);
   }
   return NoChange();
 }
@@ skipping 72 matching lines @@
       break;
     case kMathCeil:
       reduction = ReduceMathCeil(node);
       break;
     case kMathFloor:
       reduction = ReduceMathFloor(node);
       break;
     case kMathFround:
       reduction = ReduceMathFround(node);
       break;
+    case kMathAtan:
+      reduction = ReduceMathAtan(node);
+      break;
+    case kMathAtan2:
+      reduction = ReduceMathAtan2(node);
+      break;
     case kMathLog:
       reduction = ReduceMathLog(node);
       break;
     case kMathLog1p:
       reduction = ReduceMathLog1p(node);
       break;
     case kMathRound:
       reduction = ReduceMathRound(node);
       break;
     case kMathSqrt:
@@ skipping 33 matching lines @@
 }
 
 
 SimplifiedOperatorBuilder* JSBuiltinReducer::simplified() const {
   return jsgraph()->simplified();
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8