[turbofan] Change Float64Max/Float64Min to JavaScript semantics.

test/cctest/compiler/test-run-machops.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 <cmath>
 #include <functional>
 #include <limits>
 
 #include "src/base/bits.h"
 #include "src/base/ieee754.h"
@@ skipping 3697 matching lines @@
   RawMachineAssemblerTester<int32_t> m;
   Float64BinopTester bt(&m);
 
   bt.AddReturn(m.Float64Add(bt.param0, bt.param1));
 
   FOR_FLOAT64_INPUTS(pl) {
     FOR_FLOAT64_INPUTS(pr) { CHECK_DOUBLE_EQ(*pl + *pr, bt.call(*pl, *pr)); }
   }
 }
 
+namespace {
 
-TEST(RunFloa32MaxP) {
-  RawMachineAssemblerTester<int32_t> m;
-  Float32BinopTester bt(&m);
-  if (!m.machine()->Float32Max().IsSupported()) return;
-
-  bt.AddReturn(m.Float32Max(bt.param0, bt.param1));
-
-  FOR_FLOAT32_INPUTS(pl) {
-    FOR_FLOAT32_INPUTS(pr) {
-      CHECK_DOUBLE_EQ(*pl > *pr ? *pl : *pr, bt.call(*pl, *pr));
-    }
-  }
+double fmax(double x, double y) {
+  if (std::isnan(x)) return x;
+  if (std::isnan(y)) return y;
+  if (std::signbit(x) < std::signbit(y)) return x;
+  return std::max(x, y);
 }
 
+double fmin(double x, double y) {
+  if (std::isnan(x)) return x;
+  if (std::isnan(y)) return y;
+  if (std::signbit(x) < std::signbit(y)) return y;
+  return std::min(x, y);
+}
+
+}  // namespace
 
 TEST(RunFloat64MaxP) {
   RawMachineAssemblerTester<int32_t> m;
   Float64BinopTester bt(&m);
-  if (!m.machine()->Float64Max().IsSupported()) return;
-
   bt.AddReturn(m.Float64Max(bt.param0, bt.param1));
 
   FOR_FLOAT64_INPUTS(pl) {
     FOR_FLOAT64_INPUTS(pr) {
-      CHECK_DOUBLE_EQ(*pl > *pr ? *pl : *pr, bt.call(*pl, *pr));
+      CHECK_DOUBLE_EQ(fmax(*pl, *pr), bt.call(*pl, *pr));
     }
   }
 }
-
-
-TEST(RunFloat32MinP) {
-  RawMachineAssemblerTester<int32_t> m;
-  Float32BinopTester bt(&m);
-  if (!m.machine()->Float32Min().IsSupported()) return;
-
-  bt.AddReturn(m.Float32Min(bt.param0, bt.param1));
-
-  FOR_FLOAT32_INPUTS(pl) {
-    FOR_FLOAT32_INPUTS(pr) {
-      CHECK_DOUBLE_EQ(*pl < *pr ? *pl : *pr, bt.call(*pl, *pr));
-    }
-  }
-}
 
 
 TEST(RunFloat64MinP) {
   RawMachineAssemblerTester<int32_t> m;
   Float64BinopTester bt(&m);
-  if (!m.machine()->Float64Min().IsSupported()) return;
-
   bt.AddReturn(m.Float64Min(bt.param0, bt.param1));
 
   FOR_FLOAT64_INPUTS(pl) {
     FOR_FLOAT64_INPUTS(pr) {
-      CHECK_DOUBLE_EQ(*pl < *pr ? *pl : *pr, bt.call(*pl, *pr));
+      CHECK_DOUBLE_EQ(fmin(*pl, *pr), bt.call(*pl, *pr));
     }
   }
 }
 
 
 TEST(RunFloat32SubP) {
   RawMachineAssemblerTester<int32_t> m;
   Float32BinopTester bt(&m);
 
   bt.AddReturn(m.Float32Sub(bt.param0, bt.param1));
@@ skipping 2766 matching lines @@
   r.Goto(&merge);
   r.Bind(&merge);
   Node* phi = r.Phi(MachineRepresentation::kWord32, fa, fb);
   r.Return(phi);
   CHECK_EQ(1, r.Call(1));
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8