[Bug gas/23670] New: Invalid -mevexlig=256 encoding

[hjl.tools at gmail dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=23670

            Bug ID: 23670
           Summary: Invalid -mevexlig=256 encoding
           Product: binutils
           Version: 2.32 (HEAD)
            Status: NEW
          Severity: normal
          Priority: P2
         Component: gas
          Assignee: unassigned at sourceware dot org
          Reporter: hjl.tools at gmail dot com
  Target Milestone: ---
            Target: i386,x86-64

address@hidden i386]$ cat evex-lig-2.s
# Check EVEX non-LIG instructions with with -mevexlig=256

        .allow_index_reg
        .text
_start:
        {evex} vmovd %xmm4,(%ecx)
        {evex} vmovd %xmm4,%ecx
        {evex} vmovd (%ecx),%xmm4
        {evex} vmovd %ecx,%xmm4

        {evex} vmovq %xmm4,(%ecx)
        {evex} vmovq (%ecx),%xmm4

        {evex} vmovq %xmm4,%xmm6
address@hidden i386]$ as --32 -o /tmp/x.o evex-lig-2.s -mevexlig=256
address@hidden i386]$ objdump -dw /tmp/x.o

/tmp/x.o:     file format elf32-i386


Disassembly of section .text:

00000000 <_start>:
   0:   62 f1 7d 28 7e 21       vmovd  %xmm4,(%ecx)
   6:   62 f1 7d 28 7e e1       vmovd  %xmm4,%ecx
   c:   62 f1 7d 28 6e 21       vmovd  (%ecx),%xmm4
  12:   62 f1 7d 28 6e e1       vmovd  %ecx,%xmm4
  18:   62 f1 fd 28 d6 21       vmovq  %xmm4,(%ecx)
  1e:   62 f1 fe 28 7e 21       vmovq  (%ecx),%xmm4
  24:   62 f1 fe 28 7e f4       vmovq  %xmm4,%xmm6
address@hidden i386]$ 
address@hidden sde-external-8.16.0-2018-01-30-lin]$ ./xed -d 62 f1 7d 28 7e
21
62F17D287E21
ERROR: GENERAL_ERROR Could not decode at offset: 0x0 PC: 0x0:
[62F17D287E21000000000000000000]
address@hidden sde-external-8.16.0-2018-01-30-lin]$ ./xed -d 62 f1 7d 28 6e
21
62F17D286E21
ERROR: GENERAL_ERROR Could not decode at offset: 0x0 PC: 0x0:
[62F17D286E21000000000000000000]
address@hidden sde-external-8.16.0-2018-01-30-lin]$ ./xed -d 62 f1 fd 28 d6
21 
62F1FD28D621
ERROR: GENERAL_ERROR Could not decode at offset: 0x0 PC: 0x0:
[62F1FD28D621000000000000000000]
address@hidden sde-external-8.16.0-2018-01-30-lin]$ ./xed -d 62 f1 fe 28 7e
21 
62F1FE287E21
ERROR: GENERAL_ERROR Could not decode at offset: 0x0 PC: 0x0:
[62F1FE287E21000000000000000000]
address@hidden sde-external-8.16.0-2018-01-30-lin]$

-- 
You are receiving this mail because:
You are on the CC list for the bug.