On 10/07/17 08:25, Jan Beulich wrote:
> While these are latent issues only for now, correct them right away:
> - EVEX.V' (called RX in our code) needs to uniformly be 1,
> - EXEX.R' (called R in our code) is uniformly being ignored.
>
> Signed-off-by: Jan Beulich <jbeul...@suse.com>
Those changes do match table 2-40 in the manual, but what about other cases?
EVEX.B is uniformly ignored outside of 64bit as well.
What about the opcode independent cases? We should check that the two
MBZ bits (currently an anonymous bitfield) are zero, and the MBS bit
(currently evex.evex) is set.
~Andrew
>
> --- a/xen/arch/x86/x86_emulate/x86_emulate.c
> +++ b/xen/arch/x86/x86_emulate/x86_emulate.c
> @@ -2544,6 +2544,12 @@ x86_decode(
> evex.raw[1] = vex.raw[1];
> evex.raw[2] = insn_fetch_type(uint8_t);
>
> + if ( !mode_64bit() )
> + {
> + generate_exception_if(!evex.RX, EXC_UD);
> + evex.R = 1;
> + }
> +
> vex.opcx = evex.opcx;
> break;
> case 0xc4:
>
>
>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
