Re: [Xen-devel] [PATCH v2] x86emul: correct EVEX decoding

2017-09-05 Thread Andrew Cooper
On 05/09/17 14:56, Jan Beulich wrote: > While these are latent issues only for now, correct them right away: > - unnamed (in the SDM) EVEX bits need to be set/clear respectively > - EVEX.V' (called RX in our code) needs to uniformly be 1 in non-64-bit > modes, > - EXEX.R' (called R in our code) i

[Xen-devel] [PATCH v2] x86emul: correct EVEX decoding

2017-09-05 Thread Jan Beulich
While these are latent issues only for now, correct them right away: - unnamed (in the SDM) EVEX bits need to be set/clear respectively - EVEX.V' (called RX in our code) needs to uniformly be 1 in non-64-bit modes, - EXEX.R' (called R in our code) is uniformly being ignored in non-64-bit modes.