x86: don't emit REX.W for SLDT and STR
authorJan Beulich <jbeulich@novell.com>
Fri, 1 Jun 2018 06:40:38 +0000 (08:40 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 1 Jun 2018 06:40:38 +0000 (08:40 +0200)
Just like for other selector register reads, they're unnecessary and
should hence be avoided.

gas/ChangeLog
gas/testsuite/gas/i386/ilp32/x86-64-opcode.d
gas/testsuite/gas/i386/x86-64-opcode.d
opcodes/ChangeLog
opcodes/i386-opc.tbl
opcodes/i386-tbl.h

index 67da9902b64d1f3cd2159a93bbea0872d1010329..f459469b4e62fb896cebc51c93d7b753f22fd9c3 100644 (file)
@@ -1,3 +1,8 @@
+2018-06-01  Jan Beulich  <jbeulich@suse.com>
+
+       * testsuite/gas/i386/ilp32/x86-64-opcode.d,
+       testsuite/gas/i386/x86-64-opcode.d: Adjust expectations.
+
 2018-06-01  Jan Beulich  <jbeulich@suse.com>
 
        * config/tc-i386.c (add_prefix): Check REX bits individually.
index 53893b30c2a65ca89ebac9b5c2fa599be174fe3b..f087252fddef7409a1dbc1cb6c4cb95a09701387 100644 (file)
@@ -269,7 +269,7 @@ Disassembly of section .text:
 [      ]*[a-f0-9]+:    41 0f 01 38             invlpg \(%r8\)
 [      ]*[a-f0-9]+:    0f 01 38                invlpg \(%rax\)
 [      ]*[a-f0-9]+:    0f 00 c0                sldt   %eax
-[      ]*[a-f0-9]+:    48 0f 00 c0             sldt   %rax
+[      ]*[a-f0-9]+:    0f 00 c0                sldt   %eax
 [      ]*[a-f0-9]+:    66 0f 00 c0             sldt   %ax
 [      ]*[a-f0-9]+:    0f 00 00                sldt   \(%rax\)
 [      ]*[a-f0-9]+:    e6 00                   out    %al,\$0x0
@@ -294,7 +294,7 @@ Disassembly of section .text:
 [      ]*[a-f0-9]+:    0f 01 e0                smsw   %eax
 [      ]*[a-f0-9]+:    66 0f 01 e0             smsw   %ax
 [      ]*[a-f0-9]+:    0f 01 20                smsw   \(%rax\)
-[      ]*[a-f0-9]+:    48 0f 00 c8             str    %rax
+[      ]*[a-f0-9]+:    0f 00 c8                str    %eax
 [      ]*[a-f0-9]+:    0f 00 c8                str    %eax
 [      ]*[a-f0-9]+:    66 0f 00 c8             str    %ax
 [      ]*[a-f0-9]+:    0f 00 08                str    \(%rax\)
index bfffb6e0ae01629143ce568e6be1251547f98235..a2e9a71e77e70f3416fa7b1eef237e9004d077c7 100644 (file)
@@ -268,7 +268,7 @@ Disassembly of section .text:
 [      ]*[a-f0-9]+:    41 0f 01 38             invlpg \(%r8\)
 [      ]*[a-f0-9]+:    0f 01 38                invlpg \(%rax\)
 [      ]*[a-f0-9]+:    0f 00 c0                sldt   %eax
-[      ]*[a-f0-9]+:    48 0f 00 c0             sldt   %rax
+[      ]*[a-f0-9]+:    0f 00 c0                sldt   %eax
 [      ]*[a-f0-9]+:    66 0f 00 c0             sldt   %ax
 [      ]*[a-f0-9]+:    0f 00 00                sldt   \(%rax\)
 [      ]*[a-f0-9]+:    e6 00                   out    %al,\$0x0
@@ -293,7 +293,7 @@ Disassembly of section .text:
 [      ]*[a-f0-9]+:    0f 01 e0                smsw   %eax
 [      ]*[a-f0-9]+:    66 0f 01 e0             smsw   %ax
 [      ]*[a-f0-9]+:    0f 01 20                smsw   \(%rax\)
-[      ]*[a-f0-9]+:    48 0f 00 c8             str    %rax
+[      ]*[a-f0-9]+:    0f 00 c8                str    %eax
 [      ]*[a-f0-9]+:    0f 00 c8                str    %eax
 [      ]*[a-f0-9]+:    66 0f 00 c8             str    %ax
 [      ]*[a-f0-9]+:    0f 00 08                str    \(%rax\)
index 3cc3f99a8cf93b8712ec8ff32ac116691c36357e..8b620387193f0a3cf3c06d1fc22a4b85ff9bfc1f 100644 (file)
@@ -1,3 +1,8 @@
+2018-06-01  Jan Beulich  <jbeulich@suse.com>
+
+       * i386-opc.tbl (sldt, str): Add NoRex64.
+       * i386-tbl.h: Re-generate.
+
 2018-06-01  Jan Beulich  <jbeulich@suse.com>
 
        * i386-opc.tbl (invpcid): Add Oword.
index fe2e626e70af7f701cafe15d5c8aba4fa372df7d..f3d40dbfb4471c8d7ffdcee210ebd1d73fd573f9 100644 (file)
@@ -516,11 +516,11 @@ sgdt, 1, 0xf01, 0x0, 2, Cpu286|CpuNo64, Modrm|No_bSuf|No_sSuf|No_qSuf|No_ldSuf,
 sgdt, 1, 0xf01, 0x0, 2, Cpu64, Modrm|No_bSuf|No_wSuf|No_lSuf|No_sSuf|No_ldSuf|NoRex64, { Tbyte|Unspecified|BaseIndex }
 sidt, 1, 0xf01, 0x1, 2, Cpu286|CpuNo64, Modrm|No_bSuf|No_sSuf|No_qSuf|No_ldSuf, { Fword|Unspecified|BaseIndex }
 sidt, 1, 0xf01, 0x1, 2, Cpu64, Modrm|No_bSuf|No_wSuf|No_lSuf|No_sSuf|No_ldSuf|NoRex64, { Tbyte|Unspecified|BaseIndex }
-sldt, 1, 0xf00, 0x0, 2, Cpu286, Modrm|No_bSuf|No_sSuf|No_ldSuf, { Reg16|Reg32|Reg64 }
+sldt, 1, 0xf00, 0x0, 2, Cpu286, Modrm|No_bSuf|No_sSuf|No_ldSuf|NoRex64, { Reg16|Reg32|Reg64 }
 sldt, 1, 0xf00, 0x0, 2, Cpu286, Modrm|IgnoreSize|No_bSuf|No_lSuf|No_sSuf|No_qSuf|No_ldSuf, { Word|Unspecified|BaseIndex }
 smsw, 1, 0xf01, 0x4, 2, Cpu286, Modrm|No_bSuf|No_sSuf|No_ldSuf, { Reg16|Reg32|Reg64 }
 smsw, 1, 0xf01, 0x4, 2, Cpu286, Modrm|IgnoreSize|No_bSuf|No_lSuf|No_sSuf|No_qSuf|No_ldSuf, { Word|Unspecified|BaseIndex }
-str, 1, 0xf00, 0x1, 2, Cpu286, Modrm|No_bSuf|No_sSuf|No_ldSuf, { Reg16|Reg32|Reg64 }
+str, 1, 0xf00, 0x1, 2, Cpu286, Modrm|No_bSuf|No_sSuf|No_ldSuf|NoRex64, { Reg16|Reg32|Reg64 }
 str, 1, 0xf00, 0x1, 2, Cpu286, Modrm|IgnoreSize|No_bSuf|No_lSuf|No_sSuf|No_qSuf|No_ldSuf, { Word|Unspecified|BaseIndex }
 
 verr, 1, 0xf00, 0x4, 2, Cpu286, Modrm|IgnoreSize|No_bSuf|No_lSuf|No_sSuf|No_qSuf|No_ldSuf, { Reg16|Word|Unspecified|BaseIndex }
index 78eef83823c51dd16715067644a5df4acfa36744..d2d87c910adfe2e1ed0bccd95f6052bcac9ce038 100644 (file)
@@ -5795,7 +5795,7 @@ const insn_template i386_optab[] =
         0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 0, 0, 0, 0 } },
     { 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
-      1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+      1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
       0, 0 },
     { { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
@@ -5851,7 +5851,7 @@ const insn_template i386_optab[] =
         0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 0, 0, 0, 0 } },
     { 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
-      1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+      1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
       0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
       0, 0 },
     { { { 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,