T0b1/fadec
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

instrs: Remove non-existent VEX-encoded VPSRAVQ

Browse Source
This commit is contained in:
Alexis Engelke
2022-12-26 18:41:19 +01:00
parent 4efe60ffa8
commit 6a0db935f5
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
decode-test.c
View File

@@ -685,6 +685,12 @@ main(int argc, char** argv)
TEST("\xc5\xf5\xf3\xc2", "vpsllq ymm0, ymm1, xmm2");
TEST32("\xc5\xf5\xf3\x00", "vpsllq ymm0, ymm1, xmmword ptr [eax]");
TEST64("\xc5\xf5\xf3\x00", "vpsllq ymm0, ymm1, xmmword ptr [rax]");
TEST("\xc4\xe2\x71\x47\xc2", "vpsllvd xmm0, xmm1, xmm2");
TEST("\xc4\xe2\xf1\x47\xc2", "vpsllvq xmm0, xmm1, xmm2");
TEST("\xc4\xe2\x71\x45\xc2", "vpsrlvd xmm0, xmm1, xmm2");
TEST("\xc4\xe2\xf1\x45\xc2", "vpsrlvq xmm0, xmm1, xmm2");
TEST("\xc4\xe2\x71\x46\xc2", "vpsravd xmm0, xmm1, xmm2");
TEST("\xc4\xe2\xf1\x46\xc2", "UD"); // VEX-encoded VPSRAVQ doesn't exist
TEST("\xc4\xe3\x79\x14\xc0\x00", "vpextrb eax, xmm0, 0x0");
TEST("\xc4\xe3\xf9\x14\xc0\x00", "vpextrb eax, xmm0, 0x0");

1
instrs.txt
View File

@@ -1155,7 +1155,6 @@ VEX.66.L0.0f3841 RM Vx Wx - - VPHMINPOSUW F=AVX
VEX.66.W0.0f3845 RVM Vx Hx Wx - VPSRLVD F=AVX2
VEX.66.W1.0f3845 RVM Vx Hx Wx - VPSRLVQ F=AVX2
VEX.66.W0.0f3846 RVM Vx Hx Wx - VPSRAVD F=AVX2
VEX.66.W1.0f3846 RVM Vx Hx Wx - VPSRAVQ F=AVX2
VEX.66.W0.0f3847 RVM Vx Hx Wx - VPSLLVD F=AVX2
VEX.66.W1.0f3847 RVM Vx Hx Wx - VPSLLVQ F=AVX2
VEX.66.W0.0f3858 RM Vx Wd - - VPBROADCASTD F=AVX2