x86: don't default variable shift count insns to 8-bit operand size
authorJan Beulich <jbeulich@novell.com>
Mon, 13 Nov 2017 11:22:21 +0000 (12:22 +0100)
committerJan Beulich <jbeulich@suse.com>
Mon, 13 Nov 2017 11:22:21 +0000 (12:22 +0100)
Just like %dx in I/O instructions isn't suitable to derive operand size
information, %cl source operands of shift instructions aren't.

gas/ChangeLog
gas/config/tc-i386.c
gas/testsuite/gas/i386/inval.l
gas/testsuite/gas/i386/inval.s

index d18c381..768ec17 100644 (file)
@@ -1,5 +1,12 @@
 2017-11-13  Jan Beulich  <jbeulich@suse.com>
 
+       * config/tc-i386.c (process_suffix): Treat .shiftcount just like
+       .inoutportreg.
+       * testsuite/gas/i386/inval.s: Add ambiguous shift/rotate cases.
+       * testsuite/gas/i386/inval.l: Adjust expectations.
+
+2017-11-13  Jan Beulich  <jbeulich@suse.com>
+
        * config/tc-i386-intel.c (i386_intel_simplify_register): Also
        recognize RegRiz/RegEiz as index-only registers.
        * testsuite/gas/i386/intel.s: Add tests exercising base/index
index 4161c8c..f20be8e 100644 (file)
@@ -5431,7 +5431,8 @@ process_suffix (void)
                }
 
              for (op = i.operands; --op >= 0;)
-               if (!i.tm.operand_types[op].bitfield.inoutportreg)
+               if (!i.tm.operand_types[op].bitfield.inoutportreg
+                   && !i.tm.operand_types[op].bitfield.shiftcount)
                  {
                    if (i.types[op].bitfield.reg8)
                      {
index bec6b75..53eb7e7 100644 (file)
@@ -80,6 +80,9 @@
 .*:87: Error: .*
 .*:88: Error: .*
 .*:90: Error: .*
+.*:92: Error: .*shl.*
+.*:93: Error: .*rol.*
+.*:94: Error: .*rcl.*
 GAS LISTING .*
 
 
@@ -176,3 +179,7 @@ GAS LISTING .*
 [      ]*88[   ]+movzx eax, \[eax\]
 [      ]*89[   ]+
 [      ]*90[   ]+movnti word ptr \[eax\], ax
+[      ]*[1-9][0-9]*[  ]+
+[      ]*[1-9][0-9]*[  ]+shl \[eax\], 1
+[      ]*[1-9][0-9]*[  ]+rol \[ecx\], 2
+[      ]*[1-9][0-9]*[  ]+rcl \[edx\], cl
index 4818baa..35d99cd 100644 (file)
@@ -88,3 +88,7 @@ movzx ax, [eax]
 movzx eax, [eax]
 
 movnti word ptr [eax], ax
+
+       shl [eax], 1
+       rol [ecx], 2
+       rcl [edx], cl