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

test/cctest/test-disasm-x64.cc

 // Copyright 2011 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 428 matching lines @@
     __ ucomisd(xmm0, xmm1);
 
     __ andpd(xmm0, xmm1);
 
     __ pslld(xmm0, 6);
     __ psrld(xmm0, 6);
     __ psllq(xmm0, 6);
     __ psrlq(xmm0, 6);
 
     __ pcmpeqd(xmm1, xmm0);
+
+    __ punpckldq(xmm1, xmm11);
+    __ punpckhdq(xmm8, xmm15);
   }
 
   // cmov.
   {
     __ cmovq(overflow, rax, Operand(rax, 0));
     __ cmovq(no_overflow, rax, Operand(rax, 1));
     __ cmovq(below, rax, Operand(rax, 2));
     __ cmovq(above_equal, rax, Operand(rax, 3));
     __ cmovq(equal, rax, Operand(rbx, 0));
     __ cmovq(not_equal, rax, Operand(rbx, 1));
     __ cmovq(below_equal, rax, Operand(rbx, 2));
     __ cmovq(above, rax, Operand(rbx, 3));
     __ cmovq(sign, rax, Operand(rcx, 0));
     __ cmovq(not_sign, rax, Operand(rcx, 1));
     __ cmovq(parity_even, rax, Operand(rcx, 2));
     __ cmovq(parity_odd, rax, Operand(rcx, 3));
     __ cmovq(less, rax, Operand(rdx, 0));
     __ cmovq(greater_equal, rax, Operand(rdx, 1));
     __ cmovq(less_equal, rax, Operand(rdx, 2));
     __ cmovq(greater, rax, Operand(rdx, 3));
   }
 
   {
     if (CpuFeatures::IsSupported(SSE4_1)) {
       CpuFeatureScope scope(&assm, SSE4_1);
       __ extractps(rax, xmm1, 0);
+      __ pextrd(rbx, xmm15, 0);
+      __ pextrd(r12, xmm0, 1);
+      __ pinsrd(xmm9, r9, 0);
+      __ pinsrd(xmm5, rax, 1);
     }
   }
 
   // AVX instruction
   {
     if (CpuFeatures::IsSupported(AVX)) {
       CpuFeatureScope scope(&assm, AVX);
       __ vaddsd(xmm0, xmm1, xmm2);
       __ vaddsd(xmm0, xmm1, Operand(rbx, rcx, times_4, 10000));
       __ vmulsd(xmm0, xmm1, xmm2);
@@ skipping 96 matching lines @@
 #ifdef OBJECT_PRINT
   OFStream os(stdout);
   code->Print(os);
   byte* begin = code->instruction_start();
   byte* end = begin + code->instruction_size();
   disasm::Disassembler::Disassemble(stdout, begin, end);
 #endif
 }
 
 #undef __