[Bug gas/28087] New: [x86-64] vcvtpd2dq, vcvtpd2ps, and vcvttpd2dq don't have their VEX encoding

[newdefectus at gmail dot com]

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

            Bug ID: 28087
           Summary: [x86-64] vcvtpd2dq, vcvtpd2ps, and vcvttpd2dq don't
                    have their VEX encoding
           Product: binutils
           Version: 2.36.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: gas
          Assignee: unassigned at sourceware dot org
          Reporter: newdefectus at gmail dot com
  Target Milestone: ---

According to the Intel docs, "vcvtpd2dq (%rcx), %ymm2" should assemble to C5 FB
E6 11, however GAS assembles it as 62 F1 FF 48 E6 11, the EVEX version, which,
while also valid, is unnecessarily 2 bytes longer. Additionally, using the
{vex2} or {vex3} prefixes on these instructions will cause an error.

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