Xen project Mailing List

[PATCH 03/10] x86emul: extend decoding / mem access testing to MMX / SSE insns

To: "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>

Date: Mon, 3 Aug 2020 16:50:58 +0200

Cc: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>

Delivery-date: Mon, 03 Aug 2020 14:51:03 +0000

List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

IOW just legacy encoded ones. For 3dNow! just one example is used, as they're all similar in nature both encoding- and operand-wise. Adjust a slightly misleading (but not wrong) memcpy() invocation, as noticed while further cloning that code. Rename pfx_none to pfx_no, so it can be used to improve readability / column alignment. Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx> --- a/tools/tests/x86_emulator/predicates.c +++ b/tools/tests/x86_emulator/predicates.c @@ -3,7 +3,7 @@ #include <stdio.h> enum mem_access { mem_none, mem_read, mem_write }; -enum pfx { pfx_none, pfx_66, pfx_f3, pfx_f2 }; +enum pfx { pfx_no, pfx_66, pfx_f3, pfx_f2 }; static const uint8_t prefixes[] = { 0x66, 0xf3, 0xf2 }; #define F false @@ -393,6 +393,30 @@ static const struct { { { 0x0d, 0x00 }, { 2, 2 }, F, N }, /* prefetch */ { { 0x0d, 0x08 }, { 2, 2 }, F, N }, /* prefetchw */ { { 0x0e }, { 1, 1 }, F, N }, /* femms */ + { { 0x0f, 0x00, 0x9e }, { 3, 3 }, T, R }, /* pfadd */ + { { 0x10 }, { 2, 2 }, T, R, pfx_no }, /* movups */ + { { 0x10 }, { 2, 2 }, T, R, pfx_66 }, /* movupd */ + { { 0x10 }, { 2, 2 }, T, R, pfx_f3 }, /* movss */ + { { 0x10 }, { 2, 2 }, T, R, pfx_f2 }, /* movsd */ + { { 0x11 }, { 2, 2 }, T, W, pfx_no }, /* movups */ + { { 0x11 }, { 2, 2 }, T, W, pfx_66 }, /* movupd */ + { { 0x11 }, { 2, 2 }, T, W, pfx_f3 }, /* movss */ + { { 0x11 }, { 2, 2 }, T, W, pfx_f2 }, /* movsd */ + { { 0x12 }, { 2, 2 }, T, R, pfx_no }, /* movlps / movhlps */ + { { 0x12 }, { 2, 2 }, F, R, pfx_66 }, /* movlpd */ + { { 0x12 }, { 2, 2 }, T, R, pfx_f3 }, /* movsldup */ + { { 0x12 }, { 2, 2 }, T, R, pfx_f2 }, /* movddup */ + { { 0x13 }, { 2, 2 }, F, W, pfx_no }, /* movlps */ + { { 0x13 }, { 2, 2 }, F, W, pfx_66 }, /* movlpd */ + { { 0x14 }, { 2, 2 }, T, R, pfx_no }, /* unpcklps */ + { { 0x14 }, { 2, 2 }, T, R, pfx_66 }, /* unpcklpd */ + { { 0x15 }, { 2, 2 }, T, R, pfx_no }, /* unpckhps */ + { { 0x15 }, { 2, 2 }, T, R, pfx_66 }, /* unpckhpd */ + { { 0x16 }, { 2, 2 }, T, R, pfx_no }, /* movhps / movlhps */ + { { 0x16 }, { 2, 2 }, F, R, pfx_66 }, /* movhpd */ + { { 0x16 }, { 2, 2 }, T, R, pfx_f3 }, /* movshdup */ + { { 0x17 }, { 2, 2 }, F, W, pfx_no }, /* movhps */ + { { 0x17 }, { 2, 2 }, F, W, pfx_66 }, /* movhpd */ { { 0x18, 0x00 }, { 2, 2 }, F, N }, /* prefetchnta */ { { 0x18, 0x08 }, { 2, 2 }, F, N }, /* prefetch0 */ { { 0x18, 0x10 }, { 2, 2 }, F, N }, /* prefetch1 */ @@ -414,6 +438,30 @@ static const struct { { { 0x21 }, { 2, 2 }, T, N }, /* mov */ { { 0x22 }, { 2, 2 }, T, N }, /* mov */ { { 0x23 }, { 2, 2 }, T, N }, /* mov */ + { { 0x28 }, { 2, 2 }, T, R, pfx_no }, /* movaps */ + { { 0x28 }, { 2, 2 }, T, R, pfx_66 }, /* movapd */ + { { 0x29 }, { 2, 2 }, T, W, pfx_no }, /* movaps */ + { { 0x29 }, { 2, 2 }, T, W, pfx_66 }, /* movapd */ + { { 0x2a }, { 2, 2 }, T, R, pfx_no }, /* cvtpi2ps */ + { { 0x2a }, { 2, 2 }, T, R, pfx_66 }, /* cvtpi2pd */ + { { 0x2a }, { 2, 2 }, T, R, pfx_f3 }, /* cvtsi2ss */ + { { 0x2a }, { 2, 2 }, T, R, pfx_f2 }, /* cvtsi2sd */ + { { 0x2b }, { 2, 2 }, T, W, pfx_no }, /* movntps */ + { { 0x2b }, { 2, 2 }, T, W, pfx_66 }, /* movntpd */ + { { 0x2b }, { 2, 2 }, T, W, pfx_f3 }, /* movntss */ + { { 0x2b }, { 2, 2 }, T, W, pfx_f2 }, /* movntsd */ + { { 0x2c }, { 2, 2 }, T, R, pfx_no }, /* cvttps2pi */ + { { 0x2c }, { 2, 2 }, T, R, pfx_66 }, /* cvttpd2pi */ + { { 0x2c }, { 2, 2 }, T, R, pfx_f3 }, /* cvttss2si */ + { { 0x2c }, { 2, 2 }, T, R, pfx_f2 }, /* cvttsd2si */ + { { 0x2d }, { 2, 2 }, T, R, pfx_no }, /* cvtps2pi */ + { { 0x2d }, { 2, 2 }, T, R, pfx_66 }, /* cvtpd2pi */ + { { 0x2d }, { 2, 2 }, T, R, pfx_f3 }, /* cvtss2si */ + { { 0x2d }, { 2, 2 }, T, R, pfx_f2 }, /* cvtsd2si */ + { { 0x2e }, { 2, 2 }, T, R, pfx_no }, /* ucomiss */ + { { 0x2e }, { 2, 2 }, T, R, pfx_66 }, /* ucomisd */ + { { 0x2f }, { 2, 2 }, T, R, pfx_no }, /* comiss */ + { { 0x2f }, { 2, 2 }, T, R, pfx_66 }, /* comisd */ { { 0x30 }, { 1, 1 }, F, N }, /* wrmsr */ { { 0x31 }, { 1, 1 }, F, N }, /* rdtsc */ { { 0x32 }, { 1, 1 }, F, N }, /* rdmsr */ @@ -421,8 +469,131 @@ static const struct { { { 0x34 }, { 1, 1 }, F, N }, /* sysenter */ { { 0x35 }, { 1, 1 }, F, N }, /* sysexit */ CND(0x40, { 2, 2 }, T, R ), /* cmov<cc> */ + { { 0x50, 0xc0 }, { 2, 2 }, F, N, pfx_no }, /* movmskps */ + { { 0x50, 0xc0 }, { 2, 2 }, F, N, pfx_66 }, /* movmskpd */ + { { 0x51 }, { 2, 2 }, T, R, pfx_no }, /* sqrtps */ + { { 0x51 }, { 2, 2 }, T, R, pfx_66 }, /* sqrtpd */ + { { 0x51 }, { 2, 2 }, T, R, pfx_f3 }, /* sqrtss */ + { { 0x51 }, { 2, 2 }, T, R, pfx_f2 }, /* sqrtsd */ + { { 0x52 }, { 2, 2 }, T, R, pfx_no }, /* rsqrtps */ + { { 0x52 }, { 2, 2 }, T, R, pfx_f3 }, /* rsqrtss */ + { { 0x53 }, { 2, 2 }, T, R, pfx_no }, /* rcpps */ + { { 0x53 }, { 2, 2 }, T, R, pfx_f3 }, /* rcpss */ + { { 0x54 }, { 2, 2 }, T, R, pfx_no }, /* andps */ + { { 0x54 }, { 2, 2 }, T, R, pfx_66 }, /* andpd */ + { { 0x55 }, { 2, 2 }, T, R, pfx_no }, /* andnps */ + { { 0x55 }, { 2, 2 }, T, R, pfx_66 }, /* andnpd */ + { { 0x56 }, { 2, 2 }, T, R, pfx_no }, /* orps */ + { { 0x56 }, { 2, 2 }, T, R, pfx_66 }, /* orpd */ + { { 0x57 }, { 2, 2 }, T, R, pfx_no }, /* xorps */ + { { 0x57 }, { 2, 2 }, T, R, pfx_66 }, /* xorpd */ + { { 0x58 }, { 2, 2 }, T, R, pfx_no }, /* addps */ + { { 0x58 }, { 2, 2 }, T, R, pfx_66 }, /* addpd */ + { { 0x58 }, { 2, 2 }, T, R, pfx_f3 }, /* addss */ + { { 0x58 }, { 2, 2 }, T, R, pfx_f2 }, /* addsd */ + { { 0x59 }, { 2, 2 }, T, R, pfx_no }, /* mulps */ + { { 0x59 }, { 2, 2 }, T, R, pfx_66 }, /* mulpd */ + { { 0x59 }, { 2, 2 }, T, R, pfx_f3 }, /* mulss */ + { { 0x59 }, { 2, 2 }, T, R, pfx_f2 }, /* mulsd */ + { { 0x5a }, { 2, 2 }, T, R, pfx_no }, /* cvtps2pd */ + { { 0x5a }, { 2, 2 }, T, R, pfx_66 }, /* cvtpd2ps */ + { { 0x5a }, { 2, 2 }, T, R, pfx_f3 }, /* cvtss2sd */ + { { 0x5a }, { 2, 2 }, T, R, pfx_f2 }, /* cvtsd2ss */ + { { 0x5b }, { 2, 2 }, T, R, pfx_no }, /* cvtdq2ps */ + { { 0x5b }, { 2, 2 }, T, R, pfx_66 }, /* cvtps2dq */ + { { 0x5b }, { 2, 2 }, T, R, pfx_f3 }, /* cvttps2dq */ + { { 0x5c }, { 2, 2 }, T, R, pfx_no }, /* subps */ + { { 0x5c }, { 2, 2 }, T, R, pfx_66 }, /* subpd */ + { { 0x5c }, { 2, 2 }, T, R, pfx_f3 }, /* subss */ + { { 0x5c }, { 2, 2 }, T, R, pfx_f2 }, /* subsd */ + { { 0x5d }, { 2, 2 }, T, R, pfx_no }, /* minps */ + { { 0x5d }, { 2, 2 }, T, R, pfx_66 }, /* minpd */ + { { 0x5d }, { 2, 2 }, T, R, pfx_f3 }, /* minss */ + { { 0x5d }, { 2, 2 }, T, R, pfx_f2 }, /* minsd */ + { { 0x5e }, { 2, 2 }, T, R, pfx_no }, /* divps */ + { { 0x5e }, { 2, 2 }, T, R, pfx_66 }, /* divpd */ + { { 0x5e }, { 2, 2 }, T, R, pfx_f3 }, /* divss */ + { { 0x5e }, { 2, 2 }, T, R, pfx_f2 }, /* divsd */ + { { 0x5f }, { 2, 2 }, T, R, pfx_no }, /* maxps */ + { { 0x5f }, { 2, 2 }, T, R, pfx_66 }, /* maxpd */ + { { 0x5f }, { 2, 2 }, T, R, pfx_f3 }, /* maxss */ + { { 0x5f }, { 2, 2 }, T, R, pfx_f2 }, /* maxsd */ + { { 0x60 }, { 2, 2 }, T, R, pfx_no }, /* punpcklbw */ + { { 0x60 }, { 2, 2 }, T, R, pfx_66 }, /* punpcklbw */ + { { 0x61 }, { 2, 2 }, T, R, pfx_no }, /* punpcklwd */ + { { 0x61 }, { 2, 2 }, T, R, pfx_66 }, /* punpcklwd */ + { { 0x62 }, { 2, 2 }, T, R, pfx_no }, /* punpckldq */ + { { 0x62 }, { 2, 2 }, T, R, pfx_66 }, /* punpckldq */ + { { 0x63 }, { 2, 2 }, T, R, pfx_no }, /* packsswb */ + { { 0x63 }, { 2, 2 }, T, R, pfx_66 }, /* packsswb */ + { { 0x64 }, { 2, 2 }, T, R, pfx_no }, /* pcmpgtb */ + { { 0x64 }, { 2, 2 }, T, R, pfx_66 }, /* pcmpgtb */ + { { 0x65 }, { 2, 2 }, T, R, pfx_no }, /* pcmpgtw */ + { { 0x65 }, { 2, 2 }, T, R, pfx_66 }, /* pcmpgtw */ + { { 0x66 }, { 2, 2 }, T, R, pfx_no }, /* pcmpgtd */ + { { 0x66 }, { 2, 2 }, T, R, pfx_66 }, /* pcmpgtd */ + { { 0x67 }, { 2, 2 }, T, R, pfx_no }, /* packuswb */ + { { 0x67 }, { 2, 2 }, T, R, pfx_66 }, /* packuswb */ + { { 0x68 }, { 2, 2 }, T, R, pfx_no }, /* punpckhbw */ + { { 0x68 }, { 2, 2 }, T, R, pfx_66 }, /* punpckhbw */ + { { 0x69 }, { 2, 2 }, T, R, pfx_no }, /* punpckhwd */ + { { 0x69 }, { 2, 2 }, T, R, pfx_66 }, /* punpckhwd */ + { { 0x6a }, { 2, 2 }, T, R, pfx_no }, /* punpckhdq */ + { { 0x6a }, { 2, 2 }, T, R, pfx_66 }, /* punpckhdq */ + { { 0x6b }, { 2, 2 }, T, R, pfx_no }, /* packssdw */ + { { 0x6b }, { 2, 2 }, T, R, pfx_66 }, /* packssdw */ + { { 0x6c }, { 2, 2 }, T, R, pfx_66 }, /* punpcklqdq */ + { { 0x6d }, { 2, 2 }, T, R, pfx_66 }, /* punpckhqdq */ + { { 0x6e }, { 2, 2 }, T, R, pfx_no }, /* movd */ + { { 0x6e }, { 2, 2 }, T, R, pfx_66 }, /* movd */ + { { 0x6f }, { 2, 2 }, T, R, pfx_no }, /* movq */ + { { 0x6f }, { 2, 2 }, T, R, pfx_66 }, /* movdqa */ + { { 0x6f }, { 2, 2 }, T, R, pfx_f3 }, /* movdqu */ + { { 0x70 }, { 3, 3 }, T, R, pfx_no }, /* pshufw */ + { { 0x70 }, { 3, 3 }, T, R, pfx_66 }, /* pshufd */ + { { 0x70 }, { 3, 3 }, T, R, pfx_f3 }, /* pshuflw */ + { { 0x70 }, { 3, 3 }, T, R, pfx_f2 }, /* pshufhw */ + { { 0x71, 0xd0 }, { 3, 3 }, F, N, pfx_no }, /* psrlw */ + { { 0x71, 0xd0 }, { 3, 3 }, F, N, pfx_66 }, /* psrlw */ + { { 0x71, 0xe0 }, { 3, 3 }, F, N, pfx_no }, /* psraw */ + { { 0x71, 0xe0 }, { 3, 3 }, F, N, pfx_66 }, /* psraw */ + { { 0x71, 0xf0 }, { 3, 3 }, F, N, pfx_no }, /* psllw */ + { { 0x71, 0xf0 }, { 3, 3 }, F, N, pfx_66 }, /* psllw */ + { { 0x72, 0xd0 }, { 3, 3 }, F, N, pfx_no }, /* psrld */ + { { 0x72, 0xd0 }, { 3, 3 }, F, N, pfx_66 }, /* psrld */ + { { 0x72, 0xe0 }, { 3, 3 }, F, N, pfx_no }, /* psrad */ + { { 0x72, 0xe0 }, { 3, 3 }, F, N, pfx_66 }, /* psrad */ + { { 0x72, 0xf0 }, { 3, 3 }, F, N, pfx_no }, /* pslld */ + { { 0x72, 0xf0 }, { 3, 3 }, F, N, pfx_66 }, /* pslld */ + { { 0x73, 0xd0 }, { 3, 3 }, F, N, pfx_no }, /* psrlq */ + { { 0x73, 0xd0 }, { 3, 3 }, F, N, pfx_66 }, /* psrlq */ + { { 0x73, 0xd8 }, { 3, 3 }, F, N, pfx_66 }, /* psrldq */ + { { 0x73, 0xf0 }, { 3, 3 }, F, N, pfx_no }, /* psllq */ + { { 0x73, 0xf0 }, { 3, 3 }, F, N, pfx_66 }, /* psllq */ + { { 0x73, 0xf8 }, { 3, 3 }, F, N, pfx_66 }, /* pslldq */ + { { 0x74 }, { 2, 2 }, T, R, pfx_no }, /* pcmpeqb */ + { { 0x74 }, { 2, 2 }, T, R, pfx_66 }, /* pcmpeqb */ + { { 0x75 }, { 2, 2 }, T, R, pfx_no }, /* pcmpeqw */ + { { 0x75 }, { 2, 2 }, T, R, pfx_66 }, /* pcmpeqw */ + { { 0x76 }, { 2, 2 }, T, R, pfx_no }, /* pcmpeqd */ + { { 0x76 }, { 2, 2 }, T, R, pfx_66 }, /* pcmpeqd */ + { { 0x77 }, { 1, 1 }, F, N }, /* emms */ /*{ 0x78 }, { 2, 2 }, T, W }, vmread */ + { { 0x78, 0xc0 }, { 4, 4 }, F, N, pfx_66 }, /* extrq */ + { { 0x78, 0xc0 }, { 4, 4 }, F, N, pfx_f2 }, /* insertq */ { { 0x79 }, { 2, 2 }, T, R }, /* vmwrite */ + { { 0x79, 0xc0 }, { 2, 2 }, F, N, pfx_66 }, /* extrq */ + { { 0x79, 0xc0 }, { 2, 2 }, F, N, pfx_f2 }, /* insertq */ + { { 0x7c }, { 2, 2 }, T, R, pfx_66 }, /* haddpd */ + { { 0x7c }, { 2, 2 }, T, R, pfx_f2 }, /* haddps */ + { { 0x7d }, { 2, 2 }, T, R, pfx_66 }, /* hsubpd */ + { { 0x7d }, { 2, 2 }, T, R, pfx_f2 }, /* hsubps */ + { { 0x7e }, { 2, 2 }, T, W, pfx_no }, /* movd */ + { { 0x7e }, { 2, 2 }, T, W, pfx_66 }, /* movd */ + { { 0x7e }, { 2, 2 }, T, R, pfx_f3 }, /* movq */ + { { 0x7f }, { 2, 2 }, T, W, pfx_no }, /* movq */ + { { 0x7f }, { 2, 2 }, T, W, pfx_66 }, /* movdqa */ + { { 0x7f }, { 2, 2 }, T, W, pfx_f3 }, /* movdqu */ CND(0x80, { 5, 5 }, F, N ), /* j<cc> */ CND(0x90, { 2, 2 }, T, W ), /* set<cc> */ { { 0xa0 }, { 1, 1 }, F, W }, /* push %fs */ @@ -484,7 +655,17 @@ static const struct { { { 0xbf }, { 2, 2 }, F, R }, /* movsx */ { { 0xc0 }, { 2, 2 }, F, W }, /* xadd */ { { 0xc1 }, { 2, 2 }, F, W }, /* xadd */ + { { 0xc2 }, { 3, 3 }, T, R, pfx_no }, /* cmpps */ + { { 0xc2 }, { 3, 3 }, T, R, pfx_66 }, /* cmppd */ + { { 0xc2 }, { 3, 3 }, T, R, pfx_f3 }, /* cmpss */ + { { 0xc2 }, { 3, 3 }, T, R, pfx_f2 }, /* cmpsd */ { { 0xc3 }, { 2, 2 }, F, W }, /* movnti */ + { { 0xc4 }, { 3, 3 }, T, R, pfx_no }, /* pinsrw */ + { { 0xc4 }, { 3, 3 }, T, R, pfx_66 }, /* pinsrw */ + { { 0xc5, 0xc0 }, { 3, 3 }, F, N, pfx_no }, /* pextrw */ + { { 0xc5, 0xc0 }, { 3, 3 }, F, N, pfx_66 }, /* pextrw */ + { { 0xc6 }, { 3, 3 }, T, R, pfx_no }, /* shufps */ + { { 0xc6 }, { 3, 3 }, T, R, pfx_66 }, /* shufpd */ { { 0xc7, 0x08 }, { 2, 2 }, F, W }, /* cmpxchg8b */ { { 0xc7, 0x18 }, { 2, 2 }, F, R }, /* xrstors */ { { 0xc7, 0x20 }, { 2, 2 }, F, W }, /* xsavec */ @@ -497,11 +678,179 @@ static const struct { { { 0xc7, 0xf8 }, { 2, 2 }, F, N }, /* rdseed */ { { 0xc7, 0xf8 }, { 2, 2 }, F, N, pfx_f3 }, /* rdpid */ REG(0xc8, { 1, 1 }, F, N ), /* bswap */ + { { 0xd0 }, { 2, 2 }, T, R, pfx_66 }, /* addsubpd */ + { { 0xd0 }, { 2, 2 }, T, R, pfx_f2 }, /* addsubps */ + { { 0xd1 }, { 2, 2 }, T, R, pfx_no }, /* psrlw */ + { { 0xd1 }, { 2, 2 }, T, R, pfx_66 }, /* psrlw */ + { { 0xd2 }, { 2, 2 }, T, R, pfx_no }, /* psrld */ + { { 0xd2 }, { 2, 2 }, T, R, pfx_66 }, /* psrld */ + { { 0xd3 }, { 2, 2 }, T, R, pfx_no }, /* psrlq */ + { { 0xd3 }, { 2, 2 }, T, R, pfx_66 }, /* psrlq */ + { { 0xd4 }, { 2, 2 }, T, R, pfx_no }, /* paddq */ + { { 0xd4 }, { 2, 2 }, T, R, pfx_66 }, /* paddq */ + { { 0xd5 }, { 2, 2 }, T, R, pfx_no }, /* pmullw */ + { { 0xd5 }, { 2, 2 }, T, R, pfx_66 }, /* pmullw */ + { { 0xd6 }, { 2, 2 }, T, W, pfx_66 }, /* movq */ + { { 0xd6, 0xc0 }, { 2, 2 }, F, N, pfx_f3 }, /* movq2dq */ + { { 0xd6, 0xc0 }, { 2, 2 }, F, N, pfx_f2 }, /* movdq2q */ + { { 0xd7, 0xc0 }, { 2, 2 }, F, N, pfx_no }, /* pmovmskb */ + { { 0xd7, 0xc0 }, { 2, 2 }, F, N, pfx_66 }, /* pmovmskb */ + { { 0xd8 }, { 2, 2 }, T, R, pfx_no }, /* psubusb */ + { { 0xd8 }, { 2, 2 }, T, R, pfx_66 }, /* psubusb */ + { { 0xd9 }, { 2, 2 }, T, R, pfx_no }, /* psubusw */ + { { 0xd9 }, { 2, 2 }, T, R, pfx_66 }, /* psubusw */ + { { 0xda }, { 2, 2 }, T, R, pfx_no }, /* pminub */ + { { 0xda }, { 2, 2 }, T, R, pfx_66 }, /* pminub */ + { { 0xdb }, { 2, 2 }, T, R, pfx_no }, /* pand */ + { { 0xdb }, { 2, 2 }, T, R, pfx_66 }, /* pand */ + { { 0xdc }, { 2, 2 }, T, R, pfx_no }, /* paddusb */ + { { 0xdc }, { 2, 2 }, T, R, pfx_66 }, /* paddusb */ + { { 0xdd }, { 2, 2 }, T, R, pfx_no }, /* paddusw */ + { { 0xdd }, { 2, 2 }, T, R, pfx_66 }, /* paddusw */ + { { 0xde }, { 2, 2 }, T, R, pfx_no }, /* pmaxub */ + { { 0xde }, { 2, 2 }, T, R, pfx_66 }, /* pmaxub */ + { { 0xdf }, { 2, 2 }, T, R, pfx_no }, /* pandn */ + { { 0xdf }, { 2, 2 }, T, R, pfx_66 }, /* pandn */ + { { 0xe0 }, { 2, 2 }, T, R, pfx_no }, /* pavgb */ + { { 0xe0 }, { 2, 2 }, T, R, pfx_66 }, /* pavgb */ + { { 0xe1 }, { 2, 2 }, T, R, pfx_no }, /* psraw */ + { { 0xe1 }, { 2, 2 }, T, R, pfx_66 }, /* psraw */ + { { 0xe2 }, { 2, 2 }, T, R, pfx_no }, /* psrad */ + { { 0xe2 }, { 2, 2 }, T, R, pfx_66 }, /* psrad */ + { { 0xe3 }, { 2, 2 }, T, R, pfx_no }, /* pavgw */ + { { 0xe3 }, { 2, 2 }, T, R, pfx_66 }, /* pavgw */ + { { 0xe4 }, { 2, 2 }, T, R, pfx_no }, /* pmulhuw */ + { { 0xe4 }, { 2, 2 }, T, R, pfx_66 }, /* pmulhuw */ + { { 0xe5 }, { 2, 2 }, T, R, pfx_no }, /* pmulhw */ + { { 0xe5 }, { 2, 2 }, T, R, pfx_66 }, /* pmulhw */ + { { 0xe6 }, { 2, 2 }, T, R, pfx_66 }, /* cvttpd2dq */ + { { 0xe6 }, { 2, 2 }, T, R, pfx_f3 }, /* cvtdq2pd */ + { { 0xe6 }, { 2, 2 }, T, R, pfx_f2 }, /* cvtpd2dq */ + { { 0xe7 }, { 2, 2 }, F, W, pfx_no }, /* movntq */ + { { 0xe7 }, { 2, 2 }, F, W, pfx_66 }, /* movntdq */ + { { 0xe8 }, { 2, 2 }, T, R, pfx_no }, /* psubsb */ + { { 0xe8 }, { 2, 2 }, T, R, pfx_66 }, /* psubsb */ + { { 0xe9 }, { 2, 2 }, T, R, pfx_no }, /* psubsw */ + { { 0xe9 }, { 2, 2 }, T, R, pfx_66 }, /* psubsw */ + { { 0xea }, { 2, 2 }, T, R, pfx_no }, /* pminsw */ + { { 0xea }, { 2, 2 }, T, R, pfx_66 }, /* pminsw */ + { { 0xeb }, { 2, 2 }, T, R, pfx_no }, /* por */ + { { 0xeb }, { 2, 2 }, T, R, pfx_66 }, /* por */ + { { 0xec }, { 2, 2 }, T, R, pfx_no }, /* paddsb */ + { { 0xec }, { 2, 2 }, T, R, pfx_66 }, /* paddsb */ + { { 0xed }, { 2, 2 }, T, R, pfx_no }, /* paddsw */ + { { 0xed }, { 2, 2 }, T, R, pfx_66 }, /* paddsw */ + { { 0xee }, { 2, 2 }, T, R, pfx_no }, /* pmaxsw */ + { { 0xee }, { 2, 2 }, T, R, pfx_66 }, /* pmaxsw */ + { { 0xef }, { 2, 2 }, T, R, pfx_no }, /* pxor */ + { { 0xef }, { 2, 2 }, T, R, pfx_66 }, /* pxor */ + { { 0xf0 }, { 2, 2 }, T, R, pfx_f2 }, /* lddqu */ + { { 0xf1 }, { 2, 2 }, T, R, pfx_no }, /* psllw */ + { { 0xf1 }, { 2, 2 }, T, R, pfx_66 }, /* psllw */ + { { 0xf2 }, { 2, 2 }, T, R, pfx_no }, /* pslld */ + { { 0xf2 }, { 2, 2 }, T, R, pfx_66 }, /* pslld */ + { { 0xf3 }, { 2, 2 }, T, R, pfx_no }, /* psllq */ + { { 0xf3 }, { 2, 2 }, T, R, pfx_66 }, /* psllq */ + { { 0xf4 }, { 2, 2 }, T, R, pfx_no }, /* pmuludq */ + { { 0xf4 }, { 2, 2 }, T, R, pfx_66 }, /* pmuludq */ + { { 0xf5 }, { 2, 2 }, T, R, pfx_no }, /* pmaddwd */ + { { 0xf5 }, { 2, 2 }, T, R, pfx_66 }, /* pmaddwd */ + { { 0xf6 }, { 2, 2 }, T, R, pfx_no }, /* psadbw */ + { { 0xf6 }, { 2, 2 }, T, R, pfx_66 }, /* psadbw */ + { { 0xf7, 0xc0 }, { 2, 2 }, F, W, pfx_no }, /* maskmovq */ + { { 0xf7, 0xc0 }, { 2, 2 }, F, W, pfx_66 }, /* maskmovdqu */ + { { 0xf8 }, { 2, 2 }, T, R, pfx_no }, /* psubb */ + { { 0xf8 }, { 2, 2 }, T, R, pfx_66 }, /* psubb */ + { { 0xf9 }, { 2, 2 }, T, R, pfx_no }, /* psubw */ + { { 0xf9 }, { 2, 2 }, T, R, pfx_66 }, /* psubw */ + { { 0xfa }, { 2, 2 }, T, R, pfx_no }, /* psubd */ + { { 0xfa }, { 2, 2 }, T, R, pfx_66 }, /* psubd */ + { { 0xfb }, { 2, 2 }, T, R, pfx_no }, /* psubq */ + { { 0xfb }, { 2, 2 }, T, R, pfx_66 }, /* psubq */ + { { 0xfc }, { 2, 2 }, T, R, pfx_no }, /* paddb */ + { { 0xfc }, { 2, 2 }, T, R, pfx_66 }, /* paddb */ + { { 0xfd }, { 2, 2 }, T, R, pfx_no }, /* paddw */ + { { 0xfd }, { 2, 2 }, T, R, pfx_66 }, /* paddw */ + { { 0xfe }, { 2, 2 }, T, R, pfx_no }, /* paddd */ + { { 0xfe }, { 2, 2 }, T, R, pfx_66 }, /* paddd */ { { 0xff }, { 2, 2 }, F, N }, /* ud0 */ }, legacy_0f38[] = { + { { 0x00 }, { 2, 2 }, T, R, pfx_no }, /* pshufb */ + { { 0x00 }, { 2, 2 }, T, R, pfx_66 }, /* pshufb */ + { { 0x01 }, { 2, 2 }, T, R, pfx_no }, /* phaddw */ + { { 0x01 }, { 2, 2 }, T, R, pfx_66 }, /* phaddw */ + { { 0x02 }, { 2, 2 }, T, R, pfx_no }, /* phaddd */ + { { 0x02 }, { 2, 2 }, T, R, pfx_66 }, /* phaddd */ + { { 0x03 }, { 2, 2 }, T, R, pfx_no }, /* phaddsw */ + { { 0x03 }, { 2, 2 }, T, R, pfx_66 }, /* phaddsw */ + { { 0x04 }, { 2, 2 }, T, R, pfx_no }, /* pmaddubsw */ + { { 0x04 }, { 2, 2 }, T, R, pfx_66 }, /* pmaddubsw */ + { { 0x05 }, { 2, 2 }, T, R, pfx_no }, /* phsubw */ + { { 0x05 }, { 2, 2 }, T, R, pfx_66 }, /* phsubw */ + { { 0x06 }, { 2, 2 }, T, R, pfx_no }, /* phsubd */ + { { 0x06 }, { 2, 2 }, T, R, pfx_66 }, /* phsubd */ + { { 0x07 }, { 2, 2 }, T, R, pfx_no }, /* phsubsw */ + { { 0x07 }, { 2, 2 }, T, R, pfx_66 }, /* phsubsw */ + { { 0x08 }, { 2, 2 }, T, R, pfx_no }, /* psignb */ + { { 0x08 }, { 2, 2 }, T, R, pfx_66 }, /* psignb */ + { { 0x09 }, { 2, 2 }, T, R, pfx_no }, /* psignw */ + { { 0x09 }, { 2, 2 }, T, R, pfx_66 }, /* psignw */ + { { 0x0a }, { 2, 2 }, T, R, pfx_no }, /* psignd */ + { { 0x0a }, { 2, 2 }, T, R, pfx_66 }, /* psignd */ + { { 0x0b }, { 2, 2 }, T, R, pfx_no }, /* pmulhrsw */ + { { 0x0b }, { 2, 2 }, T, R, pfx_66 }, /* pmulhrsw */ + { { 0x10 }, { 2, 2 }, T, R, pfx_66 }, /* pblendvb */ + { { 0x14 }, { 2, 2 }, T, R, pfx_66 }, /* blendvps */ + { { 0x15 }, { 2, 2 }, T, R, pfx_66 }, /* blendvpd */ + { { 0x17 }, { 2, 2 }, T, R, pfx_66 }, /* ptest */ + { { 0x1c }, { 2, 2 }, T, R, pfx_no }, /* pabsb */ + { { 0x1c }, { 2, 2 }, T, R, pfx_66 }, /* pabsb */ + { { 0x1d }, { 2, 2 }, T, R, pfx_no }, /* pabsw */ + { { 0x1d }, { 2, 2 }, T, R, pfx_66 }, /* pabsw */ + { { 0x1e }, { 2, 2 }, T, R, pfx_no }, /* pabsd */ + { { 0x1e }, { 2, 2 }, T, R, pfx_66 }, /* pabsd */ + { { 0x20 }, { 2, 2 }, T, R, pfx_66 }, /* pmovsxbw */ + { { 0x21 }, { 2, 2 }, T, R, pfx_66 }, /* pmovsxbd */ + { { 0x22 }, { 2, 2 }, T, R, pfx_66 }, /* pmovsxbq */ + { { 0x23 }, { 2, 2 }, T, R, pfx_66 }, /* pmovsxwd */ + { { 0x24 }, { 2, 2 }, T, R, pfx_66 }, /* pmovsxwq */ + { { 0x25 }, { 2, 2 }, T, R, pfx_66 }, /* pmovsxdq */ + { { 0x28 }, { 2, 2 }, T, R, pfx_66 }, /* pmuldq */ + { { 0x29 }, { 2, 2 }, T, R, pfx_66 }, /* pcmpeqq */ + { { 0x2a }, { 2, 2 }, F, R, pfx_66 }, /* movntdqa */ + { { 0x2b }, { 2, 2 }, T, R, pfx_66 }, /* packusdw */ + { { 0x30 }, { 2, 2 }, T, R, pfx_66 }, /* pmovzxbw */ + { { 0x31 }, { 2, 2 }, T, R, pfx_66 }, /* pmovzxbd */ + { { 0x32 }, { 2, 2 }, T, R, pfx_66 }, /* pmovzxbq */ + { { 0x33 }, { 2, 2 }, T, R, pfx_66 }, /* pmovzxwd */ + { { 0x34 }, { 2, 2 }, T, R, pfx_66 }, /* pmovzxwq */ + { { 0x35 }, { 2, 2 }, T, R, pfx_66 }, /* pmovzxdq */ + { { 0x37 }, { 2, 2 }, T, R, pfx_66 }, /* pcmpgtq */ + { { 0x38 }, { 2, 2 }, T, R, pfx_66 }, /* pminsb */ + { { 0x39 }, { 2, 2 }, T, R, pfx_66 }, /* pminsd */ + { { 0x3a }, { 2, 2 }, T, R, pfx_66 }, /* pminuw */ + { { 0x3b }, { 2, 2 }, T, R, pfx_66 }, /* pminud */ + { { 0x3c }, { 2, 2 }, T, R, pfx_66 }, /* pmaxsb */ + { { 0x3d }, { 2, 2 }, T, R, pfx_66 }, /* pmaxsd */ + { { 0x3e }, { 2, 2 }, T, R, pfx_66 }, /* pmaxuw */ + { { 0x3f }, { 2, 2 }, T, R, pfx_66 }, /* pmaxud */ + { { 0x40 }, { 2, 2 }, T, R, pfx_66 }, /* pmulld */ + { { 0x41 }, { 2, 2 }, T, R, pfx_66 }, /* phminposuw */ { { 0x80 }, { 2, 2 }, T, R, pfx_66 }, /* invept */ { { 0x81 }, { 2, 2 }, T, R, pfx_66 }, /* invvpid */ { { 0x82 }, { 2, 2 }, T, R, pfx_66 }, /* invpcid */ + { { 0xc8 }, { 2, 2 }, T, R, pfx_no }, /* sha1nexte */ + { { 0xc9 }, { 2, 2 }, T, R, pfx_no }, /* sha1msg1 */ + { { 0xca }, { 2, 2 }, T, R, pfx_no }, /* sha1msg2 */ + { { 0xcb }, { 2, 2 }, T, R, pfx_no }, /* sha256rnds2 */ + { { 0xcc }, { 2, 2 }, T, R, pfx_no }, /* sha256msg1 */ + { { 0xcd }, { 2, 2 }, T, R, pfx_no }, /* sha256msg2 */ + { { 0xcf }, { 2, 2 }, T, R, pfx_66 }, /* gf2p8mulb */ + { { 0xdb }, { 2, 2 }, T, R, pfx_66 }, /* aesimc */ + { { 0xdc }, { 2, 2 }, T, R, pfx_66 }, /* aesenc */ + { { 0xdd }, { 2, 2 }, T, R, pfx_66 }, /* aesenclast */ + { { 0xde }, { 2, 2 }, T, R, pfx_66 }, /* aesdec */ + { { 0xdf }, { 2, 2 }, T, R, pfx_66 }, /* aesdeclast */ { { 0xf0 }, { 2, 2 }, T, R }, /* movbe */ { { 0xf0 }, { 2, 2 }, T, R, pfx_f2 }, /* crc32 */ { { 0xf1 }, { 2, 2 }, T, W }, /* movbe */ @@ -517,6 +866,42 @@ static const struct { }; #undef CND #undef REG + +static const struct { + uint8_t opc; + uint8_t mem:2; + uint8_t pfx:2; +} legacy_0f3a[] = { + { 0x08, R, pfx_66 }, /* roundps */ + { 0x09, R, pfx_66 }, /* roundpd */ + { 0x0a, R, pfx_66 }, /* roundss */ + { 0x0b, R, pfx_66 }, /* roundsd */ + { 0x0c, R, pfx_66 }, /* blendps */ + { 0x0d, R, pfx_66 }, /* blendpd */ + { 0x0e, R, pfx_66 }, /* pblendw */ + { 0x0f, R, pfx_no }, /* palignr */ + { 0x0f, R, pfx_66 }, /* palignr */ + { 0x14, W, pfx_66 }, /* pextrb */ + { 0x15, W, pfx_66 }, /* pextrw */ + { 0x16, W, pfx_66 }, /* pextrd */ + { 0x17, W, pfx_66 }, /* extractps */ + { 0x20, R, pfx_66 }, /* pinsrb */ + { 0x21, R, pfx_66 }, /* insertps */ + { 0x22, R, pfx_66 }, /* pinsrd */ + { 0x40, R, pfx_66 }, /* dpps */ + { 0x41, R, pfx_66 }, /* dppd */ + { 0x42, R, pfx_66 }, /* mpsadbw */ + { 0x44, R, pfx_66 }, /* pclmulqdq */ + { 0x60, R, pfx_66 }, /* pcmpestrm */ + { 0x61, R, pfx_66 }, /* pcmpestri */ + { 0x62, R, pfx_66 }, /* pcmpistrm */ + { 0x63, R, pfx_66 }, /* pcmpistri */ + { 0xcc, R, pfx_no }, /* sha1rnds4 */ + { 0xce, R, pfx_66 }, /* gf2p8affineqb */ + { 0xcf, R, pfx_66 }, /* gf2p8affineinvqb */ + { 0xdf, R, pfx_66 }, /* aeskeygenassist */ +}; + static const struct { uint8_t opc[2]; bool modrm:1; /* Should register form (also) be tested? */ @@ -799,6 +1184,23 @@ void predicates_test(void *instr, struct legacy_0f38[t].mem, ctxt, fetch); } + for ( t = 0; t < ARRAY_SIZE(legacy_0f3a); ++t ) + { + uint8_t *ptr = instr; + + memset(instr + 5, 0xcc, 10); + if ( legacy_0f3a[t].pfx ) + *ptr++ = prefixes[legacy_0f3a[t].pfx - 1]; + *ptr++ = 0x0f; + *ptr++ = 0x3a; + *ptr++ = legacy_0f3a[t].opc; + *ptr++ = 0x00; /* ModR/M */ + *ptr++ = 0x00; /* imm8 */ + + do_test(instr, (void *)ptr - instr, (void *)ptr - instr - 2, + legacy_0f3a[t].mem, ctxt, fetch); + } + memset(instr + ARRAY_SIZE(fpu[t].opc), 0xcc, 13); for ( t = 0; t < ARRAY_SIZE(fpu); ++t )

©2013 Xen Project, A Linux Foundation Collaborative Project. All Rights Reserved.
Linux Foundation is a registered trademark of The Linux Foundation.
Xen Project is a trademark of The Linux Foundation.