[x64] introduce vex prefix version of float64 arithmetic binop

src/x64/disasm-x64.cc

 // Copyright 2011 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 <assert.h>
 #include <stdarg.h>
 #include <stdio.h>
 
 #include "src/v8.h"
 
@@ skipping 365 matching lines @@
     byte checked = vex_byte0_ == VEX3_PREFIX ? vex_byte2_ : vex_byte1_;
     return (checked & 3) == 3;
   }
 
   bool vex_0f() {
     if (vex_byte0_ == VEX2_PREFIX) return true;
     return (vex_byte1_ & 3) == 1;
   }
 
   bool vex_0f38() {
-    DCHECK(vex_byte0_ == VEX3_PREFIX);
+    if (vex_byte0_ == VEX2_PREFIX) return false;
     return (vex_byte1_ & 3) == 2;
   }
 
   bool vex_0f3a() {
-    DCHECK(vex_byte0_ == VEX3_PREFIX);
+    if (vex_byte0_ == VEX2_PREFIX) return false;
     return (vex_byte1_ & 3) == 3;
   }
 
   int vex_vreg() {
     DCHECK(vex_byte0_ == VEX3_PREFIX || vex_byte0_ == VEX2_PREFIX);
     byte checked = vex_byte0_ == VEX3_PREFIX ? vex_byte2_ : vex_byte1_;
     return ~(checked >> 3) & 0xf;
   }
 
   OperandSize operand_size() {
@@ skipping 461 matching lines @@
   const char* mnem = conditional_code_suffix[cond];
   AppendToBuffer("set%s%c ", mnem, operand_size_code());
   PrintRightByteOperand(data + 2);
   return 3;  // includes 0x0F
 }
 
 
 int DisassemblerX64::AVXInstruction(byte* data) {
   byte opcode = *data;
   byte* current = data + 1;
-  if (vex_byte0_ == VEX3_PREFIX) {
-    if (vex_128()) {
-      if (vex_66() && vex_0f38()) {
-        int mod, regop, rm, vvvv = vex_vreg();
-        get_modrm(*current, &mod, &regop, &rm);
-        switch (opcode) {
-          case 0x99:
-            AppendToBuffer("vfmadd132s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0xa9:
-            AppendToBuffer("vfmadd213s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0xb9:
-            AppendToBuffer("vfmadd231s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0x9b:
-            AppendToBuffer("vfmsub132s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0xab:
-            AppendToBuffer("vfmsub213s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0xbb:
-            AppendToBuffer("vfmsub231s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0x9d:
-            AppendToBuffer("vfnmadd132s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0xad:
-            AppendToBuffer("vfnmadd213s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0xbd:
-            AppendToBuffer("vfnmadd231s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0x9f:
-            AppendToBuffer("vfnmsub132s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0xaf:
-            AppendToBuffer("vfnmsub213s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          case 0xbf:
-            AppendToBuffer("vfnmsub231s%c %s,%s,", float_size_code(),
-                           NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
-            current += PrintRightXMMOperand(current);
-            break;
-          default:
-            UnimplementedInstruction();
-        }
-      }
-    } else {
-      UnimplementedInstruction();
+  if (vex_66() && vex_0f38()) {
+    int mod, regop, rm, vvvv = vex_vreg();
+    get_modrm(*current, &mod, &regop, &rm);
+    switch (opcode) {
+      case 0x99:
+        AppendToBuffer("vfmadd132s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0xa9:
+        AppendToBuffer("vfmadd213s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0xb9:
+        AppendToBuffer("vfmadd231s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0x9b:
+        AppendToBuffer("vfmsub132s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0xab:
+        AppendToBuffer("vfmsub213s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0xbb:
+        AppendToBuffer("vfmsub231s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0x9d:
+        AppendToBuffer("vfnmadd132s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0xad:
+        AppendToBuffer("vfnmadd213s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0xbd:
+        AppendToBuffer("vfnmadd231s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0x9f:
+        AppendToBuffer("vfnmsub132s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0xaf:
+        AppendToBuffer("vfnmsub213s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0xbf:
+        AppendToBuffer("vfnmsub231s%c %s,%s,", float_size_code(),
+                       NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      default:
+        UnimplementedInstruction();
     }
-  } else if (vex_byte0_ == VEX2_PREFIX) {
+  } else if (vex_f2() && vex_0f()) {
+    int mod, regop, rm, vvvv = vex_vreg();
+    get_modrm(*current, &mod, &regop, &rm);
+    switch (opcode) {
+      case 0x58:
+        AppendToBuffer("vaddsd %s,%s,", NameOfXMMRegister(regop),
+                       NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0x59:
+        AppendToBuffer("vmulsd %s,%s,", NameOfXMMRegister(regop),
+                       NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0x5c:
+        AppendToBuffer("vsubsd %s,%s,", NameOfXMMRegister(regop),
+                       NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      case 0x5e:
+        AppendToBuffer("vdivsd %s,%s,", NameOfXMMRegister(regop),
+                       NameOfXMMRegister(vvvv));
+        current += PrintRightXMMOperand(current);
+        break;
+      default:
+        UnimplementedInstruction();
+    }
+  } else {
     UnimplementedInstruction();
-  } else {
-    UNREACHABLE();
   }
 
   return static_cast<int>(current - data);
 }
 
 
 // Returns number of bytes used, including *data.
 int DisassemblerX64::FPUInstruction(byte* data) {
   byte escape_opcode = *data;
   DCHECK_EQ(0xD8, escape_opcode & 0xF8);
@@ skipping 1132 matching lines @@
     for (int i = 6 - static_cast<int>(pc - prev_pc); i >= 0; i--) {
       fprintf(f, "  ");
     }
     fprintf(f, "  %s\n", buffer.start());
   }
 }
 
 }  // namespace disasm
 
 #endif  // V8_TARGET_ARCH_X64