instrs: Fix operands of VRCPPS/VSQRTP[SD]/VRSQRTPS

This commit is contained in:
Alexis Engelke
2021-01-23 14:39:48 +01:00
parent f17d84cee6
commit 103fc536b0
2 changed files with 5 additions and 4 deletions

View File

@@ -924,13 +924,13 @@ VEX.NP.LIG.0f2f RM XMM32 XMM32 - - VCOMISS
VEX.66.LIG.0f2f RM XMM64 XMM64 - - VCOMISD VEX.66.LIG.0f2f RM XMM64 XMM64 - - VCOMISD
VEX.NP.0f50/r RM GP XMM - - VMOVMSKPS DEF64 VEX.NP.0f50/r RM GP XMM - - VMOVMSKPS DEF64
VEX.66.0f50/r RM GP XMM - - VMOVMSKPD DEF64 VEX.66.0f50/r RM GP XMM - - VMOVMSKPD DEF64
VEX.NP.0f51 RVM XMM XMM XMM - VSQRTPS VEX.NP.0f51 RM XMM XMM - - VSQRTPS
VEX.66.0f51 RVM XMM XMM XMM - VSQRTPD VEX.66.0f51 RM XMM XMM - - VSQRTPD
VEX.F3.LIG.0f51 RVM XMM128 XMM128 XMM32 - VSQRTSS VEX.F3.LIG.0f51 RVM XMM128 XMM128 XMM32 - VSQRTSS
VEX.F2.LIG.0f51 RVM XMM128 XMM128 XMM64 - VSQRTSD VEX.F2.LIG.0f51 RVM XMM128 XMM128 XMM64 - VSQRTSD
VEX.NP.0f52 RVM XMM XMM XMM - VRSQRTPS VEX.NP.0f52 RM XMM XMM - - VRSQRTPS
VEX.F3.LIG.0f52 RVM XMM128 XMM128 XMM32 - VRSQRTSS VEX.F3.LIG.0f52 RVM XMM128 XMM128 XMM32 - VRSQRTSS
VEX.NP.0f53 RVM XMM XMM XMM - VRCPPS VEX.NP.0f53 RM XMM XMM - - VRCPPS
VEX.F3.LIG.0f53 RVM XMM128 XMM128 XMM32 - VRCPSS VEX.F3.LIG.0f53 RVM XMM128 XMM128 XMM32 - VRCPSS
VEX.NP.0f54 RVM XMM XMM XMM - VANDPS VEX.NP.0f54 RVM XMM XMM XMM - VANDPS
VEX.66.0f54 RVM XMM XMM XMM - VANDPD VEX.66.0f54 RVM XMM XMM XMM - VANDPD

View File

@@ -418,6 +418,7 @@ main(int argc, char** argv)
TEST("\xc5\xf2\x2a\xc0", "vcvtsi2ss xmm0, xmm1, eax"); TEST("\xc5\xf2\x2a\xc0", "vcvtsi2ss xmm0, xmm1, eax");
TEST32("\xc4\xe1\xf2\x2a\xc0", "vcvtsi2ss xmm0, xmm1, eax"); TEST32("\xc4\xe1\xf2\x2a\xc0", "vcvtsi2ss xmm0, xmm1, eax");
TEST64("\xc4\xe1\xf2\x2a\xc0", "vcvtsi2ss xmm0, xmm1, rax"); TEST64("\xc4\xe1\xf2\x2a\xc0", "vcvtsi2ss xmm0, xmm1, rax");
TEST("\xc5\xf8\x53\xc0", "vrcpps xmm0, xmm0");
TEST("\xc4\xe3\x79\x14\xc0\x00", "vpextrb eax, xmm0, 0x0"); TEST("\xc4\xe3\x79\x14\xc0\x00", "vpextrb eax, xmm0, 0x0");
TEST("\xc4\xe3\xf9\x14\xc0\x00", "vpextrb eax, xmm0, 0x0"); TEST("\xc4\xe3\xf9\x14\xc0\x00", "vpextrb eax, xmm0, 0x0");