Index: src/trusted/validator_ragel/xmm-instructions.def |
=================================================================== |
--- src/trusted/validator_ragel/xmm-instructions.def (revision 7794) |
+++ src/trusted/validator_ragel/xmm-instructions.def (working copy) |
@@ -1,1160 +0,0 @@ |
-# Copyright (c) 2011 The Native Client Authors. All rights reserved. |
-# Use of this source code is governed by a BSD-style license that can be |
-# found in the LICENSE file. |
-################################################################################ |
-# This file describes instructions from AMD64 Architecture Programmer’s Manual |
-# Volume 4: 128-Bit and 256-Bit Media Instructions |
-################################################################################ |
-# File format: see general-purpose-instructions.def |
-######## ADDPD/VADDPD ########################################################## |
-addpd Wpd Vpd, 0x66 0x0f 0x58, Fn0000_0001_EDX_SSE2 |
-vaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x58, Fn0000_0001_ECX_AVX |
-######## ADDPS/VADDPS ########################################################## |
-addps Wps Vps, 0xf 0x58, Fn0000_0001_EDX_SSE1 |
-vaddps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x58, Fn0000_0001_ECX_AVX |
-######## ADDSD/VADDSD ########################################################## |
-addsd Wsd Vsd, 0xf2 0x0f 0x58, Fn0000_0001_EDX_SSE2 |
-vaddsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x58, Fn0000_0001_ECX_AVX |
-######## ADDSS/VADDSS ########################################################## |
-addss Wss Vss, 0xf3 0x0f 0x58, Fn0000_0001_EDX_SSE1 |
-vaddss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x58, Fn0000_0001_ECX_AVX |
-######## ADDSUBPD/VADDSUBPD #################################################### |
-addsubpd Wpd Vpd, 0x66 0x0f 0xd0, Fn0000_0001_EDX_SSE2 |
-vaddsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0xd0, Fn0000_0001_ECX_AVX |
-######## ADDSUBPS/VADDSUBPS #################################################### |
-addsubps Wps Vps, 0xf2 0x0f 0xd0, Fn0000_0001_EDX_SSE1 |
-vaddsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0xd0, Fn0000_0001_ECX_AVX |
-######## AESDEC/VAESDEC ######################################################## |
-aesdec Wo Vo, 0x66 0x0f 0x38 0xde, Fn0000_0001_ECX_AES |
-vaesdec Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xde, Fn0000_0001_ECX_AESAVX |
-######## AESDECLAST/VAESDECLAST ################################################ |
-aesdeclast Wo Vo, 0x66 0x0f 0x38 0xdf, Fn0000_0001_ECX_AES |
-vaesdeclast Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdf, Fn0000_0001_ECX_AESAVX |
-######## AESENC/VAESENC ######################################################## |
-aesenc Wo Vo, 0x66 0x0f 0x38 0xdc, Fn0000_0001_ECX_AES |
-vaesenc Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdc, Fn0000_0001_ECX_AESAVX |
-######## AESENCLAST/VAESENCLAST ################################################ |
-aesenclast Wo Vo, 0x66 0x0f 0x38 0xdd, Fn0000_0001_ECX_AES |
-vaesenclast Wo Ho Vo, 0xc4 RXB.00010 x.src.0.01 0xdd, Fn0000_0001_ECX_AESAVX |
-######## AESIMC/VAESIMC ######################################################## |
-aesimc Wo Vo, 0x66 0x0f 0x38 0xdb, Fn0000_0001_ECX_AES |
-vaesimc Wo Vo, 0xc4 RXB.00010 x.src.0.01 0xdb, Fn0000_0001_ECX_AESAVX |
-######## AESKEYGENASSIST/VAESKEYGENASSIST ###################################### |
-aeskeygenassist Ib Wo Vo, 0x66 0x0f 0x3a 0xdf, Fn0000_0001_ECX_AES |
-vaeskeygenassist Ib Wo Vo, 0xc4 RXB.00011 x.src.0.01 0xdf, Fn0000_0001_ECX_AESAVX |
-######## ANDNPD/VANDNPD ######################################################## |
-andnpd Wpd Vpd, 0x66 0x0f 0x55, Fn0000_0001_EDX_SSE2 |
-vandnpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x55, Fn0000_0001_ECX_AVX |
-######## ANDNPS/VANDNPS ######################################################## |
-andnps Wps Vps, 0x0f 0x55, Fn0000_0001_EDX_SSE1 |
-vandnps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x55, Fn0000_0001_ECX_AVX |
-######## ANDPD/VANDPD ########################################################## |
-andpd Wpd Vpd, 0x66 0x0f 0x54, Fn0000_0001_EDX_SSE2 |
-vandpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x54, Fn0000_0001_ECX_AVX |
-######## ANDPS/VANDPS ########################################################## |
-andps Wpd Vpd, 0x0f 0x54, Fn0000_0001_EDX_SSE1 |
-vandps Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.00 0x54, Fn0000_0001_ECX_AVX |
-######## BLENDPD/VBLENDPD ###################################################### |
-blendpd Ib Wpd Vpd, 0x66 0x0f 0x3a 0x0d, Fn0000_0001_ECX_SSE41 |
-vblendpd Ib Wpdx Hpdx Vpdx, 0xc4 RXB.00011 x.src.L.01 0x0d, Fn0000_0001_ECX_AVX |
-######## BLENDPS/VBLENDPS ###################################################### |
-blendps Ib Wps Vps, 0x66 0x0f 0x3a 0x0c, Fn0000_0001_ECX_SSE41 |
-vblendps Ib Wpsx Hpsx Vpsx, 0xc4 RXB.00011 x.src.L.01 0x0c, Fn0000_0001_ECX_AVX |
-######## BLENDVPD/VBLENDVPD #################################################### |
-blendvpd apd Wpd Vpd, 0x66 0x0f 0x38 0x15, Fn0000_0001_ECX_SSE41 |
-vblendvpd Lpdx Wpdx Hpdx Vpdx, 0xc4 RXB.00011 x.src.L.01 0x4b, Fn0000_0001_ECX_AVX |
-######## BLENDVPS/VBLENDVPS #################################################### |
-blendvps aps Wps Vps, 0x66 0x0f 0x38 0x14, Fn0000_0001_ECX_SSE41 |
-vblendvps Lpsx Wpsx Hpsx Vpsx, 0xc4 RXB.00011 x.src.L.01 0x4a, Fn0000_0001_ECX_AVX |
-######## CMPPD/CMPPD ########################################################### |
-cmppd Ib Wpd Vpd, 0x66 0x0f 0xc2, Fn0000_0001_EDX_SSE2 |
-vcmppd Ib Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0xc2, Fn0000_0001_ECX_AVX |
-######## CMPPS/CMPPS ########################################################### |
-cmpps Ib Wps Vps, 0x0f 0xc2, Fn0000_0001_EDX_SSE1 |
-vcmpps Ib Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0xc2, Fn0000_0001_ECX_AVX |
-######## CMPSD/CMPSD ########################################################### |
-cmpsd Ib Wsd Vsd, 0xf2 0x0f 0xc2, Fn0000_0001_EDX_SSE2 |
-vcmpsd Ib Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0xc2, Fn0000_0001_ECX_AVX |
-######## CMPSS/CMPSS ########################################################### |
-cmpss Ib Wss Vss, 0xf3 0x0f 0xc2, Fn0000_0001_EDX_SSE1 |
-vcmpss Ib Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0xc2, Fn0000_0001_ECX_AVX |
-######## COMISD/VCOMISD ######################################################## |
-comisd Wsd Vsd, 0x66 0x0f 0x2f, Fn0000_0001_EDX_SSE2 |
-vcomisd Wsd Vsd, 0xc4 RXB.00001 x.src.x.01 0x2f, Fn0000_0001_ECX_AVX |
-######## COMISS/VCOMISS ######################################################## |
-comiss Wsd Vsd, 0x0f 0x2f, Fn0000_0001_EDX_SSE1 |
-vcomiss Wsd Vsd, 0xc4 RXB.00001 x.src.x.00 0x2f, Fn0000_0001_ECX_AVX |
-######## CVTDQ2PD/VCVTDQ2PD #################################################### |
-cvtdq2pd Wpj Vpd, 0xf3 0x0f 0xe6, Fn0000_0001_EDX_SSE2 |
-vcvtdq2pd Wpj Vpdx, 0xc4 RXB.00001 x.1111.L.10 0xe6, Fn0000_0001_ECX_AVX |
-######## CVTDQ2PS/VCVTDQ2PS #################################################### |
-cvtdq2ps Wpj Vps, 0x0f 0x5b, Fn0000_0001_EDX_SSE2 |
-vcvtdq2ps Wpjx Vpsx, 0xc4 RXB.00001 x.1111.L.00 0x5b, Fn0000_0001_ECX_AVX |
-######## CVTPD2DQ/VCVTPD2DQ #################################################### |
-cvtpd2dq Wpd Vpj, 0xf2 0x0f 0xe6, Fn0000_0001_EDX_SSE2 |
-vcvtpd2dq Wpdx Vpj, 0xc4 RXB.00001 x.1111.L.11 0xe6, Fn0000_0001_ECX_AVX |
-######## CVTPD2PS/VCVTPD2PS #################################################### |
-cvtpd2ps Wpd Vps, 0x66 0x0f 0x5a, Fn0000_0001_EDX_SSE2 |
-vcvtpd2ps Wpdx Vps, 0xc4 RXB.00001 x.1111.L.01 0x5a, Fn0000_0001_ECX_AVX |
-######## CVTPS2DQ/VCVTPS2DQ #################################################### |
-cvtps2dq Wps Vpj, 0x66 0x0f 0x5b, Fn0000_0001_EDX_SSE2 |
-vcvtps2dq Wpsx Vpjx, 0xc4 RXB.00001 x.1111.L.01 0x5b, Fn0000_0001_ECX_AVX |
-######## CVTPS2PD/VCVTPS2PD #################################################### |
-cvtps2pd Wps Vpd, 0x0f 0x5a, Fn0000_0001_EDX_SSE2 |
-vcvtps2pd Wps Vpdx, 0xc4 RXB.00001 x.1111.L.00 0x5a, Fn0000_0001_ECX_AVX |
-######## CVTSD2SI/VCVTSD2SI #################################################### |
-cvtsd2si Wsd Gy, 0xf2 0x0f 0x2d, Fn0000_0001_EDX_SSE2 |
-vcvtsd2si Wsd Gy, 0xc4 RXB.00001 W.1111.x.11 0x2d, Fn0000_0001_ECX_AVX |
-######## CVTSD2SS/VCVTSD2SS #################################################### |
-cvtsd2ss Wsd Vss, 0xf2 0x0f 0x5a, Fn0000_0001_EDX_SSE2 |
-vcvtsd2ss Wsd Ho Vo, 0xc4 RXB.00001 x.src.x.11 0x5a, Fn0000_0001_ECX_AVX |
-######## CVTSI2SD/VCVTSI2SD #################################################### |
-cvtsi2sd Ey Vsd, 0xf2 0x0f 0x2a, Fn0000_0001_EDX_SSE2 |
-vcvtsi2sd Ey Ho Vo, 0xc4 RXB.00001 W.src.x.11 0x2a, Fn0000_0001_ECX_AVX |
-######## CVTSI2SS/VCVTSI2SS #################################################### |
-cvtsi2ss Ey Vss, 0xf3 0x0f 0x2a, Fn0000_0001_EDX_SSE1 |
-vcvtsi2ss Ey Ho Vo, 0xc4 RXB.00001 W.src.x.10 0x2a, Fn0000_0001_ECX_AVX |
-######## CVTSS2SD/VCVTSS2SD #################################################### |
-cvtss2sd Wss Vsd, 0xf3 0x0f 0x5a, Fn0000_0001_EDX_SSE2 |
-vcvtss2sd Wss Ho Vo, 0xc4 RXB.00001 x.src.x.10 0x5a, Fn0000_0001_ECX_AVX |
-######## CVTSS2SI/VCVTSS2SI #################################################### |
-cvtss2si Wss Gy, 0xf3 0x0f 0x2d, Fn0000_0001_EDX_SSE1 |
-vcvtss2si Wss Gy, 0xc4 RXB.00001 W.1111.x.10 0x2d, Fn0000_0001_ECX_AVX |
-######## CVTTPD2DQ/VCVTTPD2DQ ################################################## |
-cvttpd2dq Wpd Vpj, 0x66 0x0f 0xe6, Fn0000_0001_EDX_SSE2 |
-vcvttpd2dq Wpdx Vpj, 0xc4 RXB.00001 x.1111.L.01 0xe6, Fn0000_0001_ECX_AVX |
-######## CVTTPS2DQ/VCVTTPS2DQ ################################################## |
-cvttps2dq Wps Vpj, 0xf3 0x0f 0x5b, Fn0000_0001_EDX_SSE2 |
-vcvttps2dq Wpsx Vpjx, 0xc4 RXB.00001 x.1111.L.10 0x5b, Fn0000_0001_ECX_AVX |
-######## CVTTSD2SI/VCVTTSD2SI ################################################## |
-cvttsd2si Wsd Gy, 0xf2 0x0f 0x2c, Fn0000_0001_EDX_SSE2 |
-vcvttsd2si Wsd Gy, 0xc4 RXB.00001 W.1111.x.11 0x2c, Fn0000_0001_ECX_AVX |
-######## CVTTSS2SI/VCVTTSS2SI ################################################## |
-cvttss2si Wss Gy, 0xf3 0x0f 0x2c, Fn0000_0001_EDX_SSE1 |
-vcvttss2si Wss Gy, 0xc4 RXB.00001 W.1111.x.10 0x2c, Fn0000_0001_ECX_AVX |
-######## DIVPD/VDIVPD ########################################################## |
-divpd Wpd Vpd, 0x66 0x0f 0x5e, Fn0000_0001_EDX_SSE2 |
-vdivpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5e, Fn0000_0001_ECX_AVX |
-######## DIVPS/VDIVPS ########################################################## |
-divps Wps Vps, 0x0f 0x5e, Fn0000_0001_EDX_SSE1 |
-vdivps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5e, Fn0000_0001_ECX_AVX |
-######## DIVSD/VDIVSD ########################################################## |
-divsd Wsd Vsd, 0xf2 0x0f 0x5e, Fn0000_0001_EDX_SSE2 |
-vdivsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5e, Fn0000_0001_ECX_AVX |
-######## DIVSS/VDIVSS ########################################################## |
-divss Wss Vss, 0xf3 0x0f 0x5e, Fn0000_0001_EDX_SSE1 |
-vdivss Wss Hss Vsd, 0xc4 RXB.00001 x.src.x.10 0x5e, Fn0000_0001_ECX_AVX |
-######## DPPD/DPPD ############################################################# |
-dppd Ib Wpd Vpd, 0x66 0x0f 0x3a 0x41, Fn0000_0001_ECX_SSE41 |
-vdppd Ib Wpd Hpd Vpd, 0xc4 RXB.00011 x.src.0.01 0x41, Fn0000_0001_ECX_AVX |
-######## DPPS/DPPS ############################################################# |
-dpps Ib Wps Vps, 0x66 0x0f 0x3a 0x40, Fn0000_0001_ECX_SSE41 |
-vdpps Ib Wpsx Hpsx Vpsx, 0xc4 RXB.00011 x.src.L.01 0x40, Fn0000_0001_ECX_AVX |
-######## EXTRACTPS/VEXTRACTPS ################################################## |
-extractps Ib Vps Md, 0x66 0x0f 0x3a 0x17, Fn0000_0001_ECX_SSE41 |
-extractps Ib Vps Ry, 0x66 0x0f 0x3a 0x17, Fn0000_0001_ECX_SSE41 |
-vextractps Ib Vps Mss, 0xc4 RXB.00011 x.1111.0.01 0x17, Fn0000_0001_ECX_AVX |
-######## EXTRQ ################################################################# |
-# This instruction is perfectly safe but it's disallowed because xed does not |
-# know it |
-extrq ib Ib Uq, 0x66 0x0f 0x78 /0, nacl-forbidden Fn8000_0001_ECX_SSE4A |
-extrq Uq Vq, 0x66 0x0f 0x79, Fn8000_0001_ECX_SSE4A |
-######## HADDPD/VHADDPD ######################################################## |
-haddpd Wpd Vpd, 0x66 0x0f 0x7c, Fn0000_0001_ECX_SSE3 |
-vhaddpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7c, Fn0000_0001_ECX_AVX |
-######## HADDPS/VHADDPS ######################################################## |
-haddps Wps Vps, 0xf2 0x0f 0x7c, Fn0000_0001_ECX_SSE3 |
-vhaddps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0x7c, Fn0000_0001_ECX_AVX |
-######## HSUBPD/VHSUBPD ######################################################## |
-hsubpd Wpd Vpd, 0x66 0x0f 0x7d, Fn0000_0001_ECX_SSE3 |
-vhsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x7d, Fn0000_0001_ECX_AVX |
-######## HSUBPS/VHSUBPS ######################################################## |
-hsubps Wps Vps, 0xf2 0x0f 0x7d, Fn0000_0001_ECX_SSE3 |
-vhsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.11 0x7d, Fn0000_0001_ECX_AVX |
-######## INSERTPS/VINSERTPS #################################################### |
-insertps Ib Md Vps, 0x66 0x0f 0x3a 0x21, Fn0000_0001_ECX_SSE41 |
-insertps Ib Uo Vps, 0x66 0x0f 0x3a 0x21, Fn0000_0001_ECX_SSE41 |
-vinsertps Ib Md Ho Vo, 0xc4 RXB.00011 x.src.0.01 0x21, Fn0000_0001_ECX_AVX |
-vinsertps Ib Uo Ho Vo, 0xc4 RXB.00011 x.src.0.01 0x21, Fn0000_0001_ECX_AVX |
-######## INSERTQ ############################################################### |
-insertq ib Ib Uq Vq, 0xf2 0x0f 0x78, Fn8000_0001_ECX_SSE4A |
-insertq Uq Vq, 0xf2 0x0f 0x79, Fn8000_0001_ECX_SSE4A |
-######## LDDQU/VLDDQU ########################################################## |
-lddqu Mdq Vpd, 0xf2 0x0f 0xf0, Fn0000_0001_ECX_SSE3 |
-vlddqu Mo Vo, 0xc4 RXB.00001 x.1111.0.11 0x0f0, Fn0000_0001_ECX_AVX |
-vlddqu Mdo Vdo, 0xc4 RXB.00001 x.1111.1.11 0x0f0, Fn0000_0001_ECX_AVX |
-######## LDMXCSR/VLDMXCSR ###################################################### |
-ldmxcsr Md, 0x0f 0xae /2, Fn0000_0001_EDX_SSE1 |
-vldmxcsr Md, 0xc4 RXB.00001 x.1111.0.00 0xae /2, Fn0000_0001_ECX_AVX |
-######## MASKMOVDQU/VMASKMOVDQU ################################################ |
-maskmovdqu Upb Vpb, 0x66 0x0f 0xf7, Fn0000_0001_EDX_SSE2 |
-vmaskmovdqu Upb Vpb, 0xc4 RXB.00001 x.1111.0.01 0xf7, Fn0000_0001_ECX_AVX |
-######## MAXPD/VMAXPD ########################################################## |
-maxpd Wpd Vpd, 0x66 0x0f 0x5f, Fn0000_0001_EDX_SSE2 |
-vmaxpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5f, Fn0000_0001_ECX_AVX |
-######## MAXPS/VMAXPS ########################################################## |
-maxps Wps Vps, 0x0f 0x5f, Fn0000_0001_EDX_SSE1 |
-vmaxps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5f, Fn0000_0001_ECX_AVX |
-######## MAXSD/VMAXSD ########################################################## |
-maxsd Wsd Vsd, 0xf2 0x0f 0x5f, Fn0000_0001_EDX_SSE2 |
-vmaxsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5f, Fn0000_0001_ECX_AVX |
-######## MAXSS/VMAXSS ########################################################## |
-maxss Wss Vss, 0xf3 0x0f 0x5f, Fn0000_0001_EDX_SSE1 |
-vmaxss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x5f, Fn0000_0001_ECX_AVX |
-######## MINPD/VMINPD ########################################################## |
-minpd Wpd Vpd, 0x66 0x0f 0x5d, Fn0000_0001_EDX_SSE2 |
-vminpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5d, Fn0000_0001_ECX_AVX |
-######## MINPS/VMINPS ########################################################## |
-minps Wps Vps, 0x0f 0x5d, Fn0000_0001_EDX_SSE1 |
-vminps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5d, Fn0000_0001_ECX_AVX |
-######## MINSD/VMINSD ########################################################## |
-minsd Wsd Vsd, 0xf2 0x0f 0x5d, Fn0000_0001_EDX_SSE2 |
-vminsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5d, Fn0000_0001_ECX_AVX |
-######## MINSS/VMINSS ########################################################## |
-minss Wss Vss, 0xf3 0x0f 0x5d, Fn0000_0001_EDX_SSE1 |
-vminss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x5d, Fn0000_0001_ECX_AVX |
-######## MOVAPD/VMOVAPD ######################################################## |
-movapd Wpd Vpd, 0x66 0x0f 0x28, Fn0000_0001_EDX_SSE2 |
-movapd Vpd Wpd, 0x66 0x0f 0x29, Fn0000_0001_EDX_SSE2 |
-vmovapd Wpdx Vpdx, 0xc4 RXB.00001 x.1111.L.01 0x28, Fn0000_0001_ECX_AVX |
-vmovapd Vpdx Wpdx, 0xc4 RXB.00001 x.1111.L.01 0x29, Fn0000_0001_ECX_AVX |
-######## MOVAPS/VMOVAPS ######################################################## |
-movaps Wps Vps, 0x0f 0x28, Fn0000_0001_EDX_SSE1 |
-movaps Vps Wps, 0x0f 0x29, Fn0000_0001_EDX_SSE1 |
-vmovaps Wpsx Vpsx, 0xc4 RXB.00001 x.1111.L.00 0x28, Fn0000_0001_ECX_AVX |
-vmovaps Vpsx Wpsx, 0xc4 RXB.00001 x.1111.L.00 0x29, Fn0000_0001_ECX_AVX |
-######## MOVD/VMOVD ############################################################ |
-# This is description according to AMD/Intel manual. |
-# movd Ey Vy, 0x66 0x0f 0x6e, Fn0000_0001_EDX_SSE2 |
-# movd Vy Ey, 0x66 0x0f 0x7e, Fn0000_0001_EDX_SSE2 |
-# vmovd Ey Vo, 0xc4 RXB.00001 W.1111.0.01 0x6e, Fn0000_0001_ECX_AVX |
-# vmovd Vo Ey, 0xc4 RXB.00001 W.1111.1.01 0x7e, Fn0000_0001_ECX_AVX |
-# Objdump names 64bit version not “movd” but “movq”. We describe 32bit version |
-# and 64bit version separately. |
-movd Ed Vq, 0x66 0x0f 0x6e, Fn0000_0001_EDX_SSE2 |
-movd Vq Ed, 0x66 0x0f 0x7e, Fn0000_0001_EDX_SSE2 |
-movq Eq Vq, 0x66 rexw 0x0f 0x6e, amd64 Fn0000_0001_EDX_SSE2 |
-movq Vq Eq, 0x66 rexw 0x0f 0x7e, amd64 Fn0000_0001_EDX_SSE2 |
-vmovd Ed Vo, 0xc4 RXB.00001 0.1111.0.01 0x6e, Fn0000_0001_ECX_AVX |
-vmovd Vo Ed, 0xc4 RXB.00001 0.1111.1.01 0x7e, Fn0000_0001_ECX_AVX |
-vmovq Eq Vo, 0xc4 RXB.00001 1.1111.0.01 0x6e, amd64 Fn0000_0001_ECX_AVX |
-vmovq Vo Eq, 0xc4 RXB.00001 1.1111.1.01 0x7e, amd64 Fn0000_0001_ECX_AVX |
-######## MOVDDUP/VMOVDDUP ###################################################### |
-movddup Wsd Vsd, 0xf2 0x0f 0x12, Fn0000_0001_ECX_SSE3 |
-vmovddup Wsd Vo, 0xc4 RXB.00001 x.1111.0.11 0x12, Fn0000_0001_ECX_AVX |
-vmovddup Wdo Vdo, 0xc4 RXB.00001 x.1111.1.11 0x12, Fn0000_0001_ECX_AVX |
-######## MOVDQA/VMOVDQA ######################################################## |
-movdqa Wdq Vdq, 0x66 0x0f 0x6f, Fn0000_0001_EDX_SSE2 |
-movdqa Vdq Wdq, 0x66 0x0f 0x7f, Fn0000_0001_EDX_SSE2 |
-vmovdqa Wdq Vdq, 0xc4 RXB.00001 x.1111.0.01 0x6f, Fn0000_0001_ECX_AVX |
-vmovdqa Vdq Wdq, 0xc4 RXB.00001 x.1111.0.01 0x7f, Fn0000_0001_ECX_AVX |
-vmovdqa Wfq Vfq, 0xc4 RXB.00001 x.1111.1.01 0x7f, Fn0000_0001_ECX_AVX |
-vmovdqa Vfq Wfq, 0xc4 RXB.00001 x.1111.1.01 0x7f, Fn0000_0001_ECX_AVX |
-######## MOVDQU/VMOVDQU ######################################################## |
-movdqu Wdq Vdq, 0xf3 0x0f 0x6f, Fn0000_0001_EDX_SSE2 |
-movdqu Vdq Wdq, 0xf3 0x0f 0x7f, Fn0000_0001_EDX_SSE2 |
-vmovdqu Wdq Vdq, 0xc4 RXB.00001 x.1111.0.10 0x6f, Fn0000_0001_ECX_AVX |
-vmovdqu Vdq Wdq, 0xc4 RXB.00001 x.1111.0.10 0x7f, Fn0000_0001_ECX_AVX |
-vmovdqu Wfq Vfq, 0xc4 RXB.00001 x.1111.1.10 0x7f, Fn0000_0001_ECX_AVX |
-vmovdqu Vfq Wfq, 0xc4 RXB.00001 x.1111.1.10 0x7f, Fn0000_0001_ECX_AVX |
-######## MOVHLPS/VMOVHLPS ###################################################### |
-movhlps Ups Vps, 0x0f 0x12 /r, Fn0000_0001_EDX_SSE1 |
-vmovhlps Ups Hps Vps, 0xc4 RXB.00001 x.src.0.00 0x12 /r, Fn0000_0001_ECX_AVX |
-######## MOVHPD/VMOVHPD ######################################################## |
-movhpd Mq Vsd, 0x66 0x0f 0x16, Fn0000_0001_EDX_SSE2 |
-movhpd Vsd Mq, 0x66 0x0f 0x17, Fn0000_0001_EDX_SSE2 |
-vmovhpd Mq Hpd Vpd, 0xc4 RXB.00001 x.src.0.01 0x16, Fn0000_0001_ECX_AVX |
-vmovhpd Vpd Mq, 0xc4 RXB.00001 x.src.0.01 0x17, Fn0000_0001_ECX_AVX |
-######## MOVHPS/VMOVHPS ######################################################## |
-movhps Mq Vps, 0x0f 0x16 /m, Fn0000_0001_EDX_SSE1 |
-movhps Vps Mq, 0x0f 0x17, Fn0000_0001_EDX_SSE1 |
-vmovhps Mq Hps Vps, 0xc4 RXB.00001 x.src.0.00 0x16 /m, Fn0000_0001_ECX_AVX |
-vmovhps Vps Mq, 0xc4 RXB.00001 x.src.0.00 0x17, Fn0000_0001_ECX_AVX |
-######## MOVLHPS/VMOVLHPS ###################################################### |
-movlhps Uq Vps, 0x0f 0x16 /r, Fn0000_0001_EDX_SSE1 |
-vmovlhps Ups Hps Vps, 0xc4 RXB.00001 x.src.0.00 0x16 /r, Fn0000_0001_ECX_AVX |
-######## MOVLPD/VMOVLPD ######################################################## |
-movlpd Mq Vsd, 0x66 0x0f 0x12, Fn0000_0001_EDX_SSE2 |
-movlpd Vsd Mq, 0x66 0x0f 0x13, Fn0000_0001_EDX_SSE2 |
-vmovlpd Mq Ho Vo, 0xc4 RXB.00001 x.src.0.01 0x12, Fn0000_0001_ECX_AVX |
-vmovlpd Vo Mo, 0xc4 RXB.00001 x.1111.0.01 0x13, Fn0000_0001_ECX_AVX |
-######## MOVLPS/VMOVLPS ######################################################## |
-movlps Mq Vq, 0x0f 0x12 /m, Fn0000_0001_EDX_SSE1 |
-movlps Vq Mq, 0x0f 0x13, Fn0000_0001_EDX_SSE1 |
-vmovlps Mq Hps Vps, 0xc4 RXB.00001 x.src.0.00 0x12 /m, Fn0000_0001_ECX_AVX |
-vmovlps Vps Mq, 0xc4 RXB.00001 x.1111.0.00 0x13, Fn0000_0001_ECX_AVX |
-######## MOVMSKPD/VMOVMSKPD #################################################### |
-movmskpd Upd Gd, 0x66 0x0f 0x50, Fn0000_0001_EDX_SSE2 |
-vmovmskpd Updx Gd, 0xc4 RXB.00001 x.1111.L.01 0x50, Fn0000_0001_ECX_AVX |
-######## MOVMSKPS/VMOVMSKPS #################################################### |
-movmskps Ups Gd, 0x0f 0x50, Fn0000_0001_EDX_SSE1 |
-vmovmskps Upsx Gd, 0xc4 RXB.00001 x.1111.L.00 0x50, Fn0000_0001_ECX_AVX |
-######## MOVNTDQ/VMOVNTDQ ###################################################### |
-movntdq Vdq Mdq, 0x66 0x0f 0xe7, Fn0000_0001_EDX_SSE2 |
-vmovntdq Vo Mo, 0xc4 RXB.00001 x.1111.0.01 0xe7, Fn0000_0001_ECX_AVX |
-vmovntdq Vdo Mdo, 0xc4 RXB.00001 x.1111.1.01 0xe7, Fn0000_0001_ECX_AVX |
-######## MOVNTDQA/VMOVNTDQA #################################################### |
-movntdqa Mo Vo, 0x66 0x0f 0x38 0x2a, Fn0000_0001_ECX_SSE41 |
-vmovntdqa Mo Vo, 0xc4 RXB.00010 x.1111.0.01 0x2a, Fn0000_0001_ECX_AVX |
-######## MOVNTPD/VMOVNTPD ###################################################### |
-movntpd Vpd Mpd, 0x66 0x0f 0x2b, Fn0000_0001_EDX_SSE2 |
-vmovntpd Vpdx Mpdx, 0xc4 RXB.00001 x.1111.L.01 0x2b, Fn0000_0001_ECX_AVX |
-######## MOVNTPS/VMOVNTPS ###################################################### |
-movntps Vps Mps, 0x0f 0x2b, Fn0000_0001_EDX_SSE1 |
-vmovntps Vpsx Mpsx, 0xc4 RXB.00001 x.1111.L.00 0x2b, Fn0000_0001_ECX_AVX |
-######## MOVNTSD ############################################################### |
-movntsd Vsd Mq, 0xf2 0x0f 0x2b, Fn8000_0001_ECX_SSE4A |
-######## MOVNTSS ############################################################### |
-movntss Vss Md, 0xf3 0x0f 0x2b, Fn8000_0001_ECX_SSE4A |
-######## MOVQ/VMOVQ ############################################################ |
-movq Wq Vq, 0xf3 0x0f 0x7e, Fn0000_0001_EDX_SSE2 |
-movq Vq Wq, 0x66 0x0f 0xd6, Fn0000_0001_EDX_SSE2 |
-vmovq Mq Vo, 0xc4 RXB.00001 x.1111.0.10 0x7e, Fn0000_0001_ECX_AVX |
-vmovq Uq Vo, 0xc4 RXB.00001 x.1111.0.10 0x7e, Fn0000_0001_ECX_AVX |
-vmovq Vq Wq, 0xc4 RXB.00001 x.1111.1.01 0xd6, Fn0000_0001_ECX_AVX |
-######## MOVSD/VMOVSD ########################################################## |
-movsd Wsd Vsd, 0xf2 0x0f 0x10, Fn0000_0001_EDX_SSE2 |
-movsd Vsd Wsd, 0xf2 0x0f 0x11, Fn0000_0001_EDX_SSE2 |
-vmovsd Mq Vsd, 0xc4 RXB.00001 x.1111.0.11 0x10, Fn0000_0001_ECX_AVX |
-vmovsd Vsd Mq, 0xc4 RXB.00001 x.1111.0.11 0x11, Fn0000_0001_ECX_AVX |
-vmovsd Usd Hsd Vsd, 0xc4 RXB.00001 x.src.1.11 0x10, Fn0000_0001_ECX_AVX |
-vmovsd Vsd Hsd Usd, 0xc4 RXB.00001 x.src.1.11 0x11, Fn0000_0001_ECX_AVX |
-######## MOVSHDUP/VMOVSSDUP #################################################### |
-movshdup Wps Vps, 0xf3 0x0f 0x16, Fn0000_0001_ECX_SSE3 |
-vmovshdup Wpsx Vpsx, 0xc4 RXB.00001 x.1111.L.10 0x16, Fn0000_0001_ECX_AVX |
-######## MOVSLDUP/VMOVSLDUP #################################################### |
-movsldup Wps Vps, 0xf3 0x0f 0x12, Fn0000_0001_ECX_SSE3 |
-vmovsldup Wpsx Vpsx, 0xc4 RXB.00001 x.1111.L.10 0x12, Fn0000_0001_ECX_AVX |
-######## MOVSS/VMOVSS ########################################################## |
-movss Wss Vss, 0xf3 0x0f 0x10, Fn0000_0001_EDX_SSE1 |
-movss Vss Wss, 0xf3 0x0f 0x11, Fn0000_0001_EDX_SSE1 |
-vmovss Md Vss, 0xc4 RXB.00001 x.1111.0.10 0x10, Fn0000_0001_ECX_AVX |
-vmovss Vss Md, 0xc4 RXB.00001 x.1111.0.10 0x11, Fn0000_0001_ECX_AVX |
-vmovss Uss Hss Vsd, 0xc4 RXB.00001 x.src.1.10 0x10, Fn0000_0001_ECX_AVX |
-vmovss Vss Hss Usd, 0xc4 RXB.00001 x.src.1.10 0x11, Fn0000_0001_ECX_AVX |
-######## MOVUPD/VMOVUPD ######################################################## |
-movupd Wpd Vpd, 0x66 0x0f 0x10, Fn0000_0001_EDX_SSE2 |
-movupd Vpd Wpd, 0x66 0x0f 0x11, Fn0000_0001_EDX_SSE2 |
-vmovupd Wpdx Vpdx, 0xc4 RXB.00001 x.1111.L.01 0x10, Fn0000_0001_ECX_AVX |
-vmovupd Vpdx Wpdx, 0xc4 RXB.00001 x.1111.L.01 0x11, Fn0000_0001_ECX_AVX |
-######## MOVUPS/VMOVUPS ######################################################## |
-movups Wsd Vsd, 0x0f 0x10, Fn0000_0001_EDX_SSE1 |
-movups Vsd Wsd, 0x0f 0x11, Fn0000_0001_EDX_SSE1 |
-vmovups Wpsx Vpsx, 0xc4 RXB.00001 x.1111.L.00 0x10, Fn0000_0001_ECX_AVX |
-vmovups Vpsx Wpsx, 0xc4 RXB.00001 x.1111.L.00 0x11, Fn0000_0001_ECX_AVX |
-######## MPSADBW/VMPSADBW ###################################################### |
-mpsadbw Ib Wpk Vpk, 0x66 0x0f 0x3a 0x42, Fn0000_0001_ECX_SSE41 |
-vmpsadbw Ib Wpk Hpk Vpi, 0xc4 RXB.00011 x.src.0.01 0x42, Fn0000_0001_ECX_AVX |
-######## MULPD/VMULPD ########################################################## |
-mulpd Wpd Vpd, 0x66 0x0f 0x59, Fn0000_0001_EDX_SSE2 |
-vmulpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x59, Fn0000_0001_ECX_AVX |
-######## MULPS/VMULPS ########################################################## |
-mulps Wps Vps, 0x0f 0x59, Fn0000_0001_EDX_SSE1 |
-vmulps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x59, Fn0000_0001_ECX_AVX |
-######## MULSD/VMULSD ########################################################## |
-mulsd Wsd Vsd, 0xf2 0x0f 0x59, Fn0000_0001_EDX_SSE2 |
-vmulsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x59, Fn0000_0001_ECX_AVX |
-######## MULSS/VMULSS ########################################################## |
-mulss Wps Vss, 0xf3 0x0f 0x59, Fn0000_0001_EDX_SSE1 |
-vmulss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x59, Fn0000_0001_ECX_AVX |
-######## ORPD/VORPD ############################################################ |
-orpd Wpd Vpd, 0x66 0x0f 0x56, Fn0000_0001_EDX_SSE2 |
-vorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x56, Fn0000_0001_ECX_AVX |
-######## ORPS/VORPS ############################################################ |
-orps Wpd Vpd, 0x0f 0x56, Fn0000_0001_EDX_SSE1 |
-vorps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x56, Fn0000_0001_ECX_AVX |
-######## PABSB/VPABSB ########################################################## |
-pabsb Wpk Vpk, 0x66 0x0f 0x38 0x1c, Fn0000_0001_ECX_SSSE3 |
-vpabsb Wpk Vpk, 0xc4 RXB.00010 x.1111.0.01 0x1c, Fn0000_0001_ECX_AVX |
-######## PABSD/VPABSD ########################################################## |
-pabsd Wpj Vpj, 0x66 0x0f 0x38 0x1e, Fn0000_0001_ECX_SSSE3 |
-vpabsd Wpj Vpj, 0xc4 RXB.00010 x.1111.0.01 0x1e, Fn0000_0001_ECX_AVX |
-######## PABSW/VPABSW ########################################################## |
-pabsw Wpi Vpi, 0x66 0x0f 0x38 0x1d, Fn0000_0001_ECX_SSSE3 |
-vpabsw Wpi Vpi, 0xc4 RXB.00010 x.1111.0.01 0x1d, Fn0000_0001_ECX_AVX |
-######## PACKSSDW/VPACKSSDW #################################################### |
-packssdw Wdq Vdq, 0x66 0x0f 0x6b, Fn0000_0001_EDX_SSE2 |
-vpackssdw Wpj Hpj Vpi, 0xc4 RXB.00001 0.src1.0.01 0x6b, Fn0000_0001_ECX_AVX |
-######## PACKSSWB/VPACKSSWB #################################################### |
-packsswb Wdq Vdq, 0x66 0x0f 0x63, Fn0000_0001_EDX_SSE2 |
-vpacksswb Wpi Hpi Vpk, 0xc4 RXB.00001 x.src.0.01 0x63, Fn0000_0001_ECX_AVX |
-######## PACKUSDW/VPACKUSDW #################################################### |
-packusdw Wpj Vpi, 0x66 0x0f 0x38 0x2b, Fn0000_0001_ECX_SSE41 |
-vpackusdw Wpj Hpj Vpi, 0xc4 RXB.00010 x.src.0.01 0x2b, Fn0000_0001_ECX_AVX |
-######## PACKUSWB/VPACKUSWB #################################################### |
-packuswb Wdq Vdq, 0x66 0x0f 0x67, Fn0000_0001_EDX_SSE2 |
-vpackuswb Wpi Hpi Vpk, 0xc4 RXB.00001 x.src.0.01 0x67, Fn0000_0001_ECX_AVX |
-######## PADDB/VPADDB ########################################################## |
-paddb Wpk Vpk, 0x66 0x0f 0xfc, Fn0000_0001_EDX_SSE2 |
-vpaddb Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xfc, Fn0000_0001_ECX_AVX |
-######## PADDD/VPADDD ########################################################## |
-paddd Wpj Vpj, 0x66 0x0f 0xfe, Fn0000_0001_EDX_SSE2 |
-vpaddd Wpj Hpj Vpj, 0xc4 RXB.00001 x.src.0.01 0xfe, Fn0000_0001_ECX_AVX |
-######## PADDQ/VPADDQ ########################################################## |
-paddq Wdq Vdq, 0x66 0x0f 0xd4, Fn0000_0001_EDX_SSE2 |
-vpaddq Wpq Hpq Vpq, 0xc4 RXB.00001 x.src.0.01 0xd4, Fn0000_0001_ECX_AVX |
-######## PADDSB/VPADDSB ######################################################## |
-paddsb Wpk Vpk, 0x66 0x0f 0xec, Fn0000_0001_EDX_SSE2 |
-vpaddsb Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xec, Fn0000_0001_ECX_AVX |
-######## PADDSW/VPADDSW ######################################################## |
-paddsw Wpi Vpi, 0x66 0x0f 0xed, Fn0000_0001_EDX_SSE2 |
-vpaddsw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xed, Fn0000_0001_ECX_AVX |
-######## PADDUSB/VPADDUSB ###################################################### |
-paddusb Wpk Vpk, 0x66 0x0f 0xdc, Fn0000_0001_EDX_SSE2 |
-vpaddusb Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xdc, Fn0000_0001_ECX_AVX |
-######## PADDUSW/VPADDUSW ###################################################### |
-paddusw Wpi Vpi, 0x66 0x0f 0xdd, Fn0000_0001_EDX_SSE2 |
-vpaddusw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xdd, Fn0000_0001_ECX_AVX |
-######## PADDW/VPADDW ########################################################## |
-paddw Wpi Vpi, 0x66 0x0f 0xfd, Fn0000_0001_EDX_SSE2 |
-vpaddw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xfd, Fn0000_0001_ECX_AVX |
-######## PALIGNR/VPALIGNR ###################################################### |
-palignr Ib Wpb Vpb, 0x66 0x0f 0x3a 0x0f, Fn0000_0001_ECX_SSSE3 |
-vpalignr Ib Wpb Hpb Vpb, 0xc4 RXB.00011 x.src.0.01 0x0f, Fn0000_0001_ECX_AVX |
-######## PAND/VPAND ############################################################ |
-pand Wo Vo, 0x66 0x0f 0xdb, Fn0000_0001_EDX_SSE2 |
-vpand Wo Ho Vo, 0xc4 RXB.00001 x.src.0.01 0xdb, Fn0000_0001_ECX_AVX |
-######## PANDN/VPANDN ########################################################## |
-pandn Wo Vo, 0x66 0x0f 0xdf, Fn0000_0001_EDX_SSE2 |
-vpandn Wo Ho Vo, 0xc4 RXB.00001 x.src.0.01 0xdf, Fn0000_0001_ECX_AVX |
-######## PAVGB/VPAVGB ########################################################## |
-pavgb Wpk Vpk, 0x66 0x0f 0xe0, Fn0000_0001_EDX_SSE2 |
-vpavgb Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xe0, Fn0000_0001_ECX_AVX |
-######## PAVGW/VPAVGW ########################################################## |
-pavgw Wpi Vpi, 0x66 0x0f 0xe3, Fn0000_0001_EDX_SSE2 |
-vpavgw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xe3, Fn0000_0001_ECX_AVX |
-######## PBLENDVB/VPBLENDVB #################################################### |
-pblendvb apb Wpb Vpb, 0x66 0x0f 0x38 0x10, Fn0000_0001_ECX_SSE41 |
-vpblendvb Lpb Wpb Hpb Vpb, 0xc4 RXB.00011 0.src.0.01 0x4c, Fn0000_0001_ECX_AVX |
-######## PBLENDW/VPBLENDW ###################################################### |
-pblendw Ib Wpw Vpw, 0x66 0x0f 0x3a 0x0e, Fn0000_0001_ECX_SSE41 |
-vpblendw Ib Wpw Hpw Vpw, 0xc4 RXB.00011 x.src.0.01 0x0e, Fn0000_0001_ECX_AVX |
-######## PCLMULQDQ/VPCLMULQDQ ################################################## |
-pclmulqdq Ib Wpq Vpq, 0x66 0x0f 0x3a 0x44, Fn0000_0001_ECX_PCLMULQDQ |
-vpclmulqdq Ib Wpq Hpq Vo, 0xc4 RXB.00011 x.src.0.01 0x44, Fn0000_0001_ECX_PCLMULQDQAVX |
-######## PCMPEQB/VPCMPEQB ###################################################### |
-pcmpeqb Wpk Vpb, 0x66 0x0f 0x74, Fn0000_0001_EDX_SSE2 |
-vpcmpeqb Wpk Hpk Vpb, 0xc4 RXB.00001 x.src.0.01 0x74, Fn0000_0001_ECX_AVX |
-######## PCMPEQD/VPCMPEQD ###################################################### |
-pcmpeqd Wpj Vpw, 0x66 0x0f 0x76, Fn0000_0001_EDX_SSE2 |
-vpcmpeqd Wpj Hpj Vpw, 0xc4 RXB.00001 x.src.0.01 0x76, Fn0000_0001_ECX_AVX |
-######## PCMPEQQ/VPCMPEQQ ###################################################### |
-pcmpeqq Wpq Vpq, 0x66 0x0f 0x38 0x29, Fn0000_0001_ECX_SSE41 |
-vpcmpeqq Wpq Hpq Vpq, 0xc4 RXB.00010 x.src.0.01 0x29, Fn0000_0001_ECX_AVX |
-######## PCMPEQW/VPCMPEQW ###################################################### |
-pcmpeqw Wpi Vpw, 0x66 0x0f 0x75, Fn0000_0001_EDX_SSE2 |
-vpcmpeqw Wpi Hpi Vpw, 0xc4 RXB.00001 x.src.0.01 0x75, Fn0000_0001_ECX_AVX |
-######## PCMPESTRI/VPCMPESTRI ################################################## |
-pcmpestri Ib Wo Vo, 0x66 0x0f 0x3a 0x61, Fn0000_0001_ECX_SSE42 |
-vpcmpestri Ib Wo Vo, 0xc4 RXB.00011 x.1111.0.01 0x61, Fn0000_0001_ECX_AVX |
-######## PCMPESTRM/VPCMPESTRM ################################################## |
-pcmpestrm Ib Wo Vo, 0x66 0x0f 0x3a 0x60, Fn0000_0001_ECX_SSE42 |
-vpcmpestrm Ib Wo Vo, 0xc4 RXB.00011 x.1111.0.01 0x60, Fn0000_0001_ECX_AVX |
-######## PCMPGTB/VPCMPGTB ###################################################### |
-pcmpgtb Wdq Vdq, 0x66 0x0f 0x64, Fn0000_0001_EDX_SSE2 |
-vpcmpgtb Wpk Hpk Vpb, 0xc4 RXB.00001 x.src.0.01 0x64, Fn0000_0001_ECX_AVX |
-######## PCMPGTD/VPCMPGTD ###################################################### |
-pcmpgtd Wdq Vdq, 0x66 0x0f 0x66, Fn0000_0001_EDX_SSE2 |
-vpcmpgtd Wpj Hpj Vpw, 0xc4 RXB.00001 x.src.0.01 0x66, Fn0000_0001_ECX_AVX |
-######## PCMPGTQ/VPCMPGTQ ###################################################### |
-pcmpgtq Wpq Vpq, 0x66 0x0f 0x38 0x37, Fn0000_0001_ECX_SSE42 |
-vpcmpgtq Wpq Hpq Vpq, 0xc4 RXB.00010 x.src.0.01 0x37, Fn0000_0001_ECX_AVX |
-######## PCMPGTW/VPCMPGTW ###################################################### |
-pcmpgtw Wdq Vdq, 0x66 0x0f 0x65, Fn0000_0001_EDX_SSE2 |
-vpcmpgtw Wpi Hpi Vpw, 0xc4 RXB.00001 x.src.0.01 0x65, Fn0000_0001_ECX_AVX |
-######## PCMPISTRI/VPCMPISTRI ################################################## |
-pcmpistri Ib Wo Vo, 0x66 0x0f 0x3a 0x63, Fn0000_0001_ECX_SSE42 |
-vpcmpistri Ib Wo Vo, 0xc4 RXB.00011 x.1111.0.01 0x63, Fn0000_0001_ECX_AVX |
-######## PCMPISTRM/VPCMPISTRM ################################################## |
-pcmpistrm Ib Wo Vo, 0x66 0x0f 0x3a 0x62, Fn0000_0001_ECX_SSE42 |
-vpcmpistrm Ib Wo Vo, 0xc4 RXB.00011 x.1111.0.01 0x62, Fn0000_0001_ECX_AVX |
-######## PEXTRB/VPEXTRB ######################################################## |
-# This is description according to AMD/Intel manual. |
-# pextrb Ib Vpk Ry, 0x66 0x0f 0x3a 0x14 /r, Fn0000_0001_ECX_SSE41 |
-# vpextrb Ib Vpb Ry, 0xc4 RXB.00011 x.1111.0.01 0x14 /r, Fn0000_0001_ECX_AVX |
-# GNU as accepts this descriotion, but objdump decodes last operand as “Rd”. |
-# Technically it makes no difference: “pextrb”/“vpextrb” clears everything |
-# except least significant byte and this operation produces precisely idential |
-# output for “Rd” and “Ry” operands. We'll use objdump's description. |
-pextrb Ib Vpk Mb, 0x66 0x0f 0x3a 0x14 /m, Fn0000_0001_ECX_SSE41 |
-pextrb Ib Vpk Rd, 0x66 0x0f 0x3a 0x14 /r, Fn0000_0001_ECX_SSE41 |
-vpextrb Ib Vpb Mb, 0xc4 RXB.00011 x.1111.0.01 0x14 /m, Fn0000_0001_ECX_AVX |
-vpextrb Ib Vpb Rd, 0xc4 RXB.00011 x.1111.0.01 0x14 /r, Fn0000_0001_ECX_AVX |
-######## PEXTRD/VPEXTRD ######################################################## |
-pextrd Ib Vpk Ed, 0x66 0x0f 0x3a 0x16 /r, Fn0000_0001_ECX_SSE41 |
-vpextrd Ib Vpj Ed, 0xc4 RXB.00011 0.1111.0.01 0x16, Fn0000_0001_ECX_AVX |
-######## PEXTRQ/VPEXTRQ ######################################################## |
-pextrq Ib Vpq Eq, 0x66 rexw 0x0f 0x3a 0x16, amd64 Fn0000_0001_ECX_SSE41 |
-vpextrq Ib Vpqw Eq, 0xc4 RXB.00011 1.1111.0.01 0x16, amd64 Fn0000_0001_ECX_AVX |
-######## PEXTRW/VPEXTRW ######################################################## |
-# This is description according to AMD/Intel manual. |
-# pextrw Ib Udq Gy, 0x66 0x0f 0xc5, Fn0000_0001_EDX_SSE2 |
-# vpextrw Ib Upw Gy, 0xc4 RXB.00001 x.1111.0.01 0xc5, Fn0000_0001_ECX_AVX |
-# vpextrw Ib Vpw Ry, 0xc4 RXB.00011 x.1111.0.01 0x15 /r, Fn0000_0001_ECX_AVX |
-# GNU as accepts this descriotion, but objdump decodes last operand as “Rd”. |
-# Technically it makes no difference: “pextrw”/“vpextrw” clears everything |
-# except least significant byte and this operation produces precisely idential |
-# output for “Rd” and “Ry” operands. We'll use objdump's description. |
-pextrw Ib Udq Gd, 0x66 0x0f 0xc5, Fn0000_0001_EDX_SSE2 |
-pextrw Ib Vpw Mw, 0x66 0x0f 0x3a 0x15 /m, Fn0000_0001_ECX_SSE41 |
-pextrw Ib Vpw Ry, 0x66 0x0f 0x3a 0x15 /r, Fn0000_0001_ECX_SSE41 |
-vpextrw Ib Upw Gd, 0xc4 RXB.00001 x.1111.0.01 0xc5, Fn0000_0001_ECX_AVX |
-vpextrw Ib Vpw Mw, 0xc4 RXB.00011 x.1111.0.01 0x15 /m, Fn0000_0001_ECX_AVX |
-vpextrw Ib Vpw Rd, 0xc4 RXB.00011 x.1111.0.01 0x15 /r, Fn0000_0001_ECX_AVX |
-######## PHADDD/VPHADDD ######################################################## |
-phaddd Wpj Vpj, 0x66 0x0f 0x38 0x02, Fn0000_0001_ECX_SSSE3 |
-vphaddd Wpj Hpj Vpj, 0xc4 RXB.00010 x.src.0.01 0x02, Fn0000_0001_ECX_AVX |
-######## PHADDSW/VPHADDSW ###################################################### |
-phaddsw Wpi Vpi, 0x66 0x0f 0x38 0x03, Fn0000_0001_ECX_SSSE3 |
-vphaddsw Wpi Hpi Vpi, 0xc4 RXB.00010 x.src.0.01 0x03, Fn0000_0001_ECX_AVX |
-######## PHADDW/VPHADDW ######################################################## |
-phaddw Wpi Vpi, 0x66 0x0f 0x38 0x01, Fn0000_0001_ECX_SSSE3 |
-vphaddw Wpi Hpi Vpi, 0xc4 RXB.00010 x.src.0.01 0x01, Fn0000_0001_ECX_AVX |
-######## PHMINPOSUW/VPHMINPOSUW ################################################ |
-phminposuw Wpi Vpi, 0x66 0x0f 0x38 0x41, Fn0000_0001_ECX_SSE41 |
-vphminposuw Wpi Vo, 0xc4 RXB.00010 x.1111.0.01 0x41, Fn0000_0001_ECX_AVX |
-######## PHSUBD/VPHSUBD ######################################################## |
-phsubd Wpj Vpj, 0x66 0x0f 0x38 0x06, Fn0000_0001_ECX_SSSE3 |
-vphsubd Wpj Hpj Vpj, 0xc4 RXB.00010 x.src.0.01 0x06, Fn0000_0001_ECX_AVX |
-######## PHSUBSW/VPHSUBSW ###################################################### |
-phsubsw Wpi Vpi, 0x66 0x0f 0x38 0x07, Fn0000_0001_ECX_SSSE3 |
-vphsubsw Wpi Hpi Vpi, 0xc4 RXB.00010 x.src.0.01 0x07, Fn0000_0001_ECX_AVX |
-######## PHSUBW/VPHSUBW ######################################################## |
-phsubw Wpi Vpi, 0x66 0x0f 0x38 0x05, Fn0000_0001_ECX_SSSE3 |
-vphsubw Wpi Hpi Vpi, 0xc4 RXB.00010 x.src.0.01 0x05, Fn0000_0001_ECX_AVX |
-######## PINSRB/VPINSRB ######################################################## |
-pinsrb Ib Mb Vpk, 0x66 0x0f 0x3a 0x20 /m, Fn0000_0001_ECX_SSE41 |
-pinsrb Ib Rd Vpk, 0x66 0x0f 0x3a 0x20 /r, Fn0000_0001_ECX_SSE41 |
-vpinsrb Ib Mb Hpb Vpb, 0xc4 RXB.00011 x.1111.0.01 0x20 /m, Fn0000_0001_ECX_AVX |
-vpinsrb Ib Rd Hpb Vpb, 0xc4 RXB.00011 x.1111.0.01 0x20 /r, Fn0000_0001_ECX_AVX |
-######## PINSRD/VPINSRD ######################################################## |
-pinsrd Ib Ed Vpj, 0x66 0x0f 0x3a 0x22, Fn0000_0001_ECX_SSE41 |
-vpinsrd Ib Ed Hpdw Vpdw, 0xc4 RXB.00011 0.1111.0.01 0x22, Fn0000_0001_ECX_AVX |
-######## PINSRQ/VPINSRQ ######################################################## |
-pinsrq Ib Eq Vpq, 0x66 rexw 0x0f 0x3a 0x22, amd64 Fn0000_0001_ECX_SSE41 |
-vpinsrq Ib Eq Ho Vo, 0xc4 RXB.00011 1.1111.0.01 0x22, amd64 Fn0000_0001_ECX_AVX |
-######## PINSRW/VPINSRW ######################################################## |
-# This is description according to AMD/Intel manual. |
-# pinsrw Ib Ew Vdq, 0x66 0x0f 0xc4, Fn0000_0001_EDX_SSE1 |
-# GNU as accepts this descriotion, but objdump decodes last operand as “Rd”. |
-# Technically it makes no difference: “pinsrw”/“vpinsrw” clears everything |
-# except least significant word and this operation produces precisely idential |
-# output for “Ry” and “Rd” operands. We'll use objdump's description. |
-pinsrw Ib Mw Vdq, 0x66 0x0f 0xc4 /m, Fn0000_0001_EDX_SSE1 |
-pinsrw Ib Rd Vdq, 0x66 0x0f 0xc4 /r, Fn0000_0001_EDX_SSE1 |
-vpinsrw Ib Mw Hpw Vpw, 0xc4 RXB.00001 x.1111.0.01 0xc4 /m, Fn0000_0001_ECX_AVX |
-vpinsrw Ib Rd Hpw Vpw, 0xc4 RXB.00001 x.1111.0.01 0xc4 /r, Fn0000_0001_ECX_AVX |
-######## PMADDUBSW/VPMADDUBSW ################################################## |
-pmaddubsw Wpk Vpk, 0x66 0x0f 0x38 0x04, Fn0000_0001_ECX_SSSE3 |
-vpmaddubsw Wpk Hpk Vpi, 0xc4 RXB.00010 x.src.0.01 0x04, Fn0000_0001_ECX_AVX |
-######## PMADDWD/VPMADDWD ###################################################### |
-pmaddwd Wdq Vdq, 0x66 0x0f 0xf5, Fn0000_0001_EDX_SSE2 |
-vpmaddwd Wpi Hpi Vpj, 0xc4 RXB.00001 x.src.0.01 0xf5, Fn0000_0001_ECX_AVX |
-######## PMAXSB/VPMAXSB ######################################################## |
-pmaxsb Wpk Vpk, 0x66 0x0f 0x38 0x3c, Fn0000_0001_ECX_SSE41 |
-vpmaxsb Wpk Hpk Vpk, 0xc4 RXB.00010 x.src.0.01 0x3c, Fn0000_0001_ECX_AVX |
-######## PMAXSD/VPMAXSD ######################################################## |
-pmaxsd Wpj Vpj, 0x66 0x0f 0x38 0x3d, Fn0000_0001_ECX_SSE41 |
-vpmaxsd Wpj Hpj Vpj, 0xc4 RXB.00010 x.src.0.01 0x3d, Fn0000_0001_ECX_AVX |
-######## PMAXSW/VPMAXSW ######################################################## |
-pmaxsw Wpi Vpi, 0x66 0x0f 0xee, Fn0000_0001_EDX_SSE2 |
-vpmaxsw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xee, Fn0000_0001_ECX_AVX |
-######## PMAXUB/VPMAXUB ######################################################## |
-pmaxub Wpk Vpk, 0x66 0x0f 0xde, Fn0000_0001_EDX_SSE2 |
-vpmaxub Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xde, Fn0000_0001_ECX_AVX |
-######## PMAXUD/VPMAXUD ######################################################## |
-pmaxud Wpj Vpj, 0x66 0x0f 0x38 0x3f, Fn0000_0001_ECX_SSE41 |
-vpmaxud Wpj Hpj Vpj, 0xc4 RXB.00010 x.src.0.01 0x3f, Fn0000_0001_ECX_AVX |
-######## PMAXUW/VPMAXUW ######################################################## |
-pmaxuw Wpi Vpi, 0x66 0x0f 0x38 0x3e, Fn0000_0001_ECX_SSE41 |
-vpmaxuw Wpi Hpi Vpi, 0xc4 RXB.00010 x.src.0.01 0x3e, Fn0000_0001_ECX_AVX |
-######## PMINSB/VPMINSB ######################################################## |
-pminsb Wpk Vpk, 0x66 0x0f 0x38 0x38, Fn0000_0001_ECX_SSE41 |
-vpminsb Wpk Hpk Vpk, 0xc4 RXB.00010 x.src.0.01 0x38, Fn0000_0001_ECX_AVX |
-######## PMINSD/VPMINSD ######################################################## |
-pminsd Wpj Vpj, 0x66 0x0f 0x38 0x39, Fn0000_0001_ECX_SSE41 |
-vpminsd Wpj Hpj Vpj, 0xc4 RXB.00010 x.src.0.01 0x39, Fn0000_0001_ECX_AVX |
-######## PMINSW/VPMINSW ######################################################## |
-pminsw Wpi Vpi, 0x66 0x0f 0xea, Fn0000_0001_EDX_SSE2 |
-vpminsw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xea, Fn0000_0001_ECX_AVX |
-######## PMINUB/VPMINUB ######################################################## |
-pminub Wpk Vpk, 0x66 0x0f 0xda, Fn0000_0001_EDX_SSE2 |
-vpminub Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xda, Fn0000_0001_ECX_AVX |
-######## PMINUD/VPMINUD ######################################################## |
-pminud Wpj Vpj, 0x66 0x0f 0x38 0x3b, Fn0000_0001_ECX_SSE41 |
-vpminud Wpj Hpj Vpj, 0xc4 RXB.00010 x.src.0.01 0x3b, Fn0000_0001_ECX_AVX |
-######## PMINUW/VPMINUW ######################################################## |
-pminuw Wpi Vpi, 0x66 0x0f 0x38 0x3a, Fn0000_0001_ECX_SSE41 |
-vpminuw Wpi Hpi Vpi, 0xc4 RXB.00010 x.src.0.01 0x3a, Fn0000_0001_ECX_AVX |
-######## PMOVMSKB/PMOVMSKB ##################################################### |
-# This is description according to AMD/Intel manual. |
-# vpmovmskb Upb Gy, 0xc4 RXB.00001 x.1111.0.01 0xd7, Fn0000_0001_ECX_AVX |
-# GNU as accepts this descriotion, but objdump decodes last operand as “Gd”. |
-# Technically it makes no difference: “vpmovmskb” clears everything except least |
-# significant word and this operation produces precisely idential output for “Gy” |
-# and “Gd” operands. We'll use objdump's description. |
-pmovmskb Udq Gd, 0x66 0x0f 0xd7, Fn0000_0001_EDX_SSE2 |
-vpmovmskb Upb Gd, 0xc4 RXB.00001 x.1111.0.01 0xd7, Fn0000_0001_ECX_AVX |
-######## PMOVSXBD/VPMOVSXBD #################################################### |
-pmovsxbd Wpk Vpj, 0x66 0x0f 0x38 0x21, Fn0000_0001_ECX_SSE41 |
-vpmovsxbd Wpk Vpj, 0xc4 RXB.00010 x.1111.0.01 0x21, Fn0000_0001_ECX_AVX |
-######## PMOVSXBQ/VPMOVSXBQ #################################################### |
-pmovsxbq Wpk Vpq, 0x66 0x0f 0x38 0x22, Fn0000_0001_ECX_SSE41 |
-vpmovsxbq Wpk Vpq, 0xc4 RXB.00010 x.1111.0.01 0x22, Fn0000_0001_ECX_AVX |
-######## PMOVSXBW/VPMOVSXBW #################################################### |
-pmovsxbw Wpk Vpi, 0x66 0x0f 0x38 0x20, Fn0000_0001_ECX_SSE41 |
-vpmovsxbw Wpk Vpi, 0xc4 RXB.00010 x.1111.0.01 0x20, Fn0000_0001_ECX_AVX |
-######## PMOVSXDQ/VPMOVSXDQ #################################################### |
-pmovsxdq Wpj Vpq, 0x66 0x0f 0x38 0x25, Fn0000_0001_ECX_SSE41 |
-vpmovsxdq Wpj Vpq, 0xc4 RXB.00010 x.1111.0.01 0x25, Fn0000_0001_ECX_AVX |
-######## PMOVSXWD/VPMOVSXWD #################################################### |
-pmovsxwd Wpi Vpj, 0x66 0x0f 0x38 0x23, Fn0000_0001_ECX_SSE41 |
-vpmovsxwd Wpi Vpj, 0xc4 RXB.00010 x.1111.0.01 0x23, Fn0000_0001_ECX_AVX |
-######## PMOVSXWQ/VPMOVSXWQ #################################################### |
-pmovsxwq Wpi Vpq, 0x66 0x0f 0x38 0x24, Fn0000_0001_ECX_SSE41 |
-vpmovsxwq Wpi Vpq, 0xc4 RXB.00010 x.1111.0.01 0x24, Fn0000_0001_ECX_AVX |
-######## PMOVZXBD/VPMOVZXBD #################################################### |
-pmovzxbd Wpk Vpj, 0x66 0x0f 0x38 0x31, Fn0000_0001_ECX_SSE41 |
-vpmovzxbd Wpk Vpj, 0xc4 RXB.00010 x.1111.0.01 0x31, Fn0000_0001_ECX_AVX |
-######## PMOVZXBQ/VPMOVZXBQ #################################################### |
-pmovzxbq Wpk Vpq, 0x66 0x0f 0x38 0x32, Fn0000_0001_ECX_SSE41 |
-vpmovzxbq Wpk Vpq, 0xc4 RXB.00010 x.1111.0.01 0x32, Fn0000_0001_ECX_AVX |
-######## PMOVZXBW/VPMOVZXBW #################################################### |
-pmovzxbw Wpk Vpi, 0x66 0x0f 0x38 0x30, Fn0000_0001_ECX_SSE41 |
-vpmovzxbw Wpk Vpi, 0xc4 RXB.00010 x.1111.0.01 0x30, Fn0000_0001_ECX_AVX |
-######## PMOVZXDQ/VPMOVZXDQ #################################################### |
-pmovzxdq Wpj Vpq, 0x66 0x0f 0x38 0x35, Fn0000_0001_ECX_SSE41 |
-vpmovzxdq Wpj Vpq, 0xc4 RXB.00010 x.1111.0.01 0x35, Fn0000_0001_ECX_AVX |
-######## PMOVZXWD/VPMOVZXWD #################################################### |
-pmovzxwd Wpi Vpj, 0x66 0x0f 0x38 0x33, Fn0000_0001_ECX_SSE41 |
-vpmovzxwd Wpi Vpj, 0xc4 RXB.00010 x.1111.0.01 0x33, Fn0000_0001_ECX_AVX |
-######## PMOVZXWQ/VPMOVZXWQ #################################################### |
-pmovzxwq Wpi Vpq, 0x66 0x0f 0x38 0x34, Fn0000_0001_ECX_SSE41 |
-vpmovzxwq Wpi Vpq, 0xc4 RXB.00010 x.1111.0.01 0x34, Fn0000_0001_ECX_AVX |
-######## PMULDQ/VPMULDQ ######################################################## |
-pmuldq Wpj Vpq, 0x66 0x0f 0x38 0x28, Fn0000_0001_ECX_SSE41 |
-vpmuldq Wpj Hpj Vpq, 0xc4 RXB.00010 x.src.0.01 0x28, Fn0000_0001_ECX_AVX |
-######## PMULHRSW/VPMULHRSW #################################################### |
-pmulhrsw Wpi Vpi, 0x66 0x0f 0x38 0x0b, Fn0000_0001_ECX_SSSE3 |
-vpmulhrsw Wpi Hpi Vpi, 0xc4 RXB.00010 x.src.0.01 0x0b, Fn0000_0001_ECX_AVX |
-######## PMULHUW/VPMULHUW ###################################################### |
-pmulhuw Wdq Vdq, 0x66 0x0f 0xe4, Fn0000_0001_EDX_SSE2 |
-vpmulhuw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xe4, Fn0000_0001_ECX_AVX |
-######## PMULHW/VPMULHW ######################################################## |
-pmulhw Wdq Vdq, 0x66 0x0f 0xe5, Fn0000_0001_EDX_SSE2 |
-vpmulhw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xe5, Fn0000_0001_ECX_AVX |
-######## PMULLD/VPMULLD ######################################################## |
-pmulld Wpj Vpj, 0x66 0x0f 0x38 0x40, Fn0000_0001_ECX_SSE41 |
-vpmulld Wpj Hpj Vpj, 0xc4 RXB.00010 x.src.0.01 0x40, Fn0000_0001_ECX_AVX |
-######## PMULLW/VPMULLW ######################################################## |
-pmullw Wdq Vdq, 0x66 0x0f 0xd5, Fn0000_0001_EDX_SSE2 |
-vpmullw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xd5, Fn0000_0001_ECX_AVX |
-######## PMULUDQ/VPMULUDQ ###################################################### |
-pmuludq Wdq Vdq, 0x66 0x0f 0xf4, Fn0000_0001_EDX_SSE2 |
-vpmuludq Wpj Hpj Vpq, 0xc4 RXB.00001 x.src.0.01 0xf4, Fn0000_0001_ECX_AVX |
-######## POR/VPOR ############################################################## |
-por Wdq Vdq, 0x66 0x0f 0xeb, Fn0000_0001_EDX_SSE2 |
-vpor Wo Ho Vo, 0xc4 RXB.00001 x.src.0.01 0xeb, Fn0000_0001_ECX_AVX |
-######## PSADBW/VPSADBW ######################################################## |
-psadbw Wdq Vdq, 0x66 0x0f 0xf6, Fn0000_0001_EDX_SSE2 |
-vpsadbw Wpk Hpk Vpi, 0xc4 RXB.00001 x.src.0.01 0xf6, Fn0000_0001_ECX_AVX |
-######## PSHUFB/VPSHUFB ######################################################## |
-pshufb Wpb Vpb, 0x66 0x0f 0x38 0x00, Fn0000_0001_ECX_SSSE3 |
-vpshufb Wpb Hpb Vpb, 0xc4 RXB.00010 x.src.0.01 0x00, Fn0000_0001_ECX_AVX |
-######## PSHUFD/VPSHUFD ######################################################## |
-pshufd Ib Wdq Vdq, 0x66 0x0f 0x70, Fn0000_0001_EDX_SSE2 |
-vpshufd Ib Wpdw Vpdw, 0xc4 RXB.00001 x.1111.0.01 0x70, Fn0000_0001_ECX_AVX |
-######## PSHUFHW/VPSHUFHW ###################################################### |
-pshufhw Ib Wq Vq, 0xf3 0x0f 0x70, Fn0000_0001_EDX_SSE2 |
-vpshufhw Ib Wpw Vpw, 0xc4 RXB.00001 x.1111.0.10 0x70, Fn0000_0001_ECX_AVX |
-######## PSHUFLW/VPSHUFLW ###################################################### |
-pshuflw Ib Wq Vq, 0xf2 0x0f 0x70, Fn0000_0001_EDX_SSE2 |
-vpshuflw Ib Wpw Vpw, 0xc4 RXB.00001 x.1111.0.11 0x70, Fn0000_0001_ECX_AVX |
-######## PSIGNB/VPSIGNB ######################################################## |
-psignb Wpk Vpk, 0x66 0x0f 0x38 0x08, Fn0000_0001_ECX_SSSE3 |
-vpsignb Wpk Hpk Vpk, 0xc4 RXB.00010 x.src.0.01 0x08, Fn0000_0001_ECX_AVX |
-######## PSIGND/VPSIGND ######################################################## |
-psignd Wpj Vpj, 0x66 0x0f 0x38 0x0a, Fn0000_0001_ECX_SSSE3 |
-vpsignd Wpj Hpj Vpj, 0xc4 RXB.00010 x.src.0.01 0x0a, Fn0000_0001_ECX_AVX |
-######## PSIGND/VPSIGND ######################################################## |
-psignw Wpi Vpi, 0x66 0x0f 0x38 0x09, Fn0000_0001_ECX_SSSE3 |
-vpsignw Wpi Hpi Vpj, 0xc4 RXB.00010 x.src.0.01 0x09, Fn0000_0001_ECX_AVX |
-######## PSLLD/VPSLLD ########################################################## |
-pslld Wdq Vdq, 0x66 0x0f 0xf2, Fn0000_0001_EDX_SSE2 |
-pslld Ib Udq, 0x66 0x0f 0x72 /6, Fn0000_0001_EDX_SSE2 |
-vpslld Wo Hpdw Vpdw, 0xc4 RXB.00001 x.src.0.01 0xf2, Fn0000_0001_ECX_AVX |
-vpslld Ib Updw Hpdw, 0xc4 RXB.00001 x.dest.0.01 0x72 /6, Fn0000_0001_ECX_AVX |
-######## PSLLDQ/VPSLLDQ ######################################################## |
-pslldq Ib Udq, 0x66 0x0f 0x73 /7, Fn0000_0001_EDX_SSE2 |
-vpslldq Ib Udq Hdq, 0xc4 RXB.00001 0.dest.0.01 0x73 /7, Fn0000_0001_ECX_AVX |
-######## PSLLQ/VPSLLQ ########################################################## |
-psllq Wdq Vdq, 0x66 0x0f 0xf3, Fn0000_0001_EDX_SSE2 |
-psllq Ib Udq, 0x66 0x0f 0x73 /6, Fn0000_0001_EDX_SSE2 |
-vpsllq Wo Hpdw Vpdw, 0xc4 RXB.00001 x.src.0.01 0xf3, Fn0000_0001_ECX_AVX |
-vpsllq Ib Updw Hpdw, 0xc4 RXB.00001 x.dest.0.01 0x73 /6, Fn0000_0001_ECX_AVX |
-######## PSLLW/VPSLLW ########################################################## |
-psllw Wdq Vdq, 0x66 0x0f 0xf1, Fn0000_0001_EDX_SSE2 |
-psllw Ib Udq, 0x66 0x0f 0x71 /6, Fn0000_0001_EDX_SSE2 |
-vpsllw Wo Hpw Vpw, 0xc4 RXB.00001 x.src.0.01 0xf1, Fn0000_0001_ECX_AVX |
-vpsllw Ib Upw Hpw, 0xc4 RXB.00001 x.dest.0.01 0x71 /6, Fn0000_0001_ECX_AVX |
-######## PSRAD/VPSRAD ########################################################## |
-psrad Wdq Vdq, 0x66 0x0f 0xe2, Fn0000_0001_EDX_SSE2 |
-psrad Ib Udq, 0x66 0x0f 0x72 /4, Fn0000_0001_EDX_SSE2 |
-vpsrad Wo Hpdw Vpdw, 0xc4 RXB.00001 x.src.0.01 0xe2, Fn0000_0001_ECX_AVX |
-vpsrad Ib Updw Hpdw, 0xc4 RXB.00001 x.dest.0.01 0x72 /4, Fn0000_0001_ECX_AVX |
-######## PSRAW/VPSRAW ########################################################## |
-psraw Wdq Vdq, 0x66 0x0f 0xe1, Fn0000_0001_EDX_SSE2 |
-psraw Ib Udq, 0x66 0x0f 0x71 /4, Fn0000_0001_EDX_SSE2 |
-vpsraw Wo Hpw Vpw, 0xc4 RXB.00001 x.src.0.01 0xe1, Fn0000_0001_ECX_AVX |
-vpsraw Ib Upw Hpw, 0xc4 RXB.00001 x.dest.0.01 0x71 /4, Fn0000_0001_ECX_AVX |
-######## PSRLD/VPSRLD ########################################################## |
-psrld Wdq Vdq, 0x66 0x0f 0xd2, Fn0000_0001_EDX_SSE2 |
-psrld Ib Udq, 0x66 0x0f 0x72 /2, Fn0000_0001_EDX_SSE2 |
-vpsrld Wo Hpdw Vpdw, 0xc4 RXB.00001 x.src.0.01 0xd2, Fn0000_0001_ECX_AVX |
-vpsrld Ib Updw Hpdw, 0xc4 RXB.00001 x.dest.0.01 0x72 /2, Fn0000_0001_ECX_AVX |
-######## PSRLDQ/VPSRLDQ ######################################################## |
-psrldq Ib Udq, 0x66 0x0f 0x73 /3, Fn0000_0001_EDX_SSE2 |
-vpsrldq Ib Udq Hdq, 0xc4 RXB.00001 0.dest.0.01 0x73 /3, Fn0000_0001_ECX_AVX |
-######## PSRLQ/VPSRLQ ########################################################## |
-psrlq Wdq Vdq, 0x66 0x0f 0xd3, Fn0000_0001_EDX_SSE2 |
-psrlq Ib Udq, 0x66 0x0f 0x73 /2, Fn0000_0001_EDX_SSE2 |
-vpsrlq Wo Hpdw Vpdw, 0xc4 RXB.00001 x.src.0.01 0xd3, Fn0000_0001_ECX_AVX |
-vpsrlq Ib Updw Hpdw, 0xc4 RXB.00001 x.dest.0.01 0x73 /2, Fn0000_0001_ECX_AVX |
-######## PSRLW/VPSRLW ########################################################## |
-psrlw Wdq Vdq, 0x66 0x0f 0xd1, Fn0000_0001_EDX_SSE2 |
-psrlw Ib Udq, 0x66 0x0f 0x71 /2, Fn0000_0001_EDX_SSE2 |
-vpsrlw Wo Hpw Vpw, 0xc4 RXB.00001 x.src.0.01 0xd1, Fn0000_0001_ECX_AVX |
-vpsrlw Ib Upw Hpw, 0xc4 RXB.00001 x.dest.0.01 0x71 /2, Fn0000_0001_ECX_AVX |
-######## PSUBB/VPSUBB ########################################################## |
-psubb Wpk Vpk, 0x66 0x0f 0xf8, Fn0000_0001_EDX_SSE2 |
-vpsubb Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xf8, Fn0000_0001_ECX_AVX |
-######## PSUBD/VPSUBD ########################################################## |
-psubd Wpj Vpj, 0x66 0x0f 0xfa, Fn0000_0001_EDX_SSE2 |
-vpsubd Wpj Hpj Vpj, 0xc4 RXB.00001 x.src.0.01 0xfa, Fn0000_0001_ECX_AVX |
-######## PSUBQ/VPSUBQ ########################################################## |
-psubq Wdq Vdq, 0x66 0x0f 0xfb, Fn0000_0001_EDX_SSE2 |
-vpsubq Wpq Hpq Vpq, 0xc4 RXB.00001 x.src.0.01 0xfb, Fn0000_0001_ECX_AVX |
-######## PSUBSB/VPSUBSB ######################################################## |
-psubsb Wpk Vpk, 0x66 0x0f 0xe8, Fn0000_0001_EDX_SSE2 |
-vpsubsb Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xe8, Fn0000_0001_ECX_AVX |
-######## PSUBSW/VPSUBSW ######################################################## |
-psubsw Wpi Vpi, 0x66 0x0f 0xe9, Fn0000_0001_EDX_SSE2 |
-vpsubsw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xe9, Fn0000_0001_ECX_AVX |
-######## PSUBUSB/VPSUBUSB ###################################################### |
-psubusb Wpk Vpk, 0x66 0x0f 0xd8, Fn0000_0001_EDX_SSE2 |
-vpsubusb Wpk Hpk Vpk, 0xc4 RXB.00001 x.src.0.01 0xd8, Fn0000_0001_ECX_AVX |
-######## PSUBUSW/VPSUBUSW ###################################################### |
-psubusw Wpi Vpi, 0x66 0x0f 0xd9, Fn0000_0001_EDX_SSE2 |
-vpsubusw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xd9, Fn0000_0001_ECX_AVX |
-######## PSUBW/VPSUBW ########################################################## |
-psubw Wpi Vpi, 0x66 0x0f 0xf9, Fn0000_0001_EDX_SSE2 |
-vpsubw Wpi Hpi Vpi, 0xc4 RXB.00001 x.src.0.01 0xf9, Fn0000_0001_ECX_AVX |
-######## PTEST/VPTEST ########################################################## |
-ptest Wo Vo, 0x66 0x0f 0x38 0x17, Fn0000_0001_ECX_SSE41 |
-vptest Wo Vo, 0xc4 RXB.00010 x.1111.0.01 0x17, Fn0000_0001_ECX_AVX |
-vptest Wdo Vdo, 0xc4 RXB.00010 x.1111.1.01 0x17, Fn0000_0001_ECX_AVX |
-######## PUNPCKHBW/VPUNPCKHBW ################################################## |
-punpckhbw Wq Vdq, 0x66 0x0f 0x68, Fn0000_0001_EDX_SSE2 |
-vpunpckhbw Wpb Hpb Vpb, 0xc4 RXB.00001 x.src.0.01 0x68, Fn0000_0001_ECX_AVX |
-######## PUNPCKHDQ/VPUNPCKHDQ ################################################## |
-punpckhdq Wq Vdq, 0x66 0x0f 0x6a, Fn0000_0001_EDX_SSE2 |
-vpunpckhdq Wpdw Hpdw Vpdw, 0xc4 RXB.00001 x.src.0.01 0x6a, Fn0000_0001_ECX_AVX |
-######## PUNPCKHQDQ/VPUNPCKHQDQ ################################################ |
-punpckhqdq Wq Vdq, 0x66 0x0f 0x6d, Fn0000_0001_EDX_SSE2 |
-vpunpckhqdq Wpqw Hpqw Vpqw, 0xc4 RXB.00001 x.src.0.01 0x6d, Fn0000_0001_ECX_AVX |
-######## PUNPCKHWD/VPUNPCKHWD ################################################## |
-punpckhwd Wq Vdq, 0x66 0x0f 0x69, Fn0000_0001_EDX_SSE2 |
-vpunpckhwd Wpw Hpw Vpw, 0xc4 RXB.00001 x.src.0.01 0x69, Fn0000_0001_ECX_AVX |
-######## PUNPCKLBW/VPUNPCKLBW ################################################## |
-punpcklbw Wq Vdq, 0x66 0x0f 0x60, Fn0000_0001_EDX_SSE2 |
-vpunpcklbw Wpb Hpb Vpb, 0xc4 RXB.00001 x.src.0.01 0x60, Fn0000_0001_ECX_AVX |
-######## PUNPCKLDQ/VPUNPCKLDQ ################################################## |
-punpckldq Wq Vdq, 0x66 0x0f 0x62, Fn0000_0001_EDX_SSE2 |
-vpunpckldq Wpdw Hpdw Vpdw, 0xc4 RXB.00001 x.src.0.01 0x62, Fn0000_0001_ECX_AVX |
-######## PUNPCKLQDQ/VPUNPCKLQDQ ################################################ |
-punpcklqdq Wq Vdq, 0x66 0x0f 0x6c, Fn0000_0001_EDX_SSE2 |
-vpunpcklqdq Wpqw Hpqw Vpqw, 0xc4 RXB.00001 x.src.0.01 0x6c, Fn0000_0001_ECX_AVX |
-######## PUNPCKLWD/VPUNPCKLWD ################################################## |
-punpcklwd Wq Vdq, 0x66 0x0f 0x61, Fn0000_0001_EDX_SSE2 |
-vpunpcklwd Wpw Hpw Vpw, 0xc4 RXB.00001 x.src.0.01 0x61, Fn0000_0001_ECX_AVX |
-######## PXOR/VPXOR ############################################################ |
-pxor Wdq Vdq, 0x66 0x0f 0xef, Fn0000_0001_EDX_SSE2 |
-vpxor Wo Ho Vo, 0xc4 RXB.00001 x.src.0.01 0xef, Fn0000_0001_ECX_AVX |
-######## RCPPS/VRCPPS ########################################################## |
-rcpps Wps Vps, 0x0f 0x53, Fn0000_0001_EDX_SSE1 |
-vrcpps Wpsx Vpsx, 0xc4 RXB.00001 x.1111.L.00 0x53, Fn0000_0001_ECX_AVX |
-######## RCPSS/VRCPSS ########################################################## |
-rcpss Wss Vss, 0xf3 0x0f 0x53, Fn0000_0001_EDX_SSE1 |
-vrcpss Wss Ho Vo, 0xc4 RXB.00001 x.src.x.10 0x53, Fn0000_0001_ECX_AVX |
-######## ROUNDPD/VROUNDPD ###################################################### |
-roundpd Ib Wpd Vpd, 0x66 0x0f 0x3a 0x09, Fn0000_0001_ECX_SSE41 |
-vroundpd Ib Wpdx Vpdx, 0xc4 RXB.00011 x.src.L.01 0x09, Fn0000_0001_ECX_AVX |
-######## ROUNDPS/VROUNDPS ###################################################### |
-roundps Ib Wps Vps, 0x66 0x0f 0x3a 0x08, Fn0000_0001_ECX_SSE41 |
-vroundps Ib Wpsx Vpsx, 0xc4 RXB.00011 x.src.L.01 0x08, Fn0000_0001_ECX_AVX |
-######## ROUNDSD/VROUNDSD ###################################################### |
-roundsd Ib Wsd Vsd, 0x66 0x0f 0x3a 0x0b, Fn0000_0001_ECX_SSE41 |
-vroundsd Ib Wsd Ho Vo, 0xc4 RXB.00011 x.src.x.01 0x0b, Fn0000_0001_ECX_AVX |
-######## ROUNDSS/VROUNDSS ###################################################### |
-roundss Ib Wss Vss, 0x66 0x0f 0x3a 0x0a, Fn0000_0001_ECX_SSE41 |
-vroundss Ib Wss Ho Vo, 0xc4 RXB.00011 x.src.x.01 0x0a, Fn0000_0001_ECX_AVX |
-######## RSQRTPS/VRSQRTPS ###################################################### |
-rsqrtps Wps Vps, 0x0f 0x52, Fn0000_0001_EDX_SSE1 |
-vrsqrtps Wpsx Vpsx, 0xc4 RXB.00001 x.1111.L.00 0x52, Fn0000_0001_ECX_AVX |
-######## RSQRTSS/VRSQRTSS ###################################################### |
-rsqrtss Wss Vss, 0xf3 0x0f 0x52, Fn0000_0001_EDX_SSE1 |
-vrsqrtss Wss Ho Vo, 0xc4 RXB.00001 x.1111.0.10 0x52, Fn0000_0001_ECX_AVX |
-######## SHUFPD/VSHUFPD ######################################################## |
-shufpd Ib Wpd Vpd, 0x66 0x0f 0xc6, Fn0000_0001_EDX_SSE2 |
-vshufpd Ib Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0xc6, Fn0000_0001_ECX_AVX |
-######## SHUFPS/VSHUFPS ######################################################## |
-shufps Ib Wps Vps, 0x0f 0xc6, Fn0000_0001_EDX_SSE1 |
-vshufps Ib Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0xc6, Fn0000_0001_ECX_AVX |
-######## SQRTPD/VSQRTPD ######################################################## |
-sqrtpd Wpd Vpd, 0x66 0x0f 0x51, Fn0000_0001_EDX_SSE2 |
-vsqrtpd Wpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x51, Fn0000_0001_ECX_AVX |
-######## SQRTPS/VSQRTPS ######################################################## |
-sqrtps Wps Vps, 0x0f 0x51, Fn0000_0001_EDX_SSE1 |
-vsqrtps Wpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x51, Fn0000_0001_ECX_AVX |
-######## SQRTSD/VSQRTSD ######################################################## |
-sqrtsd Wsd Vsd, 0xf2 0x0f 0x51, Fn0000_0001_EDX_SSE2 |
-vsqrtsd Wsd Ho Vo, 0xc4 RXB.00001 x.src.x.11 0x51, Fn0000_0001_ECX_AVX |
-######## SQRTSS/VSQRTSS ######################################################## |
-sqrtss Wss Vss, 0xf3 0x0f 0x51, Fn0000_0001_EDX_SSE1 |
-vsqrtss Wss Ho Vo, 0xc4 RXB.00001 x.src.x.10 0x51, Fn0000_0001_ECX_AVX |
-######## LDMXCSR/VLDMXCSR ###################################################### |
-stmxcsr Md, 0x0f 0xae /3, Fn0000_0001_EDX_SSE1 |
-vstmxcsr Md, 0xc4 RXB.00001 x.1111.0.00 0xae /3, Fn0000_0001_ECX_AVX |
-######## SUBPD/VSUBPD ########################################################## |
-subpd Wpd Vpd, 0x66 0x0f 0x5c, Fn0000_0001_EDX_SSE2 |
-vsubpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x5c, Fn0000_0001_ECX_AVX |
-######## SUBPS/VSUBPS ########################################################## |
-subps Wps Vps, 0xf 0x5c, Fn0000_0001_EDX_SSE1 |
-vsubps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x5c, Fn0000_0001_ECX_AVX |
-######## SUBSD/VSUBSD ########################################################## |
-subsd Wsd Vsd, 0xf2 0x0f 0x5c, Fn0000_0001_EDX_SSE2 |
-vsubsd Wsd Hsd Vsd, 0xc4 RXB.00001 x.src.x.11 0x5c, Fn0000_0001_ECX_AVX |
-######## SUBSS/VSUBSS ########################################################## |
-subss Wss Vss, 0xf3 0x0f 0x5c, Fn0000_0001_EDX_SSE1 |
-vsubss Wss Hss Vss, 0xc4 RXB.00001 x.src.x.10 0x5c, Fn0000_0001_ECX_AVX |
-######## UCOMISD/VUCOMISD ###################################################### |
-ucomisd Wsd Vsd, 0x66 0x0f 0x2e, Fn0000_0001_EDX_SSE2 |
-vucomisd Wsd Vsd, 0xc4 RXB.00001 x.src.x.01 0x2e, Fn0000_0001_ECX_AVX |
-######## UCOMISS/VUCOMISS ###################################################### |
-ucomiss Wsd Vsd, 0x0f 0x2e, Fn0000_0001_EDX_SSE1 |
-vucomiss Wsd Vsd, 0xc4 RXB.00001 x.src.x.00 0x2e, Fn0000_0001_ECX_AVX |
-######## UNPCKHPD/VUNPCKHPD #################################################### |
-unpckhpd Wq Vpd, 0x66 0x0f 0x15, Fn0000_0001_EDX_SSE2 |
-vunpckhpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x15, Fn0000_0001_ECX_AVX |
-######## UNPCKHPS/VUNPCKHPS #################################################### |
-unpckhps Wps Vps, 0x0f 0x15, Fn0000_0001_EDX_SSE1 |
-vunpckhps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x15, Fn0000_0001_ECX_AVX |
-######## UNPCKLPD/VUNPCKLPD #################################################### |
-unpcklpd Wq Vpd, 0x66 0x0f 0x14, Fn0000_0001_EDX_SSE2 |
-vunpcklpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x14, Fn0000_0001_ECX_AVX |
-######## UNPCKLPS/VUNPCKLPS #################################################### |
-unpcklps Wps Vps, 0x0f 0x14, Fn0000_0001_EDX_SSE1 |
-vunpcklps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x14, Fn0000_0001_ECX_AVX |
-######## VBROADCASTF128 ######################################################## |
-vbroadcastf128 Mo Vdo, 0xc4 RXB.00010 0.1111.1.01 0x1a, Fn0000_0001_ECX_AVX |
-######## VBROADCASTSD ########################################################## |
-vbroadcastsd Msd Vdo, 0xc4 RXB.00010 0.1111.1.01 0x19, Fn0000_0001_ECX_AVX |
-######## VBROADCASTSS ########################################################## |
-vbroadcastss Mss Vpsx, 0xc4 RXB.00010 0.1111.L.01 0x18, Fn0000_0001_ECX_AVX |
-######## VCVTPH2PS ############################################################# |
-vcvtph2ps Wph Vpsx, 0xc4 RXB.02 0.1111.L.01 0x13, Fn0000_0001_ECX_CVT16 |
-######## VCVTPS2PH ############################################################# |
-vcvtps2ph Ib Vpsx Wph, 0xc4 RXB.03 0.1111.L.01 0x1d, Fn0000_0001_ECX_CVT16 |
-######## VEXTRACTF128 ########################################################## |
-vextractf128 Ib Vdo Wo, 0xc4 RXB.00011 0.1111.1.01 0x19, Fn0000_0001_ECX_AVX |
-######## VFMADDPD/VFMADD132PD/VFMADD213PD/VFMADD231PD ########################## |
-vfmaddpd Lpdx Wpdx Hpdx Vpdx, 0xc4 RXB.00011 0.src.L.01 0x69, Fn8000_0001_ECX_FMA4 |
-vfmaddpd Wpdx Lpdx Hpdx Vpdx, 0xc4 RXB.00011 1.src.L.01 0x69, Fn8000_0001_ECX_FMA4 |
-vfmadd132pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0x98, Fn8000_0001_ECX_FMA |
-vfmadd213pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xa8, Fn8000_0001_ECX_FMA |
-vfmadd231pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xb8, Fn8000_0001_ECX_FMA |
-######## VFMADDPS/VFMADD132PS/VFMADD213PS/VFMADD231PS ########################## |
-vfmaddps Lpsx Wpsx Hpsx Vpsx, 0xc4 RXB.00011 0.src.L.01 0x68, Fn8000_0001_ECX_FMA4 |
-vfmaddps Wpsx Lpsx Hpsx Vpsx, 0xc4 RXB.00011 1.src.L.01 0x68, Fn8000_0001_ECX_FMA4 |
-vfmadd132ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0x98, Fn8000_0001_ECX_FMA |
-vfmadd213ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xa8, Fn8000_0001_ECX_FMA |
-vfmadd231ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xb8, Fn8000_0001_ECX_FMA |
-######## VFMADDSD/VFMADD132SD/VFMADD213SD/VFMADD231SD ########################## |
-vfmaddsd Lsd Wsd Hsd Vsd, 0xc4 RXB.00011 0.src.x.01 0x6b, Fn8000_0001_ECX_FMA4 |
-vfmaddsd Wsd Lsd Hsd Vsd, 0xc4 RXB.00011 1.src.x.01 0x6b, Fn8000_0001_ECX_FMA4 |
-vfmadd132sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0x99, Fn8000_0001_ECX_FMA |
-vfmadd213sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0xa9, Fn8000_0001_ECX_FMA |
-vfmadd231sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0xb9, Fn8000_0001_ECX_FMA |
-######## VFMADDSS/VFMADD132SS/VFMADD213SS/VFMADD231SS ########################## |
-vfmaddss Lss Wss Hss Vss, 0xc4 RXB.00011 0.src.x.01 0x6a, Fn8000_0001_ECX_FMA4 |
-vfmaddss Wss Lss Hss Vss, 0xc4 RXB.00011 1.src.x.01 0x6a, Fn8000_0001_ECX_FMA4 |
-vfmadd132ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0x99, Fn8000_0001_ECX_FMA |
-vfmadd213ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0xa9, Fn8000_0001_ECX_FMA |
-vfmadd231ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0xb9, Fn8000_0001_ECX_FMA |
-######## VFMADDSUBPD/VFMADDSUB132PD/VFMADDSUB213PD/VFMADDSUB231PD ############## |
-vfmaddsubpd Lpdx Wpdx Hpdx Vpdx, 0xc4 RXB.00011 0.src.L.01 0x5d, Fn8000_0001_ECX_FMA4 |
-vfmaddsubpd Wpdx Lpdx Hpdx Vpdx, 0xc4 RXB.00011 1.src.L.01 0x5d, Fn8000_0001_ECX_FMA4 |
-vfmaddsub132pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0x96, Fn8000_0001_ECX_FMA |
-vfmaddsub213pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xa6, Fn8000_0001_ECX_FMA |
-vfmaddsub231pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xb6, Fn8000_0001_ECX_FMA |
-######## VFMADDSUBPS/VFMADDSUB132PS/VFMADDSUB213PS/VFMADDSUB231PS ############## |
-vfmaddsubps Lpsx Wpsx Hpsx Vpsx, 0xc4 RXB.00011 0.src.L.01 0x5c, Fn8000_0001_ECX_FMA4 |
-vfmaddsubps Wpsx Lpsx Hpsx Vpsx, 0xc4 RXB.00011 1.src.L.01 0x5c, Fn8000_0001_ECX_FMA4 |
-vfmaddsub132ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0x96, Fn8000_0001_ECX_FMA |
-vfmaddsub213ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xa6, Fn8000_0001_ECX_FMA |
-vfmaddsub231ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xb6, Fn8000_0001_ECX_FMA |
-######## VFMSUBADDPD/VFMSUBADD132PD/VFMSUBADD213PD/VFMSUBADD231PD ############## |
-vfmsubaddpd Lpdx Wpdx Hpdx Vpdx, 0xc4 RXB.00011 0.src.L.01 0x5f, Fn8000_0001_ECX_FMA4 |
-vfmsubaddpd Wpdx Lpdx Hpdx Vpdx, 0xc4 RXB.00011 1.src.L.01 0x5f, Fn8000_0001_ECX_FMA4 |
-vfmsubadd132pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0x97, Fn8000_0001_ECX_FMA |
-vfmsubadd213pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xa7, Fn8000_0001_ECX_FMA |
-vfmsubadd231pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xb7, Fn8000_0001_ECX_FMA |
-######## VFMSUBADDPS/VFMSUBADD132PS/VFMSUBADD213PS/VFMSUBADD231PS ############## |
-vfmsubaddps Lpsx Wpsx Hpsx Vpsx, 0xc4 RXB.00011 0.src.L.01 0x5e, Fn8000_0001_ECX_FMA4 |
-vfmsubaddps Wpsx Lpsx Hpsx Vpsx, 0xc4 RXB.00011 1.src.L.01 0x5e, Fn8000_0001_ECX_FMA4 |
-vfmsubadd132ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0x97, Fn8000_0001_ECX_FMA |
-vfmsubadd213ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xa7, Fn8000_0001_ECX_FMA |
-vfmsubadd231ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xb7, Fn8000_0001_ECX_FMA |
-######## VFMSUBPD/VFMSUB132PD/VFMSUB213PD/VFMSUB231PD ########################## |
-vfmsubpd Lpdx Wpdx Hpdx Vpdx, 0xc4 RXB.00011 0.src.L.01 0x6d, Fn8000_0001_ECX_FMA4 |
-vfmsubpd Wpdx Lpdx Hpdx Vpdx, 0xc4 RXB.00011 1.src.L.01 0x6d, Fn8000_0001_ECX_FMA4 |
-vfmsub132pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0x9a, Fn8000_0001_ECX_FMA |
-vfmsub213pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xaa, Fn8000_0001_ECX_FMA |
-vfmsub231pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xba, Fn8000_0001_ECX_FMA |
-######## VFMSUBPS/VFMSUB132PS/VFMSUB213PS/VFMSUB231PS ########################## |
-vfmsubps Lpsx Wpsx Hpsx Vpsx, 0xc4 RXB.00011 0.src.L.01 0x6c, Fn8000_0001_ECX_FMA4 |
-vfmsubps Wpsx Lpsx Hpsx Vpsx, 0xc4 RXB.00011 1.src.L.01 0x6c, Fn8000_0001_ECX_FMA4 |
-vfmsub132ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0x9a, Fn8000_0001_ECX_FMA |
-vfmsub213ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xaa, Fn8000_0001_ECX_FMA |
-vfmsub231ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xba, Fn8000_0001_ECX_FMA |
-######## VFMSUBSD/VFMSUB132SD/VFMSUB213SD/VFMSUB231SD ########################## |
-vfmsubsd Lsd Wsd Hsd Vsd, 0xc4 RXB.00011 0.src.x.01 0x6f, Fn8000_0001_ECX_FMA4 |
-vfmsubsd Wsd Lsd Hsd Vsd, 0xc4 RXB.00011 1.src.x.01 0x6f, Fn8000_0001_ECX_FMA4 |
-vfmsub132sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0x9b, Fn8000_0001_ECX_FMA |
-vfmsub213sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0xab, Fn8000_0001_ECX_FMA |
-vfmsub231sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0xbb, Fn8000_0001_ECX_FMA |
-######## VFMSUBSS/VFMSUB132SS/VFMSUB213SS/VFMSUB231SS ########################## |
-vfmsubss Lss Wss Hss Vss, 0xc4 RXB.00011 0.src.x.01 0x6e, Fn8000_0001_ECX_FMA4 |
-vfmsubss Wss Lss Hss Vss, 0xc4 RXB.00011 1.src.x.01 0x6e, Fn8000_0001_ECX_FMA4 |
-vfmsub132ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0x9b, Fn8000_0001_ECX_FMA |
-vfmsub213ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0xab, Fn8000_0001_ECX_FMA |
-vfmsub231ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0xbb, Fn8000_0001_ECX_FMA |
-######## VFNMADDPD/VFNMADD132PD/VFNMADD213PD/VFNMADD231PD ###################### |
-vfnmaddpd Lpdx Wpdx Hpdx Vpdx, 0xc4 RXB.00011 0.src.L.01 0x79, Fn8000_0001_ECX_FMA4 |
-vfnmaddpd Wpdx Lpdx Hpdx Vpdx, 0xc4 RXB.00011 1.src.L.01 0x79, Fn8000_0001_ECX_FMA4 |
-vfnmadd132pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0x9c, Fn8000_0001_ECX_FMA |
-vfnmadd213pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xac, Fn8000_0001_ECX_FMA |
-vfnmadd231pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xbc, Fn8000_0001_ECX_FMA |
-######## VFNMADDPS/VFNMADD132PS/VFNMADD213PS/VFNMADD231PS ###################### |
-vfnmaddps Lpsx Wpsx Hpsx Vpsx, 0xc4 RXB.00011 0.src.L.01 0x78, Fn8000_0001_ECX_FMA4 |
-vfnmaddps Wpsx Lpsx Hpsx Vpsx, 0xc4 RXB.00011 1.src.L.01 0x78, Fn8000_0001_ECX_FMA4 |
-vfnmadd132ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0x9c, Fn8000_0001_ECX_FMA |
-vfnmadd213ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xac, Fn8000_0001_ECX_FMA |
-vfnmadd231ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xbc, Fn8000_0001_ECX_FMA |
-######## VFNMADDSD/VFNMADD132SD/VFNMADD213SD/VFNMADD231SD ########################## |
-vfnmaddsd Lsd Wsd Hsd Vsd, 0xc4 RXB.00011 0.src.x.01 0x7b, Fn8000_0001_ECX_FMA4 |
-vfnmaddsd Wsd Lsd Hsd Vsd, 0xc4 RXB.00011 1.src.x.01 0x7b, Fn8000_0001_ECX_FMA4 |
-vfnmadd132sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0x9d, Fn8000_0001_ECX_FMA |
-vfnmadd213sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0xad, Fn8000_0001_ECX_FMA |
-vfnmadd231sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0xbd, Fn8000_0001_ECX_FMA |
-######## VFMADDSS/VFMADD132SS/VFMADD213SS/VFMADD231SS ########################## |
-vfnmaddss Lss Wss Hss Vss, 0xc4 RXB.00011 0.src.x.01 0x7a, Fn8000_0001_ECX_FMA4 |
-vfnmaddss Wss Lss Hss Vss, 0xc4 RXB.00011 1.src.x.01 0x7a, Fn8000_0001_ECX_FMA4 |
-vfnmadd132ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0x9d, Fn8000_0001_ECX_FMA |
-vfnmadd213ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0xad, Fn8000_0001_ECX_FMA |
-vfnmadd231ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0xbd, Fn8000_0001_ECX_FMA |
-######## VFNMSUBPD/VFNMSUB132PD/VFNMSUB213PD/VFNMSUB231PD ###################### |
-vfnmsubpd Lpdx Wpdx Hpdx Vpdx, 0xc4 RXB.00011 0.src.L.01 0x7d, Fn8000_0001_ECX_FMA4 |
-vfnmsubpd Wpdx Lpdx Hpdx Vpdx, 0xc4 RXB.00011 1.src.L.01 0x7d, Fn8000_0001_ECX_FMA4 |
-vfnmsub132pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0x9e, Fn8000_0001_ECX_FMA |
-vfnmsub213pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xae, Fn8000_0001_ECX_FMA |
-vfnmsub231pd Wpdx Hpdx Vpdx, 0xc4 RXB.00010 1.src.L.01 0xbe, Fn8000_0001_ECX_FMA |
-######## VFNMSUBPS/VFNMSUB132PS/VFNMSUB213PS/VFNMSUB231PS ###################### |
-vfnmsubps Lpsx Wpsx Hpsx Vpsx, 0xc4 RXB.00011 0.src.L.01 0x7c, Fn8000_0001_ECX_FMA4 |
-vfnmsubps Wpsx Lpsx Hpsx Vpsx, 0xc4 RXB.00011 1.src.L.01 0x7c, Fn8000_0001_ECX_FMA4 |
-vfnmsub132ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0x9e, Fn8000_0001_ECX_FMA |
-vfnmsub213ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xae, Fn8000_0001_ECX_FMA |
-vfnmsub231ps Wpsx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0xbe, Fn8000_0001_ECX_FMA |
-######## VFNMSUBSD/VFNMSUB132SD/VFNMSUB213SD/VFNMSUB231SD ########################## |
-vfnmsubsd Lsd Wsd Hsd Vsd, 0xc4 RXB.00011 0.src.x.01 0x7f, Fn8000_0001_ECX_FMA4 |
-vfnmsubsd Wsd Lsd Hsd Vsd, 0xc4 RXB.00011 1.src.x.01 0x7f, Fn8000_0001_ECX_FMA4 |
-vfnmsub132sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0x9f, Fn8000_0001_ECX_FMA |
-vfnmsub213sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0xaf, Fn8000_0001_ECX_FMA |
-vfnmsub231sd Wsd Hsd Vsd, 0xc4 RXB.00010 1.src.x.01 0xbf, Fn8000_0001_ECX_FMA |
-######## VFMSUBSS/VFMSUB132SS/VFMSUB213SS/VFMSUB231SS ########################## |
-vfnmsubss Lss Wss Hss Vss, 0xc4 RXB.00011 0.src.x.01 0x7e, Fn8000_0001_ECX_FMA4 |
-vfnmsubss Wss Lss Hss Vss, 0xc4 RXB.00011 1.src.x.01 0x7e, Fn8000_0001_ECX_FMA4 |
-vfnmsub132ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0x9f, Fn8000_0001_ECX_FMA |
-vfnmsub213ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0xaf, Fn8000_0001_ECX_FMA |
-vfnmsub231ss Wss Hss Vss, 0xc4 RXB.00010 0.src.x.01 0xbf, Fn8000_0001_ECX_FMA |
-######## VFRCZPD ############################################################### |
-vfrczpd Wpdx Vpdx, 0x8f RXB.01001 0.1111.L.00 0x81, Fn8000_0001_ECX_XOP |
-######## VFRCZPS ############################################################### |
-vfrczps Wpsx Vpsx, 0x8f RXB.01001 0.1111.L.00 0x80, Fn8000_0001_ECX_XOP |
-######## VFRCZSD ############################################################### |
-vfrczsd Wsd Vsd, 0x8f RXB.01001 0.1111.0.00 0x83, Fn8000_0001_ECX_XOP |
-######## VFRCZSS ############################################################### |
-vfrczss Wss Vss, 0x8f RXB.01001 0.1111.0.00 0x82, Fn8000_0001_ECX_XOP |
-######## VINSERTF128 ########################################################## |
-vinsertf128 Ib Wo Hdo Vdo, 0xc4 RXB.00011 0.1111.1.01 0x18, Fn0000_0001_ECX_AVX |
-######## VMASKMOVPD ########################################################### |
-vmaskmovpd Mpdx Hx Vpdx, 0xc4 RXB.00010 0.src.L.01 0x2d, Fn0000_0001_ECX_AVX |
-vmaskmovpd Vpdx Hx Mpdx, 0xc4 RXB.00010 0.src.L.01 0x2f, Fn0000_0001_ECX_AVX |
-######## VMASKMOVPS ########################################################### |
-vmaskmovps Mpdx Hx Vpdx, 0xc4 RXB.00010 0.src.L.01 0x2c, Fn0000_0001_ECX_AVX |
-vmaskmovps Vpdx Hx Mpdx, 0xc4 RXB.00010 0.src.L.01 0x2e, Fn0000_0001_ECX_AVX |
-######## VPCMOV ################################################################ |
-vpcmov Lx Wx Hx Vx, 0x8f RXB.01000 0.src.L.00 0xa2, Fn8000_0001_ECX_XOP |
-vpcmov Wx Lx Hx Vx, 0x8f RXB.01000 1.src.L.00 0xa2, Fn8000_0001_ECX_XOP |
-######## VPCOMB ################################################################ |
-vpcomb Ib Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xcc, Fn8000_0001_ECX_XOP |
-######## VPCOMD ################################################################ |
-vpcomd Ib Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xce, Fn8000_0001_ECX_XOP |
-######## VPCOMQ ################################################################ |
-vpcomq Ib Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xcf, Fn8000_0001_ECX_XOP |
-######## VPCOMUB ############################################################### |
-vpcomub Ib Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xec, Fn8000_0001_ECX_XOP |
-######## VPCOMUD ############################################################### |
-vpcomud Ib Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xee, Fn8000_0001_ECX_XOP |
-######## VPCOMUQ ############################################################### |
-vpcomuq Ib Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xef, Fn8000_0001_ECX_XOP |
-######## VPCOMUW ############################################################### |
-vpcomuw Ib Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xed, Fn8000_0001_ECX_XOP |
-######## VPCOMW ################################################################ |
-vpcomw Ib Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xcd, Fn8000_0001_ECX_XOP |
-######## VPERM2F128 ############################################################ |
-vperm2f128 Ib Wdo Hdo Vdo, 0xc4 RXB.00011 0.src.1.01 0x06, Fn0000_0001_ECX_AVX |
-######## VPERMIL2PD ############################################################ |
-vpermil2pd I2 Lpdx Wpdx Hpdx Vpdx, 0xc4 RXB.00011 0.src.L.01 0x49, Fn8000_0001_ECX_XOP |
-vpermil2pd I2 Wpdx Lpdx Hpdx Vpdx, 0xc4 RXB.00011 1.src.L.01 0x49, Fn8000_0001_ECX_XOP |
-######## VPERMIL2PS ############################################################ |
-vpermil2ps I2 Lpsx Wpsx Hpsx Vpsx, 0xc4 RXB.00011 0.src.L.01 0x48, Fn8000_0001_ECX_XOP |
-vpermil2ps I2 Wpsx Lpsx Hpsx Vpsx, 0xc4 RXB.00011 1.src.L.01 0x48, Fn8000_0001_ECX_XOP |
-######## VPERMILPD ############################################################# |
-vpermilpd Wpqwx Hpdx Vpdx, 0xc4 RXB.00010 0.src.L.01 0x0d, Fn0000_0001_ECX_AVX |
-vpermilpd Ib Wpdx Vpdx, 0xc4 RXB.00011 0.1111.L.01 0x05, Fn0000_0001_ECX_AVX |
-######## VPERMILPS ############################################################# |
-vpermilps Wpdwx Hpsx Vpsx, 0xc4 RXB.00010 0.src.L.01 0x0c, Fn0000_0001_ECX_AVX |
-vpermilps Ib Wpsx Vpsx, 0xc4 RXB.00011 0.1111.L.01 0x04, Fn0000_0001_ECX_AVX |
-######## VPHADDBD ############################################################## |
-vphaddbd Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xc2, Fn8000_0001_ECX_XOP |
-######## VPHADDBQ ############################################################## |
-vphaddbq Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xc3, Fn8000_0001_ECX_XOP |
-######## VPHADDBW ############################################################## |
-vphaddbw Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xc1, Fn8000_0001_ECX_XOP |
-######## VPHADDDQ ############################################################## |
-vphadddq Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xcb, Fn8000_0001_ECX_XOP |
-######## VPHADDUBD ############################################################# |
-vphaddubd Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xd2, Fn8000_0001_ECX_XOP |
-######## VPHADDUBQ ############################################################# |
-vphaddubq Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xd3, Fn8000_0001_ECX_XOP |
-######## VPHADDUBW ############################################################# |
-vphaddubw Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xd1, Fn8000_0001_ECX_XOP |
-######## VPHADDUDQ ############################################################# |
-vphaddudq Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xdb, Fn8000_0001_ECX_XOP |
-######## VPHADDUWD ############################################################# |
-vphadduwd Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xd6, Fn8000_0001_ECX_XOP |
-######## VPHADDUWQ ############################################################# |
-vphadduwq Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xd7, Fn8000_0001_ECX_XOP |
-######## VPHADDWD ############################################################## |
-vphaddwd Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xc6, Fn8000_0001_ECX_XOP |
-######## VPHADDWQ ############################################################## |
-vphaddwq Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xc7, Fn8000_0001_ECX_XOP |
-######## VPHSUBBW ############################################################## |
-vphsubbw Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xe1, Fn8000_0001_ECX_XOP |
-######## VPHSUBDQ ############################################################## |
-vphsubdq Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xe3, Fn8000_0001_ECX_XOP |
-######## VPHSUBWD ############################################################## |
-vphsubwd Wo Vo, 0x8f RXB.01001 0.1111.0.00 0xe2, Fn8000_0001_ECX_XOP |
-######## VPMACSDD ############################################################## |
-vpmacsdd Lpj Wpj Hpj Vpj, 0x8f RXB.01000 0.src.0.00 0x9e, Fn8000_0001_ECX_XOP |
-######## VPMACSDQH ############################################################# |
-vpmacsdqh Lo Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0x9f, Fn8000_0001_ECX_XOP |
-######## VPMACSDQL ############################################################# |
-vpmacsdql Lo Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0x97, Fn8000_0001_ECX_XOP |
-######## VPMACSSDD ############################################################# |
-vpmacssdd Lpj Wpj Hpj Vpj, 0x8f RXB.01000 0.src.0.00 0x8e, Fn8000_0001_ECX_XOP |
-######## VPMACSSDQH ############################################################ |
-vpmacssdqh Lo Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0x8f, Fn8000_0001_ECX_XOP |
-######## VPMACSSDQL ############################################################ |
-vpmacssdql Lo Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0x87, Fn8000_0001_ECX_XOP |
-######## VPMACSSWD ############################################################# |
-vpmacsswd Lo Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0x86, Fn8000_0001_ECX_XOP |
-######## VPMACSSWW ############################################################# |
-vpmacssww Lpi Wpi Hpi Vpi, 0x8f RXB.01000 0.src.0.00 0x85, Fn8000_0001_ECX_XOP |
-######## VPMACSWD ############################################################## |
-vpmacswd Lo Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0x96, Fn8000_0001_ECX_XOP |
-######## VPMACSWW ############################################################## |
-vpmacsww Lpi Wpi Hpi Vpi, 0x8f RXB.01000 0.src.0.00 0x95, Fn8000_0001_ECX_XOP |
-######## VPMADCSSWD ############################################################ |
-vpmadcsswd Lo Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xa6, Fn8000_0001_ECX_XOP |
-######## VPMADCSWD ############################################################# |
-vpmadcswd Lo Wo Ho Vo, 0x8f RXB.01000 0.src.0.00 0xb6, Fn8000_0001_ECX_XOP |
-######## VPPERM ################################################################ |
-vpperm Lpb Wpb Hpb Vpb, 0x8f RXB.01000 0.src.0.00 0xa3, Fn8000_0001_ECX_XOP |
-vpperm Wpb Lpb Hpb Vpb, 0x8f RXB.01000 1.src.0.00 0xa3, Fn8000_0001_ECX_XOP |
-######## VPROTB ################################################################ |
-vprotb Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x90, Fn8000_0001_ECX_XOP |
-vprotb Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x90, Fn8000_0001_ECX_XOP |
-vprotb Ib Wo Vo, 0x8f RXB.01000 0.1111.0.00 0xc0, Fn8000_0001_ECX_XOP |
-######## VPROTD ################################################################ |
-vprotd Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x92, Fn8000_0001_ECX_XOP |
-vprotd Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x92, Fn8000_0001_ECX_XOP |
-vprotd Ib Wo Vo, 0x8f RXB.01000 0.1111.0.00 0xc2, Fn8000_0001_ECX_XOP |
-######## VPROTQ ################################################################ |
-vprotq Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x93, Fn8000_0001_ECX_XOP |
-vprotq Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x93, Fn8000_0001_ECX_XOP |
-vprotq Ib Wo Vo, 0x8f RXB.01000 0.1111.0.00 0xc3, Fn8000_0001_ECX_XOP |
-######## VPROTW ################################################################ |
-vprotw Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x91, Fn8000_0001_ECX_XOP |
-vprotw Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x91, Fn8000_0001_ECX_XOP |
-vprotw Ib Wo Vo, 0x8f RXB.01000 0.1111.0.00 0xc1, Fn8000_0001_ECX_XOP |
-######## VPSHAB ################################################################ |
-vpshab Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x98, Fn8000_0001_ECX_XOP |
-vpshab Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x98, Fn8000_0001_ECX_XOP |
-######## VPSHAD ################################################################ |
-vpshad Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x9a, Fn8000_0001_ECX_XOP |
-vpshad Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x9a, Fn8000_0001_ECX_XOP |
-######## VPSHAQ ################################################################ |
-vpshaq Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x9b, Fn8000_0001_ECX_XOP |
-vpshaq Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x9b, Fn8000_0001_ECX_XOP |
-######## VPSHAW ################################################################ |
-vpshaw Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x99, Fn8000_0001_ECX_XOP |
-vpshaw Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x99, Fn8000_0001_ECX_XOP |
-######## VPSHLB ################################################################ |
-vpshlb Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x94, Fn8000_0001_ECX_XOP |
-vpshlb Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x94, Fn8000_0001_ECX_XOP |
-######## VPSHLD ################################################################ |
-vpshld Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x96, Fn8000_0001_ECX_XOP |
-vpshld Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x96, Fn8000_0001_ECX_XOP |
-######## VPSHLQ ################################################################ |
-vpshlq Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x97, Fn8000_0001_ECX_XOP |
-vpshlq Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x97, Fn8000_0001_ECX_XOP |
-######## VPSHLW ################################################################ |
-vpshlw Ho Wo Vo, 0x8f RXB.01001 0.src.0.00 0x95, Fn8000_0001_ECX_XOP |
-vpshlw Wo Ho Vo, 0x8f RXB.01001 1.src.0.00 0x95, Fn8000_0001_ECX_XOP |
-######## VTESTPD ############################################################### |
-vtestpd Wpdx Vpdx, 0xc4 RXB.00010 0.1111.L.01 0x0f, Fn0000_0001_ECX_AVX |
-######## VTESTPS ############################################################### |
-vtestps Wpsx Vpsx, 0xc4 RXB.00010 0.1111.L.01 0x0e, Fn0000_0001_ECX_AVX |
-######## VZEROALL ############################################################## |
-vzeroall, 0xc4 RXB.00001 x.1111.1.00 0x77, Fn0000_0001_ECX_AVX |
-######## VZEROUPPER ############################################################ |
-vzeroupper, 0xc4 RXB.00001 x.1111.0.00 0x77, Fn0000_0001_ECX_AVX |
-######## XORPD/VXORPD ########################################################## |
-xorpd Wpd Vpd, 0x66 0x0f 0x57, Fn0000_0001_EDX_SSE2 |
-vxorpd Wpdx Hpdx Vpdx, 0xc4 RXB.00001 x.src.L.01 0x57, Fn0000_0001_ECX_AVX |
-######## XORPS/VXORPS ########################################################## |
-xorps Wpd Vpd, 0x0f 0x57, Fn0000_0001_EDX_SSE1 |
-vxorps Wpsx Hpsx Vpsx, 0xc4 RXB.00001 x.src.L.00 0x57, Fn0000_0001_ECX_AVX |
-######## XGETBV ################################################################ |
-xgetbv, 0x0f 0x01 0xd0, Fn0000_0001_ECX_XSAVE |
-######## XRSTOR ################################################################ |
-xrstor Msx, 0x0f 0xae /5, Fn0000_0001_ECX_XSAVE |
-######## XSAVE ################################################################# |
-xsave Msx, 0x0f 0xae /4, Fn0000_0001_ECX_XSAVE |
-######## XSAVEOPT ############################################################## |
-xsaveopt Msx, 0x0f 0xae /6, Fn0000_0001_ECX_XSAVE |
-######## XSETBV ################################################################ |
-xsetbv, 0x0f 0x01 0xd1, Fn0000_0001_ECX_XSAVE |
-################################################################################ |