From: Julian Seward <jseward@acm.org>
Date: Wed, 20 Jul 2016 16:35:55 +0000 (+0000)
Subject: Enable PCMPxSTRx cases 0x70 and 0x19.  Fixes #359952.
X-Git-Tag: svn/VALGRIND_3_12_0^2~38
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eac78cf0f9d0a2eaeeed58145c0f7892c4be934f;p=thirdparty%2Fvalgrind.git

Enable PCMPxSTRx cases 0x70 and 0x19.  Fixes #359952.


git-svn-id: svn://svn.valgrind.org/vex/trunk@3228
---

diff --git a/VEX/priv/guest_amd64_toIR.c b/VEX/priv/guest_amd64_toIR.c
index 936d16f14b..4c9a1221a4 100644
--- a/VEX/priv/guest_amd64_toIR.c
+++ b/VEX/priv/guest_amd64_toIR.c
@@ -18671,10 +18671,11 @@ static Long dis_PCMPxSTRx ( const VexAbiInfo* vbi, Prefix pfx,
       case 0x12: case 0x14: case 0x18: case 0x1A:
       case 0x30: case 0x34: case 0x38: case 0x3A:
       case 0x40: case 0x42: case 0x44: case 0x46: case 0x4A:
+      case 0x70:
          break;
       // the 16-bit character versions of the above
       case 0x01: case 0x03: case 0x09: case 0x0B: case 0x0D:
-      case 0x13:                       case 0x1B:
+                 case 0x13: case 0x19: case 0x1B:
                             case 0x39: case 0x3B:
                             case 0x45:            case 0x4B:
          break;
diff --git a/VEX/priv/guest_generic_x87.c b/VEX/priv/guest_generic_x87.c
index 2c9b25b07b..9a3c603ef6 100644
--- a/VEX/priv/guest_generic_x87.c
+++ b/VEX/priv/guest_generic_x87.c
@@ -799,6 +799,7 @@ Bool compute_PCMPxSTRx ( /*OUT*/V128* resV,
       case 0x12: case 0x14: case 0x18: case 0x1A:
       case 0x30: case 0x34: case 0x38: case 0x3A:
       case 0x40: case 0x42: case 0x44: case 0x46: case 0x4A:
+      case 0x70:
          break;
       default:
          return False;
@@ -1047,7 +1048,7 @@ Bool compute_PCMPxSTRx_wide ( /*OUT*/V128* resV,
       unvalidated cases in the code base. */
    switch (imm8) {
       case 0x01: case 0x03: case 0x09: case 0x0B: case 0x0D:
-      case 0x13:            case 0x1B:
+                 case 0x13: case 0x19: case 0x1B:
                             case 0x39: case 0x3B:
                  case 0x45:            case 0x4B:
          break;