[turbofan] Implemented the RoundUint64ToFloat32 TurboFan operator for x64, arm64,

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.
 
 // TODO(jochen): Remove this after the setting is turned on globally.
 #define V8_IMMINENT_DEPRECATION_WARNINGS
 
 #include <cmath>
 #include <functional>
 #include <limits>
@@ skipping 5370 matching lines @@
 }
 
 
 TEST(RunRoundUint64ToFloat64) {
   BufferedRawMachineAssemblerTester<double> m(kMachUint64);
   m.Return(m.RoundUint64ToFloat64(m.Parameter(0)));
   FOR_UINT64_INPUTS(i) { CHECK_EQ(static_cast<double>(*i), m.Call(*i)); }
 }
 
 
+TEST(RunRoundUint64ToFloat32) {
+  BufferedRawMachineAssemblerTester<float> m(kMachUint64);
+  m.Return(m.RoundUint64ToFloat32(m.Parameter(0)));
+
+  CHECK_EQ(bit_cast<float>(uint32_t(0x00000000)),
+           m.Call(uint64_t(0x0000000000000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x3f800000)),
+           m.Call(uint64_t(0x0000000000000001)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4f800000)),
+           m.Call(uint64_t(0x00000000ffffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4dd84bc4)),
+           m.Call(uint64_t(0x000000001b09788b)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4c98bf9d)),
+           m.Call(uint64_t(0x0000000004c5fce8)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4f4c0de6)),
+           m.Call(uint64_t(0x00000000cc0de5bf)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x40000000)),
+           m.Call(uint64_t(0x0000000000000002)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x40400000)),
+           m.Call(uint64_t(0x0000000000000003)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x40800000)),
+           m.Call(uint64_t(0x0000000000000004)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x40a00000)),
+           m.Call(uint64_t(0x0000000000000005)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x41000000)),
+           m.Call(uint64_t(0x0000000000000008)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x41100000)),
+           m.Call(uint64_t(0x0000000000000009)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f800000)),
+           m.Call(uint64_t(0xffffffffffffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f800000)),
+           m.Call(uint64_t(0xfffffffffffffffe)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f800000)),
+           m.Call(uint64_t(0xfffffffffffffffd)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4f800000)),
+           m.Call(uint64_t(0x0000000100000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f800000)),
+           m.Call(uint64_t(0xffffffff00000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5dd84bc4)),
+           m.Call(uint64_t(0x1b09788b00000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5c98bf9d)),
+           m.Call(uint64_t(0x04c5fce800000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f4c0de6)),
+           m.Call(uint64_t(0xcc0de5bf00000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x50000000)),
+           m.Call(uint64_t(0x0000000200000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x50400000)),
+           m.Call(uint64_t(0x0000000300000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x50800000)),
+           m.Call(uint64_t(0x0000000400000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x50a00000)),
+           m.Call(uint64_t(0x0000000500000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x51000000)),
+           m.Call(uint64_t(0x0000000800000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x51100000)),
+           m.Call(uint64_t(0x0000000900000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5e1ce9e6)),
+           m.Call(uint64_t(0x273a798e187937a3)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f6ce3b0)),
+           m.Call(uint64_t(0xece3af835495a16b)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5d3668ed)),
+           m.Call(uint64_t(0x0b668ecc11223344)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x431e0000)),
+           m.Call(uint64_t(0x000000000000009e)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x42860000)),
+           m.Call(uint64_t(0x0000000000000043)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x472f7300)),
+           m.Call(uint64_t(0x000000000000af73)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x458b5800)),
+           m.Call(uint64_t(0x000000000000116b)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4acb1d98)),
+           m.Call(uint64_t(0x0000000000658ecc)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4a2ced30)),
+           m.Call(uint64_t(0x00000000002b3b4c)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4f087766)),
+           m.Call(uint64_t(0x0000000088776655)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4ee00000)),
+           m.Call(uint64_t(0x0000000070000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4ce40000)),
+           m.Call(uint64_t(0x0000000007200000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4f000000)),
+           m.Call(uint64_t(0x000000007fffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4eac246f)),
+           m.Call(uint64_t(0x0000000056123761)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x4efffffe)),
+           m.Call(uint64_t(0x000000007fffff00)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5eec388f)),
+           m.Call(uint64_t(0x761c4761eeeeeeee)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f000000)),
+           m.Call(uint64_t(0x80000000eeeeeeee)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f088889)),
+           m.Call(uint64_t(0x88888888dddddddd)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f200000)),
+           m.Call(uint64_t(0xa0000000dddddddd)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f5dddde)),
+           m.Call(uint64_t(0xddddddddaaaaaaaa)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f600000)),
+           m.Call(uint64_t(0xe0000000aaaaaaaa)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f6eeeef)),
+           m.Call(uint64_t(0xeeeeeeeeeeeeeeee)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f800000)),
+           m.Call(uint64_t(0xfffffffdeeeeeeee)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f700000)),
+           m.Call(uint64_t(0xf0000000dddddddd)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5b000000)),
+           m.Call(uint64_t(0x007fffffdddddddd)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5a7fffff)),
+           m.Call(uint64_t(0x003fffffaaaaaaaa)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x59fffffd)),
+           m.Call(uint64_t(0x001fffffaaaaaaaa)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x497ffff0)),
+           m.Call(uint64_t(0x00000000000fffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x48ffffe0)),
+           m.Call(uint64_t(0x000000000007ffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x487fffc0)),
+           m.Call(uint64_t(0x000000000003ffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x47ffff80)),
+           m.Call(uint64_t(0x000000000001ffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x477fff00)),
+           m.Call(uint64_t(0x000000000000ffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x46fffe00)),
+           m.Call(uint64_t(0x0000000000007fff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x467ffc00)),
+           m.Call(uint64_t(0x0000000000003fff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x45fff800)),
+           m.Call(uint64_t(0x0000000000001fff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x457ff000)),
+           m.Call(uint64_t(0x0000000000000fff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x44ffe000)),
+           m.Call(uint64_t(0x00000000000007ff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x447fc000)),
+           m.Call(uint64_t(0x00000000000003ff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x43ff8000)),
+           m.Call(uint64_t(0x00000000000001ff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x56800000)),
+           m.Call(uint64_t(0x00003fffffffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x56000000)),
+           m.Call(uint64_t(0x00001fffffffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x55800000)),
+           m.Call(uint64_t(0x00000fffffffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x55000000)),
+           m.Call(uint64_t(0x000007ffffffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x54800000)),
+           m.Call(uint64_t(0x000003ffffffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x54000000)),
+           m.Call(uint64_t(0x000001ffffffffff)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f000000)),
+           m.Call(uint64_t(0x8000008000000000)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f000001)),
+           m.Call(uint64_t(0x8000008000000001)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f000000)),
+           m.Call(uint64_t(0x8000000000000400)));
+  CHECK_EQ(bit_cast<float>(uint32_t(0x5f000000)),
+           m.Call(uint64_t(0x8000000000000401)));
+}
+
+
 #endif
 
 
 TEST(RunBitcastFloat32ToInt32) {
   float input = 32.25;
   RawMachineAssemblerTester<int32_t> m;
   m.Return(m.BitcastFloat32ToInt32(m.LoadFromPointer(&input, kMachFloat32)));
   FOR_FLOAT32_INPUTS(i) {
     input = *i;
     int32_t expected = bit_cast<int32_t>(input);
@@ skipping 65 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