Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-16 Thread Jan Beulich
>>> On 16.01.17 at 15:17, wrote: > On 16/01/17 13:58, Jan Beulich wrote: > On 16.01.17 at 14:51, wrote: >>> Right. What happens in reality is this: >>> >>> --- Xen Test Framework --- >>> Environment: HVM 32bit (No paging) >>> Test VEX.W matching mode: >>> andn a5a5, ff00ff00 = 00cc00a5

Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-16 Thread Andrew Cooper
On 16/01/17 13:58, Jan Beulich wrote: On 16.01.17 at 14:51, wrote: >> Right. What happens in reality is this: >> >> --- Xen Test Framework --- >> Environment: HVM 32bit (No paging) >> Test VEX.W matching mode: >> andn a5a5, ff00ff00 = 00cc00a5 >> Test VEX.W opposite to mode: >> andn

Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-16 Thread Jan Beulich
>>> On 16.01.17 at 14:51, wrote: > Right. What happens in reality is this: > > --- Xen Test Framework --- > Environment: HVM 32bit (No paging) > Test VEX.W matching mode: > andn a5a5, ff00ff00 = 00cc00a5 > Test VEX.W opposite to mode: > andn a5a5, ff00ff00 = 00cc00a5 > Test result: S

Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-16 Thread Andrew Cooper
On 16/01/17 12:57, Jan Beulich wrote: On 16.01.17 at 13:43, wrote: > On 16.01.17 at 12:59, wrote: >>> On 16/01/17 11:19, Jan Beulich wrote: >>> On 13.01.17 at 18:40, wrote: > On 13/01/17 15:31, Jan Beulich wrote: >> @@ -5866,6 +5879,67 @@ x86_emulate( >> break;

Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-16 Thread Jan Beulich
>>> On 16.01.17 at 13:43, wrote: On 16.01.17 at 12:59, wrote: >> On 16/01/17 11:19, Jan Beulich wrote: >> On 13.01.17 at 18:40, wrote: On 13/01/17 15:31, Jan Beulich wrote: > @@ -5866,6 +5879,67 @@ x86_emulate( > break; > #endif > > +case X86EMUL

Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-16 Thread Jan Beulich
>>> On 16.01.17 at 12:59, wrote: > On 16/01/17 11:19, Jan Beulich wrote: > On 13.01.17 at 18:40, wrote: >>> On 13/01/17 15:31, Jan Beulich wrote: @@ -5866,6 +5879,67 @@ x86_emulate( break; #endif +case X86EMUL_OPC_VEX(0x0f38, 0xf2):/* andn r/m,r,r

Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-16 Thread Andrew Cooper
On 16/01/17 11:19, Jan Beulich wrote: On 13.01.17 at 18:40, wrote: >> On 13/01/17 15:31, Jan Beulich wrote: >>> @@ -5866,6 +5879,67 @@ x86_emulate( >>> break; >>> #endif >>> >>> +case X86EMUL_OPC_VEX(0x0f38, 0xf2):/* andn r/m,r,r */ >>> +case X86EMUL_OPC_VEX(0x0f38, 0x

Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-16 Thread Jan Beulich
>>> On 13.01.17 at 18:40, wrote: > On 13/01/17 15:31, Jan Beulich wrote: >> @@ -5866,6 +5879,67 @@ x86_emulate( >> break; >> #endif >> >> +case X86EMUL_OPC_VEX(0x0f38, 0xf2):/* andn r/m,r,r */ >> +case X86EMUL_OPC_VEX(0x0f38, 0xf7):/* bextr r,r/m,r */ >> +{ >> +

Re: [Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-13 Thread Andrew Cooper
On 13/01/17 15:31, Jan Beulich wrote: > --- a/xen/arch/x86/x86_emulate/x86_emulate.c > +++ b/xen/arch/x86/x86_emulate/x86_emulate.c > @@ -676,6 +676,16 @@ do{ asm volatile ( > #define __emulate_1op_8byte(_op, _dst, _eflags) > #endif /* __i386__ */ > > +#define emulate_stub(dst, src...) do {

[Xen-devel] [PATCH 3/8] x86emul: support BMI1 insns

2017-01-13 Thread Jan Beulich
Signed-off-by: Jan Beulich --- a/tools/tests/x86_emulator/test_x86_emulator.c +++ b/tools/tests/x86_emulator/test_x86_emulator.c @@ -892,6 +892,133 @@ int main(int argc, char **argv) #define check_eip(which) (regs.eip == (unsigned long)(which) + \ (unsigned