encoding of AVX10.2 VGETEXPPBF16

[Beulich__Jan]

VGETEXPP{S,D} are in opcode map 2 (0F38). Correspondingly VGETEXPPH is in opcode map 6. Is it really the case that, as spec version 001 is saying, VGETEXPPBF16 is in map 5, rather than in map 6? After all other insns having a "PH" counterpart share opcode map and major opcode with that, differring in just the (embedded) prefix.

[Beulich__Jan · Accepted solution]

Doc rev 002 addresses this issue, thanks.