[PATCH 0/3] Refine AVX10.2 mnemonics

[Jiang, Haochen]

> From: Christian Ludloff <ludloff@gmail.com>
> Sent: Friday, January 17, 2025 4:24 AM
> 
> >> > One more: don't forget the 256-bit {er} variants of VCVTDQ2PD at
> >> > F3.0F__.W0.E6 and VCVTUDQ2PD at F3.0F__.W0.7A – they are missing
> >> > from the AVX10.2 spec; they should be supported, similar to the
> >> > existing 512-bit {er} variants: attempts to encode {er} should be
> >> > ignored, as documented in the SDM.
> 
> > Hopefully all the AVX10.2 silicon got it right in the first place.
> 
> Fwiw, the latest AVX10.2 spec (#361050-003 from Jan 14) is still missing the
> 256-bit {er} variants of VCVT[,U]DQ2PD.
> 
> For now, we have the unofficial confirmation here:
> 
>   https://sourceware.org/pipermail/binutils/2025-January/138698.html

I suppose it is not included due to it actually has no rounding operand
normally. We just ignore that rounding if someone got the bytecode with
rounding. So when doc is there, it won't be included. Maybe we could get
a better way to get that. (Actually when AVX10.2 things went into SDM,
everything would be aligned.) Let me try to find a way.

Thx,
Haochen