Ping. Can anyone get this pushed?
Henrik
On Wed, Nov 12, 2014 at 6:49 PM, Henrik Gramner <he...@gr...> wrote:
> Signed-off-by: Henrik Gramner <he...@gr...>
> ---
> insns.dat | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/insns.dat b/insns.dat
> index 4191075..baa7b9d 100644
> --- a/insns.dat
> +++ b/insns.dat
> @@ -2490,7 +2490,7 @@ VMOVNTDQA xmmreg,mem128 [rm: vex.128.66.0f38 2a /r] AVX,SANDYBRIDGE
> VMOVNTPD mem128,xmmreg [mr: vex.128.66.0f 2b /r] AVX,SANDYBRIDGE
> VMOVNTPD mem256,ymmreg [mr: vex.256.66.0f 2b /r] AVX,SANDYBRIDGE
> VMOVNTPS mem128,xmmreg [mr: vex.128.0f 2b /r] AVX,SANDYBRIDGE
> -VMOVNTPS mem128,ymmreg [mr: vex.256.0f 2b /r] AVX,SANDYBRIDGE
> +VMOVNTPS mem256,ymmreg [mr: vex.256.0f 2b /r] AVX,SANDYBRIDGE
> VMOVSD xmmreg,xmmreg*,xmmreg [rvm: vex.nds.lig.f2.0f 10 /r] AVX,SANDYBRIDGE
> VMOVSD xmmreg,mem64 [rm: vex.lig.f2.0f 10 /r] AVX,SANDYBRIDGE
> VMOVSD xmmreg,xmmreg*,xmmreg [mvr: vex.nds.lig.f2.0f 11 /r] AVX,SANDYBRIDGE
> --
> 1.8.3.2
>
|
