[turbofan] Support for %_DoubleHi, %_DoubleLo and %_ConstructDouble.

test/unittests/compiler/machine-operator-reducer-unittest.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/base/bits.h"
 #include "src/base/division-by-constant.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/machine-operator-reducer.h"
 #include "src/compiler/typer.h"
 #include "test/unittests/compiler/graph-unittest.h"
@@ skipping 1418 matching lines @@
     Reduction r = Reduce(
         graph()->NewNode(machine()->Float64Mul(), Float64Constant(-1.0), p0));
     ASSERT_TRUE(r.Changed());
     EXPECT_THAT(r.replacement(),
                 IsFloat64Sub(IsFloat64Constant(BitEq(-0.0)), p0));
   }
 }
 
 
 // -----------------------------------------------------------------------------
+// Float64InsertWord32
+
+
+TEST_F(MachineOperatorReducerTest, Float64InsertWord32WithConstant) {
+  TRACED_FOREACH(double, x, kFloat64Values) {
+    TRACED_FOREACH(uint32_t, y, kUint32Values) {
+      TRACED_FORRANGE(int, location, 0, 1) {
+        Reduction const r =
+            Reduce(graph()->NewNode(machine()->Float64InsertWord32(location),
+                                    Float64Constant(x), Uint32Constant(y)));
+        ASSERT_TRUE(r.Changed());
+        EXPECT_THAT(r.replacement(),
+                    IsFloat64Constant(
+                        BitEq(bit_cast<double>(base::bits::InsertElement64(
+                            bit_cast<uint64_t>(x), y, location)))));
+      }
+    }
+  }
+}
+
+
+// -----------------------------------------------------------------------------
 // Store
 
 
 TEST_F(MachineOperatorReducerTest, StoreRepWord8WithWord32And) {
   const StoreRepresentation rep(kRepWord8, kNoWriteBarrier);
   Node* const base = Parameter(0);
   Node* const index = Parameter(1);
   Node* const value = Parameter(2);
   Node* const effect = graph()->start();
   Node* const control = graph()->start();
@@ skipping 77 matching lines @@
     Reduction r = Reduce(node);
     ASSERT_TRUE(r.Changed());
     EXPECT_THAT(r.replacement(),
                 IsStore(rep, base, index, value, effect, control));
   }
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8