[turbofan] Fixed the second return value of TryTruncateFloatXXToUint64.

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/utils/random-number-generator.h"
@@ skipping 5511 matching lines @@
       CHECK_EQ(static_cast<int64_t>(*i), m.Call(*i));
       CHECK_NE(0, success);
     } else {
       m.Call(*i);
       CHECK_EQ(0, success);
     }
   }
 }
 
 
-TEST(RunTruncateFloat32ToUint64) {
+TEST(RunTryTruncateFloat32ToUint64WithoutCheck) {
   BufferedRawMachineAssemblerTester<uint64_t> m(MachineType::Float32());
   m.Return(m.TryTruncateFloat32ToUint64(m.Parameter(0)));
 
   FOR_UINT64_INPUTS(i) {
     float input = static_cast<float>(*i);
-    if (input < 18446744073709551616.0) {
+    // This condition on 'input' is required because
+    // static_cast<float>(UINT64_MAX) results in a value outside uint64 range.
+    if (input < static_cast<float>(UINT64_MAX)) {
       CHECK_EQ(static_cast<uint64_t>(input), m.Call(input));
     }
   }
-  FOR_FLOAT32_INPUTS(j) {
-    if (*j < 18446744073709551616.0 && *j >= 0) {
-      CHECK_EQ(static_cast<uint64_t>(*j), m.Call(*j));
-    }
-  }
 }
 
 
 TEST(RunTryTruncateFloat32ToUint64WithCheck) {
   int64_t success = 0;
   BufferedRawMachineAssemblerTester<uint64_t> m(MachineType::Float32());
   Node* trunc = m.TryTruncateFloat32ToUint64(m.Parameter(0));
   Node* val = m.Projection(0, trunc);
   Node* check = m.Projection(1, trunc);
   m.StoreToPointer(&success, MachineRepresentation::kWord64, check);
   m.Return(val);
 
   FOR_FLOAT32_INPUTS(i) {
-    if (*i < 18446744073709551616.0 && *i >= 0.0) {
+    if (*i < static_cast<float>(UINT64_MAX) && *i > -1.0) {
       // Conversions within this range should succeed.
       CHECK_EQ(static_cast<uint64_t>(*i), m.Call(*i));
       CHECK_NE(0, success);
     } else {
       m.Call(*i);
       CHECK_EQ(0, success);
     }
   }
 }
 
 
 TEST(RunTryTruncateFloat64ToUint64WithoutCheck) {
   BufferedRawMachineAssemblerTester<uint64_t> m(MachineType::Float64());
   m.Return(m.TruncateFloat64ToUint64(m.Parameter(0)));
 
   FOR_UINT64_INPUTS(j) {
     double input = static_cast<double>(*j);
 
-    if (input < 18446744073709551616.0) {
+    if (input < static_cast<float>(UINT64_MAX)) {
       CHECK_EQ(static_cast<uint64_t>(input), m.Call(input));
     }
   }
 }
 
 
 TEST(RunTryTruncateFloat64ToUint64WithCheck) {
   int64_t success = 0;
   BufferedRawMachineAssemblerTester<int64_t> m(MachineType::Float64());
   Node* trunc = m.TryTruncateFloat64ToUint64(m.Parameter(0));
   Node* val = m.Projection(0, trunc);
   Node* check = m.Projection(1, trunc);
   m.StoreToPointer(&success, MachineRepresentation::kWord64, check);
   m.Return(val);
 
   FOR_FLOAT64_INPUTS(i) {
-    if (*i < 18446744073709551616.0 && *i >= 0) {
+    if (*i < 18446744073709551616.0 && *i > -1) {
       // Conversions within this range should succeed.
       CHECK_EQ(static_cast<uint64_t>(*i), m.Call(*i));
       CHECK_NE(0, success);
     } else {
       m.Call(*i);
       CHECK_EQ(0, success);
     }
   }
 }
 
@@ skipping 270 matching lines @@
   Node* call = r.AddNode(r.common()->Call(desc), phi);
   r.Return(call);
 
   CHECK_EQ(33, r.Call(1));
   CHECK_EQ(44, r.Call(0));
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8