From 6a0db935f572e929743f98e35f238a7f41bfd5be Mon Sep 17 00:00:00 2001 From: Alexis Engelke Date: Mon, 26 Dec 2022 18:41:19 +0100 Subject: [PATCH] instrs: Remove non-existent VEX-encoded VPSRAVQ --- decode-test.c | 6 ++++++ instrs.txt | 1 - 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/decode-test.c b/decode-test.c index e3f4033..1fb013f 100644 --- a/decode-test.c +++ b/decode-test.c @@ -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"); diff --git a/instrs.txt b/instrs.txt index 353b53d..7406466 100644 --- a/instrs.txt +++ b/instrs.txt @@ -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