Re: [Qemu-devel] [RISU v3 00/11] Support for i386/x86_64 with vector extensions

2019-06-07 Thread Peter Maydell
On Fri, 7 Jun 2019 at 12:58, Alex Bennée wrote: > > > Peter Maydell writes: > > > On Fri, 24 May 2019 at 10:42, Alex Bennée wrote: > >> > >> > >> Jan Bobek writes: > >> > >> > This patch series adds support for i386 and x86_64 architectures to > >> > RISU. Notably, vector registers (SSE, AVX, A

Re: [Qemu-devel] [RISU v3 00/11] Support for i386/x86_64 with vector extensions

2019-06-07 Thread Alex Bennée
Peter Maydell writes: > On Fri, 24 May 2019 at 10:42, Alex Bennée wrote: >> >> >> Jan Bobek writes: >> >> > This patch series adds support for i386 and x86_64 architectures to >> > RISU. Notably, vector registers (SSE, AVX, AVX-512) are supported for >> > verification of the apprentice. This

Re: [Qemu-devel] [RISU v3 00/11] Support for i386/x86_64 with vector extensions

2019-06-07 Thread Peter Maydell
On Fri, 24 May 2019 at 10:42, Alex Bennée wrote: > > > Jan Bobek writes: > > > This patch series adds support for i386 and x86_64 architectures to > > RISU. Notably, vector registers (SSE, AVX, AVX-512) are supported for > > verification of the apprentice. This is V3 of the series posted in [1] >

Re: [Qemu-devel] [RISU v3 00/11] Support for i386/x86_64 with vector extensions

2019-05-24 Thread Alex Bennée
Jan Bobek writes: > This patch series adds support for i386 and x86_64 architectures to > RISU. Notably, vector registers (SSE, AVX, AVX-512) are supported for > verification of the apprentice. This is V3 of the series posted in [1] > and [2]. I've sent a patch to enable x86 in the build-all-a

[Qemu-devel] [RISU v3 00/11] Support for i386/x86_64 with vector extensions

2019-05-23 Thread Jan Bobek
This patch series adds support for i386 and x86_64 architectures to RISU. Notably, vector registers (SSE, AVX, AVX-512) are supported for verification of the apprentice. This is V3 of the series posted in [1] and [2]. Changes is V3: - fix a matching bug caused by misplaced index multiplication [