x86: use correct register names

VEX.W may be legitimately set (and is then ignored by the CPU) for
non-64-bit code. Don't print 64-bit register names in such a case, by
utilizing that REX_W would never be set for non-64-bit code, and that
it is being set from VEX.W by generic decoding.

A test for this is going to be introduced in the next patch of this
series.

diff --git a/gas/ChangeLog b/gas/ChangeLog
index 3624da7de9729b1e93b549ed9ba9a4333cd92279..17637780412aaab8cdceced2666681e6bf681ca5 100644 (file)
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,9 @@
+2017-11-15  Jan Beulich  <jbeulich@suse.com>
+
+       * testsuite/gas/i386/noextreg.s: Add tests for VEX-encoded GPR
+       insns with VEX.W set.
+       * testsuite/gas/i386/noextreg.d: Adjust expectations.
+
 2017-11-15  Jan Beulich  <jbeulich@suse.com>
 
        * testsuite/gas/i386/noextreg.{s,d}: New.

diff --git a/gas/testsuite/gas/i386/noextreg.d b/gas/testsuite/gas/i386/noextreg.d
index cb181b17ee562ae52ab5adb74c1ef2c9f5290551..4b7f45d46ed6fc2f1aebbdb636184129f4226985 100644 (file)
--- a/gas/testsuite/gas/i386/noextreg.d
+++ b/gas/testsuite/gas/i386/noextreg.d
@@ -6,6 +6,12 @@
 Disassembly of section .text:
 
 0+ <ix86>:
+[      ]*[a-f0-9]+:    c4 e2 78 f2 00          andn   \(%eax\),%eax,%eax
+[      ]*[a-f0-9]+:    c4 e2 f8 f2 00          andn   \(%eax\),%eax,%eax
+[      ]*[a-f0-9]+:    8f e9 78 01 20          tzmsk  \(%eax\),%eax
+[      ]*[a-f0-9]+:    8f e9 f8 01 20          tzmsk  \(%eax\),%eax
+[      ]*[a-f0-9]+:    8f e9 78 12 c0          llwpcb %eax
+[      ]*[a-f0-9]+:    8f e9 f8 12 c0          llwpcb %eax
 [      ]*[a-f0-9]+:    c4 e3 79 68 00 00       vfmaddps %xmm0,\(%eax\),%xmm0,%xmm0
 [      ]*[a-f0-9]+:    c4 e3 79 68 00 0f       vfmaddps %xmm0,\(%eax\),%xmm0,%xmm0
 [      ]*[a-f0-9]+:    c3                      ret[    ]*

diff --git a/gas/testsuite/gas/i386/noextreg.s b/gas/testsuite/gas/i386/noextreg.s
index 229b994a994ae86126384b05a093e8dd846c8cd3..ba0c6ffa157768d915cef2d845b7d8897b3c60ba 100644 (file)
--- a/gas/testsuite/gas/i386/noextreg.s
+++ b/gas/testsuite/gas/i386/noextreg.s
@@ -1,6 +1,21 @@
        .intel_syntax noprefix
        .text
 ix86:
+       andn    eax, eax, [eax]
+       .code64
+       andn    rax, rax, [rax]
+       .code32
+
+       tzmsk   eax, [eax]
+       .code64
+       tzmsk   rax, [rax]
+       .code32
+
+       llwpcb  eax
+       .code64
+       llwpcb  rax
+       .code32
+
        vfmaddps xmm0, xmm0, [eax], xmm0
        .byte   0xc4, 0xe3, 0x79, 0x68, 0x00, 0x0f      # vfmaddps xmm0, xmm0, [eax], xmm0
 

diff --git a/opcodes/ChangeLog b/opcodes/ChangeLog
index 674736ba8466970adf590730c305718b25a1b1fc..2cc35947bd954a9a481e3e644dec209ce33b6cce 100644 (file)
--- a/opcodes/ChangeLog
+++ b/opcodes/ChangeLog
@@ -1,3 +1,8 @@
+2017-11-15  Jan Beulich  <jbeulich@suse.com>
+
+       * i386-dis.c (OP_VEX, OP_LWPCB_E, OP_LWP_E): Use rex to
+       determine GPR register set.
+
 2017-11-15  Jan Beulich  <jbeulich@suse.com>
 
        * i386-dis.c (VEXI4_Fixup, VexI4): Delete.

diff --git a/opcodes/i386-dis.c b/opcodes/i386-dis.c
index 6a5a7f1bd6a024957e5ddfa66efc9beb43ee0481..78a685ee47167ebc7d37114af9affe1ec3e626bc 100644 (file)
--- a/opcodes/i386-dis.c
+++ b/opcodes/i386-dis.c
@@ -17122,7 +17122,7 @@ OP_VEX (int bytemode, int sizeflag ATTRIBUTE_UNUSED)
          names = names_xmm;
          break;
        case dq_mode:
-         if (vex.w)
+         if (rex & REX_W)
            names = names64;
          else
            names = names32;
@@ -17758,7 +17758,7 @@ OP_LWPCB_E (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
   MODRM_CHECK;
   codep++;
 
-  if (vex.w)
+  if (rex & REX_W)
     names = names64;
   else
     names = names32;
@@ -17776,7 +17776,7 @@ OP_LWP_E (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
 {
   const char **names;
 
-  if (vex.w)
+  if (rex & REX_W)
     names = names64;
   else
     names = names32;