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

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |NOTABUG

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
"vcvtpd2dq (%rcx), %ymm2" is AVX512 only.  "c5 fb e6 11" is

c5 fb e6 11             vcvtpd2dqx (%rcx),%xmm2

The destination is XMM, not YMM.

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