public inbox for binutils@sourceware.org
 help / color / mirror / Atom feed
* [PATCH] x86: properly decode EVEX.W for AVX512_4{FMAPS,VNNIW} insns
@ 2022-10-14 14:11 Jan Beulich
  2022-10-14 17:29 ` H.J. Lu
  0 siblings, 1 reply; 2+ messages in thread
From: Jan Beulich @ 2022-10-14 14:11 UTC (permalink / raw)
  To: Binutils; +Cc: H.J. Lu

These require EVEX.W=0. Use %XS to facilitate the checking, even if for
the AVX512_4VNNIW ones this is kind of an abuse (as 's' there stands for
"signed", not "single").

While there also correct the 3rd operand for the AVX512_4VNNIW entries:
Only the memory form is allowed (just like for AVX512_4FMAPS, where the
correct type is already in use).
---
This goes on top of "x86: fold AVX512-VNNI disassembler entries with
AVX-VNNI ones", submitted earlier today.

--- a/opcodes/i386-dis-evex-prefix.h
+++ b/opcodes/i386-dis-evex-prefix.h
@@ -234,14 +234,14 @@
     { Bad_Opcode },
     { "vdpbf16p%XS", { XM, Vex, EXx }, 0 },
     { VEX_W_TABLE (VEX_W_0F3852) },
-    { "vp4dpwssd",	{ XM, Vex, EXxmm }, 0 },
+    { "vp4dpws%XSd",	{ XM, Vex, Mxmm }, 0 },
   },
   /* PREFIX_EVEX_0F3853 */
   {
     { Bad_Opcode },
     { Bad_Opcode },
     { VEX_W_TABLE (VEX_W_0F3853) },
-    { "vp4dpwssds",	{ XM, Vex, EXxmm }, 0 },
+    { "vp4dpws%XSds",	{ XM, Vex, Mxmm }, 0 },
   },
   /* PREFIX_EVEX_0F3868 */
   {
@@ -262,28 +262,28 @@
     { Bad_Opcode },
     { Bad_Opcode },
     { "vfmsub132p%XW",	{ XM, Vex, EXx, EXxEVexR }, 0 },
-    { "v4fmaddps",	{ XM, Vex, Mxmm }, 0 },
+    { "v4fmaddp%XS",	{ XM, Vex, Mxmm }, 0 },
   },
   /* PREFIX_EVEX_0F389B */
   {
     { Bad_Opcode },
     { Bad_Opcode },
     { "vfmsub132s%XW",	{ XMScalar, VexScalar, EXdq, EXxEVexR }, 0 },
-    { "v4fmaddss",	{ XMScalar, VexScalar, Mxmm }, 0 },
+    { "v4fmadds%XS",	{ XMScalar, VexScalar, Mxmm }, 0 },
   },
   /* PREFIX_EVEX_0F38AA */
   {
     { Bad_Opcode },
     { Bad_Opcode },
     { "vfmsub213p%XW",	{ XM, Vex, EXx, EXxEVexR }, 0 },
-    { "v4fnmaddps",	{ XM, Vex, Mxmm }, 0 },
+    { "v4fnmaddp%XS",	{ XM, Vex, Mxmm }, 0 },
   },
   /* PREFIX_EVEX_0F38AB */
   {
     { Bad_Opcode },
     { Bad_Opcode },
     { "vfmsub213s%XW",	{ XMScalar, VexScalar, EXdq, EXxEVexR }, 0 },
-    { "v4fnmaddss",	{ XMScalar, VexScalar, Mxmm }, 0 },
+    { "v4fnmadds%XS",	{ XMScalar, VexScalar, Mxmm }, 0 },
   },
   /* PREFIX_EVEX_0F3A08 */
   {

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [PATCH] x86: properly decode EVEX.W for AVX512_4{FMAPS,VNNIW} insns
  2022-10-14 14:11 [PATCH] x86: properly decode EVEX.W for AVX512_4{FMAPS,VNNIW} insns Jan Beulich
@ 2022-10-14 17:29 ` H.J. Lu
  0 siblings, 0 replies; 2+ messages in thread
From: H.J. Lu @ 2022-10-14 17:29 UTC (permalink / raw)
  To: Jan Beulich; +Cc: Binutils

On Fri, Oct 14, 2022 at 7:11 AM Jan Beulich <jbeulich@suse.com> wrote:
>
> These require EVEX.W=0. Use %XS to facilitate the checking, even if for
> the AVX512_4VNNIW ones this is kind of an abuse (as 's' there stands for
> "signed", not "single").
>
> While there also correct the 3rd operand for the AVX512_4VNNIW entries:
> Only the memory form is allowed (just like for AVX512_4FMAPS, where the
> correct type is already in use).
> ---
> This goes on top of "x86: fold AVX512-VNNI disassembler entries with
> AVX-VNNI ones", submitted earlier today.
>
> --- a/opcodes/i386-dis-evex-prefix.h
> +++ b/opcodes/i386-dis-evex-prefix.h
> @@ -234,14 +234,14 @@
>      { Bad_Opcode },
>      { "vdpbf16p%XS", { XM, Vex, EXx }, 0 },
>      { VEX_W_TABLE (VEX_W_0F3852) },
> -    { "vp4dpwssd",     { XM, Vex, EXxmm }, 0 },
> +    { "vp4dpws%XSd",   { XM, Vex, Mxmm }, 0 },
>    },
>    /* PREFIX_EVEX_0F3853 */
>    {
>      { Bad_Opcode },
>      { Bad_Opcode },
>      { VEX_W_TABLE (VEX_W_0F3853) },
> -    { "vp4dpwssds",    { XM, Vex, EXxmm }, 0 },
> +    { "vp4dpws%XSds",  { XM, Vex, Mxmm }, 0 },
>    },
>    /* PREFIX_EVEX_0F3868 */
>    {
> @@ -262,28 +262,28 @@
>      { Bad_Opcode },
>      { Bad_Opcode },
>      { "vfmsub132p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
> -    { "v4fmaddps",     { XM, Vex, Mxmm }, 0 },
> +    { "v4fmaddp%XS",   { XM, Vex, Mxmm }, 0 },
>    },
>    /* PREFIX_EVEX_0F389B */
>    {
>      { Bad_Opcode },
>      { Bad_Opcode },
>      { "vfmsub132s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, 0 },
> -    { "v4fmaddss",     { XMScalar, VexScalar, Mxmm }, 0 },
> +    { "v4fmadds%XS",   { XMScalar, VexScalar, Mxmm }, 0 },
>    },
>    /* PREFIX_EVEX_0F38AA */
>    {
>      { Bad_Opcode },
>      { Bad_Opcode },
>      { "vfmsub213p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
> -    { "v4fnmaddps",    { XM, Vex, Mxmm }, 0 },
> +    { "v4fnmaddp%XS",  { XM, Vex, Mxmm }, 0 },
>    },
>    /* PREFIX_EVEX_0F38AB */
>    {
>      { Bad_Opcode },
>      { Bad_Opcode },
>      { "vfmsub213s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, 0 },
> -    { "v4fnmaddss",    { XMScalar, VexScalar, Mxmm }, 0 },
> +    { "v4fnmadds%XS",  { XMScalar, VexScalar, Mxmm }, 0 },
>    },
>    /* PREFIX_EVEX_0F3A08 */
>    {

OK.

Thanks.

-- 
H.J.

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-10-14 17:30 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-10-14 14:11 [PATCH] x86: properly decode EVEX.W for AVX512_4{FMAPS,VNNIW} insns Jan Beulich
2022-10-14 17:29 ` H.J. Lu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).