x86: adjust {,E}VEX.W handling for PEXTR* / PINSR*
authorJan Beulich <jbeulich@novell.com>
Tue, 6 Nov 2018 10:43:55 +0000 (11:43 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 6 Nov 2018 10:43:55 +0000 (11:43 +0100)
commitb50c9f31661be05bcd73fb1158e02f606e696948
tree80c3662241c3d1bc92b3e45c5e86dbf081bb6e2d
parent931d03b75aa934abc10a70f1aa3ca1192f32ed3d
x86: adjust {,E}VEX.W handling for PEXTR* / PINSR*

PEXTR{B,W} and PINSR{B,W}, just like for AVX512BW, are WIG, no matter
that the SDM uses a nonstandard description of that fact.

PEXTRD, even with EVEX.W set, ignores that bit outside of 64-bit mode,
just like its AVX counterpart.
13 files changed:
gas/ChangeLog
gas/testsuite/gas/i386/avx-wig.d
gas/testsuite/gas/i386/avx-wig.s
gas/testsuite/gas/i386/evex-wig.s
gas/testsuite/gas/i386/evex-wig1-intel.d
gas/testsuite/gas/i386/evex-wig1.d
gas/testsuite/gas/i386/x86-64-avx-wig.d
gas/testsuite/gas/i386/x86-64-avx-wig.s
opcodes/ChangeLog
opcodes/i386-dis-evex.h
opcodes/i386-dis.c
opcodes/i386-opc.tbl
opcodes/i386-tbl.h