[PATCH] x86: Optimize with EVEX128 encoding for AVX512VL

[Jan Beulich]

>>> On 09.03.18 at 04:56, <hjl.tools@gmail.com> wrote:
> This is the patch I am checking in.  If i.vec_encoding == vex_encoding_evex,
> we need to use EVEX128 encoding.

But this retains some of the ISA extensions problem - only EVEX512
should be used without "i.tm.cpu_flags.bitfield.cpuavx512vl ||
cpu_arch_isa_flags.bitfield.cpuavx512vl".

Jan